Carsten Fritz

	2006
7		Carsten Fritz, Thomas Wilke: Simulation Relations for Alternating Parity Automata and Parity Games. Developments in Language Theory 2006: 59-70
	2005
6		Carsten Fritz: Concepts of Automata Construction from LTL. LPAR 2005: 728-742
5		Carsten Fritz, Thomas Wilke: Simulation relations for alternating Büchi automata. Theor. Comput. Sci. 338(1-3): 275-314 (2005)
4		Carsten Fritz: Simulation-based simplification of omega-automata. University of Kiel 2005: 1-188
	2003
3		Carsten Fritz: Constructing Büchi Automata from Linear Temporal Logic Using Simulation Relations for Alternating Büchi Automata. CIAA 2003: 35-48
	2002
2		Carsten Fritz, Thomas Wilke: State Space Reductions for Alternating Büchi Automata. FSTTCS 2002: 157-168
	2001
1		Carsten Fritz: Some Fixed Point Basics. Automata, Logics, and Infinite Games 2001: 359-364

Coauthor Index

1

Thomas Wilke

[2] [5] [7]

Last update Fri May 25 01:42:58 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page