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.
7295 Publications
2008 | Conference Paper | LibreCat-ID: 46420
A Convergence Criterion for Multiobjective Evolutionary Algorithms Based on Systematic Statistical Testing
H. Trautmann, U. Ligges, J. Mehnen, M. Preuss, in: G. Rudolph, T. Jansen, N. Beume, S. Lucas, C. Poloni (Eds.), Parallel Problem Solving from Nature – PPSN X, Springer Berlin Heidelberg, Berlin, Heidelberg, 2008, pp. 825–836.
LibreCat
H. Trautmann, U. Ligges, J. Mehnen, M. Preuss, in: G. Rudolph, T. Jansen, N. Beume, S. Lucas, C. Poloni (Eds.), Parallel Problem Solving from Nature – PPSN X, Springer Berlin Heidelberg, Berlin, Heidelberg, 2008, pp. 825–836.
2008 | Book Review | LibreCat-ID: 18657 | 
Bueno, Otávio/Zalta, Edward N., “A Nominalist’s Dilemma and its Solution”, Philosophia Mathematica (3) 13 (2005), 294-307
V. Peckhaus, zbMATH Open, Zbl. 1129.00001 (2008).
LibreCat
| Download (ext.)
V. Peckhaus, zbMATH Open, Zbl. 1129.00001 (2008).
2008 | Book Review | LibreCat-ID: 18666 |
Leng, Mary, “Revolutionary Fictionalism: A Call to Arms”, Philosophia Mathematica (3) 13 (2005), 277–293
V. Peckhaus, zbMATH Open, Zbl. 1141.00006 (2008).
LibreCat
| Download (ext.)
V. Peckhaus, zbMATH Open, Zbl. 1141.00006 (2008).
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: 2020
Linearization: Locally Self-Stabilizing Sorting in Graphs
M. Onus, A. W. Richa, C. Scheideler, in: Proceedings of the Nine Workshop on Algorithm Engineering and Experiments, ALENEX 2007, New Orleans, Louisiana, USA, January 6, 2007, 2007.
LibreCat
| DOI
M. Onus, A. W. Richa, C. Scheideler, in: Proceedings of the Nine Workshop on Algorithm Engineering and Experiments, ALENEX 2007, New Orleans, Louisiana, USA, January 6, 2007, 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.