Christoph Rauch

According to our database, Christoph Rauch authored at least 10 papers between 2014 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2023

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), June, 2023

2021

A metalanguage for guarded iteration.

Sergey Goncharov, Christoph Rauch, Lutz Schröder

Theor. Comput. Sci., 2021

2020

Cheap CTL Compassion in NuSMV.

Daniel Hausmann, Tadeusz Litak, Christoph Rauch, Matthias Zinner

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2020

2019

Guarded and Unguarded Iteration for Generalized Processes.

Sergey Goncharov, Lutz Schröder, Christoph Rauch, Maciej Piróg

Log. Methods Comput. Sci., 2019

2018

Unguarded Recursion on Coinductive Resumptions.

Sergey Goncharov, Lutz Schröder, Christoph Rauch, Julian Jakob

Log. Methods Comput. Sci., 2018

2017

Unifying Guarded and Unguarded Iteration.

Sergey Goncharov, Lutz Schröder, Christoph Rauch, Maciej Piróg

Proceedings of the Foundations of Software Science and Computation Structures, 2017

2016

Complete Elgot Monads and Coalgebraic Resumptions.

Sergey Goncharov, Stefan Milius, Christoph Rauch

Proceedings of the Thirty-second Conference on the Mathematical Foundations of Programming Semantics, 2016

Generic Hoare Logic for Order-Enriched Effects with Exceptions.

Christoph Rauch, Sergey Goncharov, Lutz Schröder

Proceedings of the Recent Trends in Algebraic Development Techniques, 2016

2015

Unguarded Recursion on Coinductive Resumptions.

Sergey Goncharov, Christoph Rauch, Lutz Schröder

Proceedings of the 31st Conference on the Mathematical Foundations of Programming Semantics, 2015

2014

(Co-)Algebraic Foundations for Effect Handling and Iteration.

Sergey Goncharov, Lutz Schröder, Christoph Rauch

CoRR, 2014