Dominik Dietrich
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
9
Venues
7
Active years
2007–2013
Best venue rank
National
Where they publish
Papers
9 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2013 | LPAR | Polar: A Framework for Proof Refactoring. | Dominik Dietrich, Iain Whiteside, David Aspinall |
| 2012 | ISoLA | SmartTies - Management of Safety-Critical Developments. | Serge Autexier, Dominik Dietrich, Dieter Hutter, Christoph Lth, Christian Maeder |
| 2011 | FASE | Formalizing and Operationalizing Industrial Standards. | Dominik Dietrich, Lutz Schrder, Ewaryst Schulz |
| 2010 | ITP | A Tactic Language for Declarative Proofs. | Serge Autexier, Dominik Dietrich |
| 2009 | KI | Atomic Metadeduction. | Serge Autexier, Dominik Dietrich |
| 2009 | KI | Fuzzy Numerical Schemes for Hyperbolic Differential Equations. | Michael Breu, Dominik Dietrich |
| 2008 | AISC | Authoring Verified Documents by Interactive Proof Construction and Verification in Text-Editors. | Dominik Dietrich, Ewaryst Schulz, Marc Wagner |
| 2007 | AIED | Verification of Proof Steps for Tutoring Mathematical Proofs. | Dominik Dietrich, Mark Buckley |
| 2007 | KI | Deep Inference for Automated Proof Tutoring? | Christoph Benzmller, Dominik Dietrich, Marvin R. G. Schiller, Serge Autexier |