 | 2009 |
|---|
| 7 |       | Thomas Gawlitza,
Helmut Seidl:
Games through Nested Fixpoints.
CAV 2009: 291-305 |
| 6 | | Thomas Gawlitza,
Jérôme Leroux,
Jan Reineke,
Helmut Seidl,
Grégoire Sutre,
Reinhard Wilhelm:
Polynomial Precise Interval Analysis Revisited.
Efficient Algorithms 2009: 422-437 |
| 2008 |
|---|
| 5 | | Thomas Gawlitza,
Helmut Seidl:
Precise Interval Analysis vs. Parity Games.
FM 2008: 342-357 |
| 4 | | 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 | | Thomas Gawlitza,
Helmut Seidl:
Computing Game Values for Crash Games.
ATVA 2007: 177-191 |
| 2 | | Thomas Gawlitza,
Helmut Seidl:
Precise Relational Invariants Through Strategy Iteration.
CSL 2007: 23-40 |
| 1 | | Thomas Gawlitza,
Helmut Seidl:
Precise Fixpoint Computation Through Strategy Iteration.
ESOP 2007: 300-315 |
