`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: Kreitz:Christoph

### Contributed to:

### 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.