Sfoglia per Autore
Static What-if Analysis of Generalised Boolean Networks
2010-01-01 Chiara, Bodei; Brodo, Linda; Davide, Chiarugi
The Multiscenario Multienvironment BioSecure Multimodal Database (BMDB)
2010-01-01 Ortega Garcia, J.; Fierrez, J.; Alonso Fernandez, F.; Galbally, J.; Freire, M. R.; Gonzalez Rodriguez, J.; Garcia Mateo, C.; Alba Castro, J. L.; Gonzalez Agulla, E.; Otero Muras, E.; Garcia Salicetti, S.; Allano, L.; Ly Van, B.; Dorizzi, B.; Kittler, J.; Bourlai, T.; Poh, N.; Deravi, F.; Ng, M. N. R.; Fairhurst, M.; Hennebert, J.; Humm, A.; Tistarelli, Massimo; Brodo, Linda; Richiardi, J.; Drygajlo, A.; Ganster, H.; Sukno, F. M.; Pavani, S. K.; Frangi, A.; Akarun, L.; Savran, A.
Detecting and preventing type flaws at static time
2010-01-01 Bodei, Chiara; Brodo, Linda; Degano, Pierpaolo; Gao, Han
Brane Calculi Systems: A Static Preview of their Possible Behaviour
2011-01-01 Bodei, C; Brodo, Linda
On the Expressiveness of the pi-Calculus and the Mobile Ambients
2011-01-01 Brodo, Linda
Visual judgments of kinship: An alternative perspective
2011-01-01 Lorusso, Ludovica; Brelstaff, G; Brodo, Linda; Lagorio, Andrea; Grosso, Enrico
Control Flow Analysis of Generalised Boolean Networks
2012-01-01 Bodei, C.; Brodo, Linda; Chiarugi, D.
Open multiparty interaction
2013-01-01 Bodei, C.; Brodo, Linda; Bruni, R.
La modernità degradata delle periferie: un'analisi di «Berlinguer ti voglio bene»
2014-01-01 Brodo, Linda; Brugnolo, S.
A Flat Process Calculus for Nested Membrane Interactions
2014-01-01 Bodei, C.; Brodo, Linda; Bruni, R.; Chiarugi, D.
Static evidences for attack reconstruction
2015-01-01 Bodei, Chiara; Brodo, Linda; Focardi, Riccardo
A global occurrence counting analysis for Brane Calculi
2015-01-01 Bodei, Chiara; Brodo, Linda; Gori, Roberta; Hermith, Diana; Levi, Francesca
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.
Symbolic semantics for multiparty interactions in the link-calculus
2017-01-01 Brodo, Linda; Olarte, Carlos
Process calculi for biological processes
2018-01-01 Bernini, Andrea; Brodo, Linda; Degano, Pierpaolo; Falaschi, Moreno; Hermith, Diana
On the expressiveness of π-calculus for encoding mobile ambients
2018-01-01 Brodo, Linda
Variabilità geografica nell'accesso e utilizzo dei servizi di salute mentale in Europa
2019-01-01 Seghieri, Chiara; Borghini, Alice; Brodo, Linda; Breschi, Marco
A formal approach to open multiparty interactions
2019-01-01 Bodei, Chiara; Brodo, Linda; Bruni, Roberto
On the complexity of visual judgement of kinship
2019-01-01 Brodo, Linda; Grosso, Enrico
Enhancing Reaction Systems: A Process Algebraic Approach
2019-01-01 Brodo, L.; Bruni, R.; Falaschi, M.
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Static What-if Analysis of Generalised Boolean Networks | 1-gen-2010 | Chiara, Bodei; Brodo, Linda; Davide, Chiarugi | |
The Multiscenario Multienvironment BioSecure Multimodal Database (BMDB) | 1-gen-2010 | Ortega Garcia, J.; Fierrez, J.; Alonso Fernandez, F.; Galbally, J.; Freire, M. R.; Gonzalez Rodriguez, J.; Garcia Mateo, C.; Alba Castro, J. L.; Gonzalez Agulla, E.; Otero Muras, E.; Garcia Salicetti, S.; Allano, L.; Ly Van, B.; Dorizzi, B.; Kittler, J.; Bourlai, T.; Poh, N.; Deravi, F.; Ng, M. N. R.; Fairhurst, M.; Hennebert, J.; Humm, A.; Tistarelli, Massimo; Brodo, Linda; Richiardi, J.; Drygajlo, A.; Ganster, H.; Sukno, F. M.; Pavani, S. K.; Frangi, A.; Akarun, L.; Savran, A. | |
Detecting and preventing type flaws at static time | 1-gen-2010 | Bodei, Chiara; Brodo, Linda; Degano, Pierpaolo; Gao, Han | |
Brane Calculi Systems: A Static Preview of their Possible Behaviour | 1-gen-2011 | Bodei, C; Brodo, Linda | |
On the Expressiveness of the pi-Calculus and the Mobile Ambients | 1-gen-2011 | Brodo, Linda | |
Visual judgments of kinship: An alternative perspective | 1-gen-2011 | Lorusso, Ludovica; Brelstaff, G; Brodo, Linda; Lagorio, Andrea; Grosso, Enrico | |
Control Flow Analysis of Generalised Boolean Networks | 1-gen-2012 | Bodei, C.; Brodo, Linda; Chiarugi, D. | |
Open multiparty interaction | 1-gen-2013 | Bodei, C.; Brodo, Linda; Bruni, R. | |
La modernità degradata delle periferie: un'analisi di «Berlinguer ti voglio bene» | 1-gen-2014 | Brodo, Linda; Brugnolo, S. | |
A Flat Process Calculus for Nested Membrane Interactions | 1-gen-2014 | Bodei, C.; Brodo, Linda; Bruni, R.; Chiarugi, D. | |
Static evidences for attack reconstruction | 1-gen-2015 | Bodei, Chiara; Brodo, Linda; Focardi, Riccardo | |
A global occurrence counting analysis for Brane Calculi | 1-gen-2015 | Bodei, Chiara; Brodo, Linda; Gori, Roberta; Hermith, Diana; Levi, Francesca | |
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. | |
Symbolic semantics for multiparty interactions in the link-calculus | 1-gen-2017 | Brodo, Linda; Olarte, Carlos | |
Process calculi for biological processes | 1-gen-2018 | Bernini, Andrea; Brodo, Linda; Degano, Pierpaolo; Falaschi, Moreno; Hermith, Diana | |
On the expressiveness of π-calculus for encoding mobile ambients | 1-gen-2018 | Brodo, Linda | |
Variabilità geografica nell'accesso e utilizzo dei servizi di salute mentale in Europa | 1-gen-2019 | Seghieri, Chiara; Borghini, Alice; Brodo, Linda; Breschi, Marco | |
A formal approach to open multiparty interactions | 1-gen-2019 | Bodei, Chiara; Brodo, Linda; Bruni, Roberto | |
On the complexity of visual judgement of kinship | 1-gen-2019 | Brodo, Linda; Grosso, Enrico | |
Enhancing Reaction Systems: A Process Algebraic Approach | 1-gen-2019 | Brodo, L.; Bruni, R.; Falaschi, M. |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile