| May 12, 2023 | The paper “Runtime Complexity Analysis via Tuple Interpretations” has been accepted for an extended version on MSCS journal. |
| Apr 18, 2023 | The paper “Certifying Higher-Order Polynomial Interpretations”, co-authored with Niels van der Weide and Cynthia Kop, has been accepted for presentation at ITP2023. |
| Apr 13, 2023 | The paper “Cost–Size Semantics for Call-by-Value Higher-Order Rewriting”, co-authored with Cynthia Kop, has been accepted for presentation at FSCD2023. |
| Jul 15, 2022 | Our paper “Runtime Complexity Analysis via Tuple Interpretations” has been accepted for presentation at LSFA2022. |
| Apr 19, 2021 | The paper “Tuple Interpretations for Higher-Order Complexity” has been accepted for presentation at FSCD2021. |