| |
Dresden University of Technology
List of publications from the DBLP Bibliography Server - FAQother persons with the same name:
| 2008 | ||
|---|---|---|
| 4 | EE | Frank Ciesinski, Christel Baier, Marcus Größer, Joachim Klein: Reduction Techniques for Model Checking Markov Decision Processes. QEST 2008: 45-54 |
| 2007 | ||
| 3 | EE | Joachim Klein, Christel Baier: On-the-Fly Stuttering in the Construction of Deterministic omega -Automata. CIAA 2007: 51-61 |
| 2006 | ||
| 2 | EE | Joachim Klein, Christel Baier: Experiments with deterministic omega-automata for formulas of linear temporal logic. Theor. Comput. Sci. 363(2): 182-195 (2006) |
| 2005 | ||
| 1 | EE | Joachim Klein, Christel Baier: Experiments with Deterministic omega-Automata for Formulas of Linear Temporal Logic. CIAA 2005: 199-212 |
| 1 | Christel Baier | [1] [2] [3] [4] |
| 2 | Frank Ciesinski | [4] |
| 3 | Marcus Größer | [4] |