Skip to main content Skip to main navigation

Publikationen

Seite 1 von 2.

  1. 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 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), Vol. 7609, Springer, 10/2012.

  2. 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.

  3. 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 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, No. 6824, Springer-Verlag, Berlin Heidelberg, 7/2011.

  4. 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), located at Conference on Automated Deduction, July 31, Wroclaw, Poland, Pages 11-15, CISUC Technical Report, No. 2011/001, University of Coimbra, Portugal, 7/2011.

  5. 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 Interactive Theorem Proving (ITP-2010), July 11-14, Edinburgh, United Kingdom, Pages 99-114, Lecture Notes in Computer Sciences (LNCS), Vol. 6172, Springer, 7/2010.

  6. Serge Autexier; Christoph Benzmüller; Dominik Dietrich; Jörg Siekmann

    Resource Adaptive Processes in Automated Reasoning Systems

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

  7. Serge Autexier; Dominik Dietrich

    Atomic Metadeduction

    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.

  8. Dominik Dietrich; Ewaryst Schulz

    Crystal: Integrating Structured Queries into a Tactic Language

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

  9. Serge Autexier; Christoph Benzmueller; Dominik Dietrich; Marc Wagner

    Organisation, Transformation, and Propagation of Mathematical Knowledge in OMEGA

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

  10. Serge Autexier; Christoph Benzmüller; Dominik Dietrich; Marc Wagner

    Organisation, Transformation, and Propagation of Mathematical Knowledge in OMEGA

    In: Mathematics in Computer Science, Vol. Online First, Pages o.A-o.A. Birkhäuser, 2008.