Carsten Fritz

	2006
6		Carsten Fritz, Thomas Wilke: Simulation Relations for Alternating Parity Automata and Parity Games. Developments in Language Theory 2006: 59-70
	2005
5		Carsten Fritz: Concepts of Automata Construction from LTL. LPAR 2005: 728-742
4		Carsten Fritz, Thomas Wilke: Simulation relations for alternating Büchi automata. Theor. Comput. Sci. 338(1-3): 275-314 (2005)
	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] [4] [6]