Linda Brodo

Available identifiers

zbMath Open brodo.lindaWikidataQ92147122 ScholiaQ92147122MaRDI QIDQ1727995

List of research outcomes

Publication	Date of Publication	Type
Enhancing Reaction Systems: A Process Algebraic Approach	2024-03-14	Paper
Process calculi for biological processes	2023-11-30	Paper
Exploiting Modularity of SOS Semantics to Define Quantitative Extensions of Reaction Systems	2023-04-13	Paper
A process algebraic approach to reaction systems	2021-08-11	Paper
A logical and graphical framework for reaction systems	2021-06-23	Paper
A constraint-based language for multiparty interactions	2021-02-22	Paper
The \texttt{link}-calculus for open multiparty interactions	2020-12-15	Paper
Verification Techniques for a Network Algebra	2020-11-09	Paper
A formal approach to open multiparty interactions	2019-02-21	Paper
A Flat Process Calculus for Nested Membrane Interactions	2019-02-08	Paper
On the expressiveness of π-calculus for encoding mobile ambients	2018-01-11	Paper
Symbolic Semantics for Multiparty Interactions in the Link-Calculus	2017-04-04	Paper
A Global Occurrence Counting Analysis for Brane Calculi	2016-02-05	Paper
Static Evidences for Attack Reconstruction	2016-01-08	Paper
Control Flow Analysis of Generalised Boolean Networks	2014-03-21	Paper
Open Multiparty Interaction	2013-09-13	Paper
On the Expressiveness of the π-Calculus and the Mobile Ambients	2011-01-21	Paper
Global Computing. Programming Environments, Languages, Security, and Analysis of Systems	2010-02-05	Paper
Global Computing. Programming Environments, Languages, Security, and Analysis of Systems	2010-02-05	Paper
Static Detection of Logic Flaws in Service-Oriented Applications	2009-10-22	Paper
Deducing Interactions in Partially Unspecified Biological Systems	2007-11-29	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Linda Brodo