Cost Analysis Using Automatic Size and Time Inference. - Álvaro J. Rebón Portillo; Kevin Hammond; Hans-Wolfgang Loidl; Pedro B. Vasconcelos (IFL, 2002)

Inferring Cost Equations for Recursive, Polymorphic and Higher-Order Functional Programs. - Pedro B. Vasconcelos; Kevin Hammond (IFL, 2003)

Using Intersection Types for Cost-Analysis of Higher-Order Polymorphic Functional Programs. - Hugo R. Simões; Kevin Hammond; Mário Florido; Pedro B. Vasconcelos (TYPES, 2006)

Space cost analysis using sized types. - Pedro B. Vasconcelos (2008)

Automatic amortised analysis of dynamic memory allocation for lazy functional programs. - Hugo R. Simões; Pedro B. Vasconcelos; Mário Florido; Steffen Jost; Kevin Hammond (ICFP, 2012)

Type-Based Allocation Analysis for Co-recursion in Lazy Functional Languages. - Pedro B. Vasconcelos; Steffen Jost; Mário Florido; Kevin Hammond (ESOP, 2015)

Certifying execution time in multicores. - Vítor Rodrigues; Benny Akesson; Mário Florido; Simão Melo de Sousa; João Pedro Pedroso; Pedro B. Vasconcelos (Sci. Comput. Program., 2015)

Type-Based Cost Analysis for Lazy Functional Languages. - Steffen Jost; Pedro B. Vasconcelos; Mário Florido; Kevin Hammond (J. Autom. Reason., 2017)

Using Property-Based Testing to Generate Feedback for C Programming Exercises. - Pedro B. Vasconcelos; Rita P. Ribeiro (ICPEC, 2020)

Resource Analysis for Lazy Evaluation with Polynomial Potential. - Sara Moreira; Pedro B. Vasconcelos; Mário Florido (IFL, 2020)

Haskelite: A Step-By-Step Interpreter for Teaching Functional Programming. - Pedro B. Vasconcelos (ICPEC, 2023)

Haskelite: A Tracing Interpreter Based on a Pattern-Matching Calculus. - Pedro B. Vasconcelos; Rodrigo Marques (Haskell, 2024)

Kumon-Inspired Approach to Teaching Programming Fundamentals. - Ivone Amorim; Pedro B. Vasconcelos; João Pedro Pedroso (ICPEC, 2024)

Towards Algebraic Subtyping for Extensible Records. - Rodrigo Marques; Mário Florido; Pedro B. Vasconcelos (CoRR, 2024)