BRODO, Linda
BRODO, Linda
SCIENZE ECONOMICHE E AZIENDALI
A Flat Process Calculus for Nested Membrane Interactions
2014-01-01 Bodei, C.; Brodo, Linda; Bruni, R.; Chiarugi, 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; Bicego, M; Brelstaff, G; Lagorio, Andrea; Grosso, Enrico; Tistarelli, Massimo
Comparing faces: a computational and perceptual study
2006-01-01 Brodo, Linda; Tistarelli, Massimo; Bicego, Manuele; Lagorio, Andrea; Grosso, Enrico; Brelstaff, Gavin
A Constraint-based language for multiparty interactions
2020-01-01 Brodo, L.; Olarte, C.
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.
Face-pair scrutiny - subject-type classification
2006-01-01 Brelstaff G., J; Brodo, Linda; Bicego, M; Grosso, Enrico
A formal approach to open multiparty interactions
2019-01-01 Bodei, Chiara; Brodo, Linda; Bruni, Roberto
Formal executable descriptions of biological systems
2005-01-01 Brodo, Linda; Curti, Michele; Degano, Pierpaolo; Prandi, Davide; Priami, Corrado; Quaglia, Paola
Formal Executable Descriptions of Biological Systems
2005-01-01 Curti, M; Degano, P; Prandi, D; Priami, C; Quaglia, P; Brodo, Linda
A global occurrence counting analysis for Brane Calculi
2015-01-01 Bodei, Chiara; Brodo, Linda; Gori, Roberta; Hermith, Diana; Levi, Francesca
La modernità degradata delle periferie: un'analisi di «Berlinguer ti voglio bene»
2014-01-01 Brodo, Linda; Brugnolo, S.
The link-calculus for open multiparty interactions
2020-01-01 Bodei, C.; Brodo, L.; Bruni, R.
A logical and graphical framework for reaction systems
2021-01-01 Brodo, L.; Bruni, R.; Falaschi, M.
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A Flat Process Calculus for Nested Membrane Interactions | 1-gen-2014 | Bodei, C.; Brodo, Linda; Bruni, R.; Chiarugi, 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; Bicego, M; Brelstaff, G; Lagorio, Andrea; Grosso, Enrico; Tistarelli, Massimo | |
| Comparing faces: a computational and perceptual study | 1-gen-2006 | Brodo, Linda; Tistarelli, Massimo; Bicego, Manuele; Lagorio, Andrea; Grosso, Enrico; Brelstaff, Gavin | |
| A Constraint-based language for multiparty interactions | 1-gen-2020 | Brodo, L.; Olarte, C. | |
| 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. | |
| Face-pair scrutiny - subject-type classification | 1-gen-2006 | Brelstaff G., J; Brodo, Linda; Bicego, M; Grosso, Enrico | |
| A formal approach to open multiparty interactions | 1-gen-2019 | Bodei, Chiara; Brodo, Linda; Bruni, Roberto | |
| Formal executable descriptions of biological systems | 1-gen-2005 | Brodo, Linda; Curti, Michele; Degano, Pierpaolo; Prandi, Davide; Priami, Corrado; Quaglia, Paola | |
| Formal Executable Descriptions of Biological Systems | 1-gen-2005 | Curti, M; Degano, P; Prandi, D; Priami, C; Quaglia, P; Brodo, Linda | |
| A global occurrence counting analysis for Brane Calculi | 1-gen-2015 | Bodei, Chiara; Brodo, Linda; Gori, Roberta; Hermith, Diana; Levi, Francesca | |
| La modernità degradata delle periferie: un'analisi di «Berlinguer ti voglio bene» | 1-gen-2014 | Brodo, Linda; Brugnolo, S. | |
| The link-calculus for open multiparty interactions | 1-gen-2020 | Bodei, C.; Brodo, L.; Bruni, R. | |
| A logical and graphical framework for reaction systems | 1-gen-2021 | Brodo, L.; Bruni, R.; Falaschi, M. |