Modeling Cellular Signaling Systems: An Abstraction-Refinement Approach. - Diana Hermith; Carlos Olarte; Camilo Rueda; Frank D. Valencia (PACBB, 2011)

Simulating Signalling Pathways With BioWayS. - Davide Chiarugi; Moreno Falaschi; Diana Hermith; Michell Guzmán; Carlos Olarte (CS2Bio, 2012)

Stochastic modelling of non Markovian Dynamics in Biochemical Reactions. - Davide Chiarugi; Moreno Falaschi; Diana Hermith; Roberto Marangoni; Carlos Olarte (IWBBIO, 2013)

A framework for modelling spatially dependent interactions of biological systems in CCP. - Davide Chiarugi; Moreno Falaschi; Diana Hermith; Carlos Olarte (IWBBIO, 2014)

Verification of Spatial and Temporal Modalities in Biochemical Systems. - Davide Chiarugi; Moreno Falaschi; Diana Hermith; Carlos Olarte (SASB, 2014)

A Global Occurrence Counting Analysis for Brane Calculi. - Chiara Bodei; Linda Brodo; Roberta Gori; Diana Hermith; Francesca Levi (LOPSTR, 2015)

Modelling non-Markovian dynamics in biochemical reactions. - Davide Chiarugi; Moreno Falaschi; Diana Hermith; Carlos Olarte; Luca Torella (BMC Syst. Biol., 2015)

A proof theoretic view of spatial and temporal dependencies in biochemical systems. - Carlos Olarte; Davide Chiarugi; Moreno Falaschi; Diana Hermith (Theor. Comput. Sci., 2016)

A static analysis for Brane Calculi providing global occurrence counting information. - Chiara Bodei; Linda Brodo; Roberta Gori; Francesca Levi; Antonio Bernini; Diana Hermith (Theor. Comput. Sci., 2017)

Process calculi for biological processes. - Andrea Bernini; Linda Brodo; Pierpaolo Degano; Moreno Falaschi; Diana Hermith (Nat. Comput., 2018)