In: Margaria Tiziana , Bernhard Steffen (Hrsg.). Proc. 5th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLa'12). International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA-12) October 15-18 Amirandes, Heraclion, Crete Greece Seiten 238-252 Lecture Notes in Computer Science (LNCS) 7609 Springer 10/2012.
Zur Publikation In: Pedro Quaresma , Ralph-Johan Back (Hrsg.). Electronic Proceedings in Theoretical Computer Science (EPTCS) 79 Seiten 1-28 ArXiv 2/2012.
Zur Publikation In: James H. Davenport , William Farmer , Florian Rabe , Joseph Urban (Hrsg.). Proceedings of Calculemus/MKM 2011. Conferences on Intelligent Computer Mathematics (CICM-11) 10th International Conference on Mathematical Knowledge Management befindet sich Conference on Intelligent Computer Mathematics July 18-23 Bertonori Italy Seiten 164-179 LNAI 6824 Springer-Verlag Berlin Heidelberg 7/2011.
Zur Publikation In: Pedro Quaresma , Ralph-Johan Back (Hrsg.). THedu'11, Workshop associated to CADE-23. THedu - CTP Components for Educational Software (ThEdu-11) befindet sich Conference on Automated Deduction July 31 Wroclaw Poland Seiten 11-15 CISUC Technical Report 2011/001 University of Coimbra, Portugal 7/2011.
Zur Publikation In: Matt Kaufmann , Lawrence C. Paulson (Hrsg.). Proceedings International Conference on Interactive Theorem Proving. International Conference on Interactive Theorem Proving (ITP-2010) July 11-14 Edinburgh United Kingdom Seiten 99-114 Lecture Notes in Computer Sciences (LNCS) 6172 Springer 7/2010.
Zur Publikation In: Matthew Crocker , Jörg Siekmann (Hrsg.). Resource Adaptive Cognitive Processes. Seite 28 LNAI ISBN 978-3-540-89407-0 Springer 11/2009.
Zur Publikation In: Bärbel Mertsching (Hrsg.). Proceedings 32nd Annual German Conference on Artificial Intelligence. German Conference on Artificial Intelligence (KI-09) 32nd September 15-18 Paderborn Germany Lectures Notes in Computer Science (LNCS) Springer 9/2009.
Zur Publikation In: Journal of Automated Reasoning (JAR) 43 3 Seiten 1-32 Springer 2009.
Zur Publikation In: Manfred Kerber (Hrsg.). Journal Mathematics in Computer Science 2 2 Seiten 253-277 Birkhäuser 12/2008.
Zur Publikation In: Mathematics in Computer Science Online First Birkhäuser 2008.
Zur Publikation 
