Browsing by Author "Rot, J.C."
Now showing items 135 of 35

Upto Techniques for Branching Bisimilarity
Erkens, R.; Rot, J.; Luttik, B.2020, Article in monograph or in proceedings (Chatzigeorgiou, A.; Dondi, R.; Herodotou, H. (ed.), SOFSEM 2020: Theory and Practice of Computer Science: 46th International Conference on Current Trends in Theory and Practice of Informatics, SOFSEM 2020, Limassol, Cyprus, January 20–24, 2020, Proceedings, pp. 285297) 
A big step from finite to infinite computations
Ancona, Davide; Dagnino, Francesco; Rot, Jurriaan; Zucca, Elena2020, Article / Letter to editor (Science of Computer Programming, 197, (2020), pp. 128, article 102492) 
Preservation of Equations by Monoidal Monads
Parlant, L.; Rot, J.; Silva, A.; Westerbaan, Bas.2020, Article in monograph or in proceedings (Esparza, J. (ed.), 45th International Symposium on Mathematical Foundations of Computer Science (MFCS 2020), pp. 77:177:14) 
Preface
Dardha, O.; Rot, J.2020, Article / Letter to editor (Electronic Proceedings in Theoretical Computer Science, 322, (2020), pp. 1105) 
Separation and Renaming in Nominal Sets
Moerman, J.; Rot, J.2020, Article in monograph or in proceedings (Fernandez, M. (ed.), CSL 2020: 28th EACSL Annual Conference on Computer Science Logic, January 1316, 2020, Barcelona, Spain, January 1316, 2020, Barcelona, Spain, pp. 31:131:17) 
Partially Observable Concurrent Kleene Algebra
Wagemaker, J.; Brunet, P.; Docherty, S.; Kappé, T.; Rot, J.; Silva, A.2020, Article in monograph or in proceedings (Konnov, I. (ed.), 31st International Conference on Concurrency Theory (CONCUR 2020), pp. 20:120:22) 
Learning Weighted Automata over Principal Ideal Domains
Heerdt, Gerco van; Kupke, C.; Rot, J.; Silva, A.2020, Article in monograph or in proceedings (GoubaultLarrecq, J.; König, B. (ed.), Foundations of Software Science and Computation Structures: 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020. Proceedings, pp. 602621) 
Bisimilarity of open terms in stream GSOS
Bonchi, F.; Bussel, Tom van; Lee, Matias David; Rot, Jurriaan2019, Article / Letter to editor (Science of Computer Programming, 172, (2019), pp. 126) 
Distributive laws for monotone specifications
Rot, Jurriaan2019, Article / Letter to editor (Acta Informatica, 56, 78, (2019), pp. 585617) 
Completeness and Incompleteness of Synchronous Kleene Algebra
Wagemaker, J.; Bonsangue, M.; Kappé, T.; Rot, J.; Silva, A.2019, Article in monograph or in proceedings (Hutton, G. (ed.), Mathematics of Program Construction: 13th International Conference, MPC 2019, Porto, Portugal, October 7–9, 2019. Proceedings, pp. 385413) 
Verifying OpenJDK's Sort Method for Generic Collections
Gouw, S de; Boer, F.S. de; Bubel, Richard; Haehnle, Reiner; Rot, Jurriaan; Steinhoefel, Dominic2019, Article / Letter to editor (Journal of Automated Reasoning, 62, 1, (2019), pp. 93126) 
Preface
Perez, J.A.; Rot, J.2019, Article in monograph or in proceedings (Rot, J. (ed.), Combined Workshop on Expressiveness in Concurrency and Structural Operational Semantics (EXPRESS/SOS 2019), pp. 1113) 
Coalgebra Learning via Duality
Barlocco, S.; Kupke, C.; Rot, J.2019, Article in monograph or in proceedings (Bojańczyk, M. (ed.), Foundations of Software Science and Computation Structures: 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, pp. 6279) 
Tree Automata as Algebras: Minimisation and Determinisation
Heerdt, Gerco van; Kappe, Tobias; Rot, J.C.; Sammartino, Matteo; Silva, A.2019, Article in monograph or in proceedings (Roggenbach, M. (ed.), CALCO 2019: 8th Conference on Algebra and Coalgebra in Computer Science, pp. 6:16:22) 
Kleene Algebra with Observations
Kappé, T.; Brunet, P.; Rot, J.; Silva, Alexandra; Wagemaker, J.; Zanasi, Fabio2019, Article in monograph or in proceedings (Fokkink, W. (ed.), CONCUR 2019: 30th International Conference on Concurrency Theory, pp. 41:141:16) 
Fast Computations on Ordered Nominal Sets
Venhoek, D.; Moerman, J.; Rot, J.2018, Article in monograph or in proceedings (Fischer, B. (ed.), Theoretical Aspects of Computing – ICTAC 2018: 15th International Colloquium, Stellenbosch, South Africa, October 16–19, 2018, Proceedings, pp. 493512) 
Steps and Traces
Jacobs, B.; Levy, P.; Rot, J.2018, Article in monograph or in proceedings (Cirstea, C. (ed.), Coalgebraic Methods in Computer Science: 14th IFIP WG 1.3 International Workshop, CMCS 2018, Colocated with ETAPS 2018, Thessaloniki, Greece, April 14–15, 2018. Revised Selected Papers, pp. 122143) 
Distributive Laws for Monotone Specifications
Rot, J.2017, Article in monograph or in proceedings (Peters, K. (ed.), Proceedings Combined 24th International Workshop on Expressiveness in Concurrency and 14th Workshop on Structural Operational Semantics Berlin, Germany, 4th September 2017, pp. 8397) 
Monoidal Company for Accessible Functors
Basold, H.; Pous, D.; Rot, J.2017, Article in monograph or in proceedings (Bonchi, F. (ed.), CALCO 2017: 7th Conference on Algebra and Coalgebra in Computer Science, pp. 5:15:16) 
Companions, Codensity and Causality
Pous, D.; Rot, J.C.2017, Article in monograph or in proceedings (Esparza, J.; Murawski, A.S. (ed.), Foundations of Software Science and Computation Structures: 20th International Conference, FOSSACS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 2229, 2017, Proceedings, pp. 106123) 
Bisimilarity of Open Terms in Stream GSOS
Bonchi, F.; Lee, M.D.; Rot, J.2017, Article in monograph or in proceedings (Dastani, M.; Sirjani, M. (ed.), Fundamentals of Software Engineering: 7th International Conference, FSEN 2017, Tehran, Iran, April 26–28, 2017, Revised Selected Papers, pp. 3550) 
Enhanced coalgebraic bisimulation
Rot, J.C.; Bonchi, F.; Bonsangue, M.; Pous, D.; Rutten, J.; Silva, A.2017, Article / Letter to editor (Mathematical Structures in Computer Science, 27, 7, (2017), pp. 12361264) 
Verification of Counting Sort and Radix Sort
Gouw, S de; Boer, F.S. de; Rot, J.C.2016, Article in monograph or in proceedings (Ahrendt, W. (ed.), Deductive Software Verification  The KeY Book  From Theory to Practice, pp. 609618) 
Proving language inclusion and equivalence by coinduction
Rot, J.C.; Bonsangue, M.; Rutten, J.2016, Article / Letter to editor (Information and Computation, 246, (2016), pp. 6276) 
Structural congruence for bialgebraic semantics
Rot, J.C.; Bosangue, M.2016, Article / Letter to editor (Journal of Logical and Algebraic Methods in Programming, 85, 6, (2016), pp. 12681291) 
Presenting Distributive Laws
Bonsangue, M.; Hansen, H.H.; Kurz, A.; Rot, J.C.2015, Article / Letter to editor (Logical Methods in Computer Science, 11, 3, (2015), pp. 2(1)2(22)) 
Lax Bialgebras and UpTo Techniques for Weak Bisimulations
Bonchi, F.; Petrisan, D.L.; Pous, D.; Rot, J.C.2015, Article in monograph or in proceedings (Aceto, L. (ed.), CONCUR 2015 : 26th International Conference on Concurrency Theory, pp. 240253) 
A Coalgebraic Foundation for Coinductive Union Types
Bonsangue, M.; Rot, J.C.; Ancona, D.; Boer, F. de; Rutten, J.2014, Part of book or chapter of book (Esparza, J.; Fraigniaud, P.; Husfeldt, T. (ed.), Automata, Languages, and Programming, pp. 6273) 
Presenting distributive laws
Bonsangue, M.M.; Hansen, H.H.; Kurz, A.; Rot, J.C.2013, Article in monograph or in proceedings (Milius, S.; Heckel, R. (ed.), Algebra and Coalgebra in Computer Science : 5th International Conference, CALCO 2013, Warsaw, Poland, September 36, 2013. Proceedings, pp. 95109) 
Coalgebraic BisimulationUpTo
Rot, J.C.; Bonsangue, M.; Rutten, J.2013, Part of book or chapter of book (Boas, P. Emde; Groen, F.A.; Italiano, G. (ed.), SOFSEM 2013: Theory and Practice of Computer Science, pp. 369381) 
Coinductive Proof Techniques for Language Equivalence
Rot, J.C.; Bonsangue, M.; Rutten, J.2013, Part of book or chapter of book (Dediu, A.H.; MartínVide, C.; Truthe, B. (ed.), Language and Automata Theory and Applications, pp. 480492)