Christian Dax
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
5
Active years
2007–2011
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2011 | FOSSACS | Alternation Elimination for Automata over Nested Words. | Christian Dax, Felix Klaedtke |
| 2009 | ATVA | Specification Languages for Stutter-Invariant Regular Properties. | Christian Dax, Felix Klaedtke, Stefan Leue |
| 2009 | ICALP | On Regular Temporal Logics with Past, . | Christian Dax, Felix Klaedtke, Martin Lange |
| 2008 | LPAR | Alternation Elimination by Complementation (Extended Abstract). | Christian Dax, Felix Klaedtke |
| 2007 | ATVA | Mechanizing the Powerset Construction for Restricted Classes of | Christian Dax, Jochen Eisinger, Felix Klaedtke |
| 2007 | CAV | LIRA: Handling Constraints of Linear Arithmetics over the Integers and the Reals. | Bernd Becker, Christian Dax, Jochen Eisinger, Felix Klaedtke |