A Generic Modular Data Structure for Proof Attempts Alternating on Ideas and Granularity. - Serge Autexier; Christoph Benzmüller; Dominik Dietrich; Andreas Meier 002; Claus-Peter Wirth (MKM, 2005)

Synthesizing Proof Planning Methods and Omega-Ants Agents from Mathematical Knowledge. - Serge Autexier; Dominik Dietrich (MKM, 2006)

Verification of Proof Steps for Tutoring Mathematical Proofs. - Dominik Dietrich; Mark Buckley (AIED, 2007)

Deep Inference for Automated Proof Tutoring? - Christoph Benzmüller; Dominik Dietrich; Marvin R. G. Schiller; Serge Autexier (KI, 2007)

Authoring Verified Documents by Interactive Proof Construction and Verification in Text-Editors. - Dominik Dietrich; Ewaryst Schulz; Marc Wagner 001 (AISC/MKM/Calculemus, 2008)

Organization, Transformation, and Propagation of Mathematical Knowledge in Omegamega. - Serge Autexier; Christoph Benzmüller; Dominik Dietrich; Marc Wagner 001 (Math. Comput. Sci., 2008)

Atomic Metadeduction. - Serge Autexier; Dominik Dietrich (KI, 2009)

Fuzzy Numerical Schemes for Hyperbolic Differential Equations. - Michael Breuß; Dominik Dietrich (KI, 2009)

A Tactic Language for Declarative Proofs. - Serge Autexier; Dominik Dietrich (ITP, 2010)

Recent developments in mega's proof search programming language. - Serge Autexier; Dominik Dietrich (ACM Commun. Comput. Algebra, 2010)

Crystal: Integrating Structured Queries into a Tactic Language. - Dominik Dietrich; Ewaryst Schulz (J. Autom. Reason., 2010)

Formalizing and Operationalizing Industrial Standards. - Dominik Dietrich; Lutz Schröder; Ewaryst Schulz (FASE, 2011)

Workflows for the Management of Change in Science, Technologies, Engineering and Mathematics. - Serge Autexier; Catalin David; Dominik Dietrich; Michael Kohlhase; Vyacheslav Zholudev (Calculemus/MKM, 2011)

Towards an Intelligent Tutor for Mathematical Proofs - Serge Autexier; Dominik Dietrich; Marvin R. G. Schiller (ThEdu, 2011)

ΩMEGA: Resource-Adaptive Processes in an Automated Reasoning System. - Serge Autexier; Christoph Benzmüller; Dominik Dietrich; Jörg H. Siekmann (Resource-Adaptive Cognitive Processes, 2011)

SmartTies - Management of Safety-Critical Developments. - Serge Autexier; Dominik Dietrich; Dieter Hutter; Christoph Lüth; Christian Maeder (ISoLA (1), 2012)

Interleaving Planning and Plan Execution with Incomplete Knowledge in the Event Calculus. - Manfred Eppe; Dominik Dietrich (STAIRS, 2012)

Assertion level proof planning with compiled strategies. - Dominik Dietrich (Optimus-Verlag, 2012)

Polar: A Framework for Proof Refactoring. - Dominik Dietrich; Iain Whiteside; David Aspinall 001 (LPAR, 2013)