Publicaciones en colaboración con investigadores/as de University of Naples Federico II (3)

2020

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

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

2019

  1. When are prime formulae characteristic?

    Theoretical Computer Science, Vol. 777, pp. 3-31

2017

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

    Leibniz International Proceedings in Informatics, LIPIcs