Publicaciones en colaboración con investigadores/as de Universidad Autónoma de Madrid (3)

2018

  1. SICOMORo-CM: Development of Trustworthy Systems via Models and Advanced Tools

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

2015

  1. May-happen-in-parallel analysis for actor-based concurrency

    ACM Transactions on Computational Logic, Vol. 17, Núm. 2

2005

  1. Abstraction carrying code and resource-awareness

    PPDP'05 - Proceedings of the Seventh ACM SIGPLAN Conference on Principles and Practice of Declarative Programming