Instituto IMDEA Software-ko ikertzaileekin lankidetzan egindako argitalpenak (5)

2015

  1. Two decades of Maude

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

2012

  1. Certificate size reduction in abstraction-carrying code

    Theory and Practice of Logic Programming, Vol. 12, Núm. 3, pp. 283-318

2009

  1. Type-based homeomorphic embedding for online termination

    Information Processing Letters, Vol. 109, Núm. 15, pp. 879-886

  2. Unification and narrowing in maude 2.4

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