@bookHamann_2008, title=Space-Time Continuous Models of Swarm Robotic Systems, DOI=10.1007/978-3-642-13377-0, author=Hamann, Heiko, year=2008 
LibreCat: /record/20262
DOI: 10.1007/978-3-642-13377-0

@articleZiegler_Koolen_2008, title=Kolmogorov Complexity Theory over the Reals, journal=arXiv:0802.2027, author=Ziegler, Martin and Koolen, Wouter M., year=2008 
LibreCat: /record/26235

@inproceedingsKöhler_Ziegler_2008, title=On the Stability of Fast Polynomial Arithmetic, booktitle=Proc. 8th Conference on Real Numbers and Computers, author=Köhler, Sven and Ziegler, Martin, year=2008, pages=147–156 
LibreCat: /record/26243

@articleZiegler_2008, title=Physically-Relativized Church-Turing Hypotheses, journal=Applied Mathematics and Computation, author=Ziegler, Martin, year=2008 
LibreCat: /record/26255
arXiv: 0805.1292

@inbookZiegler_2008, title=A Meta-Theory of Physics and Computation, booktitle=Verhandlungen der Deutschen Physikalischen Gesellschaft, publisher=Deutsche Physikalische Gesellschaft (DPG), author=Ziegler, Martin, year=2008, pages=145 
LibreCat: /record/26262

@articleMeer_Ziegler_2008, title=An explicit solution to Post’s Problem over the reals, DOI=10.1016/j.jco.2006.09.004, journal=Journal of Complexity, author=Meer, Klaus and Ziegler, Martin, year=2008, pages=3–15 
LibreCat: /record/26280
DOI: 10.1016/j.jco.2006.09.004

@articleWehrheim_2008, title=Refinement in the Presence of Unknowns, DOI=10.1016/j.entcs.2008.02.023, journal=Electr. Notes Theor. Comput. Sci., author=Wehrheim, Heike, year=2008, pages=255--264 
LibreCat: /record/3203
DOI: 10.1016/j.entcs.2008.02.023

@articleEstler_Wehrheim_2008, title=Alloy as a Refactoring Checker?, DOI=10.1016/j.entcs.2008.06.015, journal=Electr. Notes Theor. Comput. Sci., author=Estler, H.-Christian and Wehrheim, Heike, year=2008, pages=331--357 
LibreCat: /record/3204
DOI: 10.1016/j.entcs.2008.06.015

@articleMöller_Olderog_Rasch_Wehrheim_2008, title=Integrating a formal method into a software engineering process with UML and Java, DOI=10.1007/s00165-007-0042-7, number=2, journal=Formal Asp. Comput., author=Möller, Michael and Olderog, Ernst-Rüdiger and Rasch, Holger and Wehrheim, Heike, year=2008, pages=161--204 
LibreCat: /record/3205
DOI: 10.1007/s00165-007-0042-7

@articleBrückner_Dräger_Finkbeiner_Wehrheim_2008, title=Slicing Abstractions, number=4, journal=Fundam. Inform., author=Brückner, Ingo and Dräger, Klaus and Finkbeiner, Bernd and Wehrheim, Heike, year=2008, pages=369--392 
LibreCat: /record/3206

@inproceedingsEngels_Kleppe_Rensink_Semenyak_Soltenborn_Wehrheim_2008, series=Lecture Notes in Computer Science, title=From UML Activities to TAAL - Towards Behaviour-Preserving Model Transformations, DOI=10.1007/978-3-540-69100-6_7, booktitle=Model Driven Architecture - Foundations and Applications, 4th European Conference, ECMDA-FA 2008, Berlin, Germany, June 9-13, 2008. Proceedings, author=Engels, Gregor and Kleppe, Anneke and Rensink, Arend and Semenyak, Maria and Soltenborn, Christian and Wehrheim, Heike, editor=Schieferdecker, Ina and Hartman, AlanEditors, year=2008, pages=94--109, collection=Lecture Notes in Computer Science 
LibreCat: /record/3207
DOI: 10.1007/978-3-540-69100-6_7

