Lorenzo Ceragioli

Teaching activity

Teaching responsibility for modules/courses

Teaching register

Lesson timetable

Student consultation hours

Location: Dipartimento di informatica

Time: Mercoledì 16-17

Publications

• 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))

All publications by Lorenzo Ceragioli on ARPI, the Research Archive of the University of Pisa