Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.

Michael Petter

2010 – today

see FAQ

What is the meaning of the colors in the publication list?

2011
[b1]
- view
  - electronic edition @ hut-verlag.de
- export record as
  - BibTeX
  - XML
  dblp key:
  - phd/de/Petter2011
- ask others
Michael Petter: Interprocedural Polynomial Invariants. Technical University Munich 2011, ISBN 978-3-86853-810-6, pp. 1-127
[j1]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/toplas/FlexederMPS11
- ask others
Andrea Flexeder, Markus Müller-Olm, Michael Petter, Helmut Seidl: Fast interprocedural linear two-variable equalities. ACM Trans. Program. Lang. Syst. 33(6): 21 (2011)
[c5]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/sas/FlexederPS11
- ask others
Andrea Flexeder, Michael Petter, Helmut Seidl: Side-Effect Analysis of Assembly Code. SAS 2011: 77-94
2010
[c4]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/aplas/FlexederMPS10
- ask others
Andrea Flexeder, Bogdan Mihaila, Michael Petter, Helmut Seidl: Interprocedural Control Flow Reconstruction. APLAS 2010: 188-203

2000 – 2009

see FAQ

What is the meaning of the colors in the publication list?

2008
[c3]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/sas/SeidlFP08
- ask others
Helmut Seidl, Andrea Flexeder, Michael Petter: Analysing All Polynomial Equations in . SAS 2008: 299-314
2007
[c2]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/esop/SeidlFP07
- ask others
Helmut Seidl, Andrea Flexeder, Michael Petter: Interprocedurally Analysing Linear Inequality Relations. ESOP 2007: 284-299
2006
[c1]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/stacs/Muller-OlmPS06
- ask others
Markus Müller-Olm, Michael Petter, Helmut Seidl: Interprocedurally Analyzing Polynomial Identities. STACS 2006: 50-67

Coauthor Index

see FAQ

What is the meaning of the colors in the coauthor index?