Linda Brodo

Nat. Comput., June, 2024

Enhancing Reaction Systems with Guards for Analysing Comorbidity Treatment Strategies.

[BibT_eX]

[DOI]

Proceedings of the Computational Methods in Systems Biology, 2024

Process Calculi and Rewriting Techniques for Analyzing Reaction Systems.

[BibT_eX]

[DOI]

Proceedings of the Computational Methods in Systems Biology, 2024

2023

Quantitative extensions of reaction systems based on SOS semantics.

[BibT_eX]

[DOI]

Neural Comput. Appl., March, 2023

Dynamic Slicing of Reaction Systems Based on Assertions and Monitors.

[BibT_eX]

[DOI]

Proceedings of the Practical Aspects of Declarative Languages, 2023

2021

A process algebraic approach to reaction systems.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2021

A logical and graphical framework for reaction systems.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2021

The Multiscenario Multienvironment BioSecure Multimodal Database (BMDB).

[BibT_eX]

[DOI]

CoRR, 2021

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

[BibT_eX]

[DOI]

Proceedings of the Theory and Practice of Natural Computing, 2021

2020

The link-calculus for open multiparty interactions.

[BibT_eX]

[DOI]

Inf. Comput., 2020

Verification Techniques for a Network Algebra.

[BibT_eX]

[DOI]

Carlos Olarte

Fundam. Informaticae, 2020

SOS Rules for Equivalences of Reaction Systems.

[BibT_eX]

[DOI]

Proceedings of the Functional and Constraint Logic Programming, 2020

A Constraint-based Language for Multiparty Interactions.

[BibT_eX]

[DOI]

Carlos Olarte

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

2019

A formal approach to open multiparty interactions.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2019

Enhancing Reaction Systems: A Process Algebraic Approach.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Nat. Comput., 2018

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

[BibT_eX]

[DOI]

Math. Struct. Comput. Sci., 2018

2017

A static analysis for Brane Calculi providing global occurrence counting information.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2017

Symbolic Semantics for Multiparty Interactions in the Link-Calculus.

[BibT_eX]

[DOI]

Carlos Olarte

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

2015

A Global Occurrence Counting Analysis for Brane Calculi.

[BibT_eX]

[DOI]

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

Static Evidences for Attack Reconstruction.

[BibT_eX]

[DOI]

Riccardo Focardi

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

2014

A Flat Process Calculus for Nested Membrane Interactions.

[BibT_eX]

[DOI]

Sci. Ann. Comput. Sci., 2014

2012

Open Multiparty Interaction.

[BibT_eX]

[DOI]

Proceedings of the Recent Trends in Algebraic Development Techniques, 2012

2011

Control Flow Analysis of Generalised Boolean Networks.

[BibT_eX]

[DOI]

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

[BibT_eX]

[DOI]

CoRR, 2011

2010

The Multiscenario Multienvironment BioSecure Multimodal Database (BMDB).

[BibT_eX]

[DOI]

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

Detecting and preventing type flaws at static time.

[BibT_eX]

[DOI]

J. Comput. Secur., 2010

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

[BibT_eX]

[DOI]

Proceedings of the Algebraic Methodology and Software Technology, 2010

2009

Static Detection of Logic Flaws in Service-Oriented Applications.

[BibT_eX]

[DOI]

Proceedings of the Foundations and Applications of Security Analysis, 2009

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

[BibT_eX]

[DOI]

Proceedings of the Image Analysis and Processing, 2009

Measuring changes in face appearance through aging.

[BibT_eX]

[DOI]

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

2008

Distinctiveness of faces: A computational approach.

[BibT_eX]

[DOI]

ACM Trans. Appl. Percept., 2008

2007

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

[BibT_eX]

[DOI]

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

A Stochastic Semantics for BioAmbients.

[BibT_eX]

[DOI]

Pierpaolo Degano

Corrado Priami

Proceedings of the Parallel Computing Technologies, 2007

Recognition of Human Faces: From Biological to Artificial Vision.

[BibT_eX]

[DOI]

Proceedings of the Advances in Brain, 2007

Deducing Interactions in Partially Unspecified Biological Systems.

[BibT_eX]

[DOI]

Proceedings of the Algebraic Biology, Second International Conference, 2007

2005

Formal Executable Descriptions of Biological Systems.

[BibT_eX]

[DOI]

Michele Curti

Davide Prandi

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

2003

Reflecting Mobile Ambients into the p-Calculus.

[BibT_eX]

[DOI]

Pierpaolo Degano

Corrado Priami

Proceedings of the Global Computing. Programming Environments, 2003

Performance Evaluation for Global Computation.

[BibT_eX]

[DOI]

Proceedings of the Global Computing. Programming Environments, 2003

2000

A tool for quantitative analysis of calculus processes.

[BibT_eX]