| Unguarded recursion on coinductive resumptions S Goncharov, C Rauch, L Schröder Electronic Notes in Theoretical Computer Science 319, 183-198, 2015 | 26 | 2015 |
| 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 | 21 | 2013 |
| Towards a coalgebraic Chomsky hierarchy S Goncharov, S Milius, A Silva IFIP International Conference on Theoretical Computer Science, 265-280, 2014 | 20 | 2014 |
| 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 | 18 | 2009 |
| 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 | 17 | 2017 |
| A coinductive calculus for asynchronous side-effecting processes S Goncharov, L Schröder International Symposium on Fundamentals of Computation Theory, 276-287, 2011 | 15 | 2011 |
| Guarded traced categories S Goncharov, L Schröder International Conference on Foundations of Software Science and Computation …, 2018 | 12 | 2018 |
| Coalgebraic weak bisimulation from recursive equations over monads S Goncharov, D Pattinson International Colloquium on Automata, Languages, and Programming, 196-207, 2014 | 12 | 2014 |
| 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 | 11 | 2010 |
| Complete Elgot monads and coalgebraic resumptions S Goncharov, S Milius, C Rauch Electronic Notes in Theoretical Computer Science 325, 147-168, 2016 | 10 | 2016 |
| Kleene monads S Goncharov Verlag Dr. Hut, 2010 | 10 | 2010 |
| 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 | 10 | 2008 |
| A semantics for hybrid iteration S Goncharov, J Jakob, R Neves arXiv preprint arXiv:1807.01053, 2018 | 9 | 2018 |
| Trace semantics via generic observations S Goncharov International Conference on Algebra and Coalgebra in Computer Science, 158-174, 2013 | 9 | 2013 |
| A coinductive calculus for asynchronous side-effecting processes S Goncharov, L Schröder Information and Computation 231, 204-232, 2013 | 7 | 2013 |
| Completeness of global evaluation logic S Goncharov, L Schröder, T Mossakowski International Symposium on Mathematical Foundations of Computer Science, 447-458, 2006 | 7 | 2006 |
| Some remarks on Conway and iteration theories Z Ésik, S Goncharov arXiv preprint arXiv:1603.00838, 2016 | 6 | 2016 |
| Powermonads and tensors of unranked effects S Goncharov, L Schroder 2011 IEEE 26th Annual Symposium on Logic in Computer Science, 227-236, 2011 | 6 | 2011 |
| An adequate while-language for hybrid computation S Goncharov, R Neves Proceedings of the 21st International Symposium on Principles and Practice …, 2019 | 5 | 2019 |
| 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 | 5 | 2016 |
Lutz SchröderProfessor of Computer Science, Friedrich-Alexander-Universität Erlangen-NürnbergVerified email at cs.fau.de
