Folgen
Jurriaan Rot
Jurriaan Rot
Bestätigte E-Mail-Adresse bei cs.ru.nl
Titel
Zitiert von
Zitiert von
Jahr
OpenJDK’s Java. utils. Collection. sort () is broken: the good, the bad and the worst case
S De Gouw, J Rot, FS de Boer, R Bubel, R Hähnle
Computer Aided Verification: 27th International Conference, CAV 2015, San …, 2015
1012015
Coinduction up-to in a fibrational setting
F Bonchi, D Petrişan, D Pous, J Rot
Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference …, 2014
622014
Coalgebraic bisimulation-up-to
J Rot, M Bonsangue, J Rutten
International Conference on Current Trends in Theory and Practice of …, 2013
472013
Presenting distributive laws
MM Bonsangue, HH Hansen, A Kurz, J Rot
Logical Methods in Computer Science 11, 2015
462015
A general account of coinduction up-to
F Bonchi, D Petrişan, D Pous, J Rot
Acta Informatica 54, 127-190, 2017
442017
Coalgebraic trace semantics via forgetful logics
B Klin, J Rot
Logical Methods in Computer Science 12, 2017
432017
A new approach for active automata learning based on apartness
F Vaandrager, B Garhewal, J Rot, T Wißmann
International Conference on Tools and Algorithms for the Construction and …, 2022
412022
Verifying OpenJDK’s sort method for generic collections
S de Gouw, FS de Boer, R Bubel, R Hähnle, J Rot, D Steinhöfel
Journal of Automated Reasoning 62, 93-126, 2019
402019
Enhanced coalgebraic bisimulation
J Rot, F Bonchi, M Bonsangue, D Pous, J Rutten, A Silva
Mathematical Structures in Computer Science 27 (7), 1236-1264, 2017
332017
Enhanced coinduction
J Rot
Phd, University Leiden, Leiden, 2015
232015
Proof pearl: the KeY to correct and stable sorting
S de Gouw, F de Boer, J Rot
Journal of automated reasoning 53, 129-139, 2014
232014
Coalgebra learning via duality
S Barlocco, C Kupke, J Rot
Foundations of Software Science and Computation Structures: 22nd …, 2019
202019
Proving language inclusion and equivalence by coinduction
J Rot, M Bonsangue, J Rutten
Information and Computation 246, 62-76, 2016
202016
Learning weighted automata over principal ideal domains
G van Heerdt, C Kupke, J Rot, A Silva
Lecture Notes in Computer Science 12077, 602-621, 2020
182020
Expressive logics for coinductive predicates
C Kupke, J Rot
Logical Methods in Computer Science 17, 2021
162021
Kleene algebra with observations
T Kappé, P Brunet, J Rot, A Silva, J Wagemaker, F Zanasi
arXiv preprint arXiv:1811.10401, 2018
162018
Companions, codensity and causality
D Pous, J Rot
International Conference on Foundations of Software Science and Computation …, 2017
162017
Expressivity of quantitative modal logics: Categorical foundations via codensity and approximation
Y Komorida, S Katsumata, C Kupke, J Rot, I Hasuo
2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-14, 2021
142021
Coinductive proof techniques for language equivalence
J Rot, M Bonsangue, J Rutten
International Conference on Language and Automata Theory and Applications …, 2013
142013
Lax bialgebras and up-to techniques for weak bisimulations
F Bonchi, D Petrisan, D Pous, J Rot
26th International Conference on Concurrency Theory (CONCUR 2015), 2015
132015
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20