Follow
Sergey Goncharov
Title
Cited by
Cited by
Year
Unguarded recursion on coinductive resumptions
J Jakob, C Rauch, L Schröder, S Goncharov
Logical Methods in Computer Science 14, 2018
272018
Towards a coalgebraic Chomsky hierarchy
S Goncharov, S Milius, A Silva
IFIP International Conference on Theoretical Computer Science, 265-280, 2014
222014
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
222013
Kleene monads: handling iteration in a framework of generic effects
S Goncharov, L Schröder, T Mossakowski
International Conference on Algebra and Coalgebra in Computer Science, 18-33, 2009
202009
Unifying guarded and unguarded iteration
S Goncharov, L Schröder, C Rauch, M Piróg
International Conference on Foundations of Software Science and Computation …, 2017
192017
A coinductive calculus for asynchronous side-effecting processes
S Goncharov, L Schröder
International Symposium on Fundamentals of Computation Theory, 276-287, 2011
162011
Guarded traced categories
S Goncharov, L Schröder
International Conference on Foundations of Software Science and Computation …, 2018
142018
Coalgebraic weak bisimulation from recursive equations over monads
S Goncharov, D Pattinson
International Colloquium on Automata, Languages, and Programming, 196-207, 2014
132014
Complete Elgot monads and coalgebraic resumptions
S Goncharov, S Milius, C Rauch
Electronic Notes in Theoretical Computer Science 325, 147-168, 2016
112016
Trace semantics via generic observations
S Goncharov
International Conference on Algebra and Coalgebra in Computer Science, 158-174, 2013
112013
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
112010
Kleene monads
S Goncharov
Verlag Dr. Hut, 2010
102010
A generic complete dynamic logic for reasoning about purity and effects
T Mossakowski, L Schröder, S Goncharov
International Conference on Fundamental Approaches to Software Engineering …, 2008
102008
A semantics for hybrid iteration
S Goncharov, J Jakob, R Neves
arXiv preprint arXiv:1807.01053, 2018
92018
A coinductive calculus for asynchronous side-effecting processes
S Goncharov, L Schröder
Information and Computation 231, 204-232, 2013
92013
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
82016
Completeness of global evaluation logic
S Goncharov, L Schröder, T Mossakowski
International Symposium on Mathematical Foundations of Computer Science, 447-458, 2006
72006
An adequate while-language for hybrid computation
S Goncharov, R Neves
Proceedings of the 21st International Symposium on Principles and Practice …, 2019
62019
Some remarks on Conway and iteration theories
Z Ésik, S Goncharov
arXiv preprint arXiv:1603.00838, 2016
62016
Exploring the boundaries of monad tensorability on set
L Schröder, PB Levy, S Goncharov, N Bowler
Logical Methods in Computer Science 9, 2013
62013
The system can't perform the operation now. Try again later.
Articles 1–20