Jürgen Christ

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

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2017
Proof Tree Preserving Interpolation.
CoRR, 2017

2016
Proof Tree Preserving Tree Interpolation.
J. Autom. Reasoning, 2016

2015
Cutting the Mix.
Proceedings of the Computer Aided Verification - 27th International Conference, 2015

2014
Weakly Equivalent Arrays.
CoRR, 2014

Ultimate Automizer with Unsatisfiable Cores - (Competition Contribution).
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2014

Weakly Equivalent Arrays.
Proceedings of the 12th International Workshop on Satisfiability Modulo Theories, 2014

2013
Flow-Sensitive Fault Localization.
Proceedings of the Verification, 2013

Ultimate Automizer with SMTInterpol - (Competition Contribution).
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2013

Proof Tree Preserving Interpolation.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2013

2012
Towards Bounded Infeasible Code Detection
CoRR, 2012

SMTInterpol: An Interpolating SMT Solver.
Proceedings of the Model Checking Software - 19th International Workshop, 2012

2010
Instantiation-Based Interpolation for Quantified Formulae.
Proceedings of the Decision Procedures in Software, Hardware and Bioware, 18.04., 2010


  Loading...