BRODO, Linda
BRODO, Linda
SCIENZE ECONOMICHE E AZIENDALI
A Computational Model of the Secondary Hemostasis Pathway in Reaction Systems
2024-01-01 Bendjeddou, A.; Brodo, L.; Falaschi, M.; Tiezzi, E. B. P.
A Constraint-based language for multiparty interactions
2020-01-01 Brodo, L.; Olarte, C.
A Flat Process Calculus for Nested Membrane Interactions
2014-01-01 Bodei, C.; Brodo, Linda; Bruni, R.; Chiarugi, D.
A formal approach to open multiparty interactions
2019-01-01 Bodei, Chiara; Brodo, Linda; Bruni, Roberto
A framework for monitored dynamic slicing of reaction systems
2024-01-01 Brodo, L.; Bruni, R.; Falaschi, M.
A global occurrence counting analysis for Brane Calculi
2015-01-01 Bodei, Chiara; Brodo, Linda; Gori, Roberta; Hermith, Diana; Levi, Francesca
A logical and graphical framework for reaction systems
2021-01-01 Brodo, L.; Bruni, R.; Falaschi, M.
A process algebraic approach to reaction systems
2021-01-01 Brodo, L.; Bruni, R.; Falaschi, M.
A static analysis for Brane Calculi providing global occurrence counting information
2017-01-01 Bodei, C.; Brodo, Linda; Gori, R; Levi, F.; Bernini, A.; Hermith, D.
A stochastic semantics for BioAmbients
2007-01-01 Brodo, Linda; Degano, P; Priami, C.
Attractor and Slicing Analysis of a T Cell Differentiation Model Based on Reaction Systems
2025-01-01 Brodo, L.; Bruni, R.; Falaschi, M.; Gori, R.; Milazzo, P.
Brane Calculi Systems: A Static Preview of their Possible Behaviour
2011-01-01 Bodei, C; Brodo, Linda
Causal analysis of positive Reaction Systems
2024-01-01 Brodo, L.; Bruni, R.; Falaschi, M.; Gori, R.; Milazzo, P.; Montagna, V.; Pulieri, P.
ccReact: a rewriting framework for the formal analysis of reaction systems
2024-01-01 Ballis, D.; Brodo, L.; Falaschi, M.; Olarte, C.
Comparing faces: a computational and perceptual study
2006-01-01 Brodo, Linda; Tistarelli, Massimo; Bicego, Manuele; Lagorio, Andrea; Grosso, Enrico; Brelstaff, Gavin
Comparing faces: a computational and perceptual study
2006-01-01 Brodo, Linda; Bicego, M; Brelstaff, G; Lagorio, Andrea; Grosso, Enrico; Tistarelli, Massimo
Control Flow Analysis of Generalised Boolean Networks
2012-01-01 Bodei, C.; Brodo, Linda; Chiarugi, D.
Deducing interactions in partially unspecified biological systems
2007-01-01 Baldan, P; Bracciali, A; Brodo, Linda; Bruni, R.
Detecting and preventing type flaws at static time
2010-01-01 Bodei, Chiara; Brodo, Linda; Degano, Pierpaolo; Gao, Han
Detecting and preventing type flaws: a control flow analysis with tags
2007-01-01 Bodei, C; Degano, P; Gao, H; Brodo, Linda
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A Computational Model of the Secondary Hemostasis Pathway in Reaction Systems | 1-gen-2024 | Bendjeddou, A.; Brodo, L.; Falaschi, M.; Tiezzi, E. B. P. | |
| A Constraint-based language for multiparty interactions | 1-gen-2020 | Brodo, L.; Olarte, C. | |
| A Flat Process Calculus for Nested Membrane Interactions | 1-gen-2014 | Bodei, C.; Brodo, Linda; Bruni, R.; Chiarugi, D. | |
| A formal approach to open multiparty interactions | 1-gen-2019 | Bodei, Chiara; Brodo, Linda; Bruni, Roberto | |
| A framework for monitored dynamic slicing of reaction systems | 1-gen-2024 | Brodo, L.; Bruni, R.; Falaschi, M. | |
| A global occurrence counting analysis for Brane Calculi | 1-gen-2015 | Bodei, Chiara; Brodo, Linda; Gori, Roberta; Hermith, Diana; Levi, Francesca | |
| A logical and graphical framework for reaction systems | 1-gen-2021 | Brodo, L.; Bruni, R.; Falaschi, M. | |
| A process algebraic approach to reaction systems | 1-gen-2021 | Brodo, L.; Bruni, R.; Falaschi, M. | |
| A static analysis for Brane Calculi providing global occurrence counting information | 1-gen-2017 | Bodei, C.; Brodo, Linda; Gori, R; Levi, F.; Bernini, A.; Hermith, D. | |
| A stochastic semantics for BioAmbients | 1-gen-2007 | Brodo, Linda; Degano, P; Priami, C. | |
| Attractor and Slicing Analysis of a T Cell Differentiation Model Based on Reaction Systems | 1-gen-2025 | Brodo, L.; Bruni, R.; Falaschi, M.; Gori, R.; Milazzo, P. | |
| Brane Calculi Systems: A Static Preview of their Possible Behaviour | 1-gen-2011 | Bodei, C; Brodo, Linda | |
| Causal analysis of positive Reaction Systems | 1-gen-2024 | Brodo, L.; Bruni, R.; Falaschi, M.; Gori, R.; Milazzo, P.; Montagna, V.; Pulieri, P. | |
| ccReact: a rewriting framework for the formal analysis of reaction systems | 1-gen-2024 | Ballis, D.; Brodo, L.; Falaschi, M.; Olarte, C. | |
| Comparing faces: a computational and perceptual study | 1-gen-2006 | Brodo, Linda; Tistarelli, Massimo; Bicego, Manuele; Lagorio, Andrea; Grosso, Enrico; Brelstaff, Gavin | |
| Comparing faces: a computational and perceptual study | 1-gen-2006 | Brodo, Linda; Bicego, M; Brelstaff, G; Lagorio, Andrea; Grosso, Enrico; Tistarelli, Massimo | |
| Control Flow Analysis of Generalised Boolean Networks | 1-gen-2012 | Bodei, C.; Brodo, Linda; Chiarugi, D. | |
| Deducing interactions in partially unspecified biological systems | 1-gen-2007 | Baldan, P; Bracciali, A; Brodo, Linda; Bruni, R. | |
| Detecting and preventing type flaws at static time | 1-gen-2010 | Bodei, Chiara; Brodo, Linda; Degano, Pierpaolo; Gao, Han | |
| Detecting and preventing type flaws: a control flow analysis with tags | 1-gen-2007 | Bodei, C; Degano, P; Gao, H; Brodo, Linda |