BRODO, Linda

BRODO, Linda  

SCIENZE ECONOMICHE E AZIENDALI  

Mostra records
Risultati 1 - 20 di 45 (tempo di esecuzione: 0.026 secondi).
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; 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
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.