# Dominik Dietrich

According to our database

Collaborative distances:

^{1}, Dominik Dietrich authored at least 19 papers between 2005 and 2013.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2013

Polar: A Framework for Proof Refactoring.

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

2012

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

2011

Ω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

2010

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

2009

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

2008

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

2007

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

2006

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

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

2005

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

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