Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
9858 Publications
2008 | Encyclopedia Article | LibreCat-ID: 17736
Grellingsche Antinomie
V. Peckhaus, in: J. Mittelstraß (Ed.), Enzyklopädie Philosophie und Wissenschaftstheorie, Bd. 3: G–Inn, 2., neubearb. u. wesentl. erg. Aufl., J.B. Metzler, Stuttgart/Weimar, 2008, pp. 210–211.
LibreCat
| Download (ext.)
V. Peckhaus, in: J. Mittelstraß (Ed.), Enzyklopädie Philosophie und Wissenschaftstheorie, Bd. 3: G–Inn, 2., neubearb. u. wesentl. erg. Aufl., J.B. Metzler, Stuttgart/Weimar, 2008, pp. 210–211.
2008 | Encyclopedia Article | LibreCat-ID: 17737
Genidentität
V. Peckhaus, in: J. Mittelstraß (Ed.), Enzyklopädie Philosophie und Wissenschaftstheorie, Bd. 3: G–Inn, 2., neubearb. u. wesentl. erg. Aufl., J.B. Metzler, Stuttgart/Weimar, 2008, p. 77.
LibreCat
| Download (ext.)
V. Peckhaus, in: J. Mittelstraß (Ed.), Enzyklopädie Philosophie und Wissenschaftstheorie, Bd. 3: G–Inn, 2., neubearb. u. wesentl. erg. Aufl., J.B. Metzler, Stuttgart/Weimar, 2008, p. 77.
2008 | Encyclopedia Article | LibreCat-ID: 17738
Hermes, Hans
V. Peckhaus, in: J. Mittelstraß (Ed.), Enzyklopädie Philosophie und Wissenschaftstheorie, Bd. 3: G–Inn, 2., neubearb. u. wesentl. erg. Aufl., J.B. Metzler, Stuttgart/Weimar, 2008, pp. 370–371.
LibreCat
| Download (ext.)
V. Peckhaus, in: J. Mittelstraß (Ed.), Enzyklopädie Philosophie und Wissenschaftstheorie, Bd. 3: G–Inn, 2., neubearb. u. wesentl. erg. Aufl., J.B. Metzler, Stuttgart/Weimar, 2008, pp. 370–371.
2008 | Encyclopedia Article | LibreCat-ID: 17733
Galois, Évariste
V. Peckhaus, C. v. Bülow, in: J. Mittelstraß (Ed.), Enzyklopädie Philosophie und Wissenschaftstheorie, Bd. 3: G–Inn, 2., neubearb. u. wesentl. erg. Aufl., J.B. Metzler, Stuttgart/Weimar, 2008, pp. 12–14.
LibreCat
| Download (ext.)
V. Peckhaus, C. v. Bülow, in: J. Mittelstraß (Ed.), Enzyklopädie Philosophie und Wissenschaftstheorie, Bd. 3: G–Inn, 2., neubearb. u. wesentl. erg. Aufl., J.B. Metzler, Stuttgart/Weimar, 2008, pp. 12–14.
2008 | Encyclopedia Article | LibreCat-ID: 17735
Gregory, Duncan Farquharson
V. Peckhaus, in: J. Mittelstraß (Ed.), Enzyklopädie Philosophie und Wissenschaftstheorie, Bd. 3: G–Inn, 2., neubearb. u. wesentl. erg. Aufl., J.B. Metzler, Stuttgart/Weimar, 2008, pp. 208–209.
LibreCat
| Download (ext.)
V. Peckhaus, in: J. Mittelstraß (Ed.), Enzyklopädie Philosophie und Wissenschaftstheorie, Bd. 3: G–Inn, 2., neubearb. u. wesentl. erg. Aufl., J.B. Metzler, Stuttgart/Weimar, 2008, pp. 208–209.
2008 | Encyclopedia Article | LibreCat-ID: 17734
Graßmann, Robert
V. Peckhaus, in: J. Mittelstraß (Ed.), Enzyklopädie Philosophie und Wissenschaftstheorie, Bd. 3: G–Inn, 2., neubearb. u. wesentl. erg. Aufl., J.B. Metzler, Stuttgart/Weimar, 2008, pp. 200–201.
LibreCat
| Download (ext.)
V. Peckhaus, in: J. Mittelstraß (Ed.), Enzyklopädie Philosophie und Wissenschaftstheorie, Bd. 3: G–Inn, 2., neubearb. u. wesentl. erg. Aufl., J.B. Metzler, Stuttgart/Weimar, 2008, pp. 200–201.
2008 | Book Chapter | LibreCat-ID: 34945
Bauen als Politik. Zum Versuch des Fürstbischofs Johann Philipp Franz von Schönborn, das Hochstift Würzburg in ein Gemeinwesen zu verwandeln
J. Süßmann, in: B. Braun, M. Menne, M. Ströhmer (Eds.), Geistliche Fürsten und Geistliche Staaten in der Spätphase des Alten Reiches, bibliotheca academica, Epfendorf, 2008, pp. 223–237.
LibreCat
J. Süßmann, in: B. Braun, M. Menne, M. Ströhmer (Eds.), Geistliche Fürsten und Geistliche Staaten in der Spätphase des Alten Reiches, bibliotheca academica, Epfendorf, 2008, pp. 223–237.
2007 | Conference Paper | LibreCat-ID: 25395
Involving the User in Semantic Search
A.-C. Ngonga Ngomo, F. Schumacher, in: M. J. Smith, G. Salvendy (Eds.), Human Interface and the Management of Information. Methods, Techniques and Tools in Information Design, Symposium on Human Interface 2007, Held as Part of {HCI} International 2007, Beijing, China, July 22-27, 2007, Proceedings Part {I}, Springer, 2007, pp. 507–516.
LibreCat
| DOI
A.-C. Ngonga Ngomo, F. Schumacher, in: M. J. Smith, G. Salvendy (Eds.), Human Interface and the Management of Information. Methods, Techniques and Tools in Information Design, Symposium on Human Interface 2007, Held as Part of {HCI} International 2007, Beijing, China, July 22-27, 2007, Proceedings Part {I}, Springer, 2007, pp. 507–516.
2007 | Book | LibreCat-ID: 25570
Vorausschau und Technologieplanung. 3. Symposium für Vorausschau und Technologieplanung
J. Gausemeier, Vorausschau und Technologieplanung. 3. Symposium für Vorausschau und Technologieplanung, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2007.
LibreCat
J. Gausemeier, Vorausschau und Technologieplanung. 3. Symposium für Vorausschau und Technologieplanung, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2007.
2007 | Conference Paper | LibreCat-ID: 2024
A Denial-of-Service Resistant DHT
B. Awerbuch, C. Scheideler, in: Distributed Computing, 21st International Symposium, DISC 2007, Lemesos, Cyprus, September 24-26, 2007, Proceedings, Springer, 2007, pp. 33--47.
LibreCat
| DOI
B. Awerbuch, C. Scheideler, in: Distributed Computing, 21st International Symposium, DISC 2007, Lemesos, Cyprus, September 24-26, 2007, Proceedings, Springer, 2007, pp. 33--47.
2007 | Conference (Editor) | LibreCat-ID: 2025
Distributed Computing in Sensor Systems, Third IEEE International Conference, DCOSS 2007, Santa Fe, NM, USA, June 18-20, 2007, Proceedings
J. Aspnes, C. Scheideler, A. Arora, S. Madden, eds., Distributed Computing in Sensor Systems, Third IEEE International Conference, DCOSS 2007, Santa Fe, NM, USA, June 18-20, 2007, Proceedings, 2007.
LibreCat
| DOI
J. Aspnes, C. Scheideler, A. Arora, S. Madden, eds., Distributed Computing in Sensor Systems, Third IEEE International Conference, DCOSS 2007, Santa Fe, NM, USA, June 18-20, 2007, Proceedings, 2007.
2007 | Conference Paper | LibreCat-ID: 24276
The k-Resource Problem on Uniform and on Uniformly Decomposable Metric Spaces
M. Bienkowski, J. Kutyłowski, in: Lecture Notes in Computer Science, Berlin, Heidelberg, 2007.
LibreCat
| DOI
M. Bienkowski, J. Kutyłowski, in: Lecture Notes in Computer Science, Berlin, Heidelberg, 2007.
2007 | Book | LibreCat-ID: 24366
Peer-to-Peer-Netzwerke
P. Mahlmann, C. Schindelhauer, Peer-to-Peer-Netzwerke, Springer, Berlin, 2007.
LibreCat
| DOI
P. Mahlmann, C. Schindelhauer, Peer-to-Peer-Netzwerke, Springer, Berlin, 2007.
2007 | Journal Article | LibreCat-ID: 3211
On using data abstractions for model checking refinements
J. Derrick, H. Wehrheim, Acta Inf. (2007) 41--71.
LibreCat
| DOI
J. Derrick, H. Wehrheim, Acta Inf. (2007) 41--71.
2007 | Conference Paper | LibreCat-ID: 3214
Assuring Consistency of Business Process Models and Web Services Using Visual Contracts
G. Engels, B. Güldali, C. Soltenborn, H. Wehrheim, in: A. Sch{\"{u}}rr, M. Nagl, A. Z{\"{u}}ndorf (Eds.), Applications of Graph Transformations with Industrial Relevance, Third International Symposium, {AGTIVE} 2007, Kassel, Germany, October 10-12, 2007, Revised Selected and Invited Papers, 2007, pp. 17--31.
LibreCat
| DOI
G. Engels, B. Güldali, C. Soltenborn, H. Wehrheim, in: A. Sch{\"{u}}rr, M. Nagl, A. Z{\"{u}}ndorf (Eds.), Applications of Graph Transformations with Industrial Relevance, Third International Symposium, {AGTIVE} 2007, Kassel, Germany, October 10-12, 2007, Revised Selected and Invited Papers, 2007, pp. 17--31.
2007 | Conference Paper | LibreCat-ID: 3215
Analysis of {UML} Activities Using Dynamic Meta Modeling
G. Engels, C. Soltenborn, H. Wehrheim, in: M. M. Bonsangue, E. Broch Johnsen (Eds.), Formal Methods for Open Object-Based Distributed Systems, 9th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings, 2007, pp. 76--90.
LibreCat
| DOI
G. Engels, C. Soltenborn, H. Wehrheim, in: M. M. Bonsangue, E. Broch Johnsen (Eds.), Formal Methods for Open Object-Based Distributed Systems, 9th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings, 2007, pp. 76--90.
2007 | Conference Paper | LibreCat-ID: 3216
Refactoring Object-Oriented Specifications with Data and Processes
T. Ruhroth, H. Wehrheim, in: M. M. Bonsangue, E. Broch Johnsen (Eds.), Formal Methods for Open Object-Based Distributed Systems, 9th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings, 2007, pp. 236--251.
LibreCat
| DOI
T. Ruhroth, H. Wehrheim, in: M. M. Bonsangue, E. Broch Johnsen (Eds.), Formal Methods for Open Object-Based Distributed Systems, 9th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings, 2007, pp. 236--251.
2007 | Conference Paper | LibreCat-ID: 3222
Proving Linearizability Via Non-atomic Refinement
J. Derrick, G. Schellhorn, H. Wehrheim, in: J. Davies, J. Gibbons (Eds.), Integrated Formal Methods, 6th International Conference, {IFM} 2007, Oxford, UK, July 2-5, 2007, Proceedings, 2007, pp. 195--214.
LibreCat
| DOI
J. Derrick, G. Schellhorn, H. Wehrheim, in: J. Davies, J. Gibbons (Eds.), Integrated Formal Methods, 6th International Conference, {IFM} 2007, Oxford, UK, July 2-5, 2007, Proceedings, 2007, pp. 195--214.
2007 | Book Chapter | LibreCat-ID: 3293
Global Shift – The European Union, the United States, and the Emergence of China
T. Gries, in: R. Tilly, P.J.J. Welfens, M. Heise (Eds.), 50 Years of EU Economic Dynamics, Springer, 2007, pp. 25–45.
LibreCat
T. Gries, in: R. Tilly, P.J.J. Welfens, M. Heise (Eds.), 50 Years of EU Economic Dynamics, Springer, 2007, pp. 25–45.
2007 | Book Chapter | LibreCat-ID: 3002 |
Analysis of Countermeasures Against Access Driven Cache Attacks on AES
J. Blömer, V. Krummel, in: Selected Areas in Cryptography, Springer Berlin Heidelberg, Berlin, Heidelberg, 2007, pp. 96–109.
LibreCat
| DOI
| Download (ext.)
J. Blömer, V. Krummel, in: Selected Areas in Cryptography, Springer Berlin Heidelberg, Berlin, Heidelberg, 2007, pp. 96–109.