Cynthia Kop
Scholar

Cynthia Kop

Google Scholar ID: zZubzOQAAAAJ
Associate Professor, Radboud Univeristy Nijmegen
higher-order term rewritingprogram verificationimplicit complexity
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
572
 
H-index
14
 
i10-index
16
 
Publications
20
 
Co-authors
4
list available
Contact
No contact links provided.
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
Resume (English only)
Co-authors
4 total
Carsten Fuhs
Carsten Fuhs
Senior Lecturer, Birkbeck, University of London
Naoki Nishida
Naoki Nishida
Graduate School of Informatics, Nagoya University
Co-author 3
Co-author 3
Jakob Grue Simonsen
Jakob Grue Simonsen
IT University of Copenhagen