Matthias Heizmann

Identifiers

• name variant Matthias Heizmann 0.60 · backfill

Papers (6)

1. Different Maps for Different Uses. A Program Transformation for Intermediate Verification Languages cs.SE · 2019 · author #2
2. Minimization of Visibly Pushdown Automata Using Partial Max-SAT cs.FL · 2017 · author #1
3. Geometric Nontermination Arguments cs.LO · 2016 · author #2
4. Geometric Series as Nontermination Arguments for Linear Lasso Programs cs.LO · 2014 · author #2
5. Linear Ranking for Linear Lasso Programs cs.LO · 2014 · author #1
6. Ranking Templates for Linear Loops cs.LO · 2014 · author #2

Mentions

• 1405.4413 #2 · backfill · confidence 0.70 Matthias Heizmann
• 1401.5347 #1 · backfill · confidence 0.70 Matthias Heizmann
• 1401.5338 #2 · backfill · confidence 0.70 Matthias Heizmann

Frequent Coauthors

• Jan Leike 4 shared papers
• Andreas Podelski 2 shared papers
• Jochen Hoenicke 2 shared papers
• Alexander Nutz 1 shared papers
• Christian Schilling 1 shared papers
• Daniel Dietsch 1 shared papers
• Daniel Tischner 1 shared papers