Linda Brodo

According to our database, Linda Brodo authored at least 37 papers between 2000 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2023

Quantitative extensions of reaction systems based on SOS semantics.

Linda Brodo, Roberto Bruni, Moreno Falaschi, Roberta Gori, Francesca Levi, Paolo Milazzo

Neural Comput. Appl., March, 2023

Dynamic Slicing of Reaction Systems Based on Assertions and Monitors.

Linda Brodo, Roberto Bruni, Moreno Falaschi

Proceedings of the Practical Aspects of Declarative Languages, 2023

2021

A process algebraic approach to reaction systems.

Linda Brodo, Roberto Bruni, Moreno Falaschi

Theor. Comput. Sci., 2021

A logical and graphical framework for reaction systems.

Linda Brodo, Roberto Bruni, Moreno Falaschi

Theor. Comput. Sci., 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, 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

CoRR, 2021

Exploiting Modularity of SOS Semantics to Define Quantitative Extensions of Reaction Systems.

Linda Brodo, Roberto Bruni, Moreno Falaschi, Roberta Gori, Francesca Levi, Paolo Milazzo

Proceedings of the Theory and Practice of Natural Computing, 2021

2020

The link-calculus for open multiparty interactions.

Chiara Bodei, Linda Brodo, Roberto Bruni

Inf. Comput., 2020

Verification Techniques for a Network Algebra.

Linda Brodo, Carlos Olarte

Fundam. Informaticae, 2020

SOS Rules for Equivalences of Reaction Systems.

Linda Brodo, Roberto Bruni, Moreno Falaschi

Proceedings of the Functional and Constraint Logic Programming, 2020

A Constraint-based Language for Multiparty Interactions.

Linda Brodo, Carlos Olarte

Proceedings of the 15th International Workshop on Logical and Semantic Frameworks with Applications, 2020

2019

A formal approach to open multiparty interactions.

Chiara Bodei, Linda Brodo, Roberto Bruni

Theor. Comput. Sci., 2019

Enhancing Reaction Systems: A Process Algebraic Approach.

Linda Brodo, Roberto Bruni, Moreno Falaschi

Proceedings of the Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy, 2019

2018

Process calculi for biological processes.

Andrea Bernini, Linda Brodo, Pierpaolo Degano, Moreno Falaschi, Diana Hermith

Nat. Comput., 2018

On the expressiveness of π-calculus for encoding mobile ambients.

Linda Brodo

Math. Struct. Comput. Sci., 2018

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

Symbolic Semantics for Multiparty Interactions in the Link-Calculus.

Linda Brodo, Carlos Olarte

Proceedings of the SOFSEM 2017: Theory and Practice of Computer Science, 2017

2015

A Global Occurrence Counting Analysis for Brane Calculi.

Chiara Bodei, Linda Brodo, Roberta Gori, Diana Hermith, Francesca Levi

Proceedings of the Logic-Based Program Synthesis and Transformation, 2015

Static Evidences for Attack Reconstruction.

Chiara Bodei, Linda Brodo, Riccardo Focardi

Proceedings of the Programming Languages with Applications to Biology and Security, 2015

2014

A Flat Process Calculus for Nested Membrane Interactions.

Chiara Bodei, Linda Brodo, Roberto Bruni, Davide Chiarugi

Sci. Ann. Comput. Sci., 2014

2012

Open Multiparty Interaction.

Chiara Bodei, Linda Brodo, Roberto Bruni

Proceedings of the Recent Trends in Algebraic Development Techniques, 2012

2011

Control Flow Analysis of Generalised Boolean Networks.

Chiara Bodei, Linda Brodo, Davide Chiarugi

Proceedings of the 2nd International Workshop on Static Analysis and Systems Biology, 2011

Brane Calculi Systems: A Static Preview of their Possible Behaviour

Chiara Bodei, Linda Brodo

CoRR, 2011

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, 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

IEEE Trans. Pattern Anal. Mach. Intell., 2010

Detecting and preventing type flaws at static time.

Chiara Bodei, Linda Brodo, Pierpaolo Degano, Han Gao

J. Comput. Secur., 2010

On the Expressiveness of the <i>pi</i>-Calculus and the Mobile Ambients.

Linda Brodo

Proceedings of the Algebraic Methodology and Software Technology, 2010

2009

Static Detection of Logic Flaws in Service-Oriented Applications.

Chiara Bodei, Linda Brodo, Roberto Bruni

Proceedings of the Foundations and Applications of Security Analysis, 2009

On the Quantitative Estimation of Short-Term Aging in Human Faces.

Marcos Ortega, Linda Brodo, Manuele Bicego, Massimo Tistarelli

Proceedings of the Image Analysis and Processing, 2009

Measuring changes in face appearance through aging.

Marcos Ortega, Linda Brodo, Manuele Bicego, Massimo Tistarelli

Proceedings of the IEEE Conference on Computer Vision and Pattern Recognition, 2009

2008

Distinctiveness of faces: A computational approach.

Manuele Bicego, Enrico Grosso, Andrea Lagorio, Gavin Brelstaff, Linda Brodo, Massimo Tistarelli

ACM Trans. Appl. Percept., 2008

2007

Detecting and Preventing Type flaws: a Control Flow Analysis with Tags.

Chiara Bodei, Pierpaolo Degano, Han Gao, Linda Brodo

Proceedings of the Fifth Workshop on Security Issues in Concurrency, 2007

A Stochastic Semantics for BioAmbients.

Linda Brodo, Pierpaolo Degano, Corrado Priami

Proceedings of the Parallel Computing Technologies, 2007

Recognition of Human Faces: From Biological to Artificial Vision.

Massimo Tistarelli, Linda Brodo, Andrea Lagorio, Manuele Bicego

Proceedings of the Advances in Brain, 2007

Deducing Interactions in Partially Unspecified Biological Systems.

Paolo Baldan, Andrea Bracciali, Linda Brodo, Roberto Bruni

Proceedings of the Algebraic Biology, Second International Conference, 2007

2005

Formal Executable Descriptions of Biological Systems.

Michele Curti, Davide Prandi, Linda Brodo

Proceedings of the Second International Conference on the Quantitative Evaluaiton of Systems (QEST 2005), 2005

2003

Reflecting Mobile Ambients into the p-Calculus.

Linda Brodo, Pierpaolo Degano, Corrado Priami

Proceedings of the Global Computing. Programming Environments, 2003

Performance Evaluation for Global Computation.

Linda Brodo, Pierpaolo Degano, Stephen Gilmore, Jane Hillston, Corrado Priami

Proceedings of the Global Computing. Programming Environments, 2003

2000

A tool for quantitative analysis of calculus processes.

Linda Brodo, Pierpaolo Degano, Corrado Priami

Proceedings of the ICALP Workshops 2000, 2000