Arnaud Fietzke

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

	2012
j2		Arnaud Fietzke, Christoph Weidenbach: Superposition as a Decision Procedure for Timed Automata. Mathematics in Computer Science 6(4): 409-425 (2012)
c5		Arnaud Fietzke, Evgeny Kruglov, Christoph Weidenbach: Automatic Generation of Invariants for Circular Derivations in SUP(LA). LPAR 2012: 197-211
	2010
c4		Arnaud Fietzke, Holger Hermanns, Christoph Weidenbach: Superposition-Based Analysis of First-Order Probabilistic Timed Automata. LPAR (Yogyakarta) 2010: 302-316
	2009
j1		Arnaud Fietzke, Christoph Weidenbach: Labelled splitting. Ann. Math. Artif. Intell. 55(1-2): 3-34 (2009)
c3		Christoph Weidenbach, Dilyana Dimova, Arnaud Fietzke, Rohit Kumar, Martin Suda, Patrick Wischnewski: SPASS Version 3.5. CADE 2009: 140-145
	2008
c2		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
c1		Arnaud Fietzke, Christoph Weidenbach: Labelled Splitting. IJCAR 2008: 459-474

Coauthor Index

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

Last update Fri May 24 12:55:06 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page