BODEI, CHIARA Statistiche
BODEI, CHIARA
DIPARTIMENTO DI INFORMATICA
Una storia nazionale: il Museo degli Strumenti per il calcolo
2022-01-01 Bodei, Chiara; Gadducci, Fabio; Lettieri, Giuseppe
FWS: Analyzing, maintaining and transcompiling firewalls
2021-01-01 Bodei, Chiara; Ceragioli, Lorenzo; Degano, Pierpaolo; Focardi, Riccardo; Galletta, Letterio; Luccio, Flaminia; Tempesta, Mauro; Veronese, Lorenzo
Giornate Fibonacci: 850° anniversario della nascita di Leonardo Pisano, detto il Fibonacci, Pisa, Università di Pisa, 20-23 novem- bre 2020
2021-01-01 Bodei, C.; Gadducci, F.
Modelling and analysing IoT systems
2021-01-01 Bodei, Chiara; Degano, Pierpaolo; Ferrari, GIAN-LUIGI; Galletta, Letterio
1839: la prima Riunione degli Scienziati Italiani Atti della giornata di studi tenuta a 180 anni di distanza
2020-01-01 Bodei, Chiara; Finelli, Pietro
Analysing the Provenance of IoT Data
2020-01-01 Bodei, Chiara; Galletta, Letterio
Hello world! L'informatica dall'aritmometro allo smartphone
2020-01-01 Bodei, Chiara; Gadducci, Fabio; Lettieri, Giuseppe
Natural Projection as Partial Model Checking
2020-01-01 Costa, G.; Galletta, L.; Degano, P.; Basin, D.; Bodei, C.
Security Metrics at Work on the Things in IoT Systems
2020-01-01 Bodei, Chiara; Degano, Pierpaolo; Ferrari, GIAN-LUIGI; Galletta, Letterio
The link-calculus for open multiparty interactions
2020-01-01 Bodei, Chiara; Brodo, Linda; Bruni, Roberto
A formal approach to open multiparty interactions
2019-01-01 Bodei, Chiara; Brodo, Linda; Bruni, Roberto
Measuring security in IoT communications
2019-01-01 Bodei, Chiara; Chessa, Stefano; Galletta, Letterio
Programming in a context-aware language
2019-01-01 Bodei, Chiara; Degano, Pierpaolo; Ferrari, GIAN-LUIGI; Galletta, Letterio
Revealing the trajectories of KLAIM tuples, statically
2019-01-01 Bodei, C.; Degano, P.; Ferrari, G. -L.; Galletta, L.
Tracking data trajectories in IoT
2019-01-01 Bodei, C.; Galletta, L.
Firewall Management With FireWall Synthesizer
2018-01-01 Bodei, Chiara; Degano, Pierpaolo; Focardi, Riccardo; Galletta, Letterio; Tempesta, Mauro; Veronese, Lorenzo
From Natural Projection to Partial Model Checking and Back
2018-01-01 Costa, Gabriele; Basin, David; Bodei, Chiara; Degano, Pierpaolo; Galletta, Letterio
Language-Independent Synthesis of Firewall Policies
2018-01-01 Bodei, Chiara; Degano, Pierpaolo; Galletta, Letterio; Focardi, Riccardo; Tempesta, Mauro; Veronese, Lorenzo
Sustainable precision agriculture from a process algebraic perspective: a smart vineyard
2018-01-01 Bodei, Chiara; Degano, Pierpaolo; Ferrari, GIAN-LUIGI; Galletta, Letterio
Transcompiling Firewalls
2018-01-01 Bodei, Chiara; Degano, Pierpaolo; Focardi, Riccardo; Galletta, Letterio; Tempesta, Mauro
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Una storia nazionale: il Museo degli Strumenti per il calcolo | 1-gen-2022 | Bodei, Chiara; Gadducci, Fabio; Lettieri, Giuseppe | |
| FWS: Analyzing, maintaining and transcompiling firewalls | 1-gen-2021 | Bodei, Chiara; Ceragioli, Lorenzo; Degano, Pierpaolo; Focardi, Riccardo; Galletta, Letterio; Luccio, Flaminia; Tempesta, Mauro; Veronese, Lorenzo | |
| Giornate Fibonacci: 850° anniversario della nascita di Leonardo Pisano, detto il Fibonacci, Pisa, Università di Pisa, 20-23 novem- bre 2020 | 1-gen-2021 | Bodei, C.; Gadducci, F. | |
| Modelling and analysing IoT systems | 1-gen-2021 | Bodei, Chiara; Degano, Pierpaolo; Ferrari, GIAN-LUIGI; Galletta, Letterio | |
| 1839: la prima Riunione degli Scienziati Italiani Atti della giornata di studi tenuta a 180 anni di distanza | 1-gen-2020 | Bodei, Chiara; Finelli, Pietro | |
| Analysing the Provenance of IoT Data | 1-gen-2020 | Bodei, Chiara; Galletta, Letterio | |
| Hello world! L'informatica dall'aritmometro allo smartphone | 1-gen-2020 | Bodei, Chiara; Gadducci, Fabio; Lettieri, Giuseppe | |
| Natural Projection as Partial Model Checking | 1-gen-2020 | Costa, G.; Galletta, L.; Degano, P.; Basin, D.; Bodei, C. | |
| Security Metrics at Work on the Things in IoT Systems | 1-gen-2020 | Bodei, Chiara; Degano, Pierpaolo; Ferrari, GIAN-LUIGI; Galletta, Letterio | |
| The link-calculus for open multiparty interactions | 1-gen-2020 | Bodei, Chiara; Brodo, Linda; Bruni, Roberto | |
| A formal approach to open multiparty interactions | 1-gen-2019 | Bodei, Chiara; Brodo, Linda; Bruni, Roberto | |
| Measuring security in IoT communications | 1-gen-2019 | Bodei, Chiara; Chessa, Stefano; Galletta, Letterio | |
| Programming in a context-aware language | 1-gen-2019 | Bodei, Chiara; Degano, Pierpaolo; Ferrari, GIAN-LUIGI; Galletta, Letterio | |
| Revealing the trajectories of KLAIM tuples, statically | 1-gen-2019 | Bodei, C.; Degano, P.; Ferrari, G. -L.; Galletta, L. | |
| Tracking data trajectories in IoT | 1-gen-2019 | Bodei, C.; Galletta, L. | |
| Firewall Management With FireWall Synthesizer | 1-gen-2018 | Bodei, Chiara; Degano, Pierpaolo; Focardi, Riccardo; Galletta, Letterio; Tempesta, Mauro; Veronese, Lorenzo | |
| From Natural Projection to Partial Model Checking and Back | 1-gen-2018 | Costa, Gabriele; Basin, David; Bodei, Chiara; Degano, Pierpaolo; Galletta, Letterio | |
| Language-Independent Synthesis of Firewall Policies | 1-gen-2018 | Bodei, Chiara; Degano, Pierpaolo; Galletta, Letterio; Focardi, Riccardo; Tempesta, Mauro; Veronese, Lorenzo | |
| Sustainable precision agriculture from a process algebraic perspective: a smart vineyard | 1-gen-2018 | Bodei, Chiara; Degano, Pierpaolo; Ferrari, GIAN-LUIGI; Galletta, Letterio | |
| Transcompiling Firewalls | 1-gen-2018 | Bodei, Chiara; Degano, Pierpaolo; Focardi, Riccardo; Galletta, Letterio; Tempesta, Mauro |