Sergey Goncharov
Sergey Goncharov
Verifierad e-postadress på fau.de - Startsida
TitelCiteras avÅr
Unguarded recursion on coinductive resumptions
S Goncharov, C Rauch, L Schröder
Electronic Notes in Theoretical Computer Science 319, 183-198, 2015
182015
Towards a coalgebraic Chomsky hierarchy
S Goncharov, S Milius, A Silva
IFIP International Conference on Theoretical Computer Science, 265-280, 2014
172014
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
172009
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
162013
A coinductive calculus for asynchronous side-effecting processes
S Goncharov, L Schröder
International Symposium on Fundamentals of Computation Theory, 276-287, 2011
132011
Guarded traced categories
S Goncharov, L Schröder
International Conference on Foundations of Software Science and Computation …, 2018
122018
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
122017
Coalgebraic weak bisimulation from recursive equations over monads
S Goncharov, D Pattinson
International Colloquium on Automata, Languages, and Programming, 196-207, 2014
122014
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 generic complete dynamic logic for reasoning about purity and effects
T Mossakowski, L Schröder, S Goncharov
Formal Aspects of Computing 22 (3-4), 363-384, 2010
92010
Kleene monads
S Goncharov
Verlag Dr. Hut, 2010
92010
Complete Elgot monads and coalgebraic resumptions
S Goncharov, S Milius, C Rauch
arXiv preprint arXiv:1603.02148, 2016
82016
A coinductive calculus for asynchronous side-effecting processes
S Goncharov, L Schröder
Information and Computation 231, 204-232, 2013
72013
Trace semantics via generic observations
S Goncharov
International Conference on Algebra and Coalgebra in Computer Science, 158-174, 2013
72013
Some remarks on Conway and iteration theories
Z Ésik, S Goncharov
arXiv preprint arXiv:1603.00838, 2016
62016
Powermonads and tensors of unranked effects
S Goncharov, L Schroder
2011 IEEE 26th Annual Symposium on Logic in Computer Science, 227-236, 2011
62011
Completeness of global evaluation logic
S Goncharov, L Schröder, T Mossakowski
International Symposium on Mathematical Foundations of Computer Science, 447-458, 2006
62006
Exploring the boundaries of monad tensorability on set
N Bowler, S Goncharov, PB Levy, L Schröder
arXiv preprint arXiv:1309.2128, 2013
52013
A semantics for hybrid iteration
S Goncharov, J Jakob, R Neves
arXiv preprint arXiv:1807.01053, 2018
42018
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
42016
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20