Collected Size Semantics for Functional Programs over Lists. - Olha Shkaravska; Marko C. J. D. van Eekelen; Alejandro Tamalet (IFL, 2008)

Size Analysis of Algebraic Data Type. - Alejandro Tamalet; Olha Shkaravska; Marko C. J. D. van Eekelen (Trends in Functional Programming, 2008)

A Formal Connection between Security Automata and JML Annotations. - Marieke Huisman; Alejandro Tamalet (FASE, 2009)

Preemption Abstraction. - Erik Schierboom; Alejandro Tamalet; Hendrik Tews; Marko C. J. D. van Eekelen; Sjaak Smetsers (FMICS, 2009)

Reasoning about Assignments in Recursive Data Structures. - Alejandro Tamalet; Ken Madlener (SBMF, 2010)

Collected Size Semantics for Strict Functional Programs over General Polymorphic Lists. - Olha Shkaravska; Marko C. J. D. van Eekelen; Alejandro Tamalet (FOPARA, 2013)