Christian Dax

According to our database1, Christian Dax
  • authored at least 9 papers between 2005 and 2011.
  • has a "Dijkstra number"2 of four.

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


  Loading...