Some technical reports and extended versions

• Andrea Brunello, Dario Della Monica, Angelo Montanari, and Andrea Urgolo. Monitors that learn from failures.
  *** Submitted to conference.

  @unpublished{monitors_learn_from_failures_techrep,
    author    = {Andrea Brunello and
                 Dario Della Monica and
                 Angelo Montanari and
                 Andrea Urgolo}.
    title     = {Monitors that learn from failures},
    note      = {available at
    \url{http://wpage.unina.it/dario.dellamonica/techrep/monitors_learn_from_failures.pdf}},
    year      = {2022}
  }
  

  
  

• 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.

  @unpublished{model_rating_for_rule_extraction_techrep,
    author    = {D. Della Monica and
                 D. de Frutos-Escrig and
                 A. Montanari and
                 A. Murano and
                 G. Sciavicco},
    title     = {Evaluation of temporal datasets via interval
                 temporal logic model checking},
    note      = {available at
    \url{http://wpage.unina.it/dario.dellamonica/techrep/model_rating_for_rule_extraction.pdf}},
    year      = {2017}
  }
  

  
  

• D. Della Monica, A. Montanari, A. Murano, and P. Sala. Prompt Interval Temporal Logic (extended version).
  *** Extended version of JELIA 2016.

  @unpublished{jelia16ext,
    author = {Dario Della Monica and Angelo Montanari
              and Aniello Murano and Pietro Sala},
    title = {Prompt Interval Temporal Logic (extended version)},
    year = {2016},
    note = {available at
    \url{http://www.icetcs.ru.is/dario/techrep/promptPNL_ext.pdf}}
  }
  

  
  

• 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.

  @unpublished{this_extended,
    author = {Della Monica, Dario and
              Montanari, Angelo and
              Sala, Pietro},
    title  = {Beyond $\omega{BS}$-regular languages:
              The class of $\omega{T}$-regular languages
              (extended version)},
    note   = {available at
  \url{http://users.dimi.uniud.it/~dario.dellamonica/techrep/fossacs16_ext.pdf}},
    year   = {2015}
  }
  

  
  

• L. Aceto, D. Della Monica, I. Fábregas, and A. Ingolfsdottir. When are prime formulae characteristic? (extended version).
  *** Extended version of MFCS 2015.

  @unpublished{mfcs15ext,
    title = "When are prime formulae characteristic?
             (extended version)",
    author = "L. Aceto and
              Della Monica, D. and
              I. F\'abregas and
              A. Ing\'olfsd\'ottir",
    note = "available at
  \url{http://www.icetcs.ru.is/dario/techrep/mfcs15ext.pdf}",
    year = "2015"
  }
  

  
  

• 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.

  @unpublished{lata15ext,
    title = "On the Complexity of Fragments of the Modal Logic
             of Allen's Relations over Dense Structures
             (extended version)",
    author = "Davide Bresolin and
              Della Monica, Dario and
              Angelo Montanari and
              Pietro Sala and
              Guido Sciavicco",
    note = "available at
  \url{http://www.icetcs.ru.is/dario/techrep/lata15ext.pdf}",
    year = "2014"
  }
  

  
  

• 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.

  @unpublished{jelia14ext,
    title = "On the expressiveness of the interval logic
             of {A}llen's relations over finite and discrete
             linear orders (extended version)",
    author = "Luca Aceto and
              Della Monica, Dario and
              Anna Ing\'olfsd\'ottir and
              Angelo Montanari and
              Guido Sciavicco",
    note = "available at
  \url{http://www.di.unisa.it/dottorandi/dario.dellamonica/temp/expr_disc_ext.pdf}",
    year = "2014"
  }