Jochen Hoenicke

Identifiers

• name variant Jochen Hoenicke 0.60 · backfill

Papers (7)

1. Interpolation and the Array Property Fragment cs.LO · 2019 · author #1
2. Different Maps for Different Uses. A Program Transformation for Intermediate Verification Languages cs.SE · 2019 · author #3
3. Efficient Interpolation for the Theory of Arrays cs.LO · 2018 · author #1
4. Proof Tree Preserving Interpolation cs.LO · 2017 · author #2
5. Weakly Equivalent Arrays cs.LO · 2014 · author #2
6. Linear Ranking for Linear Lasso Programs cs.LO · 2014 · author #2
7. Towards Bounded Infeasible Code Detection cs.PL · 2012 · author #2

Mentions

• 1405.6939 #2 · backfill · confidence 0.70 Jochen Hoenicke
• 1401.5347 #2 · backfill · confidence 0.70 Jochen Hoenicke
• 1205.6527 #2 · backfill · confidence 0.70 Jochen Hoenicke

Frequent Coauthors

• J\"urgen Christ 3 shared papers
• Alexander Nutz 2 shared papers
• Andreas Podelski 2 shared papers
• Matthias Heizmann 2 shared papers
• Tanja Schindler 2 shared papers
• Daniel Dietsch 1 shared papers
• Jan Leike 1 shared papers
• Martin Sch\"af 1 shared papers