According to our database1, Christian Dax authored at least 9 papers between 2005 and 2011.
Legend:Book In proceedings Article PhD thesis Other
Alternation Elimination for Automata over Nested Words.
Proceedings of the Foundations of Software Science and Computational Structures, 2011
On regular temporal logics with past.
Acta Inf., 2010
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
Alternation Elimination by Complementation (Extended Abstract).
Proceedings of the Logic for Programming, 2008
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
A Proof System for the Linear Time µ-Calculus.
Proceedings of the FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science, 2006
Game Over: The Foci Approach to LTL Satisfiability and Model Checking.
Electr. Notes Theor. Comput. Sci., 2005