@unpublished{ictcs25,
  author    = {Massimo Benerecetti and Della Monica, Dario
               and Angelo Matteo and Fabio Mogavero
	       and Gabriele Puppis},
  title     = {An Automaton-based Characterisation of
               First Order Logic over Infinite Trees
	       (short paper)},
  note = "26th Italian Conference on Theoretical Computer
          Science (ICTCS)",
  year = "2025"
}

@unpublished{highlights25,
  author    = {Massimo Benerecetti and Della Monica, Dario
               and Angelo Matteo and Fabio Mogavero
	       and Gabriele Puppis},
  title     = {Towards Automaton-Based Characterisations
               of FO over Trees},
  note = "Highlights of Logic, Games and Automata
          (Highlights)",
  year = "2025"
}

@unpublished{lc24,
  title = "Expressiveness issues in interval
           temporal logics",
  author = "Dario Della Monica and
            Mattia Guiotto",
  note = "Logic Colloquium (LC)",
  year = "2024"
}

@unpublished{aixia22,
  title = "Decision Trees with a Modal Flavor",
  author = "Dario Della Monica and
            Giovanni Pagliarini and
            Guido Sciavicco and
            Ionel Eduard Stan",
  note = "21st International Conference of the
          Italian Association for Artificial
          Intelligence (AIxIA)",
  year = "2022"
}

@unpublished{ictcs21,
  title = "Extended omega-Regular Languages
           and Interval Temporal Logic",
  author = "Della Monica, Dario and
            Angelo Montanari and
            Pietro Sala",
  note = "22nd Italian Conference on Theoretical
            Computer Science (ICTCS)",
  year = "2021"
}

@misc{arXiv21,
  title={Good-for-Game QPTL:
         An Alternating Hodges Semantics},
  author={Dylan Bellier and Massimo Benerecetti
          and Dario Della Monica and Fabio Mogavero},
  year={2021},
  eprint={2104.06085},
  archivePrefix={arXiv},
  primaryClass={cs.LO}
}

@unpublished{overlay20_up_model_checking,
  title = "A Note on Ultimately-Periodic Finite
           Interval Temporal Logic Model Checking",
  author = "Della Monica, D. and A. Montanari and
            G. Sciavicco and Stan, I. E.",
  note = "2nd Workshop on Artificial Intelligence and
          fOrmal VERification, Logic, Automata, and
	  sYnthesis (OVERLAY)",
  year = "2020"
}

@unpublished{overlay20_learning_to_monitor,
  title = "Learning How to Monitor: Pairing Monitoring
           and Learning for Online System Verification",
  author = "A. Brunello and Della Monica, D. and
            A. Montanari and A. Urgolo",
  note = "2nd Workshop on Artificial Intelligence and
          fOrmal VERification, Logic, Automata, and
	  sYnthesis (OVERLAY)",
  year = "2020"
}

@unpublished{races20,
  title = "Learning to Monitor: a Novel Framework
           for Online System Verification",
  author = "A. Brunello and Della Monica, D. and
            A. Montanari and A. Urgolo",
  note = "Reasoning about ACtions and Events over
          Streams (RACES) within KR 2020",
  year = "2020"
}

@unpublished{ictcs20,
  title = "Time Series Checking with Fuzzy Interval Temporal Logics",
  author = "Willem Conradie and
            Della Monica, Dario and
	    Emilio Mu{\~n}oz-Velasco and
	    Guido Sciavicco and
            Ionel Eduard Stan",
  note = "21st Italian Conference on Theoretical
            Computer Science (ICTCS)",
  year = "2020"
}

@unpublished{overlay19_combined_verification,
  author    = {Della Monica, D. and
               A. Francalanza},
  title     = {Pushing runtime verification to the limit:
               May process semantics be with us},
  year      = {2019},
  note      = {1st Workshop on Artificial Intelligence and
               fOrmal VERification, Logic, Automata, and
	       sYnthesis (OVERLAY)}
}

@unpublished{overlay19_machine_learning_for_monitoring,
  author    = {A. Brunello and
               Della Monica, D. and
               A. Montanari},
  title     = {Pairing monitoring with machine learning
               for smart system verification and
	       predictive maintenance},
  year      = {2019},
  note      = {1st Workshop on Artificial Intelligence and
               fOrmal VERification, Logic, Automata, and
	       sYnthesis (OVERLAY)}
}

