We stand with Ukraine  

Jürgen Christ

According to our database1, Jürgen Christ authored at least 11 papers between 2010 and 2016.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2016
Proof Tree Preserving Tree Interpolation.
[BibTeX]
[DOI]
Jürgen Christ
,
Jochen Hoenicke
J. Autom. Reason., 2016

2015
Interpolation modulo theories
[BibTeX]
[DOI]
Jürgen Christ
PhD thesis, 2015

Weakly Equivalent Arrays.
[BibTeX]
[DOI]
Jürgen Christ
,
Jochen Hoenicke
Proceedings of the Frontiers of Combining Systems - 10th International Symposium, 2015

Cutting the Mix.
[BibTeX]
[DOI]
Jürgen Christ
,
Jochen Hoenicke
Proceedings of the Computer Aided Verification - 27th International Conference, 2015

2014
Ultimate Automizer with Unsatisfiable Cores - (Competition Contribution).
[BibTeX]
[DOI]
Matthias Heizmann
,
Jürgen Christ
,
Daniel Dietsch
,
Jochen Hoenicke
,
Markus Lindenmann
,
Betim Musa
,
Christian Schilling
,
Stefan Wissert
,
Andreas Podelski
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2014

2013
Flow-Sensitive Fault Localization.
[BibTeX]
[DOI]
Jürgen Christ
,
Evren Ermis
,
Martin Schäf
,
Thomas Wies
Proceedings of the Verification, 2013

Ultimate Automizer with SMTInterpol - (Competition Contribution).
[BibTeX]
[DOI]
Matthias Heizmann
,
Jürgen Christ
,
Daniel Dietsch
,
Evren Ermis
,
Jochen Hoenicke
,
Markus Lindenmann
,
Alexander Nutz
,
Christian Schilling
,
Andreas Podelski
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2013

Proof Tree Preserving Interpolation.
[BibTeX]
[DOI]
Jürgen Christ
,
Jochen Hoenicke
,
Alexander Nutz
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2013

2012
Towards Bounded Infeasible Code Detection
[BibTeX]
[DOI]
Jürgen Christ
,
Jochen Hoenicke
,
Martin Schäf
CoRR, 2012

SMTInterpol: An Interpolating SMT Solver.
[BibTeX]
[DOI]
Jürgen Christ
,
Jochen Hoenicke
,
Alexander Nutz
Proceedings of the Model Checking Software - 19th International Workshop, 2012

2010
Instantiation-Based Interpolation for Quantified Formulae.
[BibTeX]
[DOI]
Jürgen Christ
,
Jochen Hoenicke
Proceedings of the Decision Procedures in Software, Hardware and Bioware, 18.04., 2010


  Loading...