Jochen Hoenicke
Identifiers
- name variant Jochen Hoenicke 0.60 · backfill
Papers (7)
- Interpolation and the Array Property Fragment cs.LO · 2019 · author #1
- Different Maps for Different Uses. A Program Transformation for Intermediate Verification Languages cs.SE · 2019 · author #3
- Efficient Interpolation for the Theory of Arrays cs.LO · 2018 · author #1
- Proof Tree Preserving Interpolation cs.LO · 2017 · author #2
- Weakly Equivalent Arrays cs.LO · 2014 · author #2
- Linear Ranking for Linear Lasso Programs cs.LO · 2014 · author #2
- Towards Bounded Infeasible Code Detection cs.PL · 2012 · author #2
Mentions
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