Sergey Goncharov

According to our database, Sergey Goncharov authored at least 49 papers between 2006 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

A point-free perspective on lax extensions and predicate liftings.

Sergey Goncharov, Dirk Hofmann, Pedro Nora, Lutz Schröder, Paul Wild

Math. Struct. Comput. Sci., 2024

Abstract Operational Methods for Call-by-Push-Value.

Sergey Goncharov, Stelios Tsampas, Henning Urbat

CoRR, 2024

Identity-Preserving Lax Extensions and Where to Find Them.

Sergey Goncharov, Dirk Hofmaan, Pedro Nora, Lutz Schröder, Paul Wild

CoRR, 2024

Higher-Order Mathematical Operational Semantics.

Sergey Goncharov, Stefan Milius, Lutz Schröder, Stelios Tsampas, Henning Urbat

CoRR, 2024

Representing Guardedness in Call-by-Value and Guarded Parametrized Monads.

Sergey Goncharov

CoRR, 2024

Bialgebraic Reasoning on Higher-order Program Equivalence.

Sergey Goncharov, Stefan Milius, Stelios Tsampas, Henning Urbat

Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science, 2024

Logical Predicates in Higher-Order Mathematical Operational Semantics.

Sergey Goncharov, Alessio Santamaria, Lutz Schröder, Stelios Tsampas, Henning Urbat

Proceedings of the Foundations of Software Science and Computation Structures, 2024

A Unifying Categorical View of Nondeterministic Iteration and Tests.

Sergey Goncharov, Tarmo Uustalu

Proceedings of the 35th International Conference on Concurrency Theory, 2024

2023

Towards a Higher-Order Mathematical Operational Semantics.

Sergey Goncharov, Stefan Milius, Lutz Schröder, Stelios Tsampas, Henning Urbat

Proc. ACM Program. Lang., January, 2023

Weak Similarity in Higher-Order Mathematical Operational Semantics.

Henning Urbat, Stelios Tsampas, Sergey Goncharov, Stefan Milius, Lutz Schröder

Proceedings of the 38th Annual ACM/IEEE Symposium on Logic in Computer Science, 2023

Representing Guardedness in Call-By-Value.

Sergey Goncharov

Proceedings of the 8th International Conference on Formal Structures for Computation and Deduction, 2023

Kantorovich Functors and Characteristic Logics for Behavioural Distances.

Sergey Goncharov, Dirk Hofmann, Pedro Nora, Lutz Schröder, Paul Wild

Proceedings of the Foundations of Software Science and Computation Structures, 2023

Quantitative Hennessy-Milner Theorems via Notions of Density.

Jonas Forster, Sergey Goncharov, Dirk Hofmann, Pedro Nora, Lutz Schröder, Paul Wild

Proceedings of the 31st EACSL Annual Conference on Computer Science Logic, 2023

Higher-Order Mathematical Operational Semantics (Early Ideas).

Sergey Goncharov, Stefan Milius, Lutz Schröder, Stelios Tsampas, Henning Urbat

Proceedings of the 10th Conference on Algebra and Coalgebra in Computer Science, 2023

2022

Quantalic Behavioural Distances.

Sergey Goncharov, Dirk Hofmann, Pedro Nora, Lutz Schröder, Paul Wild

CoRR, 2022

Stateful Structural Operational Semantics.

Sergey Goncharov, Stefan Milius, Lutz Schröder, Stelios Tsampas, Henning Urbat

Proceedings of the 7th International Conference on Formal Structures for Computation and Deduction, 2022

Shades of Iteration: From Elgot to Kleene.

Sergey Goncharov

Proceedings of the Recent Trends in Algebraic Development Techniques, 2022

2021

A metalanguage for guarded iteration.

Sergey Goncharov, Christoph Rauch, Lutz Schröder

Theor. Comput. Sci., 2021

Uniform Elgot Iteration in Foundations.

Sergey Goncharov

Proceedings of the 48th International Colloquium on Automata, Languages, and Programming, 2021

2020

Toward a Uniform Theory of Effectful State Machines.

Sergey Goncharov, Stefan Milius, Alexandra Silva

ACM Trans. Comput. Log., 2020

Implementing Hybrid Semantics: From Functional to Imperative.

Sergey Goncharov, Renato Neves, José Proença

Proceedings of the Theoretical Aspects of Computing - ICTAC 2020 - 17th International Colloquium, Macau, China, November 30, 2020

Towards Constructive Hybrid Semantics.

Tim Lukas Diezel, Sergey Goncharov

Proceedings of the 5th International Conference on Formal Structures for Computation and Deduction, 2020

Local Local Reasoning: A BI-Hyperdoctrine for Full Ground Store.

Miriam Polzer, Sergey Goncharov

Proceedings of the Foundations of Software Science and Computation Structures, 2020

2019

Guarded and Unguarded Iteration for Generalized Processes.

