Carsten Fritz

According to our database, Carsten Fritz authored at least 7 papers between 2001 and 2006.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2006

Simulation Relations for Alternating Parity Automata and Parity Games.

Carsten Fritz, Thomas Wilke

Proceedings of the Developments in Language Theory, 10th International Conference, 2006

2005

Simulation-based simplification of omega-automata.

Carsten Fritz

PhD thesis, 2005

Simulation relations for alternating Büchi automata.

Carsten Fritz, Thomas Wilke

Theor. Comput. Sci., 2005

Concepts of Automata Construction from LTL.

Carsten Fritz

Proceedings of the Logic for Programming, 2005

2003

Constructing Büchi Automata from Linear Temporal Logic Using Simulation Relations for Alternating Büchi Automata.

Carsten Fritz

Proceedings of the Implementation and Application of Automata, 2003

2002

State Space Reductions for Alternating Büchi Automata.

Carsten Fritz, Thomas Wilke

Proceedings of the FST TCS 2002: Foundations of Software Technology and Theoretical Computer Science, 2002

2001

Some Fixed Point Basics.

Carsten Fritz

Proceedings of the Automata, 2001