Gabriele Cecilia

Personal Information

Comprehensive Exam

List of papers

  • Clément Aubert, Iain Phillips & Irek Ulidowski (2026): Bisimulations and Reversibility. In: Components Operationally: Reversibility and System Engineering, pp. 46–67, Springer Nature Switzerland, Cham. https://doi.org/10.1007/978-3-031-99717-4_3

  • Brian Aydemir, Arthur Charguéraud, Benjamin C. Pierce, Randy Pollack & Stephanie Weirich (2008): Engineering Formal Metatheory. In: Proceedings of the 35th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL ’08, Association for Computing Machinery, New York, NY, USA, pp. 3–15. https://doi.org/10.1145/1328897.1328443

  • Marco Carbone, David Castro-Perez, Francisco Ferreira, Lorenzo Gheri, Frederik Krogsdal Jacobsen, Alberto Momigliano, Luca Padovani, Alceste Scalas, Dawit Tirore, Martin Vassor, Nobuko Yoshida & Daniel Zackon (2024): The Concurrent Calculi Formalisation Benchmark. In Ilaria Castellani & Francesco Tiezzi, editors: Coordination Models and Languages, Springer Nature Switzerland, Cham, pp. 149–158. https://doi.org/10.1007/978-3-031-62697-5_9

  • Vincent Danos & Jean Krivine (2004): Reversible Communicating Systems. In Philippa Gardner & Nobuko Yoshida, editors: CONCUR 2004 - Concurrency Theory, Springer Berlin Heidelberg, Berlin, Heidelberg, pp. 292–307. https://doi.org/10.1007/978-3-540-28644-8_19

  • Ivan Lanese, Iain Phillips & Irek Ulidowski (2024): An Axiomatic Theory for Reversible Computation. ACM Trans. Comput. Logic 25(2). https://doi.org/10.1145/3648474

  • Luca Paolini, Mauro Piccolo & Luca Roversi (2018): A Certified Study of a Reversible Programming Language. In Tarmo Uustalu, editor: 21st International Conference on Types for Proofs and Programs (TYPES 2015), Leibniz International Proceedings in Informatics (LIPIcs) 69, Schloss Dagstuhl – Leibniz Zentrum für Informatik, Dagstuhl, Germany, pp. 7:1–7:21. https://doi.org/10.4230/LIPIcs.TYPES.2015.7

  • Davide Sangiorgi (1996): Locality and Interleaving Semantics in Calculi for Mobile Processes. Theoretical Computer Science 155(1), pp. 39–83. https://doi.org/10.1016/0304-3975(95)00020-8