 | 2009 |
|---|
| 7 |       | Christian Dax,
Felix Klaedtke,
Stefan Leue:
Specification Languages for Stutter-Invariant Regular Properties.
ATVA 2009: 244-254 |
| 6 | | Christian Dax,
Felix Klaedtke,
Martin Lange:
On Regular Temporal Logics with Past, .
ICALP (2) 2009: 175-187 |
| 2008 |
|---|
| 5 | | Christian Dax,
Felix Klaedtke:
Alternation Elimination by Complementation (Extended Abstract).
LPAR 2008: 214-229 |
| 2007 |
|---|
| 4 | | Christian Dax,
Jochen Eisinger,
Felix Klaedtke:
Mechanizing the Powerset Construction for Restricted Classes of omega -Automata.
ATVA 2007: 223-236 |
| 3 | | Bernd Becker,
Christian Dax,
Jochen Eisinger,
Felix Klaedtke:
LIRA: Handling Constraints of Linear Arithmetics over the Integers and the Reals.
CAV 2007: 307-310 |
| 2006 |
|---|
| 2 | | Christian Dax,
Martin Hofmann,
Martin Lange:
A Proof System for the Linear Time µ-Calculus.
FSTTCS 2006: 273-284 |
| 2005 |
|---|
| 1 | | Christian Dax,
Martin Lange:
Game Over: The Foci Approach to LTL Satisfiability and Model Checking.
Electr. Notes Theor. Comput. Sci. 119(1): 33-49 (2005) |
