Publicaciones en colaboración con investigadores/as de University of Melbourne (6)

2019

  1. A manifesto for future generation cloud computing: Research directions for the next decade

    ACM Computing Surveys, Vol. 51, Núm. 5

2017

  1. Context-sensitive dynamic partial order reduction

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

2013

  1. A CLP heap solver for test case generation

    Theory and Practice of Logic Programming

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

2002

  1. Combining norms to prove termination

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

2001

  1. Higher-precision groundness analysis

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