Dominik Dietrich

According to our database, Dominik Dietrich authored at least 19 papers between 2005 and 2013.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2013

Polar: A Framework for Proof Refactoring.

Dominik Dietrich, Iain Whiteside, David Aspinall

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2013

2012

Assertion level proof planning with compiled strategies.

Dominik Dietrich

PhD thesis, 2012

Interleaving Planning and Plan Execution with Incomplete Knowledge in the Event Calculus.

Manfred Eppe, Dominik Dietrich

Proceedings of the STAIRS 2012, 2012

SmartTies - Management of Safety-Critical Developments.

Serge Autexier, Dominik Dietrich, Dieter Hutter, Christoph Lüth, Christian Maeder

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2012

2011

ΩMEGA: Resource-Adaptive Processes in an Automated Reasoning System.

Serge Autexier, Christoph Benzmüller, Dominik Dietrich, Jörg H. Siekmann

Proceedings of the Resource-Adaptive Cognitive Processes, 2011

Towards an Intelligent Tutor for Mathematical Proofs

Serge Autexier, Dominik Dietrich, Marvin R. G. Schiller

Proceedings of the Proceedings First Workshop on CTP Components for Educational Software, 2011

Workflows for the Management of Change in Science, Technologies, Engineering and Mathematics.

Serge Autexier, Catalin David, Dominik Dietrich, Michael Kohlhase, Vyacheslav Zholudev

Proceedings of the Intelligent Computer Mathematics - 18th Symposium, 2011

Formalizing and Operationalizing Industrial Standards.

Dominik Dietrich, Lutz Schröder, Ewaryst Schulz

Proceedings of the Fundamental Approaches to Software Engineering, 2011

2010

Crystal: Integrating Structured Queries into a Tactic Language.

Dominik Dietrich, Ewaryst Schulz

J. Autom. Reason., 2010

Recent developments in mega's proof search programming language.

Serge Autexier, Dominik Dietrich

ACM Commun. Comput. Algebra, 2010

A Tactic Language for Declarative Proofs.

Serge Autexier, Dominik Dietrich

Proceedings of the Interactive Theorem Proving, First International Conference, 2010

2009

Fuzzy Numerical Schemes for Hyperbolic Differential Equations.

Michael Breuß, Dominik Dietrich

Proceedings of the KI 2009: Advances in Artificial Intelligence, 2009

Atomic Metadeduction.

Serge Autexier, Dominik Dietrich

Proceedings of the KI 2009: Advances in Artificial Intelligence, 2009

2008

Organization, Transformation, and Propagation of Mathematical Knowledge in Omegamega.

Serge Autexier, Christoph Benzmüller, Dominik Dietrich, Marc Wagner

Math. Comput. Sci., 2008

Authoring Verified Documents by Interactive Proof Construction and Verification in Text-Editors.

Dominik Dietrich, Ewaryst Schulz, Marc Wagner

Proceedings of the Intelligent Computer Mathematics, 9th International Conference, 2008

2007

Deep Inference for Automated Proof Tutoring?

Christoph Benzmüller, Dominik Dietrich, Marvin R. G. Schiller, Serge Autexier

Proceedings of the KI 2007: Advances in Artificial Intelligence, 2007

Verification of Proof Steps for Tutoring Mathematical Proofs.

Dominik Dietrich, Mark Buckley

Proceedings of the Artificial Intelligence in Education, 2007

2006

Synthesizing Proof Planning Methods and Omega-Ants Agents from Mathematical Knowledge.

Serge Autexier, Dominik Dietrich

Proceedings of the Mathematical Knowledge Management, 5th International Conference, 2006

2005

A Generic Modular Data Structure for Proof Attempts Alternating on Ideas and Granularity.

Serge Autexier, Christoph Benzmüller, Dominik Dietrich, Andreas Meier, Claus-Peter Wirth

Proceedings of the Mathematical Knowledge Management, 4th International Conference, 2005