BRODO, Linda
BRODO, Linda
SCIENZE ECONOMICHE E AZIENDALI
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 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
2020-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.
Brane Calculi Systems: A Static Preview of their Possible Behaviour
2011-01-01 Bodei, C; Brodo, Linda
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
Distinctiveness of faces: a computational approach
2008-01-01 Bicego, Manuele; Grosso, Enrico; Lagorio, Andrea; Brelstaff, Gavin; Brodo, Linda; Tistarelli, Massimo
Enhancing Reaction Systems: A Process Algebraic Approach
2019-01-01 Brodo, L.; Bruni, R.; Falaschi, M.
Exploiting Modularity of SOS Semantics to Define Quantitative Extensions of Reaction Systems
2021-01-01 Brodo, L.; Bruni, R.; Falaschi, M.; Gori, R.; Levi, F.; Milazzo, P.
Face-pair scrutiny - subject-type classification
2006-01-01 Brelstaff, G. J.; Brodo, Linda; Bicego, M; Grosso, Enrico
Formal executable descriptions of biological systems
2005-01-01 Brodo, Linda; Curti, Michele; Degano, Pierpaolo; Prandi, Davide; Priami, Corrado; Quaglia, Paola
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| 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 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-2020 | 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. | |
| Brane Calculi Systems: A Static Preview of their Possible Behaviour | 1-gen-2011 | Bodei, C; Brodo, Linda | |
| 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 | |
| Distinctiveness of faces: a computational approach | 1-gen-2008 | Bicego, Manuele; Grosso, Enrico; Lagorio, Andrea; Brelstaff, Gavin; Brodo, Linda; Tistarelli, Massimo | |
| Enhancing Reaction Systems: A Process Algebraic Approach | 1-gen-2019 | Brodo, L.; Bruni, R.; Falaschi, M. | |
| Exploiting Modularity of SOS Semantics to Define Quantitative Extensions of Reaction Systems | 1-gen-2021 | Brodo, L.; Bruni, R.; Falaschi, M.; Gori, R.; Levi, F.; Milazzo, P. | |
| Face-pair scrutiny - subject-type classification | 1-gen-2006 | Brelstaff, G. J.; Brodo, Linda; Bicego, M; Grosso, Enrico | |
| Formal executable descriptions of biological systems | 1-gen-2005 | Brodo, Linda; Curti, Michele; Degano, Pierpaolo; Prandi, Davide; Priami, Corrado; Quaglia, Paola |