Dominik Dietrich

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