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.” Proc. 8th Conference on Real Numbers and Computers, 2008, pp. 147–56.

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

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

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

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

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

Möller, Michael, et al. “Integrating a Formal Method into a Software Engineering Process with UML and Java.”10.1007/s00165-007-0042-7__Formal Asp. Comput., no. 2, 2008, pp. 161--204, doi:10.1007/s00165-007-0042-7.

Brückner, Ingo, et al. “Slicing Abstractions.” Fundam. Inform., no. 4, 2008, pp. 369--392.

Engels, Gregor, et al. “From UML Activities to TAAL - Towards Behaviour-Preserving Model Transformations.”10.1007/978-3-540-69100-6_7__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, 2008, pp. 94--109, doi:10.1007/978-3-540-69100-6_7.

Derrick, John, et al. “Mechanizing a Correctness Proof for a Lock-Free Concurrent Stack.”10.1007/978-3-540-68863-1_6__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, 2008, pp. 78--95, doi:10.1007/978-3-540-68863-1_6.

Metzler, Björn, et al. “Decomposition for Compositional Verification.”10.1007/978-3-540-88194-0_9__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 et al., 2008, pp. 105--125, doi:10.1007/978-3-540-88194-0_9.

Wehrheim, Heike. “Bounded Model Checking for Partial Kripke Structures.”10.1007/978-3-540-85762-4_26__Theoretical Aspects of Computing - ICTAC 2008, 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings, edited by John S. Fitzgerald et al., 2008, pp. 380--394, doi:10.1007/978-3-540-85762-4_26.

Stern, Claudius, et al. “Reliable Evidence of Data Integrity from an Untrusted Storage Service.”10.1109/icns.2008.28__Fourth International Conference on Networking and Services (Icns 2008), IEEE, 2008, doi:10.1109/icns.2008.28.

Gajek, Sebastian, et al. “A Browser-Based Kerberos Authentication Scheme.”10.1007/978-3-540-88313-5_8__Computer Security - ESORICS 2008, 13th European Symposium on Research in Computer Security, Málaga, Spain, October 6-8, 2008. Proceedings, 2008, pp. 115--129, doi:10.1007/978-3-540-88313-5_8.

Altmann, Kristina, et al. “On Black-Box Ring Extraction and Integer Factorization.”10.1007/978-3-540-70583-3_36__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, 2008, pp. 437--448, doi:10.1007/978-3-540-70583-3_36.

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

Jager, Tibor, et al. “Nutzung von Selbstsignierten Client-Zertifikaten Zur Authentifikation Bei SSL/TLS.” 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., 2008, pp. 127--136.

Tichy, Matthias, et al. “Safety of Component-Based Systems: Analysis and Improvement Using FujabEclipse.” Companion Proceedings of the 30th International Conference on Software Engineering (ICSE), Leipzig, Germany, 2008.

Kindler, Ekkart, and David Schmelter. “Aspect-Oriented Modelling from a Different Angle.”10.1145/1404920.1404922__Proceedings of the 2008 AOSD Workshop on Aspect-Oriented Modeling - AOM ’08, 2008, doi:10.1145/1404920.1404922.