BRODO, Linda

BRODO, Linda  

SCIENZE ECONOMICHE E AZIENDALI  

Mostra records
Risultati 1 - 20 di 53 (tempo di esecuzione: 0.033 secondi).
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 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.
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.
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
Dynamic Slicing of Reaction Systems Based on Assertions and Monitors 1-gen-2023 Brodo, L.; Bruni, R.; Falaschi, M.
Enhancing Reaction Systems: A Process Algebraic Approach 1-gen-2019 Brodo, L.; Bruni, R.; Falaschi, M.