BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Austria
1 × France
1 × USA
2 × Italy
Collaborated with:
J.Hoenicke A.Nutz E.Ermis M.Schäf T.Wies M.Heizmann D.Dietsch M.Lindenmann C.Schilling A.Podelski B.Musa S.Wissert
Talks about:
contribut (2) interpol (2) competit (2) ultim (2) autom (2) unsatisfi (1) preserv (1) equival (1) sensit (1) proof (1)

Person: Jürgen Christ

DBLP DBLP: Christ:J=uuml=rgen

Contributed to:

CAV 20152015
SMT 20142014
TACAS 20142014
TACAS 20132013
VMCAI 20132013

Wrote 6 papers:

CAV-2015-ChristH
Cutting the Mix (JC, JH), pp. 37–52.
SMT-2014-ChristH #array
Weakly Equivalent Arrays (JC, JH), pp. 39–49.
TACAS-2014-HeizmannCDHLMSWP #contest #satisfiability
Ultimate Automizer with Unsatisfiable Cores — (Competition Contribution) (MH, JC, DD, JH, ML, BM, CS, SW, AP), pp. 418–420.
TACAS-2013-ChristHN #proving
Proof Tree Preserving Interpolation (JC, JH, AN), pp. 124–138.
TACAS-2013-HeizmannCDEHLNSP #contest
Ultimate Automizer with SMTInterpol — (Competition Contribution) (MH, JC, DD, EE, JH, ML, AN, CS, AP), pp. 641–643.
VMCAI-2013-ChristESW #fault #locality
Flow-Sensitive Fault Localization (JC, EE, MS, TW), pp. 189–208.
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.