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

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

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.
LibreCat: /record/26243

Ziegler, Martin. “Physically-Relativized Church-Turing Hypotheses.” Applied Mathematics and Computation, 2008.
LibreCat: /record/26255
arXiv: 0805.1292

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

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 .
LibreCat: /record/26280
DOI: 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 .
LibreCat: /record/3203
DOI: 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 .
LibreCat: /record/3204
DOI: 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 .
LibreCat: /record/3205
DOI: 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.
LibreCat: /record/3206

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 .
LibreCat: /record/3207
DOI: 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 .
LibreCat: /record/3208
DOI: 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 .
LibreCat: /record/3209
DOI: 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 .
LibreCat: /record/3210
DOI: 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 .
LibreCat: /record/3001
DOI: 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 .
LibreCat: /record/3143
DOI: 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 .
LibreCat: /record/3144
DOI: 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 .
LibreCat: /record/3145
DOI: 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.
LibreCat: /record/3146

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.
LibreCat: /record/20938