Christian Dax

According to our database, Christian Dax authored at least 8 papers between 2004 and 2011.

Collaborative distances:

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

2011

Alternation Elimination for Automata over Nested Words.

Christian Dax, Felix Klaedtke

Proceedings of the Foundations of Software Science and Computational Structures, 2011

2010

On regular temporal logics with past.

Christian Dax, Felix Klaedtke, Martin Lange

Acta Informatica, 2010

2009

Specification Languages for Stutter-Invariant Regular Properties.

Christian Dax, Felix Klaedtke, Stefan Leue

Proceedings of the Automated Technology for Verification and Analysis, 2009

2008

Alternation Elimination by Complementation (Extended Abstract).

Christian Dax, Felix Klaedtke

Proceedings of the Logic for Programming, 2008

2007

LIRA: Handling Constraints of Linear Arithmetics over the Integers and the Reals.

Bernd Becker, Christian Dax, Jochen Eisinger, Felix Klaedtke

Proceedings of the Computer Aided Verification, 19th International Conference, 2007

Mechanizing the Powerset Construction for Restricted Classes of <i>omega</i> -Automata.

Christian Dax, Jochen Eisinger, Felix Klaedtke

Proceedings of the Automated Technology for Verification and Analysis, 2007

2006

A Proof System for the Linear Time µ-Calculus.

Christian Dax, Martin Hofmann, Martin Lange

Proceedings of the FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science, 2006

2004

Game Over: The Foci Approach to LTL Satisfiability and Model Checking.

Christian Dax, Martin Lange

Proceedings of the Workshop on Games in Design and Verification, 2004