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.
9695 Publications
2008 | Encyclopedia Article | LibreCat-ID: 17736
@inbook{Peckhaus_2008, place={Stuttgart/Weimar}, edition={2., neubearb. u. wesentl. erg. Aufl.}, title={Grellingsche Antinomie}, booktitle={Enzyklopädie Philosophie und Wissenschaftstheorie, Bd. 3: G–Inn}, publisher={J.B. Metzler}, author={Peckhaus, Volker}, editor={Mittelstraß, Jürgen}, year={2008}, pages={210–211} }
LibreCat
| Download (ext.)
2008 | Encyclopedia Article | LibreCat-ID: 17737
@inbook{Peckhaus_2008, place={Stuttgart/Weimar}, edition={2., neubearb. u. wesentl. erg. Aufl.}, title={Genidentität}, booktitle={Enzyklopädie Philosophie und Wissenschaftstheorie, Bd. 3: G–Inn}, publisher={J.B. Metzler}, author={Peckhaus, Volker}, editor={Mittelstraß, Jürgen}, year={2008}, pages={77} }
LibreCat
| Download (ext.)
2008 | Encyclopedia Article | LibreCat-ID: 17738
@inbook{Peckhaus_2008, place={Stuttgart/Weimar}, edition={2., neubearb. u. wesentl. erg. Aufl.}, title={Hermes, Hans}, booktitle={Enzyklopädie Philosophie und Wissenschaftstheorie, Bd. 3: G–Inn}, publisher={J.B. Metzler}, author={Peckhaus, Volker}, editor={Mittelstraß, Jürgen}, year={2008}, pages={370–371} }
LibreCat
| Download (ext.)
2008 | Encyclopedia Article | LibreCat-ID: 17733
@inbook{Peckhaus_v. Bülow_2008, place={Stuttgart/Weimar}, edition={2., neubearb. u. wesentl. erg. Aufl.}, title={Galois, Évariste}, booktitle={Enzyklopädie Philosophie und Wissenschaftstheorie, Bd. 3: G–Inn}, publisher={J.B. Metzler}, author={Peckhaus, Volker and v. Bülow, Christopher}, editor={Mittelstraß, Jürgen}, year={2008}, pages={12–14} }
LibreCat
| Download (ext.)
2008 | Encyclopedia Article | LibreCat-ID: 17735
@inbook{Peckhaus_2008, place={Stuttgart/Weimar}, edition={2., neubearb. u. wesentl. erg. Aufl.}, title={Gregory, Duncan Farquharson}, booktitle={Enzyklopädie Philosophie und Wissenschaftstheorie, Bd. 3: G–Inn}, publisher={J.B. Metzler}, author={Peckhaus, Volker}, editor={Mittelstraß, Jürgen}, year={2008}, pages={208–209} }
LibreCat
| Download (ext.)
2008 | Encyclopedia Article | LibreCat-ID: 17734
@inbook{Peckhaus_2008, place={Stuttgart/Weimar}, edition={2., neubearb. u. wesentl. erg. Aufl.}, title={Graßmann, Robert}, booktitle={Enzyklopädie Philosophie und Wissenschaftstheorie, Bd. 3: G–Inn}, publisher={J.B. Metzler}, author={Peckhaus, Volker}, editor={Mittelstraß, Jürgen}, year={2008}, pages={200–201} }
LibreCat
| Download (ext.)
2008 | Book Chapter | LibreCat-ID: 34945
@inbook{Süßmann_2008, place={Epfendorf}, title={Bauen als Politik. Zum Versuch des Fürstbischofs Johann Philipp Franz von Schönborn, das Hochstift Würzburg in ein Gemeinwesen zu verwandeln}, booktitle={Geistliche Fürsten und Geistliche Staaten in der Spätphase des Alten Reiches}, publisher={bibliotheca academica}, author={Süßmann, Johannes}, editor={Braun, Bettina and Menne, Mareike and Ströhmer, Michael}, year={2008}, pages={223–237} }
LibreCat
2007 | Conference Paper | LibreCat-ID: 25395
@inproceedings{Ngonga Ngomo_Schumacher_2007, series={Lecture Notes in Computer Science}, title={Involving the User in Semantic Search}, volume={4557}, DOI={10.1007/978-3-540-73345-4\_58}, booktitle={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}}, publisher={Springer}, author={Ngonga Ngomo, Axel-Cyrille and Schumacher, Frank}, editor={J. Smith, Michael and Salvendy, Gavriel}, year={2007}, pages={507–516}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
2007 | Book | LibreCat-ID: 25570
@book{Gausemeier_2007, series={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}, title={Vorausschau und Technologieplanung. 3. Symposium für Vorausschau und Technologieplanung}, volume={219}, publisher={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}, author={Gausemeier, Jürgen}, year={2007}, collection={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn} }
LibreCat
2007 | Conference Paper | LibreCat-ID: 19809
@inproceedings{Ooi_Schindelhauer_2007, title={Minimal Energy Path Planning for Wireless Robots}, DOI={10.1007/s11036-008-0150-5}, booktitle={ROBOCOMM’07: Proc. of the 1st International Conference on Robot Communication and Coordination}, author={Ooi, Chia Ching and Schindelhauer, Christian}, year={2007}, pages={309–321} }
LibreCat
| DOI
2007 | Conference Paper | LibreCat-ID: 2023 | 
@inproceedings{Awerbuch_Scheideler_2007, title={A denial-of-service resistant DHT}, DOI={10.1145/1281100.1281178}, booktitle={Proceedings of the Twenty-Sixth Annual ACM Symposium on Principles of Distributed Computing, PODC 2007, Portland, Oregon, USA, August 12-15, 2007}, publisher={ACM}, author={Awerbuch, Baruch and Scheideler, Christian}, year={2007}, pages={370--371} }
LibreCat
| Files available
| DOI
2007 | Conference Paper | LibreCat-ID: 2024
@inproceedings{Awerbuch_Scheideler_2007, series={Lecture Notes in Computer Science}, title={A Denial-of-Service Resistant DHT}, volume={4731}, DOI={10.1007/978-3-540-75142-7_6}, booktitle={Distributed Computing, 21st International Symposium, DISC 2007, Lemesos, Cyprus, September 24-26, 2007, Proceedings}, publisher={Springer}, author={Awerbuch, Baruch and Scheideler, Christian}, year={2007}, pages={33--47}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
2007 | Conference (Editor) | LibreCat-ID: 2025
@book{Aspnes_Scheideler_Arora_Madden_2007, series={Lecture Notes in Computer Science}, title={Distributed Computing in Sensor Systems, Third IEEE International Conference, DCOSS 2007, Santa Fe, NM, USA, June 18-20, 2007, Proceedings}, volume={4549}, DOI={10.1007/978-3-540-73090-3}, year={2007}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
2007 | Book Review | LibreCat-ID: 28782
@article{Müller_2007, title={Review of “studio d A1” and “Lagune 1” from a pronunciation perspective}, volume={4}, number={2}, journal={Electronic Journal of Foreign Language Teaching}, author={Müller, Mareike}, year={2007}, pages={267–273} }
LibreCat
2007 | Conference Paper | LibreCat-ID: 24276
@inproceedings{Bienkowski_Kutyłowski_2007, place={Berlin, Heidelberg}, title={The k-Resource Problem on Uniform and on Uniformly Decomposable Metric Spaces}, DOI={10.1007/978-3-540-73951-7_30}, booktitle={Lecture Notes in Computer Science}, author={Bienkowski, Marcin and Kutyłowski, Jarosław}, year={2007} }
LibreCat
| DOI
2007 | Book | LibreCat-ID: 24366
@book{Mahlmann_Schindelhauer_2007, place={Berlin}, title={Peer-to-Peer-Netzwerke}, DOI={10.1007/978-3-540-33992-2}, publisher={Springer}, author={Mahlmann, Peter and Schindelhauer, Christian}, year={2007} }
LibreCat
| DOI
2007 | Journal Article | LibreCat-ID: 3211
@article{Derrick_Wehrheim_2007, title={On using data abstractions for model checking refinements}, DOI={10.1007/s00236-007-0042-3}, number={1}, journal={Acta Inf.}, author={Derrick, John and Wehrheim, Heike}, year={2007}, pages={41--71} }
LibreCat
| DOI
2007 | Conference Paper | LibreCat-ID: 3214
@inproceedings{Engels_Güldali_Soltenborn_Wehrheim_2007, series={Lecture Notes in Computer Science}, title={Assuring Consistency of Business Process Models and Web Services Using Visual Contracts}, DOI={10.1007/978-3-540-89020-1_2}, booktitle={Applications of Graph Transformations with Industrial Relevance, Third International Symposium, {AGTIVE} 2007, Kassel, Germany, October 10-12, 2007, Revised Selected and Invited Papers}, author={Engels, Gregor and Güldali, Baris and Soltenborn, Christian and Wehrheim, Heike}, editor={Sch{\"{u}}rr, Andy and Nagl, Manfred and Z{\"{u}}ndorf, AlbertEditors}, year={2007}, pages={17--31}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
2007 | Conference Paper | LibreCat-ID: 3215
@inproceedings{Engels_Soltenborn_Wehrheim_2007, series={Lecture Notes in Computer Science}, title={Analysis of {UML} Activities Using Dynamic Meta Modeling}, DOI={10.1007/978-3-540-72952-5_5}, booktitle={Formal Methods for Open Object-Based Distributed Systems, 9th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings}, author={Engels, Gregor and Soltenborn, Christian and Wehrheim, Heike}, editor={M. Bonsangue, Marcello and Broch Johnsen, EinarEditors}, year={2007}, pages={76--90}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
2007 | Conference Paper | LibreCat-ID: 3216
@inproceedings{Ruhroth_Wehrheim_2007, series={Lecture Notes in Computer Science}, title={Refactoring Object-Oriented Specifications with Data and Processes}, DOI={10.1007/978-3-540-72952-5_15}, booktitle={Formal Methods for Open Object-Based Distributed Systems, 9th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings}, author={Ruhroth, Thomas and Wehrheim, Heike}, editor={M. Bonsangue, Marcello and Broch Johnsen, EinarEditors}, year={2007}, pages={236--251}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI