Sergey Goncharov

86 papers A* 7A 1B 20C 3Journal 48Unranked 6
YearRankTypeTitle / Venue / Authors
2026 J jnl
Approximate approach for frequent itemsets mining on massive distributed data beyond computing capacity.
Expert Syst. Appl.
Alladoumbaye Ngueilbaye, Sibagatullin Ratmir, Yongda Cai, Mohammad Sultan Mahmud, Xudong Sun, Andrey Nechesov, Sergey Goncharov, Joshua Zhexue Huang
2026 J jnl
Representing Guardedness in Call-by-Value and Guarded Parametrized Monads.
Log. Methods Comput. Sci.
Sergey Goncharov
2026 J jnl
The Only Distributive Law Over the Powerset Monad Is the One You Know.
CoRR
Sergey Goncharov, Dirk Hofmann, Pedro Nora, Lutz Schröder, Paul Wild
2026 J jnl
Towards a Higher-Order Bialgebraic Denotational Semantics.
CoRR
Sergey Goncharov, Marco Peressotti, Stelios Tsampas, Henning Urbat, Stefano Volpe
2025 J jnl
Abstract Operational Methods for Call-by-Push-Value.
Proc. ACM Program. Lang.
Sergey Goncharov, Stelios Tsampas, Henning Urbat
2025 J jnl
Bialgebraic Reasoning on Stateful Languages.
CoRR
Sergey Goncharov, Stefan Milius, Lutz Schröder, Stelios Tsampas, Henning Urbat
2025 J jnl
Bialgebraic Reasoning on Stateful Languages.
Proc. ACM Program. Lang.
Sergey Goncharov, Stefan Milius, Lutz Schröder, Stelios Tsampas, Henning Urbat
2025 J jnl
Big Steps in Higher-Order Mathematical Operational Semantics.
CoRR
Sergey Goncharov, Pouya Partow, Stelios Tsampas
2025 J jnl
Big Steps in Higher-Order Mathematical Operational Semantics.
Proc. ACM Program. Lang.
Sergey Goncharov, Pouya Partow, Stelios Tsampas
2025 A conf
Identity-Preserving Lax Extensions and Where to Find Them.
STACS
Sergey Goncharov, Dirk Hofmann, Pedro Nora, Lutz Schröder, Paul Wild
2025 A* conf
Probabilistic Strategies: Definability and the Tensor Completeness Problem.
LICS
Nathan J. Bowler, Sergey Goncharov, Paul Blain Levy
2025 J jnl
Probabilistic Strategies: Definability and the Tensor Completeness Problem.
CoRR
Nathan J. Bowler, Sergey Goncharov, Paul Blain Levy
2025 A* conf
Relators and Notions of Simulation Revisited.
LICS
Sergey Goncharov, Dirk Hofmann, Pedro Nora, Lutz Schröder, Paul Wild
2025 J jnl
Relators and Notions of Simulation Revisited.
CoRR
Sergey Goncharov, Dirk Hofmann, Pedro Nora, Lutz Schröder, Paul Wild
2024 B conf
A Unifying Categorical View of Nondeterministic Iteration and Tests.
CONCUR
Sergey Goncharov, Tarmo Uustalu
2024 J jnl
A Unifying Categorical View of Nondeterministic Iteration and Tests.
CoRR
Sergey Goncharov, Tarmo Uustalu
2024 J jnl
A point-free perspective on lax extensions and predicate liftings.
Math. Struct. Comput. Sci.
Sergey Goncharov, Dirk Hofmann, Pedro Nora, Lutz Schröder, Paul Wild
2024 J jnl
Abstract Operational Methods for Call-by-Push-Value.
CoRR
Sergey Goncharov, Stelios Tsampas, Henning Urbat
2024 J jnl
Bialgebraic Reasoning on Higher-Order Program Equivalence.
CoRR
Sergey Goncharov, Stefan Milius, Stelios Tsampas, Henning Urbat
2024 A* conf
Bialgebraic Reasoning on Higher-order Program Equivalence.
LICS
Sergey Goncharov, Stefan Milius, Stelios Tsampas, Henning Urbat
2024 J jnl
Higher-Order Mathematical Operational Semantics.
CoRR
Sergey Goncharov, Stefan Milius, Lutz Schröder, Stelios Tsampas, Henning Urbat
2024 J jnl
Identity-Preserving Lax Extensions and Where to Find Them.
CoRR
Sergey Goncharov, Dirk Hofmaan, Pedro Nora, Lutz Schröder, Paul Wild
2024 — conf
Logical Predicates in Higher-Order Mathematical Operational Semantics.
FoSSaCS (2)
Sergey Goncharov, Alessio Santamaria, Lutz Schröder, Stelios Tsampas, Henning Urbat
2024 J jnl
Logical Predicates in Higher-Order Mathematical Operational Semantics.
CoRR
Sergey Goncharov, Alessio Santamaria, Lutz Schröder, Stelios Tsampas, Henning Urbat
2024 J jnl
Representing Guardedness in Call-by-Value and Guarded Parametrized Monads.
CoRR
Sergey Goncharov
2023 B conf
Higher-Order Mathematical Operational Semantics (Early Ideas).
CALCO
Sergey Goncharov, Stefan Milius, Lutz Schröder, Stelios Tsampas, Henning Urbat
2023 B conf
Kantorovich Functors and Characteristic Logics for Behavioural Distances.
FoSSaCS
Sergey Goncharov, Dirk Hofmann, Pedro Nora, Lutz Schröder, Paul Wild
2023 B conf
Quantitative Hennessy-Milner Theorems via Notions of Density.
CSL
Jonas Forster, Sergey Goncharov, Dirk Hofmann, Pedro Nora, Lutz Schröder, Paul Wild
2023 B conf
Representing Guardedness in Call-By-Value.
FSCD
Sergey Goncharov
2023 J jnl
Shades of Iteration: from Elgot to Kleene.
CoRR
Sergey Goncharov
2023 J jnl
Towards a Higher-Order Mathematical Operational Semantics.
Proc. ACM Program. Lang.
Sergey Goncharov, Stefan Milius, Lutz Schröder, Stelios Tsampas, Henning Urbat
2023 A* conf
Weak Similarity in Higher-Order Mathematical Operational Semantics.
LICS
Henning Urbat, Stelios Tsampas, Sergey Goncharov, Stefan Milius, Lutz Schröder
2023 J jnl
Weak Similarity in Higher-Order Mathematical Operational Semantics.
CoRR
Henning Urbat, Stelios Tsampas, Sergey Goncharov, Stefan Milius, Lutz Schröder
2022 J jnl
Quantalic Behavioural Distances.
CoRR
Sergey Goncharov, Dirk Hofmann, Pedro Nora, Lutz Schröder, Paul Wild
2022 J jnl
Quantitative Hennessy-Milner Theorems via Notions of Density.
CoRR
Jonas Forster, Sergey Goncharov, Dirk Hofmann, Pedro Nora, Lutz Schröder, Paul Wild
2022 — conf
Shades of Iteration: From Elgot to Kleene.
WADT
Sergey Goncharov
2022 B conf
Stateful Structural Operational Semantics.
FSCD
Sergey Goncharov, Stefan Milius, Lutz Schröder, Stelios Tsampas, Henning Urbat
2022 J jnl
Stateful Structural Operational Semantics.
CoRR
Sergey Goncharov, Stefan Milius, Lutz Schröder, Stelios Tsampas, Henning Urbat
2021 J jnl
A Point-free Perspective on Lax extensions and Predicate liftings.
CoRR
Sergey Goncharov, Dirk Hofmann, Pedro Nora, Lutz Schröder, Paul Wild
2021 J jnl
A metalanguage for guarded iteration.
Theor. Comput. Sci.
Sergey Goncharov, Christoph Rauch, Lutz Schröder
2021 A* conf
Uniform Elgot Iteration in Foundations.
ICALP
Sergey Goncharov
2021 J jnl
Uniform Elgot Iteration in Foundations.
CoRR
Sergey Goncharov
2020 C conf
Implementing Hybrid Semantics: From Functional to Imperative.
ICTAC
Sergey Goncharov, Renato Neves, José Proença
2020 J jnl
Implementing Hybrid Semantics: From Functional to Imperative.
CoRR
Sergey Goncharov, Renato Neves, José Proença
2020 B conf
Local Local Reasoning: A BI-Hyperdoctrine for Full Ground Store.
FoSSaCS
Miriam Polzer, Sergey Goncharov
2020 J jnl
Local Local Reasoning: A BI-Hyperdoctrine for Full Ground Store.
CoRR
Miriam Polzer, Sergey Goncharov
2020 J jnl
Toward a Uniform Theory of Effectful State Machines.
ACM Trans. Comput. Log.
Sergey Goncharov, Stefan Milius, Alexandra Silva
2020 B conf
Towards Constructive Hybrid Semantics.
FSCD
Tim Lukas Diezel, Sergey Goncharov
2019 C conf
An Adequate While-Language for Hybrid Computation.
PPDP
Sergey Goncharov, Renato Neves
2019 J jnl
An Adequate While-Language for Hybrid Computation.
CoRR
Sergey Goncharov, Renato Neves
2019 B conf
Coinductive Resumption Monads: Guarded Iterative and Guarded Elgot.
CALCO
Paul Blain Levy, Sergey Goncharov
2019 J jnl
Guarded and Unguarded Iteration for Generalized Processes.
Log. Methods Comput. Sci.
Sergey Goncharov, Lutz Schröder, Christoph Rauch, Maciej Piróg
2018 C conf
A Metalanguage for Guarded Iteration.
ICTAC
Sergey Goncharov, Christoph Rauch, Lutz Schröder
2018 J jnl
A Metalanguage for Guarded Iteration.
CoRR
Sergey Goncharov, Christoph Rauch, Lutz Schröder
2018 B conf
A Semantics for Hybrid Iteration.
CONCUR
Sergey Goncharov, Julian Jakob, Renato Neves
2018 J jnl
A Semantics for Hybrid Iteration.
CoRR
Sergey Goncharov, Julian Jakob, Renato Neves
2018 B conf
Guarded Traced Categories.
FoSSaCS
Sergey Goncharov, Lutz Schröder
2018 J jnl
Guarded Traced Categories.
CoRR
Sergey Goncharov, Lutz Schröder
2018 J jnl
Unguarded Recursion on Coinductive Resumptions.
Log. Methods Comput. Sci.
Sergey Goncharov, Lutz Schröder, Christoph Rauch, Julian Jakob
2017 J jnl
Guarded and Unguarded Iteration for Generalized Processes.
CoRR
Sergey Goncharov, Lutz Schröder, Christoph Rauch, Maciej Piróg
2017 B conf
Unifying Guarded and Unguarded Iteration.
FoSSaCS
Sergey Goncharov, Lutz Schröder, Christoph Rauch, Maciej Piróg
2016 J jnl
Complete Elgot Monads and Coalgebraic Resumptions.
CoRR
Sergey Goncharov, Stefan Milius, Christoph Rauch
2016 B conf
Complete Elgot Monads and Coalgebraic Resumptions.
MFPS
Sergey Goncharov, Stefan Milius, Christoph Rauch
2016 — conf
Generic Hoare Logic for Order-Enriched Effects with Exceptions.
WADT
Christoph Rauch, Sergey Goncharov, Lutz Schröder
2016 J jnl
Some Remarks on Conway and Iteration Theories.
CoRR
Zoltán Ésik, Sergey Goncharov
2015 B conf
Unguarded Recursion on Coinductive Resumptions.
MFPS
Sergey Goncharov, Christoph Rauch, Lutz Schröder
2014 J jnl
(Co-)Algebraic Foundations for Effect Handling and Iteration.
CoRR
Sergey Goncharov, Lutz Schröder, Christoph Rauch
2014 — conf
Coalgebraic Weak Bisimulation from Recursive Equations over Monads.
ICALP (2)
Sergey Goncharov, Dirk Pattinson
2014 J jnl
Coalgebraic Weak Bisimulation from Recursive Equations over Monads.
CoRR
Sergey Goncharov, Dirk Pattinson
2014 — conf
Monodic Fragments of Probabilistic First-Order Logic.
ICALP (2)
Jean Christoph Jung, Carsten Lutz, Sergey Goncharov, Lutz Schröder
2014 — conf
Towards a Coalgebraic Chomsky Hierarchy - (Extended Abstract).
IFIP TCS
Sergey Goncharov, Stefan Milius, Alexandra Silva
2014 J jnl
Towards a Coalgebraic Chomsky Hierarchy.
CoRR
Sergey Goncharov, Stefan Milius, Alexandra Silva
2013 A* conf
A Relatively Complete Generic Hoare Logic for Order-Enriched Effects.
LICS
Sergey Goncharov, Lutz Schröder
2013 J jnl
A coinductive calculus for asynchronous side-effecting processes.
Inf. Comput.
Sergey Goncharov, Lutz Schröder
2013 J jnl
Exploring the Boundaries of Monad Tensorability on Set.
Log. Methods Comput. Sci.
Nathan J. Bowler, Sergey Goncharov, Paul Blain Levy, Lutz Schröder
2013 B conf
Trace Semantics via Generic Observations.
CALCO
Sergey Goncharov
2011 B conf
A Coinductive Calculus for Asynchronous Side-Effecting Processes.
FCT
Sergey Goncharov, Lutz Schröder
2011 J jnl
A Coinductive Calculus for Asynchronous Side-effecting Processes
CoRR
Sergey Goncharov, Lutz Schröder
2011 B conf
A Counterexample to Tensorability of Effects.
CALCO
Sergey Goncharov, Lutz Schröder
2011 J jnl
Powermonads and Tensors of Unranked Effects
CoRR
Sergey Goncharov, Lutz Schröder
2011 A* conf
Powermonads and Tensors of Unranked Effects.
LICS
Sergey Goncharov, Lutz Schröder
2010 J jnl
A generic complete dynamic logic for reasoning about purity and effects.
Formal Aspects Comput.
Till Mossakowski, Lutz Schröder, Sergey Goncharov
2010 — —
Kleene monads.
Sergey Goncharov
2009 B conf
Kleene Monads: Handling Iteration in a Framework of Generic Effects.
CALCO
Sergey Goncharov, Lutz Schröder, Till Mossakowski
2008 B conf
A Generic Complete Dynamic Logic for Reasoning About Purity and Effects.
FASE
Till Mossakowski, Lutz Schröder, Sergey Goncharov
2006 B conf
Completeness of Global Evaluation Logic.
MFCS
Sergey Goncharov, Lutz Schröder, Till Mossakowski