Statistics
Publications
6
Citations
186
H-Index
6
Active since
2010
Affiliations
Rody Kersten is an author at Ames Research Center specializing in computer science, computing, and theory of computation.
Publications per year
2010–2024
6
6
Rody Kersten, Kasper Søe Luckow, Corina S. Păsăreanu · 2017 · 45 citations · Full text
Test-based inference of polynomial loop-bound functions
Olha Shkaravska, Rody Kersten, Marko van Eekelen · 2010 · 21 citations · Full text
Quantified Heap Invariants for Object-Oriented Programs
Temesghen Kahsai, Rody Kersten, Philipp Rümmer et al. · EPiC series in computing · 2018 · 17 citations · Full text
1–5 of 6