Christoph Rauch

Address:	FAU Erlangen-Nürnberg	Room:	11.156
	Chair for Theoretical Computer Science	Telephone:	+49-91-3185-64031
	Martensstraße 3	Fax:	+49-91-3185-64055
	D-91058 Erlangen	E-Mail:	christoph.rauch@fau.de

About me

I am a PhD student at Chair for Theoretical Computer Science of Friedrich-Alexander University of Erlangen and Nürnberg. My Master's thesis about a generic Hoare calculus for order-enriched effects with additional support for exceptions, supervised by Lutz Schröder and Sergey Goncharov, is available here.

Publications

2017
[3]	Unifying Guarded and Unguarded Iteration (Sergey Goncharov, Lutz Schröder, Christoph Rauch, Maciej Piróg), In Proc. Foundations of Software Science and Computation Structures (FoSSaCS) (Javier Esparza, Andrzej Murawski, eds.), LNCS, Springer, 2017. [preprint] (to appear) [bib]
2016
[2]	Complete Elgot Monads and Coalgebraic Resumptions (Sergey Goncharov, Stefan Milius, Christoph Rauch), In Electr. Notes Theor. Comput. Sci., vol. 325, pp. 147–168, 2016. [bib] [pdf]
2015
[1]	Unguarded Recursion on Coinductive Resumptions (Sergey Goncharov, Christoph Rauch, Lutz Schröder), In Proc. 31st Conference on the Mathematical Foundations of Programming Semantics (MFPS XXXI), Electronic Notes in Theoretical Computer Science, vol. 319(), pp. 183 – 198, 2015. [preprint] [bib] [pdf]

Powered by bibtexbrowser