(Co-)Algebraic Foundations for Effect Handling and Iteration. - Sergey Goncharov 001; Lutz Schröder; Christoph Rauch (CoRR, 2014)

Unguarded Recursion on Coinductive Resumptions. - Sergey Goncharov 001; Christoph Rauch; Lutz Schröder (MFPS, 2015)

Generic Hoare Logic for Order-Enriched Effects with Exceptions. - Christoph Rauch; Sergey Goncharov 001; Lutz Schröder (WADT, 2016)

Complete Elgot Monads and Coalgebraic Resumptions. - Sergey Goncharov 001; Stefan Milius; Christoph Rauch (MFPS, 2016)

Unifying Guarded and Unguarded Iteration. - Sergey Goncharov 001; Lutz Schröder; Christoph Rauch; Maciej Piróg (FoSSaCS, 2017)

Unguarded Recursion on Coinductive Resumptions. - Sergey Goncharov 001; Lutz Schröder; Christoph Rauch; Julian Jakob (Log. Methods Comput. Sci., 2018)

Guarded and Unguarded Iteration for Generalized Processes. - Sergey Goncharov 001; Lutz Schröder; Christoph Rauch; Maciej Piróg (Log. Methods Comput. Sci., 2019)

Cheap CTL Compassion in NuSMV. - Daniel Hausmann 001; Tadeusz Litak; Christoph Rauch; Matthias Zinner (VMCAI, 2020)

A metalanguage for guarded iteration. - Sergey Goncharov 001; Christoph Rauch; Lutz Schröder (Theor. Comput. Sci., 2021)

Oriental Manuscripts in Germany - Collection History between the Academic Thirst for Knowledge, Antique Trade across the Globe, and Imperial Claims to Power. - Christoph Rauch (Zeitschrift für Bibliothekswesen und Bibliographie (ZfBB), 2023)