Publicaciones en colaboración con investigadores/as de KU Leuven (3)

2012

  1. The ABS tool suite: Modelling, executing and analysing distributed adaptable object-oriented systems

    International Journal on Software Tools for Technology Transfer, Vol. 14, Núm. 5, pp. 567-588

2007

  1. Termination analysis of logic programs through combination of type-based norms

    ACM Transactions on Programming Languages and Systems, Vol. 29, Núm. 2

2002

  1. Reuse of results in termination analysis of typed logic programs

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