Jürgen Christ

14 papers A 3B 1Journal 4Unranked 5

Year	Rank	Type	Title / Venue / Authors
2017	J	`jnl`	Proof Tree Preserving Interpolation. CoRR Jürgen Christ, Jochen Hoenicke, Alexander Nutz
2016	J	`jnl`	Proof Tree Preserving Tree Interpolation. J. Autom. Reason. Jürgen Christ, Jochen Hoenicke
2015	—	`conf`	Cutting the Mix. CAV (2) Jürgen Christ, Jochen Hoenicke
2015	—	`—`	Interpolation modulo theories Jürgen Christ
2015	—	`conf`	Weakly Equivalent Arrays. FroCos Jürgen Christ, Jochen Hoenicke
2014	A	`conf`	Ultimate Automizer with Unsatisfiable Cores - (Competition Contribution). TACAS Matthias Heizmann, Jürgen Christ, Daniel Dietsch, Jochen Hoenicke, Markus Lindenmann, Betim Musa, Christian Schilling, Stefan Wissert, Andreas Podelski
2014	—	`conf`	Weakly Equivalent Arrays. SMT Jürgen Christ, Jochen Hoenicke
2014	J	`jnl`	Weakly Equivalent Arrays. CoRR Jürgen Christ, Jochen Hoenicke
2013	B	`conf`	Flow-Sensitive Fault Localization. VMCAI Jürgen Christ, Evren Ermis, Martin Schäf, Thomas Wies
2013	A	`conf`	Proof Tree Preserving Interpolation. TACAS Jürgen Christ, Jochen Hoenicke, Alexander Nutz
2013	A	`conf`	Ultimate Automizer with SMTInterpol - (Competition Contribution). TACAS Matthias Heizmann, Jürgen Christ, Daniel Dietsch, Evren Ermis, Jochen Hoenicke, Markus Lindenmann, Alexander Nutz, Christian Schilling, Andreas Podelski
2012	—	`conf`	SMTInterpol: An Interpolating SMT Solver. SPIN Jürgen Christ, Jochen Hoenicke, Alexander Nutz
2012	J	`jnl`	Towards Bounded Infeasible Code Detection CoRR Jürgen Christ, Jochen Hoenicke, Martin Schäf
2010	—	`conf`	Instantiation-Based Interpolation for Quantified Formulae. Decision Procedures in Software, Hardware and Bioware Jürgen Christ, Jochen Hoenicke