Carsten Fritz (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

6 Carsten Fritz, Thomas Wilke: Simulation Relations for Alternating Parity Automata and Parity Games. Developments in Language Theory 2006: 59-70

4 Carsten Fritz, Thomas Wilke: Simulation relations for alternating Büchi automata. Theor. Comput. Sci. 338(1-3): 275-314 (2005)

2 Carsten Fritz, Thomas Wilke: State Space Reductions for Alternating Büchi Automata. FSTTCS 2002: 157-168

Selection of 3 from 6 records - Carsten Fritz has 1 coauthors

6		Carsten Fritz, Thomas Wilke: Simulation Relations for Alternating Parity Automata and Parity Games. Developments in Language Theory 2006: 59-70
4		Carsten Fritz, Thomas Wilke: Simulation relations for alternating Büchi automata. Theor. Comput. Sci. 338(1-3): 275-314 (2005)
2		Carsten Fritz, Thomas Wilke: State Space Reductions for Alternating Büchi Automata. FSTTCS 2002: 157-168