| |
| * | 2008 | |
|---|---|---|
| 2 | EE | Helmut Seidl, Andrea Flexeder, Michael Petter: Analysing All Polynomial Equations in . SAS 2008: 299-314 |
| 2007 | ||
| 1 | EE | Helmut Seidl, Andrea Flexeder, Michael Petter: Interprocedurally Analysing Linear Inequality Relations. ESOP 2007: 284-299 |
| 1 | Michael Petter | [1] [2] |
| 2 | Helmut Seidl | [1] [2] |