CERAGIOLI, LORENZO Statistiche
CERAGIOLI, LORENZO
DIPARTIMENTO DI INFORMATICA
Effect Semantics for Quantum Process Calculi
2024-01-01 Ceragioli, Lorenzo; Gadducci, Fabio; Lomurno, Giuseppe; Tedeschi, Gabriele
Quantum Bisimilarity Is a Congruence Under Physically Admissible Schedulers
2024-01-01 Ceragioli, Lorenzo; Gadducci, Fabio; Lomurno, Giuseppe; Tedeschi, Gabriele
Testing Quantum Processes
2024-01-01 Ceragioli, L.; Gadducci, F.; Lomurno, G.; Tedeschi, G.
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
MuAC: Access Control Language for Mutual Benefits
2020-01-01 Ceragioli, L.; Degano, P.; Galletta, L.
Are All Firewall Systems Equally Powerful?
2019-01-01 Ceragioli, L.; Degano, P.; Galletta, L.
Checking the Expressivity of Firewall Languages
2019-01-01 Ceragioli, Lorenzo; Degano, P.; Galletta, L.
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Effect Semantics for Quantum Process Calculi | 1-gen-2024 | Ceragioli, Lorenzo; Gadducci, Fabio; Lomurno, Giuseppe; Tedeschi, Gabriele | |
| Quantum Bisimilarity Is a Congruence Under Physically Admissible Schedulers | 1-gen-2024 | Ceragioli, Lorenzo; Gadducci, Fabio; Lomurno, Giuseppe; Tedeschi, Gabriele | |
| Testing Quantum Processes | 1-gen-2024 | Ceragioli, L.; Gadducci, F.; Lomurno, G.; Tedeschi, G. | |
| 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 | |
| MuAC: Access Control Language for Mutual Benefits | 1-gen-2020 | Ceragioli, L.; Degano, P.; Galletta, L. | |
| Are All Firewall Systems Equally Powerful? | 1-gen-2019 | Ceragioli, L.; Degano, P.; Galletta, L. | |
| Checking the Expressivity of Firewall Languages | 1-gen-2019 | Ceragioli, Lorenzo; Degano, P.; Galletta, L. |