Editorial Work

  • ACM SIGLOG News - Feature on "Conference Reports" [URL]

  • Special Issue: Best papers from EXPRESS/SOS'18 (co-editor with S. Tini)

    • Information and Computation (Elsevier), Vol. 275 [URL]

  • Proceedings of FORTE 2019 - 39th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems (co-editor with N. Yoshida)

    • Springer LNCS Vol. 11535 [DOI]

  • Proceedings of EXPRESS/SOS 2019 - Combined 26th International Workshop on Expressiveness in Concurrency and 16th Workshop on Structural Operational Semantics (co-editor with J. Rot)

    • EPTCS Vol. 300 [DOI]

  • Proceedings of EXPRESS/SOS 2018 - Combined 25th International Workshop on Expressiveness in Concurrency and 15th Workshop on Structural Operational Semantics (co-editor with S. Tini)

    • EPTCS Vol. 276 [DOI]

  • Proceedings of DCM 2015 - Eleventh International Workshop on Developments in Computational Models (co-editor with C. Muñoz)

    • EPTCS Vol. 204 [DOI]

  • Special Issue: Best papers from ICTAC'15 (co-editor with M. Leucker, C. Rueda, and F. Valencia)

    • Mathematical Structures in Computer Science (MSCS) - Cambridge University Press, Vol. 29 [DOI]

Drafts and Submissions (4)

Book Chapters (1)

Journals (12)

Peer-Reviewed Contributions

[International Conferences and Workshops. Full and Short Papers]

Technical Reports (3)

  • Core Higher-Order Session Processes: Tractable Equivalences and Relative Expressiveness (with D. Kouzapas and N. Yoshida)

    • This TR comprises papers first published in CONCUR'15 and ESOP'16 and later in Acta Informatica (2017) and Information and Computation (2019), respectively. More details in the dedicated page.

  • Relational Parametricity for Polymorphic Session Types (with L. Caires, F. Pfenning, and B. Toninho.)

  • Higher-Order Concurrency: Expressiveness and Decidability Results (PhD Thesis)

Theses (2)

  • Higher-Order Concurrency: Expressiveness and Decidability Results [PDF]

    • Dottorato di Ricerca in Informatica, University of Bologna, 2010.

      • Supervisor: Davide Sangiorgi

      • External Reviewers: Uwe Nestmann (Berlin) and Nobuko Yoshida (London)

      • Examination Committee: Mariangiola Dezani (Turin), Paola Quaglia (Trento), Francesco Romani (Pisa).

  • Soft Constraints in Concurrent Constraint Programming: Design and Implementation (with Alberto Delgado) (Análisis e Implementación de Mecanismos de Restricciones Débiles para Programación Concurrente por Restricciones)

    • Engineering Degree in Computer Science, Universidad Javeriana (Colombia), February 2006.

    • Work awarded for the achievements accomplished, Council of the School of Engineering, February 10, 2006

Other Works