Completeness of Global Evaluation Logic. - Sergey Goncharov 001; Lutz Schröder; Till Mossakowski (MFCS, 2006)

Kleene Monads: Handling Iteration in a Framework of Generic Effects. - Sergey Goncharov 001; Lutz Schröder; Till Mossakowski (CALCO, 2009)

A generic complete dynamic logic for reasoning about purity and effects. - Till Mossakowski; Lutz Schröder; Sergey Goncharov 001 (Formal Aspects Comput., 2010)

Kleene monads. - Sergey Goncharov 001 (2010)

A Counterexample to Tensorability of Effects. - Sergey Goncharov 001; Lutz Schröder (CALCO, 2011)

Powermonads and Tensors of Unranked Effects. - Sergey Goncharov 001; Lutz Schröder (LICS, 2011)

Trace Semantics via Generic Observations. - Sergey Goncharov 001 (CALCO, 2013)

A Relatively Complete Generic Hoare Logic for Order-Enriched Effects. - Sergey Goncharov 001; Lutz Schröder (LICS, 2013)

Exploring the Boundaries of Monad Tensorability on Set. - Nathan J. Bowler; Sergey Goncharov 001; Paul Blain Levy; Lutz Schröder (Log. Methods Comput. Sci., 2013)

A coinductive calculus for asynchronous side-effecting processes. - Sergey Goncharov 001; Lutz Schröder (Inf. Comput., 2013)

Coalgebraic Weak Bisimulation from Recursive Equations over Monads. - Sergey Goncharov 001; Dirk Pattinson (ICALP (2), 2014)

Monodic Fragments of Probabilistic First-Order Logic. - Jean Christoph Jung; Carsten Lutz; Sergey Goncharov 001; Lutz Schröder (ICALP (2), 2014)

Towards a Coalgebraic Chomsky Hierarchy - (Extended Abstract). - Sergey Goncharov 001; Stefan Milius; Alexandra Silva 001 (IFIP TCS, 2014)

Towards a Coalgebraic Chomsky Hierarchy. - Sergey Goncharov 001; Stefan Milius; Alexandra Silva 001 (CoRR, 2014)

(Co-)Algebraic Foundations for Effect Handling and Iteration. - Sergey Goncharov 001; Lutz Schröder; Christoph Rauch (CoRR, 2014)

Unguarded Recursion on Coinductive Resumptions. - Sergey Goncharov 001; Christoph Rauch; Lutz Schröder (MFPS, 2015)

Generic Hoare Logic for Order-Enriched Effects with Exceptions. - Christoph Rauch; Sergey Goncharov 001; Lutz Schröder (WADT, 2016)

Some Remarks on Conway and Iteration Theories. - Zoltán Ésik; Sergey Goncharov 001 (CoRR, 2016)

Complete Elgot Monads and Coalgebraic Resumptions. - Sergey Goncharov 001; Stefan Milius; Christoph Rauch (MFPS, 2016)

Unifying Guarded and Unguarded Iteration. - Sergey Goncharov 001; Lutz Schröder; Christoph Rauch; Maciej Piróg (FoSSaCS, 2017)

A Semantics for Hybrid Iteration. - Sergey Goncharov 001; Julian Jakob; Renato Neves (CONCUR, 2018)

Guarded Traced Categories. - Sergey Goncharov 001; Lutz Schröder (FoSSaCS, 2018)

Unguarded Recursion on Coinductive Resumptions. - Sergey Goncharov 001; Lutz Schröder; Christoph Rauch; Julian Jakob (Log. Methods Comput. Sci., 2018)

Coinductive Resumption Monads: Guarded Iterative and Guarded Elgot. - Paul Blain Levy; Sergey Goncharov 001 (CALCO, 2019)

An Adequate While-Language for Hybrid Computation. - Sergey Goncharov 001; Renato Neves (PPDP, 2019)

Guarded and Unguarded Iteration for Generalized Processes. - Sergey Goncharov 001; Lutz Schröder; Christoph Rauch; Maciej Piróg (Log. Methods Comput. Sci., 2019)

Local Local Reasoning: A BI-Hyperdoctrine for Full Ground Store. - Miriam Polzer; Sergey Goncharov 001 (FoSSaCS, 2020)

Towards Constructive Hybrid Semantics. - Tim Lukas Diezel; Sergey Goncharov 001 (FSCD, 2020)

Implementing Hybrid Semantics: From Functional to Imperative. - Sergey Goncharov 001; Renato Neves; José Proença (ICTAC, 2020)

