BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Australia
1 × Belgium
1 × Germany
1 × Italy
2 × The Netherlands
4 × USA
Collaborated with:
S.Schmitt J.Otten D.S.Korn J.Hickey M.Hayden L.Lorigo R.L.Constable D.Kozen E.Richter A.Nogin H.Mantel S.F.Allen R.Eaton X.Liu R.v.Renesse K.P.Birman W.Bibel F.Kurucz S.Schmitt G.Stolpmann
Talks about:
proof (6) system (5) logic (4) communic (3) connect (3) base (3) program (2) environ (2) develop (2) classic (2)

Person: Christoph Kreitz

DBLP DBLP: Kreitz:Christoph

Contributed to:

IJCAR 20062006
IJCAR 20012001
CADE 20002000
SOSP 19991999
TACAS 19991999
CADE 19981998
CADE 19971997
LOPSTR 19971997
CADE 19961996
LOPSTR 19951995

Wrote 11 papers:

IJCAR-2006-KozenKR #automation #category theory #proving
Automating Proofs in Category Theory (DK, CK, ER), pp. 392–407.
IJCAR-2001-SchmittLKN #interactive #proving #theorem proving
JProver : Integrating Connection-Based Theorem Proving into Interactive Proof Assistants (SS, LL, CK, AN), pp. 421–426.
CADE-2000-AllenCEKL #logic
The Nuprl Open Logical Environment (SFA, RLC, RE, CK, LL), pp. 170–176.
SOSP-1999-LiuKRHHBC #communication #component #reliability
Building reliable, high-performance communication systems from components (XL, CK, RvR, JH, MH, KPB, RLC), pp. 80–92.
TACAS-1999-Kreitz #automation #communication #configuration management
Automated Fast-Track Reconfiguration of Group Communication Systems (CK), pp. 104–118.
CADE-1998-KreitzHH #communication #development #proving
A Proof Environment for the Development of Group Communication Systems (CK, MH, JH), pp. 317–332.
CADE-1997-KornK #logic
Deciding Intuitionistic Propositional Logic via Translation into Classical Logic (DSK, CK), pp. 131–145.
CADE-1997-KreitzMOS #linear #logic #proving
Connection-Based Proof Construction in Linear Logic (CK, HM, JO, SS), pp. 207–221.
LOPSTR-1997-BibelKKKOSS #approach #multi #synthesis
A Multi-level Approach to Program Synthesis (WB, DSK, CK, FK, JO, SS, GS), pp. 1–27.
CADE-1996-SchmittK #matrix #proving
Converting Non-Classical Matrix Proofs into Sequent-Style Systems (SS, CK), pp. 418–432.
LOPSTR-1995-KreitzOS #development #proving
Guiding Program Development Systems by a Connection Based Proof Strategy (CK, JO, SS), pp. 137–151.

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.