Some Fixed Point Basics. - Carsten Fritz (Automata, Logics, and Infinite Games, 2001)

State Space Reductions for Alternating Büchi Automata. - Carsten Fritz; Thomas Wilke (FSTTCS, 2002)

Constructing Büchi Automata from Linear Temporal Logic Using Simulation Relations for Alternating Büchi Automata. - Carsten Fritz (CIAA, 2003)

Concepts of Automata Construction from LTL. - Carsten Fritz (LPAR, 2005)

Simulation relations for alternating Büchi automata. - Carsten Fritz; Thomas Wilke (Theor. Comput. Sci., 2005)

Simulation-based simplification of omega-automata. - Carsten Fritz (2005)

Simulation Relations for Alternating Parity Automata and Parity Games. - Carsten Fritz; Thomas Wilke (Developments in Language Theory, 2006)