Sergey Goncharov
University of Birmingham(GB)
Publications by Year
Research Areas
Logic, programming, and type systems, Logic, Reasoning, and Knowledge, Formal Methods in Verification, Advanced Algebra and Logic, Semantic Web and Ontologies
Most-Cited Works
- → A Relatively Complete Generic Hoare Logic for Order-Enriched Effects(2013)23 cited
- → A Coinductive Calculus for Asynchronous Side-Effecting Processes(2011)16 cited
- → Unguarded Recursion on Coinductive Resumptions(2015)14 cited
- → Kleene Monads: Handling Iteration in a Framework of Generic Effects(2009)14 cited
- → Towards a Coalgebraic Chomsky Hierarchy(2014)14 cited
- → Unifying Guarded and Unguarded Iteration(2017)14 cited
- → Towards a Higher-Order Mathematical Operational Semantics(2023)13 cited
- → Trace Semantics via Generic Observations(2013)11 cited
- → A generic complete dynamic logic for reasoning about purity and effects(2010)10 cited