Kontakt:

Foto von Michael Petter

Michael Petter, Dr. rer. nat.

Veröffentlichungen

..

Inter-procedural Two-Variable Herbrand Equalities.

, , :
Inter-procedural Two-Variable Herbrand Equalities. Logical Methods in Computer Science 13(2) ()
more

..

Inter-procedural Two-Variable Herbrand Equalities.

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

..

Inter-procedural Two-Variable Herbrand Equalities.

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

..

Interprocedural Polynomial Invariants.

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

..

Fast interprocedural linear two-variable equalities.

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

..

Side-Effect Analysis of Assembly Code.

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

..

Interprocedural Control Flow Reconstruction.

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

..

Analysing All Polynomial Equations in .

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

..

Interprocedurally Analysing Linear Inequality Relations.

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

..

Interprocedurally Analyzing Polynomial Identities.

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