| |
| 2008 | ||
|---|---|---|
| 5 | EE | Thomas Gawlitza, Helmut Seidl: Precise Interval Analysis vs. Parity Games. FM 2008: 342-357 |
| 4 | EE | Javier Esparza, Thomas Gawlitza, Stefan Kiefer, Helmut Seidl: Approximative Methods for Monotone Systems of Min-Max-Polynomial Equations. ICALP (1) 2008: 698-710 |
| 2007 | ||
| 3 | EE | Thomas Gawlitza, Helmut Seidl: Computing Game Values for Crash Games. ATVA 2007: 177-191 |
| 2 | EE | Thomas Gawlitza, Helmut Seidl: Precise Relational Invariants Through Strategy Iteration. CSL 2007: 23-40 |
| 1 | EE | Thomas Gawlitza, Helmut Seidl: Precise Fixpoint Computation Through Strategy Iteration. ESOP 2007: 300-315 |
| 1 | Javier Esparza | [4] |
| 2 | Stefan Kiefer | [4] |
| 3 | Helmut Seidl | [1] [2] [3] [4] [5] |