Email: lore.crg@libero.it
Profilo
Didattica
Attività didattica
Incarichi di responsabilità didattica di moduli/insegnamenti
- Software validation and verification (cod. 660AA) per Laurea Magistrale in Informatica
Ricevimento
Luogo: Dipartimento di informatica
Orario: Mercoledì 16-17
Ricerca
Pubblicazioni
- Testing Quantum Processes (Ceragioli, L.; Gadducci, F.; Lomurno, G.; Tedeschi, G. - 2024 - 4.1 Contributo in Atti di convegno)
- Quantum Bisimilarity Is a Congruence Under Physically Admissible Schedulers (Ceragioli, Lorenzo; Gadducci, Fabio; Lomurno, Giuseppe; Tedeschi, Gabriele - 2024 - 4.1 Contributo in Atti di convegno)
- Effect Semantics for Quantum Process Calculi (Ceragioli, Lorenzo; Gadducci, Fabio; Lomurno, Giuseppe; Tedeschi, Gabriele - 2024 - 4.1 Contributo in Atti di convegno)
- FWS: Analyzing, maintaining and transcompiling firewalls (Bodei, Chiara; Ceragioli, Lorenzo; Degano, Pierpaolo; Focardi, Riccardo; Galletta, Letterio; Luccio, Flaminia; Tempesta, Mauro; Veronese, Lorenzo - 2021 - 1.1 Articolo in rivista)
- MuAC: Access Control Language for Mutual Benefits (Ceragioli, L.; Degano, P.; Galletta, L. - 2020 - 4.1 Contributo in Atti di convegno)
- Checking the Expressivity of Firewall Languages (Ceragioli, Lorenzo; Degano, P.; Galletta, L. - 2019 - 2.1 Contributo in volume (Capitolo o Saggio))
- Are All Firewall Systems Equally Powerful? (Ceragioli, L.; Degano, P.; Galletta, L. - 2019 - 2.1 Contributo in volume (Capitolo o Saggio))