Sergey Goncharov

ORCID

Publication Activity (10 Years)

Years Active: 2006-2024
Publications (10 Years): 50

Top Venues

University of Bremen (PHD)

Education History

University of Bremen

PHD

Publications

Sergey Goncharov, Alessio Santamaria, Lutz Schröder, Stelios Tsampas, Henning Urbat
Logical Predicates in Higher-Order Mathematical Operational Semantics. FoSSaCS (2) (2024)
Sergey Goncharov, Stefan Milius, Stelios Tsampas, Henning Urbat
Bialgebraic Reasoning on Higher-order Program Equivalence. LICS (2024)
Sergey Goncharov, Alessio Santamaria, Lutz Schröder, Stelios Tsampas, Henning Urbat
Logical Predicates in Higher-Order Mathematical Operational Semantics. CoRR (2024)
Sergey Goncharov, Dirk Hofmann, Pedro Nora, Lutz Schröder, Paul Wild
A point-free perspective on lax extensions and predicate liftings. Math. Struct. Comput. Sci. 34 (2) (2024)
Sergey Goncharov
Representing Guardedness in Call-by-Value and Guarded Parametrized Monads. CoRR (2024)
Sergey Goncharov, Stefan Milius, Lutz Schröder, Stelios Tsampas, Henning Urbat
Higher-Order Mathematical Operational Semantics. CoRR (2024)
Sergey Goncharov, Tarmo Uustalu
A Unifying Categorical View of Nondeterministic Iteration and Tests. CONCUR (2024)
Sergey Goncharov, Tarmo Uustalu
A Unifying Categorical View of Nondeterministic Iteration and Tests. CoRR (2024)
Sergey Goncharov, Stefan Milius, Stelios Tsampas, Henning Urbat
Bialgebraic Reasoning on Higher-Order Program Equivalence. CoRR (2024)
Sergey Goncharov, Dirk Hofmann, Pedro Nora, Lutz Schröder, Paul Wild
Kantorovich Functors and Characteristic Logics for Behavioural Distances. FoSSaCS (2023)
Jonas Forster, Sergey Goncharov, Dirk Hofmann, Pedro Nora, Lutz Schröder, Paul Wild
Quantitative Hennessy-Milner Theorems via Notions of Density. CSL (2023)
Sergey Goncharov
Shades of Iteration: from Elgot to Kleene. CoRR (2023)
Henning Urbat, Stelios Tsampas, Sergey Goncharov, Stefan Milius, Lutz Schröder
Weak Similarity in Higher-Order Mathematical Operational Semantics. CoRR (2023)
Sergey Goncharov, Stefan Milius, Lutz Schröder, Stelios Tsampas, Henning Urbat
Higher-Order Mathematical Operational Semantics (Early Ideas). CALCO (2023)
Sergey Goncharov, Stefan Milius, Lutz Schröder, Stelios Tsampas, Henning Urbat
Towards a Higher-Order Mathematical Operational Semantics. Proc. ACM Program. Lang. 7 (POPL) (2023)
Henning Urbat, Stelios Tsampas, Sergey Goncharov, Stefan Milius, Lutz Schröder
Weak Similarity in Higher-Order Mathematical Operational Semantics. LICS (2023)
Sergey Goncharov
Representing Guardedness in Call-By-Value. FSCD (2023)
Sergey Goncharov, Stefan Milius, Lutz Schröder, Stelios Tsampas, Henning Urbat
Stateful Structural Operational Semantics. CoRR (2022)
Sergey Goncharov
Shades of Iteration: From Elgot to Kleene. WADT (2022)
Jonas Forster, Sergey Goncharov, Dirk Hofmann, Pedro Nora, Lutz Schröder, Paul Wild
Quantitative Hennessy-Milner Theorems via Notions of Density. CoRR (2022)
Sergey Goncharov, Stefan Milius, Lutz Schröder, Stelios Tsampas, Henning Urbat
Towards a Higher-Order Mathematical Operational Semantics. CoRR (2022)
Sergey Goncharov, Dirk Hofmann, Pedro Nora, Lutz Schröder, Paul Wild
Quantalic Behavioural Distances. CoRR (2022)
Sergey Goncharov, Stefan Milius, Lutz Schröder, Stelios Tsampas, Henning Urbat
Stateful Structural Operational Semantics. FSCD (2022)
Sergey Goncharov, Christoph Rauch, Lutz Schröder
A metalanguage for guarded iteration. Theor. Comput. Sci. 880 (2021)
Sergey Goncharov, Dirk Hofmann, Pedro Nora, Lutz Schröder, Paul Wild
A Point-free Perspective on Lax extensions and Predicate liftings. CoRR (2021)
Sergey Goncharov
Uniform Elgot Iteration in Foundations. CoRR (2021)
Sergey Goncharov
Uniform Elgot Iteration in Foundations. ICALP (2021)
Miriam Polzer, Sergey Goncharov
Local Local Reasoning: A BI-Hyperdoctrine for Full Ground Store. FoSSaCS (2020)
Sergey Goncharov, Renato Neves, José Proença
Implementing Hybrid Semantics: From Functional to Imperative. ICTAC (2020)
Sergey Goncharov, Stefan Milius, Alexandra Silva
Toward a Uniform Theory of Effectful State Machines. ACM Trans. Comput. Log. 21 (3) (2020)
Miriam Polzer, Sergey Goncharov
Local Local Reasoning: A BI-Hyperdoctrine for Full Ground Store. CoRR (2020)
Sergey Goncharov, Renato Neves, José Proença
Implementing Hybrid Semantics: From Functional to Imperative. CoRR (2020)
Tim Lukas Diezel, Sergey Goncharov
Towards Constructive Hybrid Semantics. FSCD (2020)
Sergey Goncharov, Renato Neves
An Adequate While-Language for Hybrid Computation. CoRR (2019)
Sergey Goncharov, Renato Neves
An Adequate While-Language for Hybrid Computation. PPDP (2019)
Paul Blain Levy, Sergey Goncharov
Coinductive Resumption Monads: Guarded Iterative and Guarded Elgot. CALCO (2019)
Sergey Goncharov, Lutz Schröder, Christoph Rauch, Maciej Piróg
Guarded and Unguarded Iteration for Generalized Processes. Log. Methods Comput. Sci. 15 (3) (2019)
Sergey Goncharov, Julian Jakob, Renato Neves
A Semantics for Hybrid Iteration. CoRR (2018)
Sergey Goncharov, Julian Jakob, Renato Neves
A Semantics for Hybrid Iteration. CONCUR (2018)
Sergey Goncharov, Lutz Schröder
Guarded Traced Categories. CoRR (2018)
Sergey Goncharov, Christoph Rauch, Lutz Schröder
A Metalanguage for Guarded Iteration. ICTAC (2018)
Sergey Goncharov, Lutz Schröder
Guarded Traced Categories. FoSSaCS (2018)
Sergey Goncharov, Lutz Schröder, Christoph Rauch, Julian Jakob
Unguarded Recursion on Coinductive Resumptions. Log. Methods Comput. Sci. 14 (3) (2018)
Sergey Goncharov, Christoph Rauch, Lutz Schröder
A Metalanguage for Guarded Iteration. CoRR (2018)
Sergey Goncharov, Lutz Schröder, Christoph Rauch, Maciej Piróg
Guarded and Unguarded Iteration for Generalized Processes. CoRR (2017)
Sergey Goncharov, Lutz Schröder, Christoph Rauch, Maciej Piróg
Unifying Guarded and Unguarded Iteration. FoSSaCS (2017)
Christoph Rauch, Sergey Goncharov, Lutz Schröder
Generic Hoare Logic for Order-Enriched Effects with Exceptions. WADT (2016)
Sergey Goncharov, Stefan Milius, Christoph Rauch
Complete Elgot Monads and Coalgebraic Resumptions. MFPS (2016)
Zoltán Ésik, Sergey Goncharov
Some Remarks on Conway and Iteration Theories. CoRR (2016)
Sergey Goncharov, Stefan Milius, Christoph Rauch
Complete Elgot Monads and Coalgebraic Resumptions. CoRR (2016)
Sergey Goncharov, Christoph Rauch, Lutz Schröder
Unguarded Recursion on Coinductive Resumptions. MFPS (2015)
Sergey Goncharov, Dirk Pattinson
Coalgebraic Weak Bisimulation from Recursive Equations over Monads. ICALP (2) (2014)
Sergey Goncharov, Lutz Schröder, Christoph Rauch
(Co-)Algebraic Foundations for Effect Handling and Iteration. CoRR (2014)
Jean Christoph Jung, Carsten Lutz, Sergey Goncharov, Lutz Schröder
Monodic Fragments of Probabilistic First-Order Logic. ICALP (2) (2014)
Sergey Goncharov, Stefan Milius, Alexandra Silva
Towards a Coalgebraic Chomsky Hierarchy. CoRR (2014)
Sergey Goncharov, Stefan Milius, Alexandra Silva
Towards a Coalgebraic Chomsky Hierarchy - (Extended Abstract). IFIP TCS (2014)
Sergey Goncharov, Dirk Pattinson
Coalgebraic Weak Bisimulation from Recursive Equations over Monads. CoRR (2014)
Sergey Goncharov
Trace Semantics via Generic Observations. CALCO (2013)
Sergey Goncharov, Lutz Schröder
A Relatively Complete Generic Hoare Logic for Order-Enriched Effects. LICS (2013)
Sergey Goncharov, Lutz Schröder
A coinductive calculus for asynchronous side-effecting processes. Inf. Comput. 231 (2013)
Nathan J. Bowler, Sergey Goncharov, Paul Blain Levy, Lutz Schröder
Exploring the Boundaries of Monad Tensorability on Set. Log. Methods Comput. Sci. 9 (3) (2013)
Sergey Goncharov, Lutz Schröder
A Coinductive Calculus for Asynchronous Side-Effecting Processes. FCT (2011)
Sergey Goncharov, Lutz Schröder
Powermonads and Tensors of Unranked Effects CoRR (2011)
Sergey Goncharov, Lutz Schröder
Powermonads and Tensors of Unranked Effects. LICS (2011)
Sergey Goncharov, Lutz Schröder
A Counterexample to Tensorability of Effects. CALCO (2011)
Sergey Goncharov, Lutz Schröder
A Coinductive Calculus for Asynchronous Side-effecting Processes CoRR (2011)
Till Mossakowski, Lutz Schröder, Sergey Goncharov
A generic complete dynamic logic for reasoning about purity and effects. Formal Aspects Comput. 22 (3-4) (2010)
Sergey Goncharov, Lutz Schröder, Till Mossakowski
Kleene Monads: Handling Iteration in a Framework of Generic Effects. CALCO (2009)
Till Mossakowski, Lutz Schröder, Sergey Goncharov
A Generic Complete Dynamic Logic for Reasoning About Purity and Effects. FASE (2008)
Sergey Goncharov, Lutz Schröder, Till Mossakowski
Completeness of Global Evaluation Logic. MFCS (2006)

Sergey Goncharov.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Sergey Goncharov