Scholar
Cynthia Kop
Google Scholar ID: zZubzOQAAAAJ
Associate Professor, Radboud Univeristy Nijmegen
higher-order term rewriting
program verification
implicit complexity
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
572
H-index
14
i10-index
16
Publications
20
Co-authors
4
list available
Publications
3 items
Templates in Rewriting Induction
2026
Cited
0
A Characterization of Basic Feasible Functionals Through Higher-Order Rewriting and Tuple Interpretations
2024
Cited
2
Towards Verifying Procedural Programs using Constrained Rewriting Induction
arXiv.org · 2014
Cited
2
Co-authors
3 total
Carsten Fuhs
Senior Lecturer, Birkbeck, University of London
Naoki Nishida
Graduate School of Informatics, Nagoya University
Jakob Grue Simonsen
IT University of Copenhagen
