SDL Cellular Automaton COVID-19 conceptualization. - Pau Fonseca i Casas; Joan Garcia i Subirana; Victor Garcia i Carrasco; Jorge Luiz Silva de Barcellos; Josep Roma; Xavier Pi (SAM, 2020)

Formal Modeling and Simulation for SARS-CoV-2 Containment Scenarios in Catalonia. - Pau Fonseca i Casas; Joan Garcia i Subirana; Victor Garcia i Carrasco; Xavier Pi i Palomés; Gabriel A. Wainer (Comput. Sci. Eng., 2022)

Specification and Description Language Models Automatic Execution in a High-Performance Environment. - Pau Fonseca i Casas; Iza Romanowska; Joan Garcia i Subirana (Comput., 2023)