Concepedia

Cynthia Kop

CK

Statistics

Publications

3

Citations

56

H-Index

3

Active since

2011

Affiliations

Birkbeck, University of London(Current)

Cynthia Kop is an author at Birkbeck, University of London specializing in formal verification, engineering, and formal methods.

ORCID

Top concepts

Publications per year

2011–2017

3

Publications

3

Verifying Procedural Programs via Constrained Rewriting Induction

Carsten Fuhs, Cynthia Kop, Naoki Nishida · ACM Transactions on Computational Logic · 2017 · 33 citations

, , +16

Dynamic Dependency Pairs for Algebraic Functional Systems

Cynthia Kop, Femke van Raamsdonk · Logical Methods in Computer Science · 2012 · 12 citations · Full text

, , +12

Higher Order Dependency Pairs for Algebraic Functional Systems

Cynthia Kop, Femke van Raamsdonk · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2011 · 11 citations · Full text

, , +15

1–3 of 3