Publications

The following lists contain my publications to date, both formally published and informally published (workshop proceedings are listed as informally published). 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 typically contain an appendix with complete proofs.

Formally published work

2024
2023
2022
2021
2020
2019
2017
2016
2015
2014
2013
2012
2011
2008

Informally published work

2023
2022
  • Extending a Lemma Generation Approach for Rewriting Induction on Logically Constrained Term Rewriting Systems, WPTE 2022 download 'Extending a Lemma Generation Approach for Rewriting
        Induction on Logically Constrained Term Rewriting Systems', workshop proceedings for WPTE 2022
  • A transitive HORPO for curried systems, WST 2022 download 'A transitive HORPO for curried systems',
        workshop proceedings for WST 2022
  • Tuple Interpretations and Applications to Higher-Order Runtime Complexity, WST 2022 download 'Tuple Interpretations and
        Applications to Higher-Order Runtime Complexity', workshop proceedings for WST 2022
2020
  • Tuple Interpretations for Higher-Order Complexity, LCC 2020 download 'Tuple Interpretations for Higher-Order Complexity', workshop proceedings LCC 2020
2019
  • Proving Program Equivalence with Constrained Rewriting Induction and Ctrl, PERR 2019 download 'Proving Program Equivalence with Constrained Rewriting Induction and Ctrl', workshop proceedings PERR 2019
  • A short overview of WANDA, IWC 2019 download 'A short overview of WANDA', workshop proceedings IWC 2019
2018
2017
2016
2014
  • The Higher-Order Dependency Pair Framework (extended abstract), HOR 2014 download 'The Higher-Order Dependency Pair Framework', workshop proceedings HOR 2014
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) download 'Dynamic Higher Order Dependency Pairs with Argument Filterings', unpublished
  • Transposing Termination Properties in Higher Order Rewriting (never submitted; the results appear in Chapter 3 of my PhD thesis) download 'Transposing Termination Properties in Higher Order Rewriting', unpublished
2010
  • Higher Order Dependency Pairs with Argument Filterings (extended abstract), WST 2010 download 'Higher Order Dependency Pairs with Argument Filterings', workshop proceedings WST 2010
  • Transformations of Higher Order Term Rewrite Systems (extended abstract), HOR 2010 download 'Transformations of Higher Order Term Rewrite Systems', workshop proceedings HOR 2010
  • Transposing Termination Properties in Higher Order Rewriting (long version of the HOR paper above) download 'Transposing Termination Properties in Higher Order Rewriting
2009
  • An Iterative Path Ordering, Liber Amicorum for Roel de Vrijer's 60th Birthday download 'An Iterative Path Ordering', Liber Amicorum for Roel de Vrijer

Theses

2012
  • Higher Order Termination, PhD thesis at the VU University Amsterdam download 'Higher Order Termination', PhD thesis
    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 download 'Axioms of Symmetry', my Master's Thesis