Welcome to my webpage

Some technical reports and extended versions

full text: download the full text in pdf             BibTeX: export the citation in BibTeX
  • full text BibTeX D. Della Monica, D. de Frutos-Escrig, A. Montanari, A. Murano, and G. Sciavicco. Evaluation of temporal datasets via interval temporal logic model checking.
    *** Extended version of a paper submitted to conference.
  • full text BibTeX D. Della Monica, A. Montanari, A. Murano, and P. Sala. Prompt Interval Temporal Logic (extended version).
    *** Extended version of JELIA 2016.
  • full text BibTeX D. Della Monica, A. Montanari, and P. Sala. Beyond ωBS-regular languages: The class of ωT-regular languages (extended version).
    *** Extended version of a paper submitted to conference.
  • full text BibTeX L. Aceto, D. Della Monica, I. Fábregas, and A. Ingolfsdottir. When are prime formulae characteristic? (extended version).
    *** Extended version of MFCS 2015.
  • full text BibTeX D. Bresolin, D. Della Monica, A. Montanari, P. Sala, and G. Sciavicco. On the Complexity of Fragments of the Modal Logic of Allen's Relations over Dense Structures (extended version).
    *** Extended version of LATA 2015.
  • full text BibTeX L. Aceto, D. Della Monica, A. Ingolfsdottir, A. Montanari, and G. Sciavicco. On the expressiveness of the interval logic of Allen's relations over finite and discrete linear orders (extended version).
    *** Extended version of JELIA 2014.