XAL: A Web Oriented Programming Language Based on Timed-Automata. - Salvatore Campana; Luca Spalazzi; Francesco Spegni (Web Intelligence, 2008)

Dynamic Networks of Timed Automata for collaborative systems: A network monitoring case study. - Salvatore Campana; Luca Spalazzi; Francesco Spegni (CTS, 2010)

A modular environment for software development and re-engineering. - Salvatore Campana; Andrea Poli; Luca Spalazzi; Francesco Spegni (TOPI@ICSE, 2012)

Mixed reality experiences in museums: Exploring the impact of functional elements of the devices on visitors' immersive experiences and post-experience behaviours. - Mariapina Trunfio; Timothy Jung 001; Salvatore Campana (Inf. Manag., 2022)