Publications

Page 5 of 9.

Serge Autexier; Dominik Dietrich; Dieter Hutter; Christoph Lüth; Christian Maeder
SmartTies - Management of Safety-Critical Developments
In: Margaria Tiziana; Bernhard Steffen (Hrsg.). Proc. 5th International Symposium On Leveraging Applications of Formal Methods, Verification and …
Serge Autexier; Dominik Dietrich; Marvin Schiller
Towards an Intelligent Tutor for Mathematical Proofs
In: Pedro Quaresma; Ralph-Johan Back (Hrsg.). Electronic Proceedings in Theoretical Computer Science (EPTCS), Vol. 79, Pages 1-28, ArXiv, 2/2012.
Serge Autexier; Dieter Hutter
Structure Formation to Modularize Ontologies
In: Thomas Schneider; Dirk Walther (Hrsg.). Proceedings of the 6th International Workshop on Modular Ontologies. International Workshop on Modular …
Serge Autexier; Catalin David; Dominik Dietrich; Michael Kohlhase; Vyacheslav Zholudev
Workflows for the Management of Change in Science, Technologies, Engineering and Mathematics
In: James H. Davenport; William Farmer; Florian Rabe; Joseph Urban (Hrsg.). Proceedings of Calculemus/MKM 2011. Conferences on Intelligent Computer …
Serge Autexier; Dominik Dietrich; Marvin Schiller
Cognitive Tutoring in Mathematics based on Assertion Level Reasoning and Proof Strategies (Extended Abstract)
In: Pedro Quaresma; Ralph-Johan Back (Hrsg.). THedu'11 - CTP Components for Educational Software. CTP Components for Educational Software (Thedu-11), …
Serge Autexier; Christoph Lüth
Adding Change Impact Analysis to the Formal Verification of C Programs
In: Dominique Méry; Stephan Merz (Hrsg.). Proceedings 8th International Conference on Integrated Formal Methods (iFM 2010). International Conference …
Serge Autexier; Normen Müller
Semantics-Based Change Impact Analysis for Heterogeneous Collections of Documents
In: Michael Gormish; Rolf Ingold (Hrsg.). Proceedings of 10th ACM Symposium on Document Engineering. ACM Symposium on Document Engineering …
Serge Autexier; Jacques Calmet; David Delahaye; Patrick D. F. Ion; Laurence Rideau; Renaud Rioboo; Alan P. Sexton (Hrsg.)
Intelligent Computer Mathematics 2010 (CICM 2010)
Conferences on Intelligent Computer Mathematics (CICM-10), 10th International Conference AISC 2010, 17th Symposium Calculemus 2010 and 9th …
Serge Autexier; Dominik Dietrich
A Tactic Language for Declarative Proofs
In: Matt Kaufmann; Lawrence C. Paulson (Hrsg.). Proceedings International Conference on Interactive Theorem Proving. International Conference on …
Paul Libbrecht
Notations Around the World:Census and Exploitation
In: Serge Autexier; Jacques Calmet; David Delahaye; Patrick D.F. Ion; Laurence Rideau; Renaud Rioboo; Alan P. Sexton (Hrsg.). Intelligent Computer …