Dominik Dietrich

Publication Activity (10 Years)

Years Active: 2005-2013
Publications (10 Years): 0

Top Venues

STAIRS

LPAR

ISoLA (1)

Saarland University (PHD)

Education History

Saarland University

PHD

Publications

Dominik Dietrich, Iain Whiteside, David Aspinall
Polar: A Framework for Proof Refactoring. LPAR (2013)
Serge Autexier, Dominik Dietrich, Dieter Hutter, Christoph Lüth, Christian Maeder
SmartTies - Management of Safety-Critical Developments. ISoLA (1) (2012)
Manfred Eppe, Dominik Dietrich
Interleaving Planning and Plan Execution with Incomplete Knowledge in the Event Calculus. STAIRS (2012)
Serge Autexier, Dominik Dietrich, Marvin R. G. Schiller
Towards an Intelligent Tutor for Mathematical Proofs ThEdu (2011)
Serge Autexier, Catalin David, Dominik Dietrich, Michael Kohlhase, Vyacheslav Zholudev
Workflows for the Management of Change in Science, Technologies, Engineering and Mathematics CoRR (2011)
Serge Autexier, Catalin David, Dominik Dietrich, Michael Kohlhase, Vyacheslav Zholudev
Workflows for the Management of Change in Science, Technologies, Engineering and Mathematics. Calculemus/MKM (2011)
Dominik Dietrich, Lutz Schröder, Ewaryst Schulz
Formalizing and Operationalizing Industrial Standards. FASE (2011)
Serge Autexier, Dominik Dietrich
A Tactic Language for Declarative Proofs. ITP (2010)
Dominik Dietrich, Ewaryst Schulz
Crystal: Integrating Structured Queries into a Tactic Language. J. Autom. Reason. 44 (1-2) (2010)
Serge Autexier, Dominik Dietrich
Recent developments in mega's proof search programming language. ACM Commun. Comput. Algebra 44 (1/2) (2010)
Serge Autexier, Dominik Dietrich
Atomic Metadeduction. KI (2009)
Michael Breuß, Dominik Dietrich
Fuzzy Numerical Schemes for Hyperbolic Differential Equations. KI (2009)
Serge Autexier, Christoph Benzmüller, Dominik Dietrich, Marc Wagner
Organization, Transformation, and Propagation of Mathematical Knowledge in Omegamega. Math. Comput. Sci. 2 (2) (2008)
Dominik Dietrich, Ewaryst Schulz, Marc Wagner
Authoring Verified Documents by Interactive Proof Construction and Verification in Text-Editors. AISC/MKM/Calculemus (2008)
Christoph Benzmüller, Dominik Dietrich, Marvin R. G. Schiller, Serge Autexier
Deep Inference for Automated Proof Tutoring? KI (2007)
Dominik Dietrich, Mark Buckley
Verification of Proof Steps for Tutoring Mathematical Proofs. AIED (2007)
Serge Autexier, Dominik Dietrich
Synthesizing Proof Planning Methods and Omega-Ants Agents from Mathematical Knowledge. MKM (2006)
Serge Autexier, Christoph Benzmüller, Dominik Dietrich, Andreas Meier, Claus-Peter Wirth
A Generic Modular Data Structure for Proof Attempts Alternating on Ideas and Granularity. MKM (2005)

Dominik Dietrich.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Dominik Dietrich