FAU.de
Deutsch
Login
Home
Publications
Research Grants
Inventions & Patents
Awards
Additional Research Activities
Faculties & Institutions
Research Areas
Christoph Rauch
List of publications:
BibTeX-Download
Lehrstuhl für Informatik 8 (Theoretische Informatik)
Award(s)
(1)
Publications
(10)
Types of publications
Toggle all
Journal article
Journal article
Book chapter / Article in edited volumes
Book chapter / Article in edited volumes
Authored book
Authored book
Translation
Translation
Thesis
Thesis
Edited Volume
Edited Volume
Conference contribution
Conference contribution
Other publication type
Other publication type
Unpublished / Preprint
Unpublished / Preprint
Publication year
From
To
Abstract
Journal
Filters (inactive)
A metalanguage for guarded iteration (2021)
Goncharov S, Rauch C, Schröder L
Journal article, Original article
Cheap CTL Compassion in NuSMV (2020)
Hausmann D, Litak T, Rauch C, Zinner M
Conference contribution
Guarded and Unguarded Iteration for Generalized Processes (2019)
Goncharov S, Schröder L, Rauch C, Pirog M
Journal article
Unguarded Recursion on Coinductive Resumptions (2018)
Goncharov S, Schröder L, Rauch C, Jakob J
Journal article, Original article
A Metalanguage for Guarded Iteration (2018)
Goncharov S, Rauch C, Schröder L
Conference contribution, Conference Contribution
Unifying Guarded and Unguarded Iteration (2017)
Goncharov S, Schröder L, Rauch C, Piróg M
Conference contribution, Original article
Generic Hoare Logic for Order-Enriched Effects with Exceptions (2017)
Rauch C, Goncharov S, Schröder L
Conference contribution, Original article
Complete Elgot Monads and Coalgebraic Resumptions (2016)
Goncharov S, Milius S, Rauch C
Conference contribution, Original article
Complete Elgot Monads and Coalgebraic Resumptions (2016)
Goncharov S, Milius S, Rauch C
Journal article, Original article
Unguarded Recursion on Coinductive Resumptions (2015)
Goncharov S, Rauch C, Schröder L
Conference contribution, Original article