Publicaciones en colaboración con investigadores/as de Università di Udine (3)

2020

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

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

2017

  1. Evaluation of temporal datasets via interval temporal logic model checking

    Leibniz International Proceedings in Informatics, LIPIcs

1998

  1. Improving control in functional logic program specialization

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