Linda Brodo

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

Collaborative distances:



In proceedings 
PhD thesis 




Quantitative extensions of reaction systems based on SOS semantics.
Neural Comput. Appl., March, 2023

Dynamic Slicing of Reaction Systems Based on Assertions and Monitors.
Proceedings of the Practical Aspects of Declarative Languages, 2023

A process algebraic approach to reaction systems.
Theor. Comput. Sci., 2021

A logical and graphical framework for reaction systems.
Theor. Comput. Sci., 2021

The Multiscenario Multienvironment BioSecure Multimodal Database (BMDB).
CoRR, 2021

Exploiting Modularity of SOS Semantics to Define Quantitative Extensions of Reaction Systems.
Proceedings of the Theory and Practice of Natural Computing, 2021

The link-calculus for open multiparty interactions.
Inf. Comput., 2020

Verification Techniques for a Network Algebra.
Fundam. Informaticae, 2020

SOS Rules for Equivalences of Reaction Systems.
Proceedings of the Functional and Constraint Logic Programming, 2020

A Constraint-based Language for Multiparty Interactions.
Proceedings of the 15th International Workshop on Logical and Semantic Frameworks with Applications, 2020

A formal approach to open multiparty interactions.
Theor. Comput. Sci., 2019

Enhancing Reaction Systems: A Process Algebraic Approach.
Proceedings of the Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy, 2019

Process calculi for biological processes.
Nat. Comput., 2018

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

A static analysis for Brane Calculi providing global occurrence counting information.
Theor. Comput. Sci., 2017

Symbolic Semantics for Multiparty Interactions in the Link-Calculus.
Proceedings of the SOFSEM 2017: Theory and Practice of Computer Science, 2017

A Global Occurrence Counting Analysis for Brane Calculi.
Proceedings of the Logic-Based Program Synthesis and Transformation, 2015

Static Evidences for Attack Reconstruction.
Proceedings of the Programming Languages with Applications to Biology and Security, 2015

A Flat Process Calculus for Nested Membrane Interactions.
Sci. Ann. Comput. Sci., 2014

Open Multiparty Interaction.
Proceedings of the Recent Trends in Algebraic Development Techniques, 2012

Control Flow Analysis of Generalised Boolean Networks.
Proceedings of the 2nd International Workshop on Static Analysis and Systems Biology, 2011

Brane Calculi Systems: A Static Preview of their Possible Behaviour
CoRR, 2011

The Multiscenario Multienvironment BioSecure Multimodal Database (BMDB).
IEEE Trans. Pattern Anal. Mach. Intell., 2010

Detecting and preventing type flaws at static time.
J. Comput. Secur., 2010

On the Expressiveness of the <i>pi</i>-Calculus and the Mobile Ambients.
Proceedings of the Algebraic Methodology and Software Technology, 2010

Static Detection of Logic Flaws in Service-Oriented Applications.
Proceedings of the Foundations and Applications of Security Analysis, 2009

On the Quantitative Estimation of Short-Term Aging in Human Faces.
Proceedings of the Image Analysis and Processing, 2009

Measuring changes in face appearance through aging.
Proceedings of the IEEE Conference on Computer Vision and Pattern Recognition, 2009

Distinctiveness of faces: A computational approach.
ACM Trans. Appl. Percept., 2008

Detecting and Preventing Type flaws: a Control Flow Analysis with Tags.
Proceedings of the Fifth Workshop on Security Issues in Concurrency, 2007

A Stochastic Semantics for BioAmbients.
Proceedings of the Parallel Computing Technologies, 2007

Recognition of Human Faces: From Biological to Artificial Vision.
Proceedings of the Advances in Brain, 2007

Deducing Interactions in Partially Unspecified Biological Systems.
Proceedings of the Algebraic Biology, Second International Conference, 2007

Formal Executable Descriptions of Biological Systems.
Proceedings of the Second International Conference on the Quantitative Evaluaiton of Systems (QEST 2005), 2005

Reflecting Mobile Ambients into the p-Calculus.
Proceedings of the Global Computing. Programming Environments, 2003

Performance Evaluation for Global Computation.
Proceedings of the Global Computing. Programming Environments, 2003

A tool for quantitative analysis of calculus processes.
Proceedings of the ICALP Workshops 2000, 2000