Linda Brodo

50 papers B 2C 2Misc 1Journal 24Unranked 20
YearRankTypeTitle / Venue / Authors
2026 J jnl
Knowledge Graph Extraction from Biomedical Literature for Alkaptonuria Rare Disease.
CoRR
Giang Pham, Rebecca Finetti, Caterina Graziani, Bianca Roncaglia, Asma Bendjeddou, Linda Brodo, Sara Brunetti, Moreno Falaschi, Stefano Forti, Silvia Giulia Galfrè, Paolo Milazzo, Corrado Priami, Annalisa Santucci, Ottavia Spiga, Alina Sîrbu
2025 J jnl
Preface.
Nat. Comput.
Linda Brodo, Roberta Gori, Paolo Milazzo, Ion Petre
2025 J jnl
Simulation and Analysis of Distributed Reaction Systems.
IEEE Access
Linda Brodo, Roberto Bruni, Moreno Falaschi, Ion Petre
2025 J jnl
Slicing analyses for negative dependencies in reaction systems modeling gene regulatory networks.
Nat. Comput.
Linda Brodo, Roberto Bruni, Moreno Falaschi, Roberta Gori, Paolo Milazzo
2024 J jnl
A framework for monitored dynamic slicing of reaction systems.
Nat. Comput.
Linda Brodo, Roberto Bruni, Moreno Falaschi
2024 J jnl
Causal analysis of positive Reaction Systems.
Int. J. Softw. Tools Technol. Transf.
Linda Brodo, Roberto Bruni, Moreno Falaschi, Roberta Gori, Paolo Milazzo, Valeria Montagna, Pasquale Pulieri
2024 — conf
Enhancing Reaction Systems with Guards for Analysing Comorbidity Treatment Strategies.
CMSB
Juliana Bowles, Linda Brodo, Roberto Bruni, Moreno Falaschi, Roberta Gori, Paolo Milazzo
2024 — conf
Process Calculi and Rewriting Techniques for Analyzing Reaction Systems.
CMSB
Demis Ballis, Linda Brodo, Moreno Falaschi, Carlos Olarte
2024 J jnl
ccReact: a rewriting framework for the formal analysis of reaction systems.
Int. J. Softw. Tools Technol. Transf.
Demis Ballis, Linda Brodo, Moreno Falaschi, Carlos Olarte
2023 — conf
Attractor and Slicing Analysis of a T Cell Differentiation Model Based on Reaction Systems.
DataMod
Linda Brodo, Roberto Bruni, Moreno Falaschi, Roberta Gori, Paolo Milazzo
2023 C conf
Dynamic Slicing of Reaction Systems Based on Assertions and Monitors.
PADL
Linda Brodo, Roberto Bruni, Moreno Falaschi
2023 J jnl
Quantitative extensions of reaction systems based on SOS semantics.
Neural Comput. Appl.
Linda Brodo, Roberto Bruni, Moreno Falaschi, Roberta Gori, Francesca Levi, Paolo Milazzo
2023 — ch.
Verification of Reaction Systems Processes.
Challenges of Software Verification
Linda Brodo, Roberto Bruni, Moreno Falaschi
2021 J jnl
A logical and graphical framework for reaction systems.
Theor. Comput. Sci.
Linda Brodo, Roberto Bruni, Moreno Falaschi
2021 J jnl
A process algebraic approach to reaction systems.
Theor. Comput. Sci.
Linda Brodo, Roberto Bruni, Moreno Falaschi
2021 — conf
Exploiting Modularity of SOS Semantics to Define Quantitative Extensions of Reaction Systems.
TPNC
Linda Brodo, Roberto Bruni, Moreno Falaschi, Roberta Gori, Francesca Levi, Paolo Milazzo
2021 J jnl
The Multiscenario Multienvironment BioSecure Multimodal Database (BMDB).
CoRR
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
2020 — conf
A Constraint-based Language for Multiparty Interactions.
LSFA
Linda Brodo, Carlos Olarte
2020 — conf
SOS Rules for Equivalences of Reaction Systems.
WFLP
Linda Brodo, Roberto Bruni, Moreno Falaschi
2020 J jnl
SOS Rules for Equivalences of Reaction Systems.
CoRR
Linda Brodo, Roberto Bruni, Moreno Falaschi
2020 J jnl
The link-calculus for open multiparty interactions.
Inf. Comput.
Chiara Bodei, Linda Brodo, Roberto Bruni
2020 J jnl
Verification Techniques for a Network Algebra.
Fundam. Informaticae
Linda Brodo, Carlos Olarte
2019 J jnl
A formal approach to open multiparty interactions.
Theor. Comput. Sci.
Chiara Bodei, Linda Brodo, Roberto Bruni
2019 — conf
Enhancing Reaction Systems: A Process Algebraic Approach.
The Art of Modelling Computational Systems
Linda Brodo, Roberto Bruni, Moreno Falaschi
2018 J jnl
A Formal Approach to Open Multiparty Interactions.
CoRR
Chiara Bodei, Linda Brodo, Roberto Bruni
2018 J jnl
On the expressiveness of π-calculus for encoding mobile ambients.
Math. Struct. Comput. Sci.
Linda Brodo
2018 J jnl
Process calculi for biological processes.
Nat. Comput.
Andrea Bernini, Linda Brodo, Pierpaolo Degano, Moreno Falaschi, Diana Hermith
2017 J jnl
A static analysis for Brane Calculi providing global occurrence counting information.
Theor. Comput. Sci.
Chiara Bodei, Linda Brodo, Roberta Gori, Francesca Levi, Antonio Bernini, Diana Hermith
2017 B conf
Symbolic Semantics for Multiparty Interactions in the Link-Calculus.
SOFSEM
Linda Brodo, Carlos Olarte
2015 C conf
A Global Occurrence Counting Analysis for Brane Calculi.
LOPSTR
Chiara Bodei, Linda Brodo, Roberta Gori, Diana Hermith, Francesca Levi
2015 — conf
Static Evidences for Attack Reconstruction.
Programming Languages with Applications to Biology and Security
Chiara Bodei, Linda Brodo, Riccardo Focardi
2014 J jnl
A Flat Process Calculus for Nested Membrane Interactions.
Sci. Ann. Comput. Sci.
Chiara Bodei, Linda Brodo, Roberto Bruni, Davide Chiarugi
2012 — conf
Open Multiparty Interaction.
WADT
Chiara Bodei, Linda Brodo, Roberto Bruni
2011 J jnl
Brane Calculi Systems: A Static Preview of their Possible Behaviour
CoRR
Chiara Bodei, Linda Brodo
2011 — conf
Control Flow Analysis of Generalised Boolean Networks.
SASB
Chiara Bodei, Linda Brodo, Davide Chiarugi
2010 J jnl
Detecting and preventing type flaws at static time.
J. Comput. Secur.
Chiara Bodei, Linda Brodo, Pierpaolo Degano, Han Gao
2010 — conf
On the Expressiveness of the
AMAST
Linda Brodo
2010 J jnl
The Multiscenario Multienvironment BioSecure Multimodal Database (BMDB).
IEEE Trans. Pattern Anal. Mach. Intell.
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
2009 — conf
Measuring changes in face appearance through aging.
CVPR Workshops
Marcos Ortega, Linda Brodo, Manuele Bicego, Massimo Tistarelli
2009 Misc conf
On the Quantitative Estimation of Short-Term Aging in Human Faces.
ICIAP
Marcos Ortega, Linda Brodo, Manuele Bicego, Massimo Tistarelli
2009 — conf
Static Detection of Logic Flaws in Service-Oriented Applications.
ARSPA-WITS
Chiara Bodei, Linda Brodo, Roberto Bruni
2008 J jnl
Distinctiveness of faces: A computational approach.
ACM Trans. Appl. Percept.
Manuele Bicego, Enrico Grosso, Andrea Lagorio, Gavin Brelstaff, Linda Brodo, Massimo Tistarelli
2007 B conf
A Stochastic Semantics for BioAmbients.
PaCT
Linda Brodo, Pierpaolo Degano, Corrado Priami
2007 — conf
Deducing Interactions in Partially Unspecified Biological Systems.
AB
Paolo Baldan, Andrea Bracciali, Linda Brodo, Roberto Bruni
2007 — conf
Detecting and Preventing Type flaws: a Control Flow Analysis with Tags.
SecCO@CONCUR
Chiara Bodei, Pierpaolo Degano, Han Gao, Linda Brodo
2007 — conf
Recognition of Human Faces: From Biological to Artificial Vision.
BVAI
Massimo Tistarelli, Linda Brodo, Andrea Lagorio, Manuele Bicego
2005 — conf
Formal Executable Descriptions of Biological Systems.
QEST
Michele Curti, Davide Prandi, Linda Brodo
2003 — conf
Performance Evaluation for Global Computation.
Global Computing
Linda Brodo, Pierpaolo Degano, Stephen Gilmore, Jane Hillston, Corrado Priami
2003 — conf
Reflecting Mobile Ambients into the p-Calculus.
Global Computing
Linda Brodo, Pierpaolo Degano, Corrado Priami
2000 — conf
A tool for quantitative analysis of calculus processes.
ICALP Satellite Workshops
Linda Brodo, Pierpaolo Degano, Corrado Priami