default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSergey Goncharov 0001
Person information
- affiliation: University of Erlangen-Nuremberg, Department of Computer Science
- affiliation (former): DFKI, Bremen, Germany
- affiliation (former): University of Bremen, Germany
Other persons with the same name
- Sergey Goncharov 0002 (aka: Sergey S. Goncharov, Sergei S. Goncharov) — Sobolev Institute of Mathematics of Siberian Branch of the RAS, Novosibirsk, Russia
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Books and Theses
- 2010
[b1]Sergey Goncharov:
Kleene monads. University of Bremen, 2010, ISBN 978-3-86853-724-6, pp. 1-188
Journal Articles
- 2024
- [j9]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): 98-127 (2024) - 2023
- [j8]Sergey Goncharov, Stefan Milius, Lutz Schröder, Stelios Tsampas, Henning Urbat:
Towards a Higher-Order Mathematical Operational Semantics. Proc. ACM Program. Lang. 7(POPL): 632-658 (2023) - 2021
- [j7]Sergey Goncharov, Christoph Rauch, Lutz Schröder:
A metalanguage for guarded iteration. Theor. Comput. Sci. 880: 111-137 (2021) - 2020
- [j6]Sergey Goncharov, Stefan Milius, Alexandra Silva:
Toward a Uniform Theory of Effectful State Machines. ACM Trans. Comput. Log. 21(3): 23:1-23:63 (2020) - 2019
- [j5]Sergey Goncharov, Lutz Schröder, Christoph Rauch, Maciej Piróg:
Guarded and Unguarded Iteration for Generalized Processes. Log. Methods Comput. Sci. 15(3) (2019) - 2018
- [j4]Sergey Goncharov, Lutz Schröder, Christoph Rauch, Julian Jakob:
Unguarded Recursion on Coinductive Resumptions. Log. Methods Comput. Sci. 14(3) (2018) - 2013
- [j3]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) - [j2]Sergey Goncharov, Lutz Schröder:
A coinductive calculus for asynchronous side-effecting processes. Inf. Comput. 231: 204-232 (2013) - 2010
- [j1]Till Mossakowski, Lutz Schröder, Sergey Goncharov:
A generic complete dynamic logic for reasoning about purity and effects. Formal Aspects Comput. 22(3-4): 363-384 (2010)
Conference and Workshop Papers
- 2024
- [c34]Sergey Goncharov, Tarmo Uustalu:
A Unifying Categorical View of Nondeterministic Iteration and Tests. CONCUR 2024: 25:1-25:22 - [c33]Sergey Goncharov, Alessio Santamaria, Lutz Schröder, Stelios Tsampas, Henning Urbat:
Logical Predicates in Higher-Order Mathematical Operational Semantics. FoSSaCS (2) 2024: 47-69 - [c32]Sergey Goncharov, Stefan Milius, Stelios Tsampas, Henning Urbat:
Bialgebraic Reasoning on Higher-order Program Equivalence. LICS 2024: 39:1-39:15 - 2023
- [c31]Sergey Goncharov, Stefan Milius, Lutz Schröder, Stelios Tsampas, Henning Urbat:
Higher-Order Mathematical Operational Semantics (Early Ideas). CALCO 2023: 24:1-24:3 - [c30]Jonas Forster, Sergey Goncharov, Dirk Hofmann, Pedro Nora, Lutz Schröder, Paul Wild:
Quantitative Hennessy-Milner Theorems via Notions of Density. CSL 2023: 22:1-22:20 - [c29]Sergey Goncharov, Dirk Hofmann, Pedro Nora, Lutz Schröder, Paul Wild:
Kantorovich Functors and Characteristic Logics for Behavioural Distances. FoSSaCS 2023: 46-67 - [c28]Sergey Goncharov:
Representing Guardedness in Call-By-Value. FSCD 2023: 34:1-34:21 - [c27]Henning Urbat, Stelios Tsampas, Sergey Goncharov, Stefan Milius, Lutz Schröder:
Weak Similarity in Higher-Order Mathematical Operational Semantics. LICS 2023: 1-13 - 2022
- [c26]Sergey Goncharov:
Shades of Iteration: From Elgot to Kleene. WADT 2022: 100-120 - [c25]Sergey Goncharov, Stefan Milius, Lutz Schröder, Stelios Tsampas, Henning Urbat:
Stateful Structural Operational Semantics. FSCD 2022: 30:1-30:19 - 2021
- [c24]Sergey Goncharov:
Uniform Elgot Iteration in Foundations. ICALP 2021: 131:1-131:16 - 2020
- [c23]Miriam Polzer, Sergey Goncharov:
Local Local Reasoning: A BI-Hyperdoctrine for Full Ground Store. FoSSaCS 2020: 542-561 - [c22]Tim Lukas Diezel, Sergey Goncharov:
Towards Constructive Hybrid Semantics. FSCD 2020: 24:1-24:19 - [c21]Sergey Goncharov, Renato Neves, José Proença:
Implementing Hybrid Semantics: From Functional to Imperative. ICTAC 2020: 262-282 - 2019
- [c20]Paul Blain Levy, Sergey Goncharov:
Coinductive Resumption Monads: Guarded Iterative and Guarded Elgot. CALCO 2019: 13:1-13:17 - [c19]Sergey Goncharov, Renato Neves:
An Adequate While-Language for Hybrid Computation. PPDP 2019: 11:1-11:15 - 2018
- [c18]Sergey Goncharov, Julian Jakob, Renato Neves:
A Semantics for Hybrid Iteration. CONCUR 2018: 22:1-22:17 - [c17]Sergey Goncharov, Lutz Schröder:
Guarded Traced Categories. FoSSaCS 2018: 313-330 - [c16]Sergey Goncharov, Christoph Rauch, Lutz Schröder:
A Metalanguage for Guarded Iteration. ICTAC 2018: 191-210 - 2017
- [c15]Sergey Goncharov, Lutz Schröder, Christoph Rauch, Maciej Piróg:
Unifying Guarded and Unguarded Iteration. FoSSaCS 2017: 517-533 - 2016
- [c14]Christoph Rauch, Sergey Goncharov, Lutz Schröder:
Generic Hoare Logic for Order-Enriched Effects with Exceptions. WADT 2016: 208-222 - [c13]Sergey Goncharov, Stefan Milius, Christoph Rauch:
Complete Elgot Monads and Coalgebraic Resumptions. MFPS 2016: 147-168 - 2015
- [c12]Sergey Goncharov, Christoph Rauch, Lutz Schröder:
Unguarded Recursion on Coinductive Resumptions. MFPS 2015: 183-198 - 2014
- [c11]Sergey Goncharov, Dirk Pattinson:
Coalgebraic Weak Bisimulation from Recursive Equations over Monads. ICALP (2) 2014: 196-207 - [c10]Jean Christoph Jung, Carsten Lutz, Sergey Goncharov, Lutz Schröder:
Monodic Fragments of Probabilistic First-Order Logic. ICALP (2) 2014: 256-267 - [c9]Sergey Goncharov, Stefan Milius, Alexandra Silva:
Towards a Coalgebraic Chomsky Hierarchy - (Extended Abstract). IFIP TCS 2014: 265-280 - 2013
- [c8]Sergey Goncharov:
Trace Semantics via Generic Observations. CALCO 2013: 158-174 - [c7]Sergey Goncharov, Lutz Schröder:
A Relatively Complete Generic Hoare Logic for Order-Enriched Effects. LICS 2013: 273-282 - 2011
- [c6]Sergey Goncharov, Lutz Schröder:
A Counterexample to Tensorability of Effects. CALCO 2011: 208-221 - [c5]Sergey Goncharov, Lutz Schröder:
A Coinductive Calculus for Asynchronous Side-Effecting Processes. FCT 2011: 276-287 - [c4]Sergey Goncharov, Lutz Schröder:
Powermonads and Tensors of Unranked Effects. LICS 2011: 227-236 - 2009
- [c3]Sergey Goncharov, Lutz Schröder, Till Mossakowski:
Kleene Monads: Handling Iteration in a Framework of Generic Effects. CALCO 2009: 18-33 - 2008
- [c2]Till Mossakowski, Lutz Schröder, Sergey Goncharov:
A Generic Complete Dynamic Logic for Reasoning About Purity and Effects. FASE 2008: 199-214 - 2006
- [c1]Sergey Goncharov, Lutz Schröder, Till Mossakowski:
Completeness of Global Evaluation Logic. MFCS 2006: 447-458
Informal and Other Publications
- 2024
- [i27]Sergey Goncharov, Alessio Santamaria, Lutz Schröder, Stelios Tsampas, Henning Urbat:
Logical Predicates in Higher-Order Mathematical Operational Semantics. CoRR abs/2401.05872 (2024) - [i26]Sergey Goncharov, Stefan Milius, Stelios Tsampas, Henning Urbat:
Bialgebraic Reasoning on Higher-Order Program Equivalence. CoRR abs/2402.00625 (2024) - [i25]Sergey Goncharov:
Representing Guardedness in Call-by-Value and Guarded Parametrized Monads. CoRR abs/2403.00704 (2024) - [i24]Sergey Goncharov, Stefan Milius, Lutz Schröder, Stelios Tsampas, Henning Urbat:
Higher-Order Mathematical Operational Semantics. CoRR abs/2405.16708 (2024) - [i23]Sergey Goncharov, Tarmo Uustalu:
A Unifying Categorical View of Nondeterministic Iteration and Tests. CoRR abs/2407.08688 (2024) - 2023
- [i22]Sergey Goncharov:
Shades of Iteration: from Elgot to Kleene. CoRR abs/2301.06202 (2023) - [i21]Henning Urbat, Stelios Tsampas, Sergey Goncharov, Stefan Milius, Lutz Schröder:
Weak Similarity in Higher-Order Mathematical Operational Semantics. CoRR abs/2302.08200 (2023) - 2022
- [i20]Sergey Goncharov, Dirk Hofmann, Pedro Nora, Lutz Schröder, Paul Wild:
Quantalic Behavioural Distances. CoRR abs/2202.07069 (2022) - [i19]Sergey Goncharov, Stefan Milius, Lutz Schröder, Stelios Tsampas, Henning Urbat:
Stateful Structural Operational Semantics. CoRR abs/2202.10866 (2022) - [i18]Jonas Forster, Sergey Goncharov, Dirk Hofmann, Pedro Nora, Lutz Schröder, Paul Wild:
Quantitative Hennessy-Milner Theorems via Notions of Density. CoRR abs/2207.09187 (2022) - [i17]Sergey Goncharov, Stefan Milius, Lutz Schröder, Stelios Tsampas, Henning Urbat:
Towards a Higher-Order Mathematical Operational Semantics. CoRR abs/2210.13387 (2022) - 2021
- [i16]Sergey Goncharov:
Uniform Elgot Iteration in Foundations. CoRR abs/2102.11828 (2021) - [i15]Sergey Goncharov, Dirk Hofmann, Pedro Nora, Lutz Schröder, Paul Wild:
A Point-free Perspective on Lax extensions and Predicate liftings. CoRR abs/2112.12681 (2021) - 2020
- [i14]Miriam Polzer, Sergey Goncharov:
Local Local Reasoning: A BI-Hyperdoctrine for Full Ground Store. CoRR abs/2003.05386 (2020) - [i13]Sergey Goncharov, Renato Neves, José Proença:
Implementing Hybrid Semantics: From Functional to Imperative. CoRR abs/2009.14322 (2020) - 2019
- [i12]Sergey Goncharov, Renato Neves:
An Adequate While-Language for Hybrid Computation. CoRR abs/1902.07684 (2019) - 2018
- [i11]Sergey Goncharov, Lutz Schröder:
Guarded Traced Categories. CoRR abs/1802.08756 (2018) - [i10]Sergey Goncharov, Julian Jakob, Renato Neves:
A Semantics for Hybrid Iteration. CoRR abs/1807.01053 (2018) - [i9]Sergey Goncharov, Christoph Rauch, Lutz Schröder:
A Metalanguage for Guarded Iteration. CoRR abs/1807.11256 (2018) - 2017
- [i8]Sergey Goncharov, Lutz Schröder, Christoph Rauch, Maciej Piróg:
Guarded and Unguarded Iteration for Generalized Processes. CoRR abs/1712.09574 (2017) - 2016
- [i7]Zoltán Ésik, Sergey Goncharov:
Some Remarks on Conway and Iteration Theories. CoRR abs/1603.00838 (2016) - [i6]Sergey Goncharov, Stefan Milius, Christoph Rauch:
Complete Elgot Monads and Coalgebraic Resumptions. CoRR abs/1603.02148 (2016) - 2014
- [i5]Sergey Goncharov, Stefan Milius, Alexandra Silva:
Towards a Coalgebraic Chomsky Hierarchy. CoRR abs/1401.5277 (2014) - [i4]Sergey Goncharov, Dirk Pattinson:
Coalgebraic Weak Bisimulation from Recursive Equations over Monads. CoRR abs/1404.1215 (2014) - [i3]Sergey Goncharov, Lutz Schröder, Christoph Rauch:
(Co-)Algebraic Foundations for Effect Handling and Iteration. CoRR abs/1405.0854 (2014) - 2011
- [i2]Sergey Goncharov, Lutz Schröder:
Powermonads and Tensors of Unranked Effects. CoRR abs/1101.2777 (2011) - [i1]Sergey Goncharov, Lutz Schröder:
A Coinductive Calculus for Asynchronous Side-effecting Processes. CoRR abs/1104.2936 (2011)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 22:08 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
