Publications

In: Margaria Tiziana, Bernhard Steffen (editor). 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 Pages 238-252 Lecture Notes in Computer Science (LNCS) 7609 Springer 10/2012.

In: Pedro Quaresma, Ralph-Johan Back (editor). Electronic Proceedings in Theoretical Computer Science (EPTCS) 79 Pages 1-28 ArXiv 2/2012.

In: James H. Davenport, William Farmer, Florian Rabe, Joseph Urban (editor). Proceedings of Calculemus/MKM 2011. Conferences on Intelligent Computer Mathematics (CICM-11) 10th International Conference on Mathematical Knowledge Management located at Conference on Intelligent Computer Mathematics July 18-23 Bertonori Italy Pages 164-179 LNAI 6824 Springer-Verlag Berlin Heidelberg 7/2011.

In: Pedro Quaresma, Ralph-Johan Back (editor). THedu'11, Workshop associated to CADE-23. THedu - CTP Components for Educational Software (ThEdu-11) located at Conference on Automated Deduction July 31 Wroclaw Poland Pages 11-15 CISUC Technical Report 2011/001 University of Coimbra, Portugal 7/2011.

In: Matt Kaufmann, Lawrence C. Paulson (editor). Proceedings International Conference on Interactive Theorem Proving. International Conference on Interactive Theorem Proving (ITP-2010) July 11-14 Edinburgh United Kingdom Pages 99-114 Lecture Notes in Computer Sciences (LNCS) 6172 Springer 7/2010.

In: Matthew Crocker, Jörg Siekmann (editor). Resource Adaptive Cognitive Processes. Page 28 LNAI ISBN 978-3-540-89407-0 Springer 11/2009.

In: Bärbel Mertsching (editor). 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.

In: Journal of Automated Reasoning (JAR) 43 3 Pages 1-32 Springer 2009.

In: Manfred Kerber (editor). Journal Mathematics in Computer Science 2 2 Pages 253-277 Birkhäuser 12/2008.

In: Mathematics in Computer Science Online First Birkhäuser 2008.