Christoph Rauch

14 papers B 4C 1Journal 8Unranked 1
YearRankTypeTitle / Venue / Authors
2023 J jnl
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)
Christoph Rauch
2021 J jnl
A metalanguage for guarded iteration.
Theor. Comput. Sci.
Sergey Goncharov, Christoph Rauch, Lutz Schröder
2020 B conf
Cheap CTL Compassion in NuSMV.
VMCAI
Daniel Hausmann, Tadeusz Litak, Christoph Rauch, Matthias Zinner
2019 J jnl
Guarded and Unguarded Iteration for Generalized Processes.
Log. Methods Comput. Sci.
Sergey Goncharov, Lutz Schröder, Christoph Rauch, Maciej Piróg
2018 C conf
A Metalanguage for Guarded Iteration.
ICTAC
Sergey Goncharov, Christoph Rauch, Lutz Schröder
2018 J jnl
A Metalanguage for Guarded Iteration.
CoRR
Sergey Goncharov, Christoph Rauch, Lutz Schröder
2018 J jnl
Unguarded Recursion on Coinductive Resumptions.
Log. Methods Comput. Sci.
Sergey Goncharov, Lutz Schröder, Christoph Rauch, Julian Jakob
2017 J jnl
Guarded and Unguarded Iteration for Generalized Processes.
CoRR
Sergey Goncharov, Lutz Schröder, Christoph Rauch, Maciej Piróg
2017 B conf
Unifying Guarded and Unguarded Iteration.
FoSSaCS
Sergey Goncharov, Lutz Schröder, Christoph Rauch, Maciej Piróg
2016 J jnl
Complete Elgot Monads and Coalgebraic Resumptions.
CoRR
Sergey Goncharov, Stefan Milius, Christoph Rauch
2016 B conf
Complete Elgot Monads and Coalgebraic Resumptions.
MFPS
Sergey Goncharov, Stefan Milius, Christoph Rauch
2016 — conf
Generic Hoare Logic for Order-Enriched Effects with Exceptions.
WADT
Christoph Rauch, Sergey Goncharov, Lutz Schröder
2015 B conf
Unguarded Recursion on Coinductive Resumptions.
MFPS
Sergey Goncharov, Christoph Rauch, Lutz Schröder
2014 J jnl
(Co-)Algebraic Foundations for Effect Handling and Iteration.
CoRR
Sergey Goncharov, Lutz Schröder, Christoph Rauch