Linda Brodo

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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
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

2021
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

2020
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

2019
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

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

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

2017
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

2015
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

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

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

2011
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

2010
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

2009
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

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

2007
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

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

2003
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

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


  Loading...