Arnaud Fietzke

	2012
6		Arnaud Fietzke, Evgeny Kruglov, Christoph Weidenbach: Automatic Generation of Invariants for Circular Derivations in SUP(LA). LPAR 2012: 197-211
	2010
5		Arnaud Fietzke, Holger Hermanns, Christoph Weidenbach: Superposition-Based Analysis of First-Order Probabilistic Timed Automata. LPAR (Yogyakarta) 2010: 302-316
	2009
4		Christoph Weidenbach, Dilyana Dimova, Arnaud Fietzke, Rohit Kumar, Martin Suda, Patrick Wischnewski: SPASS Version 3.5. CADE 2009: 140-145
3		Arnaud Fietzke, Christoph Weidenbach: Labelled splitting. Ann. Math. Artif. Intell. 55(1-2): 3-34 (2009)
	2008
2		Christoph Benzmüller, Lawrence C. Paulson, Frank Theiss, Arnaud Fietzke: LEO-II - A Cooperative Automatic Theorem Prover for Classical Higher-Order Logic (System Description). IJCAR 2008: 162-170
1		Arnaud Fietzke, Christoph Weidenbach: Labelled Splitting. IJCAR 2008: 459-474

Coauthor Index

1	Christoph Benzmüller (Christoph Benzmueller)	[2]
2	Dilyana Dimova	[4]
3	Holger Hermanns	[5]
4	Evgeny Kruglov	[6]
5	Rohit Kumar	[4]
6	Lawrence C. Paulson	[2]
7	Martin Suda	[4]
8	Frank Theiss	[2]
9	Christoph Weidenbach	[1] [3] [4] [5] [6]
10	Patrick Wischnewski	[4]

Colors in the list of coauthors

Last update Wed May 30 22:34:44 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page