PD Dr. Sergey Goncharov

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

Stateful Structural Operational Semantics (2022) Goncharov S, Milius S, Schröder L, Tsampas S, Urbat H Conference contribution Uniform elgot iteration in foundations (2021) Goncharov S Conference contribution A metalanguage for guarded iteration (2021) Goncharov S, Rauch C, Schröder L Journal article, Original article Towards constructive hybrid semantics (2020) Diezel TL, Goncharov S Conference contribution, Original article Toward a Uniform Theory of Effectful State Machines (2020) Goncharov S, Milius S, Silva A Journal article Implementing Hybrid Semantics: From Functional to Imperative (2020) Goncharov S, Neves R, Proença J Conference contribution Local Local Reasoning: A BI-Hyperdoctrine for Full Ground Store (2020) Polzer M, Goncharov S Conference contribution Coinductive resumption monads: Guarded iterative and guarded Elgot (2019) Levy PB, Goncharov S Conference contribution An Adequate While-Language for Hybrid Computation (2019) Goncharov S, Neves R Conference contribution Guarded and Unguarded Iteration for Generalized Processes (2019) Goncharov S, Schröder L, Rauch C, Pirog M Journal article