Dominik Dietrich

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.



In proceedings 
PhD thesis 




Polar: A Framework for Proof Refactoring.
Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2013

Assertion level proof planning with compiled strategies.
PhD thesis, 2012

Interleaving Planning and Plan Execution with Incomplete Knowledge in the Event Calculus.
Proceedings of the STAIRS 2012, 2012

SmartTies - Management of Safety-Critical Developments.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2012

ΩMEGA: Resource-Adaptive Processes in an Automated Reasoning System.
Proceedings of the Resource-Adaptive Cognitive Processes, 2011

Towards an Intelligent Tutor for Mathematical Proofs
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.
Proceedings of the Intelligent Computer Mathematics - 18th Symposium, 2011

Formalizing and Operationalizing Industrial Standards.
Proceedings of the Fundamental Approaches to Software Engineering, 2011

Crystal: Integrating Structured Queries into a Tactic Language.
J. Autom. Reasoning, 2010

Recent developments in mega's proof search programming language.
ACM Comm. Computer Algebra, 2010

A Tactic Language for Declarative Proofs.
Proceedings of the Interactive Theorem Proving, First International Conference, 2010

Fuzzy Numerical Schemes for Hyperbolic Differential Equations.
Proceedings of the KI 2009: Advances in Artificial Intelligence, 2009

Atomic Metadeduction.
Proceedings of the KI 2009: Advances in Artificial Intelligence, 2009

Organization, Transformation, and Propagation of Mathematical Knowledge in Omegamega.
Mathematics in Computer Science, 2008

Authoring Verified Documents by Interactive Proof Construction and Verification in Text-Editors.
Proceedings of the Intelligent Computer Mathematics, 9th International Conference, 2008

Deep Inference for Automated Proof Tutoring?
Proceedings of the KI 2007: Advances in Artificial Intelligence, 2007

Verification of Proof Steps for Tutoring Mathematical Proofs.
Proceedings of the Artificial Intelligence in Education, 2007

Synthesizing Proof Planning Methods and Omega-Ants Agents from Mathematical Knowledge.
Proceedings of the Mathematical Knowledge Management, 5th International Conference, 2006

A Generic Modular Data Structure for Proof Attempts Alternating on Ideas and Granularity.
Proceedings of the Mathematical Knowledge Management, 4th International Conference, 2005