MiKO - Mikado Koncurrent Objects. - Francisco Martins; Liliana C. M. Salvador; Vasco Thudichum Vasconcelos; Luís M. B. Lopes (Foundations of Global Computing, 2005)

Cryptographic Security of Individual Instances. - Luis Antunes 002; Sophie Laplante; Alexandre Pinto; Liliana C. M. Salvador (ICITS, 2007)

Broadwick: a framework for computational epidemiology. - Anthony O'Hare; Samantha Lycett; Thomas Doherty; Liliana C. M. Salvador; Rowland R. Kao (BMC Bioinform., 2016)