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.

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


  Loading...