Publications

Drafts and Submissions (4)

Editorial Work

  • ACM SIGLOG News - Feature on "Conference Reports" [URL]
  • 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, to appear

Journals (11)

Book Chapters (1)

Peer-Reviewed Contributions (41)

[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 published in CONCUR'15 and ESOP'16. 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
    • 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