Jürgen Christ
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2010 – today
- 2017
- [i4]Jürgen Christ, Jochen Hoenicke, Alexander Nutz:
Proof Tree Preserving Interpolation. CoRR abs/1705.05309 (2017) - 2016
- [j1]Jürgen Christ, Jochen Hoenicke:
Proof Tree Preserving Tree Interpolation. J. Autom. Reasoning 57(1): 67-95 (2016) - 2015
- [c8]
- [c7]
- 2014
- [c6]
- [c5]Matthias Heizmann, Jürgen Christ, Daniel Dietsch, Jochen Hoenicke, Markus Lindenmann, Betim Musa, Christian Schilling, Stefan Wissert, Andreas Podelski:
Ultimate Automizer with Unsatisfiable Cores - (Competition Contribution). TACAS 2014: 418-420 - [i3]
- 2013
- [c4]Jürgen Christ, Jochen Hoenicke, Alexander Nutz:
Proof Tree Preserving Interpolation. TACAS 2013: 124-138 - [c3]Matthias Heizmann, Jürgen Christ, Daniel Dietsch, Evren Ermis, Jochen Hoenicke, Markus Lindenmann, Alexander Nutz, Christian Schilling, Andreas Podelski:
Ultimate Automizer with SMTInterpol - (Competition Contribution). TACAS 2013: 641-643 - [c2]Jürgen Christ, Evren Ermis, Martin Schäf, Thomas Wies:
Flow-Sensitive Fault Localization. VMCAI 2013: 189-208 - 2012
- [c1]Jürgen Christ, Jochen Hoenicke, Alexander Nutz:
SMTInterpol: An Interpolating SMT Solver. SPIN 2012: 248-254 - [i2]Jürgen Christ, Jochen Hoenicke, Martin Schäf:
Towards Bounded Infeasible Code Detection. CoRR abs/1205.6527 (2012) - 2010
- [i1]Jürgen Christ, Jochen Hoenicke:
Instantiation-Based Interpolation for Quantified Formulae. Decision Procedures in Software, Hardware and Bioware 2010
Coauthor Index
last updated on 2019-01-09 01:23 CET by the dblp team
data released under the ODC-BY 1.0 license
see also: Terms of Use | Privacy Policy | Imprint