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
310
 
H-index
11
 
i10-index
11
 
Publications
20
 
Co-authors
4
list available
Contact
No contact links provided.
Publications
2 items
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
Co-author 1
Co-author 1
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