Scholar
Jurriaan Rot
Google Scholar ID: o5kqbqIAAAAJ
Radboud University
Follow
Google Scholar
↗
Citations & Impact
All-time
Citations
740
H-index
14
i10-index
23
Publications
20
Co-authors
0
Publications
5 items
GKAT with Hoare Hypotheses
2026
Cited
0
Correct and Complete Symbolic Execution for Free
2026
Cited
0
Error-awareness Accelerates Active Automata Learning
2026
Cited
0
Initial Algebra Correspondence under Reachability Conditions
2025
Cited
0
Complete Test Suites for Automata in Monoidal Closed Categories
arXiv.org · 2024
Cited
0
