| 2026 | CONCUR | Compositionality in Coalgebraic Trace Semantics. | Robin Jourde, Henning Urbat, Sergey Goncharov, Stelios Tsampas, Jonas Forster |
| 2025 | LICS | Probabilistic Strategies: Definability and the Tensor Completeness Problem. | Nathan J. Bowler, Sergey Goncharov, Paul Blain Levy |
| 2025 | LICS | Relators and Notions of Simulation Revisited. | Sergey Goncharov, Dirk Hofmann, Pedro Nora, Lutz Schrder, Paul Wild |
| 2025 | STACS | Identity-Preserving Lax Extensions and Where to Find Them. | Sergey Goncharov, Dirk Hofmann, Pedro Nora, Lutz Schrder, Paul Wild |
| 2024 | CONCUR | A Unifying Categorical View of Nondeterministic Iteration and Tests. | Sergey Goncharov, Tarmo Uustalu |
| 2024 | FOSSACS | Logical Predicates in Higher-Order Mathematical Operational Semantics. | Sergey Goncharov, Alessio Santamaria, Lutz Schrder, Stelios Tsampas, Henning Urbat |
| 2024 | LICS | Bialgebraic Reasoning on Higher-order Program Equivalence. | Sergey Goncharov, Stefan Milius, Stelios Tsampas, Henning Urbat |
| 2023 | CALCO | Higher-Order Mathematical Operational Semantics (Early Ideas). | Sergey Goncharov, Stefan Milius, Lutz Schrder, Stelios Tsampas, Henning Urbat |
| 2023 | CSL | Quantitative Hennessy-Milner Theorems via Notions of Density. | Jonas Forster, Sergey Goncharov, Dirk Hofmann, Pedro Nora, Lutz Schrder, Paul Wild |
| 2023 | FOSSACS | Kantorovich Functors and Characteristic Logics for Behavioural Distances. | Sergey Goncharov, Dirk Hofmann, Pedro Nora, Lutz Schrder, Paul Wild |
| 2023 | FSCD | Representing Guardedness in Call-By-Value. | Sergey Goncharov |
| 2023 | LICS | Weak Similarity in Higher-Order Mathematical Operational Semantics. | Henning Urbat, Stelios Tsampas, Sergey Goncharov, Stefan Milius, Lutz Schrder |
| 2022 | FSCD | Stateful Structural Operational Semantics. | Sergey Goncharov, Stefan Milius, Lutz Schrder, Stelios Tsampas, Henning Urbat |
| 2021 | ICALP | Uniform Elgot Iteration in Foundations. | Sergey Goncharov |
| 2020 | FOSSACS | Local Local Reasoning: A BI-Hyperdoctrine for Full Ground Store. | Miriam Polzer, Sergey Goncharov |
| 2020 | FSCD | Towards Constructive Hybrid Semantics. | Tim Lukas Diezel, Sergey Goncharov |
| 2020 | ICTAC | Implementing Hybrid Semantics: From Functional to Imperative. | Sergey Goncharov, Renato Neves, Jos Proena |
| 2019 | CALCO | Coinductive Resumption Monads: Guarded Iterative and Guarded Elgot. | Paul Blain Levy, Sergey Goncharov |
| 2019 | PPDP | An Adequate While-Language for Hybrid Computation. | Sergey Goncharov, Renato Neves |
| 2018 | CONCUR | A Semantics for Hybrid Iteration. | Sergey Goncharov, Julian Jakob, Renato Neves |
| 2018 | FOSSACS | Guarded Traced Categories. | Sergey Goncharov, Lutz Schrder |
| 2018 | ICTAC | A Metalanguage for Guarded Iteration. | Sergey Goncharov, Christoph Rauch, Lutz Schrder |
| 2017 | FOSSACS | Unifying Guarded and Unguarded Iteration. | Sergey Goncharov, Lutz Schrder, Christoph Rauch, Maciej Pirg |
| 2014 | ICALP | Coalgebraic Weak Bisimulation from Recursive Equations over Monads. | Sergey Goncharov, Dirk Pattinson |
| 2014 | ICALP | Monodic Fragments of Probabilistic First-Order Logic. | Jean Christoph Jung, Carsten Lutz, Sergey Goncharov, Lutz Schrder |
| 2013 | CALCO | Trace Semantics via Generic Observations. | Sergey Goncharov |
| 2013 | LICS | A Relatively Complete Generic Hoare Logic for Order-Enriched Effects. | Sergey Goncharov, Lutz Schrder |
| 2011 | CALCO | A Counterexample to Tensorability of Effects. | Sergey Goncharov, Lutz Schrder |
| 2011 | FCT | A Coinductive Calculus for Asynchronous Side-Effecting Processes. | Sergey Goncharov, Lutz Schrder |
| 2011 | LICS | Powermonads and Tensors of Unranked Effects. | Sergey Goncharov, Lutz Schrder |
| 2009 | CALCO | Kleene Monads: Handling Iteration in a Framework of Generic Effects. | Sergey Goncharov, Lutz Schrder, Till Mossakowski |
| 2008 | FASE | A Generic Complete Dynamic Logic for Reasoning About Purity and Effects. | Till Mossakowski, Lutz Schrder, Sergey Goncharov |
| 2008 | TAMC | On a Question of Frank Stephan. | Klaus Ambos-Spies, Serikzhan A. Badaev, Sergey Goncharov |
| 2006 | MFCS | Completeness of Global Evaluation Logic. | Sergey Goncharov, Lutz Schrder, Till Mossakowski |