@unpublished{fmlamas18,
  author    = {Della Monica, D. and
               A. Murano},
  title     = {Parity-energy {ATL} for qualitative and
               quantitative reasoning in {MAS}},
  year      = {2018},
  note      = {Workshop on Formal Methods & Logical
               Aspects of Multi-Agent Systems (FMLAMAS)}
}

@unpublished{ictcs17_omega_languages,
  title = "Counter-queue automata with an application to a meaningful
           extension of omega-regular languages",
  author = "Barozzini, D. and Della Monica, D. and A. Montanari and
            P. Sala",
  note = "18th Italian Conference on Theoretical
            Computer Science (ICTCS)",
  year = "2017"
}

@unpublished{ictcs17_model_checking,
  title = "A model checker for interval temporal logic over
           finite structures",
  author = "E. Cominato and Della Monica, D. and A. Montanari and
            G. Sciavicco",
  note = "18th Italian Conference on Theoretical
            Computer Science (ICTCS)",
  year = "2017"
}

@unpublished{nwpt15,
  title = "Towards A Hybrid Approach to Software Verification",
  author = "Della Monica, D. and A. Francalanza",
  note = "27th Nordic Workshop on Programming Theory (NWPT)",
  year = "2015"
}

@unpublished{prole15,
  title = "Proving Continuity of Coinductive Global
           Bisimulation Distances: A Never-ending Story",
  author = "Romero-Hérnandez, D. and
            de Frutos-Escrig, D. and
            Della Monica, D.",
  note = "15th Jornadas sobre PROgramación y LEnguajes (PROLE)",
  year = "2015"
}

@unpublished{cilc13,
  title = "A Tableau System for Right Propositional
           Neighborhood Logic over Finite Linear
           Orders: an Implementation",
  author = "D. Bresolin and Della Monica, D. and
            A. Montanari and G. Sciavicco",
  note = "28th Italian Conference on Computational Logic (CILC)",
  year = "2013"
}

@unpublished{ictcs13,
    Author = {L. Aceto and Della Monica, D. and
            A. Ing\'olfsd\'ottir and A. Montanari and
            G. Sciavicco},
    Title = {A complete classification of the expressiveness
             of interval logics of Allen's relations over dense
             linear orders},
    Note = {14th Italian Conference on Theoretical
            Computer Science (ICTCS)},
    Year = {2013}}

@unpublished{games12,
    Author = {Della Monica, D. and M. Napoli and M. Parente},
    Title = {{Model Checking Coalitional Games with
              Priced-Resource Agents}},
    Note = {Annual Workshop of the ESF Networking Programme
            on Games for Design and
            Verification (GAMES)},
    Year = {2012}}

@unpublished{games11_expressiveness,
    Author = {Della Monica, D. and V. Goranko and
              A. Montanari and G. Sciavicco},
    Title = {{Expressiveness of the Interval Logics of Allen's
              Relations on the Class of all Linear Orders:
	      Complete Classification}},
    Note = {Annual Workshop of the ESF Networking Programme on
            Games for Design and Verification (GAMES)},
    Year = {2011}}

@unpublished{games11_agents,
    Author = {Della Monica, D. and M. Napoli and M. Parente},
    Title = {{On a Logic for Coalitional Games with
              Priced-Resource Agents}},
    Note = {Annual Workshop of the ESF Networking Programme
            on Games for Design and Verification (GAMES)},
    Year = {2011}}

@unpublished{cilc11,
    Author = {Della Monica, D. and M. Napoli and M. Parente},
    Title = {{Coalitional Games with Priced-Resource Agents}},
    Note = {26-esimo Convegno Italiano di Logica Computazionale (CILC).
            Published online on CEUR-WS.org (ISSN 1613-0073,
	    URN: nbn:de:0074-810-0), 810:341-347},
    Year = {2011}}

@unpublished{games10,
    Author = {D. Bresolin and Della Monica, D. and V. Goranko
              and A. Montanari and G. Sciavicco},
    Title = {{Metric Propositional Neighborhood Logics:
              Expressiveness, Decidability, and Undecidability}},
    Note = {Annual Workshop of the ESF Networking Programme on
            Games for Design and Verification (GAMES)},
    Month = {September},
    Year = {2010}}

@unpublished{games09,
    Author = {D. Bresolin and Della Monica, D. and V. Goranko
              and A. Montanari and G. Sciavicco},
    Title = {Undecidability of the {L}ogic of the \emph{{O}verlap}
             {R}elation over {D}iscrete {L}inear {O}rderings},
    Note = {Annual Workshop of the ESF Networking Programme on Games
            for Design and Verification (GAMES)},
    Month = {September},
    Year = {2009}}