# Christian Dax

According to our database

^{1}, Christian Dax## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2011

Alternation Elimination for Automata over Nested Words.

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

2010

On regular temporal logics with past.

Acta Inf., 2010

2009

On Regular Temporal Logics with Past, .

Proceedings of the Automata, Languages and Programming, 36th Internatilonal Colloquium, 2009

Specification Languages for Stutter-Invariant Regular Properties.

Proceedings of the Automated Technology for Verification and Analysis, 2009

2008

Alternation Elimination by Complementation (Extended Abstract).

Proceedings of the Logic for Programming, 2008

2007

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

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

Mechanizing the Powerset Construction for Restricted Classes of

*omega*-Automata.
Proceedings of the Automated Technology for Verification and Analysis, 2007

2006

A Proof System for the Linear Time µ-Calculus.

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

2005

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

Electr. Notes Theor. Comput. Sci., 2005