Strategic Term Rewriting and Its Application to a VDMSL to SQL Conversion. - Tiago L. Alves; Paulo F. Silva 001; Joost Visser 001; José Nuno Oliveira (FM, 2005)

'Galculator': functional prototype of a Galois-connection based proof assistant. - Paulo F. Silva 001; José Nuno Oliveira (PPDP, 2008)

Constraint-aware Schema Transformation. - Tiago L. Alves; Paulo F. Silva 001; Joost Visser 001 (RULE, 2008)

Type Checking Cryptography Implementations. - Manuel Barbosa; Andrew Moss; Dan Page; Nuno F. Rodrigues; Paulo F. Silva 001 (FSEN, 2011)

Logic Training through Algorithmic Problem Solving. - João F. Ferreira 001; Alexandra Mendes; Alcino Cunha; Carlos Baquero; Paulo F. Silva 001; Luís Soares Barbosa; José Nuno Oliveira (TICTTL, 2011)

Compiling CAO: From Cryptographic Specifications to C Implementations. - Manuel Barbosa; David Castro 003; Paulo F. Silva 001 (POST, 2014)