@inproceedingsDerrick_Schellhorn_Wehrheim_2008, series=Lecture Notes in Computer Science, title=Mechanizing a Correctness Proof for a Lock-Free Concurrent Stack, DOI=10.1007/978-3-540-68863-1_6, 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, author=Derrick, John and Schellhorn, Gerhard and Wehrheim, Heike, editor=Barthe, Gilles and S. de Boer, FrankEditors, year=2008, pages=78--95, collection=Lecture Notes in Computer Science 
LibreCat: /record/3208
DOI: 10.1007/978-3-540-68863-1_6

@inproceedingsMetzler_Wehrheim_Wonisch_2008, series=Lecture Notes in Computer Science, title=Decomposition for Compositional Verification, DOI=10.1007/978-3-540-88194-0_9, booktitle=Formal Methods and Software Engineering, 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings, author=Metzler, Björn and Wehrheim, Heike and Wonisch, Daniel, editor=Liu, Shaoying and S. E. Maibaum, T. and Araki, KeijiroEditors, year=2008, pages=105--125, collection=Lecture Notes in Computer Science 
LibreCat: /record/3209
DOI: 10.1007/978-3-540-88194-0_9

@inproceedingsWehrheim_2008, series=Lecture Notes in Computer Science, title=Bounded Model Checking for Partial Kripke Structures, DOI=10.1007/978-3-540-85762-4_26, booktitle=Theoretical Aspects of Computing - ICTAC 2008, 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings, author=Wehrheim, Heike, editor=S. Fitzgerald, John and Elisabeth Haxthausen, Anne and Yenig\'22un, H\'22usn\'22uEditors, year=2008, pages=380--394, collection=Lecture Notes in Computer Science 
LibreCat: /record/3210
DOI: 10.1007/978-3-540-85762-4_26

@inproceedingsStern_Adelt_Krummel_Ackermann_2008, title=Reliable Evidence of Data Integrity from an Untrusted Storage Service, DOI=10.1109/icns.2008.28, booktitle=Fourth International Conference on Networking and Services (icns 2008), publisher=IEEE, author=Stern, Claudius and Adelt, Philipp and Krummel, Volker and Ackermann, Marcel Rudolf, year=2008 
LibreCat: /record/3001
DOI: 10.1109/icns.2008.28

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

@inproceedingsAltmann_Jager_Rupp_2008, title=On Black-Box Ring Extraction and Integer Factorization, DOI=10.1007/978-3-540-70583-3_36, 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, author=Altmann, Kristina and Jager, Tibor and Rupp, Andy, year=2008, pages=437--448 
LibreCat: /record/3144
DOI: 10.1007/978-3-540-70583-3_36

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

@inproceedingsJager_Jäkel_Schwenk_2008, title=Nutzung von selbstsignierten Client-Zertifikaten zur Authentifikation bei SSL/TLS, booktitle=Sicherheit 2008: Sicherheit, Schutz und Zuverlässigkeit. Konferenzband der 4. Jahrestagung des Fachbereichs Sicherheit der Gesellschaft für Informatik e.V. (GI), 2.-4. April 2008 im Saarbrücker Schloss., author=Jager, Tibor and Jäkel, Heiko and Schwenk, Jörg, year=2008, pages=127--136 
LibreCat: /record/3146

@inproceedingsTichy_Henkler_Meyer_von Detten_2008, title=Safety of Component-Based Systems: Analysis and Improvement using FujabEclipse, booktitle=Companion Proceedings of the 30th International Conference on Software Engineering (ICSE), Leipzig, Germany, author=Tichy, Matthias and Henkler, Stefan and Meyer, Matthias and von Detten, Markus, year=2008 
LibreCat: /record/20938