Syntactic Metatheory of Higher-Order Subtyping. - Andreas Abel 001; Dulma Rodriguez (CSL, 2008)

Efficient Type-Checking for Amortised Heap-Space Analysis. - Martin Hofmann 001; Dulma Rodriguez (CSL, 2009)

Membership Checking in Greatest Fixpoints Revisited. - Martin Hofmann 001; Dulma Rodriguez (FICS, 2009)

A Type System for Amortised Heap-Space Analysis of Object-Oriented Programs. - Dulma Rodriguez (AlgoSyn, 2010)

Linear Constraints over Infinite Trees. - Martin Hofmann 001; Dulma Rodriguez (LPAR, 2012)

Amortised resource analysis for object-oriented programs. - Dulma Rodriguez (2012)

Automatic Type Inference for Amortised Heap-Space Analysis. - Martin Hofmann 001; Dulma Rodriguez (ESOP, 2013)

Moving Fast with Software Verification. - Cristiano Calcagno; Dino Distefano; Jérémy Dubreil; Dominik Gabi; Pieter Hooimeijer; Martino Luca; Peter W. O'Hearn; Irene Papakonstantinou; Jim Purbrick; Dulma Rodriguez (NFM, 2015)