PD Dr. Sergey Goncharov

Lehrstuhl für Informatik 8 (Theoretische Informatik) Technische Fakultät

Unguarded Recursion on Coinductive Resumptions (2018) Goncharov S, Schröder L, Rauch C, Jakob J Journal article, Original article A Semantics for Hybrid Iteration (2018) Goncharov S, Neves R Conference contribution, Conference Contribution A Metalanguage for Guarded Iteration (2018) Goncharov S, Rauch C, Schröder L Conference contribution, Conference Contribution Guarded Traced Categories (2018) Goncharov S, 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 Monodic Fragments of Probabilistic First-order Logic (2014) Jung JC, Lutz C, Goncharov S, Schröder L Conference contribution, Conference Contribution