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
- Complexity Hierarchies and
Higher-order Cons-free Term Rewriting
- 2016
-
- Complexity
Hierarchies and Higher-order Cons-free Rewriting, proceedings for FSCD'16
- 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
- Constrained
Term Rewriting tooL, proceedings for LPAR'15 (tool paper)
- 2014
-
- Automatic
Constrained Rewriting Induction towards Verifying Procedural Programs,
proceedings for APLAS'14
[technical report] -
First-order
Formative Rules, proceedings for RTA-TLCA'14
- Automatic
Constrained Rewriting Induction towards Verifying Procedural Programs,
proceedings for APLAS'14
- 2013
-
-
Term
Rewriting with Logical Constraints,
proceedings for FroCoS'13
-
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
-
Higher Order
Termination, PhD thesis at the VU University Amsterdam
- 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
-
Higher Order Dependency Pairs for Algebraic Functional Systems
, proceedings for RTA'11
- 2008
-
-
A Higher-Order Iterative Path Ordering
, proceedings for LPAR'08
-
A Higher-Order Iterative Path Ordering
, proceedings for LPAR'08
Unpublished work
- 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
- Non-Deterministic Characterisations (extended abstract),
WST 2016
- 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)
- Transposing Termination Properties in Higher Order Rewriting (never submitted; the results
appear in Chapter 3 of my PhD thesis)
- 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)
- 2010
- 2009
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
-
Higher Order
Termination, PhD thesis at the VU University Amsterdam
- 2007