- CSB - MetaPress - Google - Bing - Yahoo
 | 2011 | |
|---|---|---|
| c7 |      | Christian Dax, Felix Klaedtke: Alternation Elimination for Automata over Nested Words. FOSSACS 2011: 168-183 |
| 2010 | ||
| j2 | | Christian Dax, Felix Klaedtke, Martin Lange: On regular temporal logics with past. Acta Inf. 47(4): 251-277 (2010) |
| 2009 | ||
| c6 | | Christian Dax, Felix Klaedtke, Stefan Leue: Specification Languages for Stutter-Invariant Regular Properties. ATVA 2009: 244-254 |
| c5 | | Christian Dax, Felix Klaedtke, Martin Lange: On Regular Temporal Logics with Past, . ICALP (2) 2009: 175-187 |
| 2008 | ||
| c4 | | Christian Dax, Felix Klaedtke: Alternation Elimination by Complementation (Extended Abstract). LPAR 2008: 214-229 |
| 2007 | ||
| c3 | | Christian Dax, Jochen Eisinger, Felix Klaedtke: Mechanizing the Powerset Construction for Restricted Classes of omega -Automata. ATVA 2007: 223-236 |
| c2 | | 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 | ||
| c1 | | Christian Dax, Martin Hofmann, Martin Lange: A Proof System for the Linear Time µ-Calculus. FSTTCS 2006: 273-284 |
| 2005 | ||
| j1 | | 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) |
| 1 | Bernd Becker | |
| 2 | Jochen Eisinger | |
| 3 | Martin Hofmann | |
| 4 | Felix Klaedtke | |
| 5 | Martin Lange | |
| 6 | Stefan Leue |
Data released under the ODC-BY 1.0 license — See also our legal information page