Deivid Vale

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 16

Top Topics

Complexity Analysis

Top Venues

Publications

Patrick Baillot, Ugo Dal Lago, Cynthia Kop, Deivid Vale
On Basic Feasible Functionals and the Interpretation Method. FoSSaCS (2) (2024)
Patrick Baillot, Ugo Dal Lago, Cynthia Kop, Deivid Vale
On Basic Feasible Functionals and the Interpretation Method. CoRR (2024)
Liye Guo, Kasper Hagens, Cynthia Kop, Deivid Vale
Higher-Order Constrained Dependency Pairs for (Universal) Computability. MFCS (2024)
Liye Guo, Kasper Hagens, Cynthia Kop, Deivid Vale
Higher-Order Constrained Dependency Pairs for (Universal) Computability. CoRR (2024)
Niels van der Weide, Deivid Vale, Cynthia Kop
Certifying Higher-Order Polynomial Interpretations. ITP (2023)
Cynthia Kop, Deivid Vale
Cost-Size Semantics for Call-By-Value Higher-Order Rewriting. FSCD (2023)
Cynthia Kop, Deivid Vale
Complexity Analysis for Call-by-Value Higher-Order Rewriting. CoRR (2023)
Niels van der Weide, Deivid Vale, Cynthia Kop
Certifying Higher-Order Polynomial Interpretations. CoRR (2023)
Liye Guo, Deivid Vale
Analyzing Innermost Runtime Complexity Through Tuple Interpretations. CoRR (2023)
Cynthia Kop, Deivid Vale
Tuple Interpretations and Applications to Higher-Order Runtime Complexity. CoRR (2022)
Mauricio Ayala-Rincón, Maribel Fernández, Daniele Nantes-Sobrinho, Deivid Vale
Nominal Equational Problems. FoSSaCS (2021)
Deivid Vale, Cynthia Kop
Tuple Interpretations for Higher-Order Rewriting. CoRR (2021)
Cynthia Kop, Deivid Vale
Tuple Interpretations for Higher-Order Complexity. FSCD (2021)
Deivid Vale, Niels van der Weide
Formalizing Higher-Order Termination in Coq. CoRR (2021)
Mauricio Ayala-Rincón, Maribel Fernández, Daniele Nantes-Sobrinho, Deivid Vale
An Investigation into General Nominal Equational Problems (Work in progress). UNIF (2020)
Mauricio Ayala-Rincón, Maribel Fernández, Daniele Nantes-Sobrinho, Deivid Vale
On Solving Nominal Disunification Constraints. LSFA (2019)