Christoph Rauch

Publication Activity (10 Years)

Years Active: 2014-2023
Publications (10 Years): 13

Top Topics

Probabilistic Databases

Historical Information

Temporal Properties

Transitive Closure

Top Venues

Log. Methods Comput. Sci.

Publications

Christoph Rauch
Oriental Manuscripts in Germany - Collection History between the Academic Thirst for Knowledge, Antique Trade across the Globe, and Imperial Claims to Power. Zeitschrift für Bibliothekswesen und Bibliographie (ZfBB) 70 (3) (2023)
Sergey Goncharov, Christoph Rauch, Lutz Schröder
A metalanguage for guarded iteration. Theor. Comput. Sci. 880 (2021)
Daniel Hausmann, Tadeusz Litak, Christoph Rauch, Matthias Zinner
Cheap CTL Compassion in NuSMV. VMCAI (2020)
Sergey Goncharov, Lutz Schröder, Christoph Rauch, Maciej Piróg
Guarded and Unguarded Iteration for Generalized Processes. Log. Methods Comput. Sci. 15 (3) (2019)
Sergey Goncharov, Christoph Rauch, Lutz Schröder
A Metalanguage for Guarded Iteration. ICTAC (2018)
Sergey Goncharov, Lutz Schröder, Christoph Rauch, Julian Jakob
Unguarded Recursion on Coinductive Resumptions. Log. Methods Comput. Sci. 14 (3) (2018)
Sergey Goncharov, Christoph Rauch, Lutz Schröder
A Metalanguage for Guarded Iteration. CoRR (2018)
Sergey Goncharov, Lutz Schröder, Christoph Rauch, Maciej Piróg
Guarded and Unguarded Iteration for Generalized Processes. CoRR (2017)
Sergey Goncharov, Lutz Schröder, Christoph Rauch, Maciej Piróg
Unifying Guarded and Unguarded Iteration. FoSSaCS (2017)
Christoph Rauch, Sergey Goncharov, Lutz Schröder
Generic Hoare Logic for Order-Enriched Effects with Exceptions. WADT (2016)
Sergey Goncharov, Stefan Milius, Christoph Rauch
Complete Elgot Monads and Coalgebraic Resumptions. MFPS (2016)
Sergey Goncharov, Stefan Milius, Christoph Rauch
Complete Elgot Monads and Coalgebraic Resumptions. CoRR (2016)
Sergey Goncharov, Christoph Rauch, Lutz Schröder
Unguarded Recursion on Coinductive Resumptions. MFPS (2015)
Sergey Goncharov, Lutz Schröder, Christoph Rauch
(Co-)Algebraic Foundations for Effect Handling and Iteration. CoRR (2014)