| 2008 | ||
|---|---|---|
| 3 | EE | Helmut Seidl, Andrea Flexeder, Michael Petter: Analysing All Polynomial Equations in . SAS 2008: 299-314 |
| 2007 | ||
| 2 | EE | Helmut Seidl, Andrea Flexeder, Michael Petter: Interprocedurally Analysing Linear Inequality Relations. ESOP 2007: 284-299 |
| 2006 | ||
| 1 | EE | Markus Müller-Olm, Michael Petter, Helmut Seidl: Interprocedurally Analyzing Polynomial Identities. STACS 2006: 50-67 |
| 1 | Andrea Flexeder | [2] [3] |
| 2 | Markus Müller-Olm | [1] |
| 3 | Helmut Seidl | [1] [2] [3] |