Publicaciones en colaboración con investigadores/as de University of Verona (4)

2020

  1. Beyond ω-regular languages: ωT-regular expressions and their automata and logic counterparts

    Theoretical Computer Science, Vol. 813, pp. 270-304

2005

  1. Inferring termination conditions for logic programs using backwards analysis

    Theory and Practice of Logic Programming, Vol. 5, Núm. 1-2, pp. 75-91

  2. Information flow analysis for Java bytecode

    Lecture Notes in Computer Science

2003

  1. Goal-independent suspension analysis for logic programs with dynamic scheduling

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 2618, pp. 84-98