Cynthia Kop

Assistant Professor in Software Science

C.Kop at cs.ru.nl (e-mail)
Department of Software Science,
Radboud University Nijmegen

• English
• Nederlands

• Introduction
• Contact
• Publications
  • References
• Code
• Activities

Publications

The following lists contain my publications to date, both published and unpublished (workshop proceedings are listed as unpublished). Links to my PhD and Master thesis are at the bottom.

In these lists, note that the downloadable version of the published paper is pre-editing. If any proofs were omitted in the paper itself, this version will also contain an appendix with complete proofs.

Published work

2017

• Complexity Hierarchies and Higher-order Cons-free Term Rewriting
  LMCS special issue for FSCD '16
• Verifying Procedural Programs via Constrained Rewriting Induction
  ACM TOCL 18(2)
• Complexity of Conditional Term Rewriting
  (extended version of the paper Conditional Complexity in RTA '15), LMCS 13(1)
• The Power of Non-Determinism in Higher-Order Implicit Complexity, proceedings for ESOP'17

2016

• Complexity Hierarchies and Higher-order Cons-free Rewriting, proceedings for FSCD'16

2015

• Constrained Term Rewriting tooL, proceedings for LPAR'15 (tool paper)
• Conditional Complexity, proceedings for RTA'15

2014

• Automatic Constrained Rewriting Induction towards Verifying Procedural Programs, proceedings for APLAS'14
  [technical report]
• First-order Formative Rules, proceedings for RTA-TLCA'14

2013

• Term Rewriting with Logical Constraints, proceedings for FroCoS'13

2012

• Higher Order Termination, PhD thesis at the VU University Amsterdam
  Note: if you are interested in a physical copy, feel free to contact me
• Polynomial Interpretations for Higher-Order Rewriting , proceedings for RTA'12
• Dynamic Dependency Pairs for Algebraic Functional Systems , LMCS special issue for RTA'11

2011

• Higher Order Dependency Pairs for Algebraic Functional Systems , proceedings for RTA'11
• Simplifying Algebraic Functional Systems, proceedings for CAI'11
• Harnessing First Order Termination Provers Using Higher Order Dependency Pairs, proceedings for FroCoS'11

2008

• A Higher-Order Iterative Path Ordering , proceedings for LPAR'08

Unpublished work

2017

• Cons-free programming with immutable functions (extended abstract), DICE 2017

2016

• Non-Deterministic Characterisations (extended abstract), WST 2016
• Higher-order Cons-free Interpreters (extended abstract), HOR 2016
• A Plank for Higher-order Attribute Contraction Schemes, HOR 2016
• On First-order Cons-free Term Rewriting and PTIME (extended abstract), DICE 2016

2014

• The Higher-Order Dependency Pair Framework (extended abstract), HOR 2014

2013

• Termination of LCTRSs (extended abstract), WST 2013

2011

• Dynamic Higher Order Dependency Pairs with Argument Filterings (submitted last to CADE'11; the results appear, for a different formalism, in the LMCS 2012 paper Dynamic Dependency Pairs for Algebraic Functional Systems)
• Transposing Termination Properties in Higher Order Rewriting (never submitted; the results appear in Chapter 3 of my PhD thesis)

2010

• Higher Order Dependency Pairs with Argument Filterings (extended abstract), WST 2010
• Transformations of Higher Order Term Rewrite Systems (extended abstract), HOR 2010
• Transposing Termination Properties in Higher Order Rewriting (long version of the HOR paper above)

2009

• An Iterative Path Ordering, Liber Amicorum for Roel de Vrijer's 60th Birthday

Theses

2012

• Higher Order Termination, PhD thesis at the VU University Amsterdam
  Note: if you are interested in a physical copy, feel free to contact me

2007

• Axioms of Symmetry, an Intuitionistic Investigation, Master's Thesis at the Radboud University Nijmegen

Webdesign by Melle Wynia