Toward a Uniform Theory of Effectful State Machines. - Sergey Goncharov 001; Stefan Milius; Alexandra Silva 001 (ACM Trans. Comput. Log., 2020)

Uniform Elgot Iteration in Foundations. - Sergey Goncharov 001 (ICALP, 2021)

A metalanguage for guarded iteration. - Sergey Goncharov 001; Christoph Rauch; Lutz Schröder (Theor. Comput. Sci., 2021)

Shades of Iteration: From Elgot to Kleene. - Sergey Goncharov 001 (WADT, 2022)

Stateful Structural Operational Semantics. - Sergey Goncharov 001; Stefan Milius; Lutz Schröder; Stelios Tsampas 001; Henning Urbat (FSCD, 2022)

Quantalic Behavioural Distances. - Sergey Goncharov 001; Dirk Hofmann; Pedro Nora; Lutz Schröder; Paul Wild (CoRR, 2022)

Higher-Order Mathematical Operational Semantics (Early Ideas). - Sergey Goncharov 001; Stefan Milius; Lutz Schröder; Stelios Tsampas 001; Henning Urbat (CALCO, 2023)

Quantitative Hennessy-Milner Theorems via Notions of Density. - Jonas Forster; Sergey Goncharov 001; Dirk Hofmann; Pedro Nora; Lutz Schröder; Paul Wild (CSL, 2023)

Kantorovich Functors and Characteristic Logics for Behavioural Distances. - Sergey Goncharov 001; Dirk Hofmann; Pedro Nora; Lutz Schröder; Paul Wild (FoSSaCS, 2023)

Representing Guardedness in Call-By-Value. - Sergey Goncharov 001 (FSCD, 2023)

Weak Similarity in Higher-Order Mathematical Operational Semantics. - Henning Urbat; Stelios Tsampas 001; Sergey Goncharov 001; Stefan Milius; Lutz Schröder (LICS, 2023)

Towards a Higher-Order Mathematical Operational Semantics. - Sergey Goncharov 001; Stefan Milius; Lutz Schröder; Stelios Tsampas 001; Henning Urbat (Proc. ACM Program. Lang., 2023)

A Unifying Categorical View of Nondeterministic Iteration and Tests. - Sergey Goncharov 001; Tarmo Uustalu (CONCUR, 2024)

Logical Predicates in Higher-Order Mathematical Operational Semantics. - Sergey Goncharov 001; Alessio Santamaria; Lutz Schröder; Stelios Tsampas 001; Henning Urbat (FoSSaCS (2), 2024)

Bialgebraic Reasoning on Higher-order Program Equivalence. - Sergey Goncharov 001; Stefan Milius; Stelios Tsampas 001; Henning Urbat (LICS, 2024)

Representing Guardedness in Call-by-Value and Guarded Parametrized Monads. - Sergey Goncharov 001 (CoRR, 2024)

Higher-Order Mathematical Operational Semantics. - Sergey Goncharov 001; Stefan Milius; Lutz Schröder; Stelios Tsampas 001; Henning Urbat (CoRR, 2024)

Identity-Preserving Lax Extensions and Where to Find Them. - Sergey Goncharov 001; Dirk Hofmaan; Pedro Nora; Lutz Schröder; Paul Wild (CoRR, 2024)

A point-free perspective on lax extensions and predicate liftings. - Sergey Goncharov 001; Dirk Hofmann; Pedro Nora; Lutz Schröder; Paul Wild (Math. Struct. Comput. Sci., 2024)

Identity-Preserving Lax Extensions and Where to Find Them. - Sergey Goncharov 001; Dirk Hofmann; Pedro Nora; Lutz Schröder; Paul Wild (STACS, 2025)

Abstract Operational Methods for Call-by-Push-Value. - Sergey Goncharov 001; Stelios Tsampas 001; Henning Urbat (Proc. ACM Program. Lang., 2025)

Relators and Notions of Simulation Revisited. - Sergey Goncharov 001; Dirk Hofmann; Pedro Nora; Lutz Schröder; Paul Wild (CoRR, 2025)

Bialgebraic Reasoning on Stateful Languages. - Sergey Goncharov 001; Stefan Milius; Lutz Schröder; Stelios Tsampas 001; Henning Urbat (CoRR, 2025)

Probabilistic Strategies: Definability and the Tensor Completeness Problem. - Nathan J. Bowler; Sergey Goncharov 001; Paul Blain Levy (CoRR, 2025)

Big Steps in Higher-Order Mathematical Operational Semantics. - Sergey Goncharov 001; Pouya Partow; Stelios Tsampas 001 (CoRR, 2025)