Christoph Rauch



Organisationseinheit


Lehrstuhl für Informatik 8 (Theoretische Informatik)


Preise / Auszeichnungen


2018 : ICTAC 2018 Best Paper Award


Publikationen (Download BibTeX)


Goncharov, S., Schröder, L., Rauch, C., & Pirog, M. (2019). Guarded and Unguarded Iteration for Generalized Processes. Logical Methods in Computer Science, 15(3). https://dx.doi.org/10.23638/LMCS-15(3:1)2019
Goncharov, S., Rauch, C., & Schröder, L. (2018). A Metalanguage for Guarded Iteration. In Bernd Fischer Tarmo Uustalu (Eds.), Theoretical Aspects of Computing - ICTAC 2018 (LNCS 11187) (pp. 191--210). Stellenbosch, South Africa: Springer International Publishing.
Goncharov, S., Schröder, L., Rauch, C., & Jakob, J. (2018). Unguarded Recursion on Coinductive Resumptions. Logical Methods in Computer Science, 14(3). https://dx.doi.org/10.23638/LMCS-14(3:10)2018
Rauch, C., Goncharov, S., & Schröder, L. (2017). Generic Hoare Logic for Order-Enriched Effects with Exceptions. In James P, Roggenbach M (Eds.), Recent Trends in Algebraic Development Techniques: 23rd IFIP WG 1.3 International Workshop, WADT 2016, Revised Selected Papers (pp. 208--222). Springer.
Goncharov, S., Schröder, L., Rauch, C., & Piróg, M. (2017). Unifying Guarded and Unguarded Iteration. In Esparza Javier , Murawski Andrzej (Eds.), Proceedings of the 20th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2017). Uppsala, SE: Berlin: Springer.
Goncharov, S., Milius, S., & Rauch, C. (2016). Complete Elgot Monads and Coalgebraic Resumptions. Electronic Notes in Theoretical Computer Science, 325, 147-168. https://dx.doi.org/10.1016/j.entcs.2016.09.036
Goncharov, S., Milius, S., & Rauch, C. (2016). Complete Elgot Monads and Coalgebraic Resumptions. In Lars Birkedal (Eds.), Proceedings of the MFPS XXXII (pp. 147--168). Carnegie Mellon University, Pittsburgh, US: Electronic Notes in Theoretical Computer Science.
Goncharov, S., Rauch, C., & Schröder, L. (2015). Unguarded Recursion on Coinductive Resumptions. In Mathematical Foundations of Programming Semantics XXXI, MFPS 2015 (pp. 250 - 264). Art Cinema Lux, Nijmegen, NL: Elsevier.

Zuletzt aktualisiert 2016-05-05 um 05:11