Sergey Goncharov, Lutz Schröder, Christoph Rauch, Maciej Piróg

Log. Methods Comput. Sci., 2019

An Adequate While-Language for Hybrid Computation.

Sergey Goncharov, Renato Neves

Proceedings of the 21st International Symposium on Principles and Practice of Programming Languages, 2019

Coinductive Resumption Monads: Guarded Iterative and Guarded Elgot.

Paul Blain Levy, Sergey Goncharov

Proceedings of the 8th Conference on Algebra and Coalgebra in Computer Science, 2019

2018

Unguarded Recursion on Coinductive Resumptions.

Sergey Goncharov, Lutz Schröder, Christoph Rauch, Julian Jakob

Log. Methods Comput. Sci., 2018

Guarded Traced Categories.

Sergey Goncharov, Lutz Schröder

Proceedings of the Foundations of Software Science and Computation Structures, 2018

A Semantics for Hybrid Iteration.

Sergey Goncharov, Julian Jakob, Renato Neves

Proceedings of the 29th International Conference on Concurrency Theory, 2018

2017

Unifying Guarded and Unguarded Iteration.

Sergey Goncharov, Lutz Schröder, Christoph Rauch, Maciej Piróg

Proceedings of the Foundations of Software Science and Computation Structures, 2017

2016

Complete Elgot Monads and Coalgebraic Resumptions.

Sergey Goncharov, Stefan Milius, Christoph Rauch

Proceedings of the Thirty-second Conference on the Mathematical Foundations of Programming Semantics, 2016

Some Remarks on Conway and Iteration Theories.

Zoltán Ésik, Sergey Goncharov

CoRR, 2016

Generic Hoare Logic for Order-Enriched Effects with Exceptions.

Christoph Rauch, Sergey Goncharov, Lutz Schröder

Proceedings of the Recent Trends in Algebraic Development Techniques, 2016

2015

Unguarded Recursion on Coinductive Resumptions.

Sergey Goncharov, Christoph Rauch, Lutz Schröder

Proceedings of the 31st Conference on the Mathematical Foundations of Programming Semantics, 2015

2014

(Co-)Algebraic Foundations for Effect Handling and Iteration.

Sergey Goncharov, Lutz Schröder, Christoph Rauch

CoRR, 2014

Towards a Coalgebraic Chomsky Hierarchy.

Sergey Goncharov, Stefan Milius, Alexandra Silva

CoRR, 2014

Towards a Coalgebraic Chomsky Hierarchy - (Extended Abstract).

Sergey Goncharov, Stefan Milius, Alexandra Silva

Proceedings of the Theoretical Computer Science, 2014

Monodic Fragments of Probabilistic First-Order Logic.

Jean Christoph Jung, Carsten Lutz, Sergey Goncharov, Lutz Schröder

Proceedings of the Automata, Languages, and Programming - 41st International Colloquium, 2014

Coalgebraic Weak Bisimulation from Recursive Equations over Monads.

Sergey Goncharov, Dirk Pattinson

Proceedings of the Automata, Languages, and Programming - 41st International Colloquium, 2014

2013

A coinductive calculus for asynchronous side-effecting processes.

Sergey Goncharov, Lutz Schröder

Inf. Comput., 2013

Exploring the Boundaries of Monad Tensorability on Set.

Nathan J. Bowler, Sergey Goncharov, Paul Blain Levy, Lutz Schröder

Log. Methods Comput. Sci., 2013

A Relatively Complete Generic Hoare Logic for Order-Enriched Effects.

Sergey Goncharov, Lutz Schröder

Proceedings of the 28th Annual ACM/IEEE Symposium on Logic in Computer Science, 2013

Trace Semantics via Generic Observations.

Sergey Goncharov

Proceedings of the Algebra and Coalgebra in Computer Science, 2013

2011

Powermonads and Tensors of Unranked Effects.

Sergey Goncharov, Lutz Schröder

Proceedings of the 26th Annual IEEE Symposium on Logic in Computer Science, 2011

A Counterexample to Tensorability of Effects.

Sergey Goncharov, Lutz Schröder

Proceedings of the Algebra and Coalgebra in Computer Science, 2011

2010

Kleene monads.

Sergey Goncharov

PhD thesis, 2010

A generic complete dynamic logic for reasoning about purity and effects.

Till Mossakowski, Lutz Schröder, Sergey Goncharov

Formal Aspects Comput., 2010

2009

Kleene Monads: Handling Iteration in a Framework of Generic Effects.

Sergey Goncharov, Lutz Schröder, Till Mossakowski

Proceedings of the Algebra and Coalgebra in Computer Science, 2009

2006

Completeness of Global Evaluation Logic.

Sergey Goncharov, Lutz Schröder, Till Mossakowski

Proceedings of the Mathematical Foundations of Computer Science 2006, 2006