Sledovať
Sergey Goncharov
Sergey Goncharov
School of Computer Science, University of Birmingham
Overená e-mailová adresa na: bham.ac.uk - Domovská stránka
Názov
Citované v
Citované v
Rok
A relatively complete generic Hoare logic for order-enriched effects
S Goncharov, L Schröder
2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science, 273-282, 2013
312013
A coinductive calculus for asynchronous side-effecting processes
S Goncharov, L Schröder
Information and Computation 231, 204-232, 2013
292013
Unifying guarded and unguarded iteration
S Goncharov, L Schröder, C Rauch, M Piróg
Foundations of Software Science and Computation Structures: 20th …, 2017
252017
Towards a coalgebraic Chomsky hierarchy
S Goncharov, S Milius, A Silva
IFIP International Conference on Theoretical Computer Science, 265-280, 2014
242014
Unguarded recursion on coinductive resumptions
S Goncharov, C Rauch, L Schröder
Electronic Notes in Theoretical Computer Science 319, 183-198, 2015
222015
Kleene monads: handling iteration in a framework of generic effects
S Goncharov, L Schröder, T Mossakowski
Algebra and Coalgebra in Computer Science: Third International Conference …, 2009
212009
Guarded traced categories
S Goncharov, L Schröder
Foundations of Software Science and Computation Structures: 21st …, 2018
192018
Unguarded recursion on coinductive resumptions
S Goncharov, L Schröder, C Rauch, J Jakob
Logical Methods in Computer Science 14, 2018
182018
Complete Elgot monads and coalgebraic resumptions
S Goncharov, S Milius, C Rauch
Electronic Notes in Theoretical Computer Science 325, 147-168, 2016
172016
Quantitative Hennessy-Milner theorems via notions of density
J Forster, S Goncharov, D Hofmann, P Nora, L Schröder, P Wild
arXiv preprint arXiv:2207.09187, 2022
162022
Implementing hybrid semantics: From functional to imperative
S Goncharov, R Neves, J Proença
Theoretical Aspects of Computing–ICTAC 2020: 17th International Colloquium …, 2020
152020
Coalgebraic weak bisimulation from recursive equations over monads
S Goncharov, D Pattinson
International Colloquium on Automata, Languages, and Programming, 196-207, 2014
152014
A generic complete dynamic logic for reasoning about purity and effects
T Mossakowski, L Schröder, S Goncharov
Formal Aspects of Computing 22 (3), 363-384, 2010
132010
Kantorovich Functors and Characteristic Logics for Behavioural Distances.
S Goncharov, D Hofmann, P Nora, L Schröder, P Wild
FoSSaCS, 46-67, 2023
122023
Towards a higher-order mathematical operational semantics
S Goncharov, S Milius, L Schröder, S Tsampas, H Urbat
Proceedings of the ACM on Programming Languages 7 (POPL), 632-658, 2023
122023
An adequate while-language for hybrid computation
S Goncharov, R Neves
Proceedings of the 21st International Symposium on Principles and Practice …, 2019
112019
Generic Hoare logic for order-enriched effects with exceptions
C Rauch, S Goncharov, L Schröder
International Workshop on Algebraic Development Techniques, 208-222, 2016
112016
Trace semantics via generic observations
S Goncharov
International Conference on Algebra and Coalgebra in Computer Science, 158-174, 2013
112013
Kleene monads
S Goncharov
Verlag Dr. Hut, 2010
112010
A semantics for hybrid iteration
S Goncharov, J Jakob, R Neves
arXiv preprint arXiv:1807.01053, 2018
102018
Systém momentálne nemôže vykonať operáciu. Skúste to neskôr.
Články 1–20