Linda Brodo

Publication Activity (10 Years)

Years Active: 2000-2024
Publications (10 Years): 21

Top Topics

Biological Processes

Process Algebra

Top Venues

Theor. Comput. Sci.

Publications

Linda Brodo, Roberto Bruni, Moreno Falaschi
A framework for monitored dynamic slicing of reaction systems. Nat. Comput. 23 (2) (2024)
Linda Brodo, Roberto Bruni, Moreno Falaschi, Roberta Gori, Francesca Levi, Paolo Milazzo
Quantitative extensions of reaction systems based on SOS semantics. Neural Comput. Appl. 35 (9) (2023)
Linda Brodo, Roberto Bruni, Moreno Falaschi
Dynamic Slicing of Reaction Systems Based on Assertions and Monitors. PADL (2023)
Linda Brodo, Roberto Bruni, Moreno Falaschi, Roberta Gori, Francesca Levi, Paolo Milazzo
Exploiting Modularity of SOS Semantics to Define Quantitative Extensions of Reaction Systems. TPNC (2021)
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, Bao Ly-Van, Bernadette Dorizzi, Josef Kittler, Thirimachos Bourlai, Norman Poh, Farzin Deravi, Ming W. R. Ng, Michael C. Fairhurst, Jean Hennebert, Andreas Humm, Massimo Tistarelli, Linda Brodo, Jonas Richiardi, Andrzej Drygajlo, Harald Ganster, Federico M. Sukno, Sri-Kaushik Pavani, Alejandro Frangi, Lale Akarun, Arman Savran
The Multiscenario Multienvironment BioSecure Multimodal Database (BMDB). CoRR (2021)
Linda Brodo, Roberto Bruni, Moreno Falaschi
A process algebraic approach to reaction systems. Theor. Comput. Sci. 881 (2021)
Linda Brodo, Roberto Bruni, Moreno Falaschi
A logical and graphical framework for reaction systems. Theor. Comput. Sci. 875 (2021)
Linda Brodo, Carlos Olarte
Verification Techniques for a Network Algebra. Fundam. Informaticae 172 (1) (2020)
Linda Brodo, Roberto Bruni, Moreno Falaschi
SOS Rules for Equivalences of Reaction Systems. WFLP (2020)
Chiara Bodei, Linda Brodo, Roberto Bruni
The link-calculus for open multiparty interactions. Inf. Comput. 275 (2020)
Linda Brodo, Roberto Bruni, Moreno Falaschi
SOS Rules for Equivalences of Reaction Systems. CoRR (2020)
Linda Brodo, Carlos Olarte
A Constraint-based Language for Multiparty Interactions. LSFA (2020)
Chiara Bodei, Linda Brodo, Roberto Bruni
A formal approach to open multiparty interactions. Theor. Comput. Sci. 763 (2019)
Linda Brodo, Roberto Bruni, Moreno Falaschi
Enhancing Reaction Systems: A Process Algebraic Approach. The Art of Modelling Computational Systems (2019)
Chiara Bodei, Linda Brodo, Roberto Bruni
A Formal Approach to Open Multiparty Interactions. CoRR (2018)
Andrea Bernini, Linda Brodo, Pierpaolo Degano, Moreno Falaschi, Diana Hermith
Process calculi for biological processes. Nat. Comput. 17 (2) (2018)
Linda Brodo
On the expressiveness of π-calculus for encoding mobile ambients. Math. Struct. Comput. Sci. 28 (2) (2018)
Linda Brodo, Carlos Olarte
Symbolic Semantics for Multiparty Interactions in the Link-Calculus. SOFSEM (2017)
Chiara Bodei, Linda Brodo, Roberta Gori, Francesca Levi, Antonio Bernini, Diana Hermith
A static analysis for Brane Calculi providing global occurrence counting information. Theor. Comput. Sci. 696 (2017)
Chiara Bodei, Linda Brodo, Riccardo Focardi
Static Evidences for Attack Reconstruction. Programming Languages with Applications to Biology and Security (2015)
Chiara Bodei, Linda Brodo, Roberta Gori, Diana Hermith, Francesca Levi
A Global Occurrence Counting Analysis for Brane Calculi. LOPSTR (2015)
Chiara Bodei, Linda Brodo, Roberto Bruni, Davide Chiarugi
A Flat Process Calculus for Nested Membrane Interactions. Sci. Ann. Comput. Sci. 24 (1) (2014)
Chiara Bodei, Linda Brodo, Davide Chiarugi
Control Flow Analysis of Generalised Boolean Networks. Electron. Notes Theor. Comput. Sci. 284 (2012)
Chiara Bodei, Linda Brodo, Roberto Bruni
Open Multiparty Interaction. WADT (2012)
Chiara Bodei, Linda Brodo
Brane Calculi Systems: A Static Preview of their Possible Behaviour CoRR (2011)
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, Van-Bao Ly, Bernadette Dorizzi, Josef Kittler, Thirimachos Bourlai, Norman Poh, Farzin Deravi, Ming W. R. Ng, Michael C. Fairhurst, Jean Hennebert, Andreas Humm, Massimo Tistarelli, Linda Brodo, Jonas Richiardi, Andrzej Drygajlo, Harald Ganster, Federico Sukno, Sri-Kaushik Pavani, Alejandro F. Frangi, Lale Akarun, Arman Savran
The Multiscenario Multienvironment BioSecure Multimodal Database (BMDB). IEEE Trans. Pattern Anal. Mach. Intell. 32 (6) (2010)
Chiara Bodei, Linda Brodo, Pierpaolo Degano, Han Gao
Detecting and preventing type flaws at static time. J. Comput. Secur. 18 (2) (2010)
Linda Brodo
-Calculus and the Mobile Ambients. AMAST (2010)
Chiara Bodei, Linda Brodo, Roberto Bruni
Static Detection of Logic Flaws in Service-Oriented Applications. ARSPA-WITS (2009)
Marcos Ortega, Linda Brodo, Manuele Bicego, Massimo Tistarelli
On the Quantitative Estimation of Short-Term Aging in Human Faces. ICIAP (2009)
Marcos Ortega, Linda Brodo, Manuele Bicego, Massimo Tistarelli
Measuring changes in face appearance through aging. CVPR Workshops (2009)
Manuele Bicego, Enrico Grosso, Andrea Lagorio, Gavin Brelstaff, Linda Brodo, Massimo Tistarelli
Distinctiveness of faces: A computational approach. ACM Trans. Appl. Percept. 5 (2) (2008)
Chiara Bodei, Pierpaolo Degano, Han Gao, Linda Brodo
Detecting and Preventing Type flaws: a Control Flow Analysis with Tags. Electron. Notes Theor. Comput. Sci. 194 (1) (2007)
Massimo Tistarelli, Linda Brodo, Andrea Lagorio, Manuele Bicego
Recognition of Human Faces: From Biological to Artificial Vision. BVAI (2007)
Linda Brodo, Pierpaolo Degano, Corrado Priami
A Stochastic Semantics for BioAmbients. PaCT (2007)
Paolo Baldan, Andrea Bracciali, Linda Brodo, Roberto Bruni
Deducing Interactions in Partially Unspecified Biological Systems. AB (2007)
Michele Curti, Davide Prandi, Linda Brodo
Formal Executable Descriptions of Biological Systems. QEST (2005)
Linda Brodo, Pierpaolo Degano, Stephen Gilmore, Jane Hillston, Corrado Priami
Performance Evaluation for Global Computation. Global Computing (2003)
Linda Brodo, Pierpaolo Degano, Corrado Priami
Reflecting Mobile Ambients into the p-Calculus. Global Computing (2003)
Linda Brodo, Pierpaolo Degano, Corrado Priami
A tool for quantitative analysis of calculus processes. ICALP Satellite Workshops (2000)