Interprocedurally Analyzing Polynomial Identities. - Markus Müller-Olm; Michael Petter; Helmut Seidl (STACS, 2006)

Interprocedurally Analysing Linear Inequality Relations. - Helmut Seidl; Andrea Flexeder; Michael Petter (ESOP, 2007)

Analysing All Polynomial Equations in . - Helmut Seidl; Andrea Flexeder; Michael Petter (SAS, 2008)

Interprocedural Control Flow Reconstruction. - Andrea Flexeder; Bogdan Mihaila; Michael Petter; Helmut Seidl (APLAS, 2010)

Side-Effect Analysis of Assembly Code. - Andrea Flexeder; Michael Petter; Helmut Seidl (SAS, 2011)

Fast interprocedural linear two-variable equalities. - Andrea Flexeder; Markus Müller-Olm; Michael Petter; Helmut Seidl (ACM Trans. Program. Lang. Syst., 2011)

Interprocedural Polynomial Invariants. - Michael Petter (2011)

Inter-procedural Two-Variable Herbrand Equalities. - Stefan Schulze Frielinghaus; Michael Petter; Helmut Seidl (Log. Methods Comput. Sci., 2017)