Hamann, Heiko. Space-Time Continuous Models of Swarm Robotic Systems, 2008.https://doi.org/10.1007/978-3-642-13377-0 .

Ziegler, Martin, and Wouter M. Koolen. “Kolmogorov Complexity Theory over the Reals.” ArXiv:0802.2027, 2008.

Köhler, Sven, and Martin Ziegler. “On the Stability of Fast Polynomial Arithmetic.” In Proc. 8th Conference on Real Numbers and Computers, 147–56, 2008.

Ziegler, Martin. “Physically-Relativized Church-Turing Hypotheses.” Applied Mathematics and Computation, 2008.

Ziegler, Martin. “A Meta-Theory of Physics and Computation.” In Verhandlungen Der Deutschen Physikalischen Gesellschaft, 145. Deutsche Physikalische Gesellschaft (DPG), 2008.

Meer, Klaus, and Martin Ziegler. “An Explicit Solution to Post’s Problem over the Reals.”https://doi.org/10.1016/j.jco.2006.09.004__Journal of Complexity, 2008, 3–15.https://doi.org/10.1016/j.jco.2006.09.004 .

Wehrheim, Heike. “Refinement in the Presence of Unknowns.”https://doi.org/10.1016/j.entcs.2008.02.023__Electr. Notes Theor. Comput. Sci., 2008, 255--264.https://doi.org/10.1016/j.entcs.2008.02.023 .

Estler, H.-Christian, and Heike Wehrheim. “Alloy as a Refactoring Checker?”https://doi.org/10.1016/j.entcs.2008.06.015__Electr. Notes Theor. Comput. Sci., 2008, 331--357.https://doi.org/10.1016/j.entcs.2008.06.015 .

Möller, Michael, Ernst-Rüdiger Olderog, Holger Rasch, and Heike Wehrheim. “Integrating a Formal Method into a Software Engineering Process with UML and Java.”https://doi.org/10.1007/s00165-007-0042-7__Formal Asp. Comput., no. 2 (2008): 161--204.https://doi.org/10.1007/s00165-007-0042-7 .

Brückner, Ingo, Klaus Dräger, Bernd Finkbeiner, and Heike Wehrheim. “Slicing Abstractions.” Fundam. Inform., no. 4 (2008): 369--392.

Engels, Gregor, Anneke Kleppe, Arend Rensink, Maria Semenyak, Christian Soltenborn, and Heike Wehrheim. “From UML Activities to TAAL - Towards Behaviour-Preserving Model Transformations.”https://doi.org/10.1007/978-3-540-69100-6_7__In Model Driven Architecture - Foundations and Applications, 4th European Conference, ECMDA-FA 2008, Berlin, Germany, June 9-13, 2008. Proceedings, edited by Ina Schieferdecker and Alan Hartman, 94--109. Lecture Notes in Computer Science, 2008.https://doi.org/10.1007/978-3-540-69100-6_7 .

Derrick, John, Gerhard Schellhorn, and Heike Wehrheim. “Mechanizing a Correctness Proof for a Lock-Free Concurrent Stack.”https://doi.org/10.1007/978-3-540-68863-1_6__In Formal Methods for Open Object-Based Distributed Systems, 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008, Proceedings, edited by Gilles Barthe and Frank S. de Boer, 78--95. Lecture Notes in Computer Science, 2008.https://doi.org/10.1007/978-3-540-68863-1_6 .

Metzler, Björn, Heike Wehrheim, and Daniel Wonisch. “Decomposition for Compositional Verification.”https://doi.org/10.1007/978-3-540-88194-0_9__In Formal Methods and Software Engineering, 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings, edited by Shaoying Liu, T. S. E. Maibaum, and Keijiro Araki, 105--125. Lecture Notes in Computer Science, 2008.https://doi.org/10.1007/978-3-540-88194-0_9 .

Wehrheim, Heike. “Bounded Model Checking for Partial Kripke Structures.”https://doi.org/10.1007/978-3-540-85762-4_26__In Theoretical Aspects of Computing - ICTAC 2008, 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings, edited by John S. Fitzgerald, Anne Elisabeth Haxthausen, and H\'22usn\'22u Yenig\'22un, 380--394. Lecture Notes in Computer Science, 2008.https://doi.org/10.1007/978-3-540-85762-4_26 .

Stern, Claudius, Philipp Adelt, Volker Krummel, and Marcel Rudolf Ackermann. “Reliable Evidence of Data Integrity from an Untrusted Storage Service.”https://doi.org/10.1109/icns.2008.28__In Fourth International Conference on Networking and Services (Icns 2008). IEEE, 2008.https://doi.org/10.1109/icns.2008.28 .

Gajek, Sebastian, Tibor Jager, Mark Manulis, and Jörg Schwenk. “A Browser-Based Kerberos Authentication Scheme.”https://doi.org/10.1007/978-3-540-88313-5_8__In Computer Security - ESORICS 2008, 13th European Symposium on Research in Computer Security, Málaga, Spain, October 6-8, 2008. Proceedings, 115--129, 2008.https://doi.org/10.1007/978-3-540-88313-5_8 .

Altmann, Kristina, Tibor Jager, and Andy Rupp. “On Black-Box Ring Extraction and Integer Factorization.”https://doi.org/10.1007/978-3-540-70583-3_36__In 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, 437--448, 2008.https://doi.org/10.1007/978-3-540-70583-3_36 .

Jager, Tibor, and Jörg Schwenk. “On the Equivalence of Generic Group Models.”https://doi.org/10.1007/978-3-540-88733-1_14__In Provable Security, Second International Conference, ProvSec 2008, Shanghai, China, October 30 - November 1, 2008. Proceedings, 200--209, 2008.https://doi.org/10.1007/978-3-540-88733-1_14 .

Jager, Tibor, Heiko Jäkel, and Jörg Schwenk. “Nutzung von Selbstsignierten Client-Zertifikaten Zur Authentifikation Bei SSL/TLS.” In 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., 127--136, 2008.

Tichy, Matthias, Stefan Henkler, Matthias Meyer, and Markus von Detten. “Safety of Component-Based Systems: Analysis and Improvement Using FujabEclipse.” In Companion Proceedings of the 30th International Conference on Software Engineering (ICSE), Leipzig, Germany, 2008.