Christian Dax

Publication Activity (10 Years)

Years Active: 2005-2011
Publications (10 Years): 0

Publications

Christian Dax, Felix Klaedtke
Alternation Elimination for Automata over Nested Words. FoSSaCS (2011)
Christian Dax, Felix Klaedtke, Martin Lange
On regular temporal logics with past. Acta Informatica 47 (4) (2010)
Christian Dax, Felix Klaedtke, Stefan Leue
Specification Languages for Stutter-Invariant Regular Properties. ATVA (2009)
Christian Dax, Felix Klaedtke, Martin Lange
On Regular Temporal Logics with Past, . ICALP (2) (2009)
Christian Dax, Felix Klaedtke
Alternation Elimination by Complementation (Extended Abstract). LPAR (2008)
Bernd Becker, Christian Dax, Jochen Eisinger, Felix Klaedtke
LIRA: Handling Constraints of Linear Arithmetics over the Integers and the Reals. CAV (2007)
Christian Dax, Jochen Eisinger, Felix Klaedtke
-Automata. ATVA (2007)
Christian Dax, Martin Hofmann, Martin Lange
A Proof System for the Linear Time µ-Calculus. FSTTCS (2006)
Christian Dax, Martin Lange
Game Over: The Foci Approach to LTL Satisfiability and Model Checking. Electron. Notes Theor. Comput. Sci. 119 (1) (2005)