| 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 | 108 | 2015 |
| 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 | 62 | 2014 |
| 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 | 54 | 2022 |
| Presenting distributive laws MM Bonsangue, HH Hansen, A Kurz, J Rot Logical Methods in Computer Science 11, 2015 | 50 | 2015 |
| A general account of coinduction up-to F Bonchi, D Petrişan, D Pous, J Rot Acta Informatica 54, 127-190, 2017 | 49 | 2017 |
| Coalgebraic bisimulation-up-to J Rot, M Bonsangue, J Rutten International Conference on Current Trends in Theory and Practice of …, 2013 | 47 | 2013 |
| 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 | 46 | 2019 |
| Coalgebraic trace semantics via forgetful logics B Klin, J Rot Logical Methods in Computer Science 12, 2017 | 43 | 2017 |
| 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 | 33 | 2017 |
| Coalgebra learning via duality S Barlocco, C Kupke, J Rot Foundations of Software Science and Computation Structures: 22nd …, 2019 | 24 | 2019 |
| 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 | 24 | 2014 |
| Kleene algebra with observations T Kappé, P Brunet, J Rot, A Silva, J Wagemaker, F Zanasi arXiv preprint arXiv:1811.10401, 2018 | 22 | 2018 |
| Enhanced coinduction J Rot Phd, University Leiden, Leiden, 2015 | 22 | 2015 |
| 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 | 20 | 2020 |
| Proving language inclusion and equivalence by coinduction J Rot, M Bonsangue, J Rutten Information and Computation 246, 62-76, 2016 | 20 | 2016 |
| Expressive logics for coinductive predicates C Kupke, J Rot Logical Methods in Computer Science 17, 2021 | 19 | 2021 |
| 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 | 18 | 2021 |
| Companions, codensity and causality D Pous, J Rot International Conference on Foundations of Software Science and Computation …, 2017 | 18 | 2017 |
| On tools for completeness of Kleene algebra with hypotheses D Pous, J Rot, J Wagemaker Logical Methods in Computer Science 20, 2024 | 15 | 2024 |
| Coinductive proof techniques for language equivalence J Rot, M Bonsangue, J Rutten International Conference on Language and Automata Theory and Applications …, 2013 | 15 | 2013 |
