@inproceedings{3208,
  author       = {{Derrick, John and Schellhorn, Gerhard and Wehrheim, Heike}},
  booktitle    = {{Formal Methods for Open Object-Based Distributed Systems, 10th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2008, Oslo, Norway, June 4-6, 2008, Proceedings}},
  editor       = {{Barthe, Gilles and S. de Boer, Frank}},
  pages        = {{78----95}},
  title        = {{{Mechanizing a Correctness Proof for a Lock-Free Concurrent Stack}}},
  doi          = {{10.1007/978-3-540-68863-1_6}},
  year         = {{2008}},
}

@inproceedings{3209,
  author       = {{Metzler, Björn and Wehrheim, Heike and Wonisch, Daniel}},
  booktitle    = {{Formal Methods and Software Engineering, 10th International Conference on Formal Engineering Methods, {ICFEM} 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings}},
  editor       = {{Liu, Shaoying and S. E. Maibaum, T. and Araki, Keijiro}},
  pages        = {{105----125}},
  title        = {{{Decomposition for Compositional Verification}}},
  doi          = {{10.1007/978-3-540-88194-0_9}},
  year         = {{2008}},
}

@inproceedings{3210,
  author       = {{Wehrheim, Heike}},
  booktitle    = {{Theoretical Aspects of Computing - {ICTAC} 2008, 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings}},
  editor       = {{S. Fitzgerald, John and Elisabeth Haxthausen, Anne and Yenig{\"{u}}n, H{\"{u}}sn{\"{u}}}},
  pages        = {{380----394}},
  title        = {{{Bounded Model Checking for Partial Kripke Structures}}},
  doi          = {{10.1007/978-3-540-85762-4_26}},
  year         = {{2008}},
}

@inproceedings{3143,
  author       = {{Gajek, Sebastian and Jager, Tibor and Manulis, Mark and Schwenk, Jörg}},
  booktitle    = {{Computer Security - ESORICS 2008, 13th European Symposium on Research in Computer Security, Málaga, Spain, October 6-8, 2008. Proceedings}},
  pages        = {{115----129}},
  title        = {{{A Browser-Based Kerberos Authentication Scheme}}},
  doi          = {{10.1007/978-3-540-88313-5_8}},
  year         = {{2008}},
}

@inproceedings{3144,
  author       = {{Altmann, Kristina and Jager, Tibor and Rupp, Andy}},
  booktitle    = {{Automata, Languages and Programming, 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II - Track B: Logic, Semantics, and Theory of Programming & Track C: Security and Cryptography Foundations}},
  pages        = {{437----448}},
  title        = {{{On Black-Box Ring Extraction and Integer Factorization}}},
  doi          = {{10.1007/978-3-540-70583-3_36}},
  year         = {{2008}},
}

@inproceedings{3145,
  author       = {{Jager, Tibor and Schwenk, Jörg}},
  booktitle    = {{Provable Security, Second International Conference, ProvSec 2008, Shanghai, China, October 30 - November 1, 2008. Proceedings}},
  pages        = {{200----209}},
  title        = {{{On the Equivalence of Generic Group Models}}},
  doi          = {{10.1007/978-3-540-88733-1_14}},
  year         = {{2008}},
}

@inbook{1109,
  author       = {{Geierhos, Michaela and Bsiri, Sandra}},
  booktitle    = {{Linguistics, Computer Science and Language Processing: Festschrift for Franz Guenthner on the Occasion of His 60th Birthday (Tributes 6)}},
  editor       = {{Gross , Gaston and Schulz, Klaus U.}},
  isbn         = {{978-1-904987-80-2}},
  pages        = {{103--126}},
  publisher    = {{College Publications}},
  title        = {{{ProfilPro: Reconstitution automatique d'un profil professionnel à partir des documents du Web}}},
  volume       = {{6}},
  year         = {{2008}},
}

@book{17465,
  editor       = {{Peckhaus, Volker and Bernhard, Peter}},
  isbn         = {{978-3-89785-594-6}},
  pages        = {{471}},
  publisher    = {{mentis Verlag}},
  title        = {{{Methodisches Denken im Kontext. Festschrift für Christian Thiel, mit einem unveröffentlichten Brief Gottlob Freges}}},
  year         = {{2008}},
}

@inproceedings{19003,
  author       = {{Degener, Bastian and Gehweiler, Joachim and Lammersen, Christiane}},
  booktitle    = {{Proceedings of the 11th Scandinavian Workshop on Algorithm Theory (SWAT)}},
  isbn         = {{9783540699002}},
  issn         = {{0302-9743}},
  pages        = {{378--389}},
  title        = {{{The Kinetic Facility Location Problem}}},
  doi          = {{10.1007/978-3-540-69903-3_34}},
  year         = {{2008}},
}

@article{19067,
  author       = {{Seng, Eva- Maria}},
  journal      = {{ForschungsForumPaderborn }},
  pages        = {{40--46}},
  title        = {{{„Kulturelles Erbe: Denkmalpflege, Restaurierung, Authentizität, Wiederaufbau“}}},
  year         = {{2008}},
}

@inbook{19068,
  author       = {{Seng, Eva- Maria}},
  booktitle    = {{Reibungspunkte. Ordnung und Umbruch in Architektur und Kunst. Festschrift zum 65. Geburtstag von Hubertus Günther}},
  editor       = {{Hubach, Hanns and von Orelli-Messerli, Barbara and Tassini, Tadej}},
  pages        = {{241--251 und 156}},
  title        = {{{„Modern oder gothisch – gothisch und antique römische Architectur vermischt“ – die Vorschläge zu Wiederaufbau und Rekonstruktion des Speyrer Doms 1771}}},
  year         = {{2008}},
}

@inbook{19073,
  author       = {{Seng, Eva- Maria}},
  booktitle    = {{Hallesche Beiträge zur Europäischen Aufklärung}},
  editor       = {{Stolzenberg, Jürgen}},
  title        = {{{„… Der Hauptzweck ist, die große Welt … allhier im kleineren beisammen zu haben“. Kunst- und Wunderkammern als Bildungseinrichtungen}}},
  year         = {{2008}},
}

@inproceedings{1941,
  author       = {{Clouser, Thomas and Nesterenko, Mikhail and Scheideler, Christian}},
  booktitle    = {{Stabilization, Safety, and Security of Distributed Systems, 10th International Symposium, SSS 2008, Detroit, MI, USA, November 21-23, 2008. Proceedings}},
  isbn         = {{978-3-540-89334-9}},
  pages        = {{124----140}},
  publisher    = {{Springer}},
  title        = {{{Tiara: A Self-stabilizing Deterministic Skip List}}},
  doi          = {{10.1007/978-3-540-89335-6_12}},
  volume       = {{5340}},
  year         = {{2008}},
}

@inbook{1942,
  author       = {{Scheideler, Christian}},
  booktitle    = {{Taschenbuch der Algorithmen}},
  isbn         = {{978-3-540-76393-2}},
  pages        = {{229----236}},
  publisher    = {{Springer}},
  title        = {{{Broadcasting: Wie verbreite ich schnell Informationen?}}},
  doi          = {{10.1007/978-3-540-76394-9_22}},
  year         = {{2008}},
}

@book{1945,
  author       = {{Vöcking, Berthold and Alt, Helmut and Dietzfelbinger, Martin and Reischuk, Rüdiger and Scheideler, Christian and Vollmer, Heribert and Wagner, Dorothea}},
  isbn         = {{978-3-540-76393-2}},
  title        = {{{Taschenbuch der Algorithmen}}},
  year         = {{2008}},
}

@inproceedings{2355,
  author       = {{Brinkmann, André and Effert, Sascha}},
  booktitle    = {{Proc. Int. Conf. on Principles Of DIstributed Systems (OPODIS)}},
  pages        = {{551--554}},
  publisher    = {{Springer}},
  title        = {{{Redundant Data Placement Strategies for Cluster Storage Environments}}},
  doi          = {{10.1007/978-3-540-92221-6_38}},
  year         = {{2008}},
}

@inproceedings{2383,
  author       = {{Lietsch, Stefan and Hermann Lensing, Paul}},
  booktitle    = {{Proc. Int. Symp. on Visual Computing (ISVC)}},
  pages        = {{658--668}},
  publisher    = {{Springer}},
  title        = {{{GPU-Supported Image Compression for Remote Visualization - Realization and Benchmarking}}},
  doi          = {{10.1007/978-3-540-89639-5_63}},
  volume       = {{5358}},
  year         = {{2008}},
}

@inproceedings{2386,
  author       = {{Bienkowski, Marcin and Brinkmann, André and Korzeniowski, Miroslaw}},
  booktitle    = {{Proc. Int. Conf. on Principles Of DIstributed Systems (OPODIS)}},
  pages        = {{184--196}},
  publisher    = {{Springer}},
  title        = {{{Degree 3 Suffices: A Large-Scale Overlay for P2P Networks}}},
  doi          = {{10.1007/978-3-540-92221-6_13}},
  year         = {{2008}},
}

@inproceedings{20367,
  author       = {{Hamann, Heiko and Wörn, Heinz}},
  booktitle    = {{The tenth International Conference on Simulation of Adaptive Behavior (SAB'08)}},
  isbn         = {{9783540691334}},
  issn         = {{0302-9743}},
  pages        = {{447----456}},
  title        = {{{Aggregating Robots Compute: An Adaptive Heuristic for the Euclidean Steiner Tree Problem}}},
  doi          = {{10.1007/978-3-540-69134-1_44}},
  volume       = {{5040}},
  year         = {{2008}},
}

@inbook{20711,
  author       = {{Monien, Burkhard and Lorenz, Ulf and Warner, Daniel}},
  booktitle    = {{Taschenbuch der Algorithmen}},
  isbn         = {{9783540763932}},
  title        = {{{Der Alphabeta-Algorithmus für Spielbäume: Wie bringe ich meinen Computer zum Schachspielen?}}},
  doi          = {{10.1007/978-3-540-76394-9_28}},
  year         = {{2008}},
}