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. 20th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2017) (Javier Esparza, Andrzej Murawski, eds.), Lect. Notes Comput. Sci. (ArCOSS), vol. 10203, pp. 517–533, Springer, 2017. The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-662-54458-7_30. [bib] [pdf]
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