A tool for quantitative analysis of calculus processes. - Linda Brodo; Pierpaolo Degano; Corrado Priami (ICALP Satellite Workshops, 2000)

Performance Evaluation for Global Computation. - Linda Brodo; Pierpaolo Degano; Stephen Gilmore; Jane Hillston; Corrado Priami (Global Computing, 2003)

Reflecting Mobile Ambients into the p-Calculus. - Linda Brodo; Pierpaolo Degano; Corrado Priami (Global Computing, 2003)

Formal Executable Descriptions of Biological Systems. - Michele Curti; Davide Prandi; Linda Brodo (QEST, 2005)

Deducing Interactions in Partially Unspecified Biological Systems. - Paolo Baldan; Andrea Bracciali; Linda Brodo; Roberto Bruni 001 (AB, 2007)

Recognition of Human Faces: From Biological to Artificial Vision. - Massimo Tistarelli; Linda Brodo; Andrea Lagorio; Manuele Bicego (BVAI, 2007)

A Stochastic Semantics for BioAmbients. - Linda Brodo; Pierpaolo Degano; Corrado Priami (PaCT, 2007)

Detecting and Preventing Type flaws: a Control Flow Analysis with Tags. - Chiara Bodei; Pierpaolo Degano; Han Gao 002; Linda Brodo (SecCO@CONCUR, 2007)

Distinctiveness of faces: A computational approach. - Manuele Bicego; Enrico Grosso; Andrea Lagorio; Gavin Brelstaff; Linda Brodo; Massimo Tistarelli (ACM Trans. Appl. Percept., 2008)

Measuring changes in face appearance through aging. - Marcos Ortega 001; Linda Brodo; Manuele Bicego; Massimo Tistarelli (CVPR Workshops, 2009)

On the Quantitative Estimation of Short-Term Aging in Human Faces. - Marcos Ortega 001; Linda Brodo; Manuele Bicego; Massimo Tistarelli (ICIAP, 2009)

Static Detection of Logic Flaws in Service-Oriented Applications. - Chiara Bodei; Linda Brodo; Roberto Bruni 001 (ARSPA-WITS, 2009)

On the Expressiveness of the pi-Calculus and the Mobile Ambients. - Linda Brodo (AMAST, 2010)

Detecting and preventing type flaws at static time. - Chiara Bodei; Linda Brodo; Pierpaolo Degano; Han Gao 002 (J. Comput. Secur., 2010)

The Multiscenario Multienvironment BioSecure Multimodal Database (BMDB). - Javier Ortega-Garcia; Julian Fiérrez; Fernando Alonso-Fernandez; Javier Galbally; Manuel R. Freire; Joaquin Gonzalez-Rodriguez; Carmen García-Mateo; José Luis Alba-Castro; Elisardo González-Agulla; Enrique Otero Muras; Sonia Garcia-Salicetti; Lorène Allano; et al. (IEEE Trans. Pattern Anal. Mach. Intell., 2010)

Brane Calculi Systems: A Static Preview of their Possible Behaviour - Chiara Bodei; Linda Brodo (CoRR, 2011)

Control Flow Analysis of Generalised Boolean Networks. - Chiara Bodei; Linda Brodo; Davide Chiarugi (SASB, 2011)

Open Multiparty Interaction. - Chiara Bodei; Linda Brodo; Roberto Bruni 001 (WADT, 2012)

A Flat Process Calculus for Nested Membrane Interactions. - Chiara Bodei; Linda Brodo; Roberto Bruni 001; Davide Chiarugi (Sci. Ann. Comput. Sci., 2014)

Static Evidences for Attack Reconstruction. - Chiara Bodei; Linda Brodo; Riccardo Focardi (Programming Languages with Applications to Biology and Security, 2015)

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

Symbolic Semantics for Multiparty Interactions in the Link-Calculus. - Linda Brodo; Carlos Olarte (SOFSEM, 2017)

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)

On the expressiveness of π-calculus for encoding mobile ambients. - Linda Brodo (Math. Struct. Comput. Sci., 2018)

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

