A Biospi Model of Lymphocyte-Endothelial Interactions in Inflamed Brain Venules. - Paola Lecca; Corrado Priami; Carlo Laudanna; Gabriela Constantin (Pacific Symposium on Biocomputing, 2004)

Predicting cell adhesion probability via the biochemical stochastic pi-calculus. - Paola Lecca; Corrado Priami; Carlo Laudanna; Gabriela Constantin (SAC, 2004)

A Stochastic Process Algebra Approach to Simulation of Autoreactive Lymphocyte Recruitment. - Paola Lecca; Corrado Priami; Paola Quaglia; Barbara Rossi; Carlo Laudanna; Gabriela Constantin (Simul., 2004)

On the Simulation and Automatic Parametrization of Metabolic Networks Through Electronic Design Automation. - Nicola Bombieri; Antonio Mastrandrea; Silvia Scaffeo; Simone Caligola; Franco Fummi; Carlo Laudanna; Gabriela Constantin; Rosalba Giugno (CIBB, 2019)

Automatic Parameterization of the Purine Metabolism Pathway through Discrete Event-based Simulation. - Simone Caligola; Tommaso Carlucci; Franco Fummi; Carlo Laudanna; Gabriela Constantin; Nicola Bombieri; Rosalba Giugno (CIBCB, 2019)

Efficient Simulation and Parametrization of Stochastic Petri Nets in SystemC: A Case study from Systems Biology. - Simone Caligola; Tommaso Carlucci; Franco Fummi; Carlo Laudanna; Gabriela Constantin; Nicola Bombieri; Rosalba Giugno (FDL, 2019)

SystemC Implementation of Stochastic Petri Nets for Simulation and Parameterization of Biological Networks. - Nicola Bombieri; Silvia Scaffeo; Antonio Mastrandrea; Simone Caligola; Tommaso Carlucci; Franco Fummi; Carlo Laudanna; Gabriela Constantin; Rosalba Giugno (ACM Trans. Embed. Comput. Syst., 2021)