| |
| 2008 | ||
|---|---|---|
| 3 | EE | Manfred Droste, Karin Quaas: A Kleene-Schützenberger Theorem for Weighted Timed Automata. FoSSaCS 2008: 142-156 |
| 2 | EE | Parosh Aziz Abdulla, Johann Deneux, Joël Ouaknine, Karin Quaas, James Worrell: Universality Analysis for One-Clock Timed Automata. Fundam. Inform. 89(4): 419-450 (2008) |
| 2007 | ||
| 1 | EE | Parosh Aziz Abdulla, Joël Ouaknine, Karin Quaas, James Worrell: Zone-Based Universality Analysis for Single-Clock Timed Automata. FSEN 2007: 98-112 |
| 1 | Parosh Aziz Abdulla | [1] [2] |
| 2 | Johann Deneux | [2] |
| 3 | Manfred Droste | [3] |
| 4 | Joël Ouaknine | [1] [2] |
| 5 | James Worrell | [1] [2] |