Foto von Michael Petter

Michael Petter, Dr. rer. nat.

Latest news

due to the current COVID-19 issues, you may find, that I am in home office, instead of at the university. However, You may still contact me, and schedule a video call with me.

Veröffentlichungen

2017

Inter-procedural Two-Variable Herbrand Equalities.

, , :
Inter-procedural Two-Variable Herbrand Equalities. Log. Methods Comput. Sci. 13(2) ()
more

2015

Inter-procedural Two-Variable Herbrand Equalities.

, , :
Inter-procedural Two-Variable Herbrand Equalities. ESOP : 457-482
more

2014

Inter-procedural Two-Variable Herbrand Equalities.

, , :
Inter-procedural Two-Variable Herbrand Equalities. CoRR abs/1410.4416 ()
more

2011

Interprocedural Polynomial Invariants.

:
Interprocedural Polynomial Invariants. Technical University Munich, , ISBN 978-3-86853-810-6, pp. 1-127
more

2011

Fast interprocedural linear two-variable equalities.

, , , :
Fast interprocedural linear two-variable equalities. ACM Trans. Program. Lang. Syst. 33(6): 21:1-21:33 ()
more

2011

Side-Effect Analysis of Assembly Code.

, , :
Side-Effect Analysis of Assembly Code. SAS : 77-94
more

2010

Interprocedural Control Flow Reconstruction.

, , , :
Interprocedural Control Flow Reconstruction. APLAS : 188-203
more

2008

Analysing All Polynomial Equations in .

, , :
Analysing All Polynomial Equations in . SAS : 299-314
more

2007

Interprocedurally Analysing Linear Inequality Relations.

, , :
Interprocedurally Analysing Linear Inequality Relations. ESOP : 284-299
more

2006

Interprocedurally Analyzing Polynomial Identities.

, , :
Interprocedurally Analyzing Polynomial Identities. STACS : 50-67
more