| Tuple Interpretations for Higher-Order Complexity C Kop, D Vale 6th International Conference on Formal Structures for Computation and …, 2021 | 10 | 2021 |
| On solving nominal disunification constraints M Ayala-Rincón, M Fernández, D Nantes-Sobrinho, D Vale Electronic Notes in Theoretical Computer Science 348, 3-22, 2020 | 5 | 2020 |
| Certifying higher-order polynomial interpretations N van der Weide, D Vale, C Kop arXiv preprint arXiv:2302.11892, 2023 | 2 | 2023 |
| Cost-Size Semantics for Call-By-Value Higher-Order Rewriting C Kop, D Vale 8th International Conference on Formal Structures for Computation and …, 2023 | 2 | 2023 |
| On basic feasible functionals and the interpretation method P Baillot, U Dal Lago, C Kop, D Vale International Conference on Foundations of Software Science and Computation …, 2024 | 1 | 2024 |
| Tuple Interpretations for Higher-Order Rewriting D Vale, C Kop arXiv preprint arXiv:2105.01112, 2021 | 1 | 2021 |
| Nominal Equational Problems. M Ayala-Rincón, M Fernández, D Nantes-Sobrinho, D Vale FoSSaCS, 22-41, 2021 | 1 | 2021 |
| Nominal disunification via fixed-point constraints (work in progress) LM Batista, M Fernández, D Nantes-Sobrinho, D Vale Informal Proceedings of the 35th International Workshop on Unification (UNIF), 2021 | 1 | 2021 |
| Complexity Analysis for Call-by-Value Higher-Order Rewriting C Kop, D Vale arXiv preprint arXiv:2307.13426, 2023 | | 2023 |
| Analyzing Innermost Runtime Complexity Through Tuple Interpretations L Guo, D Vale arXiv preprint arXiv:2303.13256, 2023 | | 2023 |
| nmvdw/Nijn: 1.0. 0 NM van der Weide, D Vale Zenodo, 2023 | | 2023 |
| deividrvale/nijn-coq-script-generation: First Release of public API D Vale Zenodo, 2023 | | 2023 |
| Nijn/ONijn: A New Certification Engine for Higher-Order Termination C Kop, D Vale, NM van der Weide Sl: sn, 2023 | | 2023 |
| Tuple Interpretations and Applications to Higher-Order Runtime Complexity C Kop, D Vale arXiv preprint arXiv:2206.15202, 2022 | | 2022 |
| Formalizing Higher-Order Termination in Coq D Vale, N van der Weide arXiv preprint arXiv:2112.05715, 2021 | | 2021 |
| Nominal disunification DR Vale | | 2020 |
| An Investigation into Nominal Equational Problems (Work in progress) M Ayala-Rincón, M Fernández, D Nantes-Sobrinho, D Vale RISC-Linz, 0 | | |
Cynthia KopAssistant Professor, Radboud Univeristy NijmegenVerified email at cs.ru.nl
