Dominik Dietrich

	2011
14		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: 164-179
13		Dominik Dietrich, Lutz Schröder, Ewaryst Schulz: Formalizing and Operationalizing Industrial Standards. FASE 2011: 81-95
12		Serge Autexier, Dominik Dietrich, Marvin Schiller: Towards an Intelligent Tutor for Mathematical Proofs THedu'11 2011: 1-28
11		Serge Autexier, Catalin David, Dominik Dietrich, Michael Kohlhase, Vyacheslav Zholudev: Workflows for the Management of Change in Science, Technologies, Engineering and Mathematics CoRR abs/1105.2392: (2011)
	2010
10		Serge Autexier, Dominik Dietrich: A Tactic Language for Declarative Proofs. ITP 2010: 99-114
9		Dominik Dietrich, Ewaryst Schulz: Crystal: Integrating Structured Queries into a Tactic Language. J. Autom. Reasoning 44(1-2): 79-110 (2010)
	2009
8		Michael Breuß, Dominik Dietrich: Fuzzy Numerical Schemes for Hyperbolic Differential Equations. KI 2009: 419-426
7		Serge Autexier, Dominik Dietrich: Atomic Metadeduction. KI 2009: 444-451
	2008
6		Dominik Dietrich, Ewaryst Schulz, Marc Wagner: Authoring Verified Documents by Interactive Proof Construction and Verification in Text-Editors. AISC/MKM/Calculemus 2008: 398-414
5		Serge Autexier, Christoph Benzmüller, Dominik Dietrich, Marc Wagner: Organization, Transformation, and Propagation of Mathematical Knowledge in Omegamega. Mathematics in Computer Science 2(2): 253-277 (2008)
	2007
4		Dominik Dietrich, Mark Buckley: Verification of Proof Steps for Tutoring Mathematical Proofs. AIED 2007: 560-562
3		Christoph Benzmüller, Dominik Dietrich, Marvin Schiller, Serge Autexier: Deep Inference for Automated Proof Tutoring? KI 2007: 435-439
	2006
2		Serge Autexier, Dominik Dietrich: Synthesizing Proof Planning Methods and Omega-Ants Agents from Mathematical Knowledge. MKM 2006: 94-109
	2005
1		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: 126-142

Coauthor Index

1	Serge Autexier	[1] [2] [3] [5] [7] [10] [11] [12] [14]
2	Christoph Benzmüller (Christoph Benzmueller)	[1] [3] [5]
3	Michael Breuß	[8]
4	Mark Buckley	[4]
5	Catalin David	[11] [14]
6	Michael Kohlhase	[11] [14]
7	Andreas Meier	[1]
8	Marvin Schiller	[3] [12]
9	Lutz Schröder	[13]
10	Ewaryst Schulz	[6] [9] [13]
11	Marc Wagner	[5] [6]
12	Claus-Peter Wirth	[1]
13	Vyacheslav Zholudev	[11] [14]

Colors in the list of coauthors

Last update Tue May 29 20:41:18 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page