Enhancing Reaction Systems: A Process Algebraic Approach. - Linda Brodo; Roberto Bruni 001; Moreno Falaschi (The Art of Modelling Computational Systems, 2019)

A formal approach to open multiparty interactions. - Chiara Bodei; Linda Brodo; Roberto Bruni 001 (Theor. Comput. Sci., 2019)

A Constraint-based Language for Multiparty Interactions. - Linda Brodo; Carlos Olarte (LSFA, 2020)

SOS Rules for Equivalences of Reaction Systems. - Linda Brodo; Roberto Bruni 001; Moreno Falaschi (WFLP, 2020)

Verification Techniques for a Network Algebra. - Linda Brodo; Carlos Olarte (Fundam. Informaticae, 2020)

The link-calculus for open multiparty interactions. - Chiara Bodei; Linda Brodo; Roberto Bruni 001 (Inf. Comput., 2020)

Exploiting Modularity of SOS Semantics to Define Quantitative Extensions of Reaction Systems. - Linda Brodo; Roberto Bruni 001; Moreno Falaschi; Roberta Gori; Francesca Levi; Paolo Milazzo (TPNC, 2021)

The Multiscenario Multienvironment BioSecure Multimodal Database (BMDB). - Javier Ortega-Garcia; Julian Fiérrez; Fernando Alonso-Fernandez; Javier Galbally; Manuel R. Freire; Joaquin Gonzalez-Rodriguez; Carmen García-Mateo; José Luis Alba-Castro; Elisardo González-Agulla; Enrique Otero Muras; Sonia Garcia-Salicetti; Lorène Allano; et al. (CoRR, 2021)

A logical and graphical framework for reaction systems. - Linda Brodo; Roberto Bruni 001; Moreno Falaschi (Theor. Comput. Sci., 2021)

A process algebraic approach to reaction systems. - Linda Brodo; Roberto Bruni 001; Moreno Falaschi (Theor. Comput. Sci., 2021)

Attractor and Slicing Analysis of a T Cell Differentiation Model Based on Reaction Systems. - Linda Brodo; Roberto Bruni 001; Moreno Falaschi; Roberta Gori; Paolo Milazzo (DataMod, 2023)

Dynamic Slicing of Reaction Systems Based on Assertions and Monitors. - Linda Brodo; Roberto Bruni 001; Moreno Falaschi (PADL, 2023)

Verification of Reaction Systems Processes. - Linda Brodo; Roberto Bruni 001; Moreno Falaschi (Challenges of Software Verification, 2023)

Quantitative extensions of reaction systems based on SOS semantics. - Linda Brodo; Roberto Bruni 001; Moreno Falaschi; Roberta Gori; Francesca Levi; Paolo Milazzo (Neural Comput. Appl., 2023)

Process Calculi and Rewriting Techniques for Analyzing Reaction Systems. - Demis Ballis; Linda Brodo; Moreno Falaschi; Carlos Olarte (CMSB, 2024)

Enhancing Reaction Systems with Guards for Analysing Comorbidity Treatment Strategies. - Juliana Bowles; Linda Brodo; Roberto Bruni 001; Moreno Falaschi; Roberta Gori; Paolo Milazzo (CMSB, 2024)

A framework for monitored dynamic slicing of reaction systems. - Linda Brodo; Roberto Bruni 001; Moreno Falaschi (Nat. Comput., 2024)

Causal analysis of positive Reaction Systems. - Linda Brodo; Roberto Bruni 001; Moreno Falaschi; Roberta Gori; Paolo Milazzo; Valeria Montagna; Pasquale Pulieri (Int. J. Softw. Tools Technol. Transf., 2024)

ccReact: a rewriting framework for the formal analysis of reaction systems. - Demis Ballis; Linda Brodo; Moreno Falaschi; Carlos Olarte (Int. J. Softw. Tools Technol. Transf., 2024)

Simulation and Analysis of Distributed Reaction Systems. - Linda Brodo; Roberto Bruni 001; Moreno Falaschi; Ion Petre (IEEE Access, 2025)