Linda Brodo

MaRDI QIDQ1727995zbMATH OpenORCIDWikidataFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Enhancing Reaction Systems: A Process Algebraic Approach	2024-03-14	Paper
Process calculi for biological processes Natural Computing	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 Theoretical Computer Science	2021-08-11	Paper
A logical and graphical framework for reaction systems Theoretical Computer Science	2021-06-23	Paper
A constraint-based language for multiparty interactions	2021-02-22	Paper
The \texttt{link}-calculus for open multiparty interactions Information and Computation	2020-12-15	Paper
Verification techniques for a network algebra Fundamenta Informaticae	2020-11-09	Paper
A formal approach to open multiparty interactions Theoretical Computer Science	2019-02-21	Paper
A flat process calculus for nested membrane interactions Scientific Annals of Computer Science	2019-02-08	Paper
On the expressiveness of \(\pi\)-calculus for encoding mobile ambients Mathematical Structures in Computer Science	2018-01-11	Paper
Symbolic Semantics for Multiparty Interactions in the Link-Calculus SOFSEM 2017: Theory and Practice of Computer Science	2017-04-04	Paper
A Global Occurrence Counting Analysis for Brane Calculi Logic-Based Program Synthesis and Transformation	2016-02-05	Paper
Static evidences for attack reconstruction Programming Languages with Applications to Biology and Security	2016-01-08	Paper
Control Flow Analysis of Generalised Boolean Networks Electronic Notes in Theoretical Computer Science	2014-03-21	Paper
Open Multiparty Interaction Recent Trends in Algebraic Development Techniques	2013-09-13	Paper
On the expressiveness of the \(\pi \)-calculus and the mobile ambients Algebraic Methodology and Software Technology	2011-01-21	Paper
Global Computing. Programming Environments, Languages, Security, and Analysis of Systems Lecture Notes in Computer Science	2010-02-05	Paper
Reflecting mobile ambients into the \(\pi \)-calculus Lecture Notes in Computer Science	2010-02-05	Paper
Static Detection of Logic Flaws in Service-Oriented Applications Foundations and Applications of Security Analysis	2009-10-22	Paper
Deducing Interactions in Partially Unspecified Biological Systems Algebraic Biology	2007-11-29	Paper

Research outcomes over time

This page was built for person: Linda Brodo