Statistics
Publications
9
Citations
213
H-Index
9
Active since
2014
Jurriaan Rot is an author at Radboud University Nijmegen specializing in computer science, formal methods, and automated reasoning.
Publications per year
2014–2021
9
9
Coinduction up-to in a fibrational setting
Filippo Bonchi, Daniela Petrişan, Damien Pous et al. · 2014 · 42 citations · Full text
Verifying OpenJDK’s Sort Method for Generic Collections
Stijn de Gouw, Frank S. de Boer, Richard Bubel et al. · Journal of Automated Reasoning · 2017 · 39 citations · Full text
A general account of coinduction up-to
Filippo Bonchi, Daniela Petrişan, Damien Pous et al. · Acta Informatica · 2016 · 34 citations · Full text
Enhanced coalgebraic bisimulation
Jurriaan Rot, Filippo Bonchi, Marcello Bonsangue et al. · Mathematical Structures in Computer Science · 2015 · 25 citations · Full text
Logical Automaton, Engineering, Simplified Coinductive Proofs +15
1–5 of 9