List of Publications

Automation Certification Complexity Analysis Constraint Systems Graph Rewriting Haskell Higher-Order ICC ICCT Implementation Implicit Computational Complexity Invariance Memoization OCaml Path Orders Predicative Recursion Program Analysis Runtime Complexity Analysis Sized-Types TCT Term Rewriting Types

Thesis

Submitted

Articles

International Conference Proceedings

Workshop Papers

Miscellaneous