ask others

Jürgen Christ

> Home > Persons

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

showing all ?? records

2010 – today

see FAQ

What is the meaning of the colors in the publication lists?

2017
[i4]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/ChristHN17
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/ChristHN17
Jürgen Christ, Jochen Hoenicke, Alexander Nutz:
Proof Tree Preserving Interpolation. CoRR abs/1705.05309 (2017)
2016
[j1]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/jar/ChristH16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/jar/ChristH16
Jürgen Christ, Jochen Hoenicke:
Proof Tree Preserving Tree Interpolation. J. Autom. Reasoning 57(1): 67-95 (2016)
2015
[c8]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/cav/ChristH15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/cav/ChristH15
Jürgen Christ, Jochen Hoenicke:
Cutting the Mix. CAV (2) 2015: 37-52
[c7]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/frocos/ChristH15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/frocos/ChristH15
Jürgen Christ, Jochen Hoenicke:
Weakly Equivalent Arrays. FroCos 2015: 119-134
2014
[c6]
- view
  - electronic edition @ ceur-ws.org
- export record
  dblp key:
  - conf/smt/ChristH14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/smt/ChristH14
Jürgen Christ, Jochen Hoenicke:
Weakly Equivalent Arrays. SMT 2014: 39-49
[c5]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/tacas/HeizmannCDHLMSWP14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/tacas/HeizmannCDHLMSWP14
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]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/ChristH14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/ChristH14
Jürgen Christ, Jochen Hoenicke:
Weakly Equivalent Arrays. CoRR abs/1405.6939 (2014)
2013
[c4]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/tacas/ChristHN13
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/tacas/ChristHN13
Jürgen Christ, Jochen Hoenicke, Alexander Nutz:
Proof Tree Preserving Interpolation. TACAS 2013: 124-138
[c3]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/tacas/HeizmannCDEHLNSP13
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/tacas/HeizmannCDEHLNSP13
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]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/vmcai/ChristESW13
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/vmcai/ChristESW13
Jürgen Christ, Evren Ermis, Martin Schäf, Thomas Wies:
Flow-Sensitive Fault Localization. VMCAI 2013: 189-208
2012
[c1]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/spin/ChristHN12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/spin/ChristHN12
Jürgen Christ, Jochen Hoenicke, Alexander Nutz:
SMTInterpol: An Interpolating SMT Solver. SPIN 2012: 248-254
[i2]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-1205-6527
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/abs-1205-6527
Jürgen Christ, Jochen Hoenicke, Martin Schäf:
Towards Bounded Infeasible Code Detection. CoRR abs/1205.6527 (2012)
2010
[i1]
- view
  - electronic edition @ dagstuhl.de
- export record
  dblp key:
  - conf/dagstuhl/ChristH10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/dagstuhl/ChristH10
Jürgen Christ, Jochen Hoenicke:
Instantiation-Based Interpolation for Quantified Formulae. Decision Procedures in Software, Hardware and Bioware 2010

Coauthor Index

see FAQ

maintained by

at