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

2015

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

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

2009

  1. A declarative encoding of telecommunications feature subscription in SAT

    PPDP'09 - Proceedings of the 11th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming