| |
| 2008 | ||
|---|---|---|
| 5 | EE | Christian Dax, Felix Klaedtke: Alternation Elimination by Complementation (Extended Abstract). LPAR 2008: 214-229 |
| 2007 | ||
| 4 | EE | Christian Dax, Jochen Eisinger, Felix Klaedtke: Mechanizing the Powerset Construction for Restricted Classes of omega -Automata. ATVA 2007: 223-236 |
| 3 | EE | 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 | EE | Christian Dax, Martin Hofmann, Martin Lange: A Proof System for the Linear Time µ-Calculus. FSTTCS 2006: 273-284 |
| 2005 | ||
| 1 | EE | 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 | [3] |
| 2 | Jochen Eisinger | [3] [4] |
| 3 | Martin Hofmann | [2] |
| 4 | Felix Klaedtke | [3] [4] [5] |
| 5 | Martin Lange | [1] [2] |