Thomas Gawlitza
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
6
Active years
2007–2009
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2009 | CAV | Games through Nested Fixpoints. | Thomas Gawlitza, Helmut Seidl |
| 2008 | FM | Precise Interval Analysis vs. Parity Games. | Thomas Gawlitza, Helmut Seidl |
| 2008 | ICALP | Approximative Methods for Monotone Systems of Min-Max-Polynomial Equations. | Javier Esparza, Thomas Gawlitza, Stefan Kiefer, Helmut Seidl |
| 2007 | ATVA | Computing Game Values for Crash Games. | Thomas Gawlitza, Helmut Seidl |
| 2007 | CSL | Precise Relational Invariants Through Strategy Iteration. | Thomas Gawlitza, Helmut Seidl |
| 2007 | ESOP | Precise Fixpoint Computation Through Strategy Iteration. | Thomas Gawlitza, Helmut Seidl |