@unpublished{mfcs26,
  author = {Massimo Benerecetti and
            Della Monica, Dario and
	    Angelo Matteo and
	    Fabio Mogavero and
	    Gabriele Puppis},
  title = {Deciding the Common Fragment
           of {CTL} with {P}ast and {LTL}},
  note = {To appear in the Proc. of the 51st
          International Symposium on Mathematical
	  Foundations of Computer Science (MFCS)},
  year = {2026}
}

@inproceedings{gandalf25,
  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},
  booktitle = {Proc. of the 16th International Symposium on Games,
               Automata, Logics and Formal Verification (GandALF)},
  editor    = {Bacci, Giorgio and Francalanza, Adrian},
  series    = {Electronic Proceedings in Theoretical
               Computer Science (EPTCS)},
  volume    = {428},
  publisher = {Open Publishing Association},
  pages     = {45-61},
  doi       = {10.4204/EPTCS.428.5},
  year      = {2025}
}

@inproceedings{gandalf24,
  author    = {Renato Acampora and Della Monica, Dario
               and Luca Geatti and Nicola Gigante
	       and Angelo Montanari and Pietro Sala},
  title     = {Synthesis of Timeline-Based Planning Strategies
               Avoiding Determinization},
  booktitle = {Proc. of the 15th International Symposium on Games,
               Automata, Logics and Formal Verification (GandALF)},
  editor    = {Achilleos, Antonis and Francalanza, Adrian},
  series    = {Electronic Proceedings in Theoretical
               Computer Science (EPTCS)},
  volume    = {409},
  publisher = {Open Publishing Association},
  pages     = {5-18},
  doi       = {10.4204/EPTCS.409.5},
  year      = {2024},
  url_Paper  = {gandalf24.pdf},
  url_Link   = {Link="http://example.com/1830/measurements-of-the-world.html"},
  url_Slides = {gandalf24_slides.pdf}
}

@proceedings{gandalf23,
  editor = {Antonis Achilleos and Della Monica, Dario},
  title = {Proceedings of the 14th International
           Symposium on Games, Automata, Logics
	   and Formal Verification (GandALF)},
  series    = {EPTCS},
  volume = {390},
  year = 2023,
  doi = {10.4204/eptcs.390},
  url = {https://arxiv.org/abs/2309.17318},
  publisher = {Open Publishing Association}
}

@article{apal23,
title = {Alternating ({I}n){D}ependence-{F}riendly
         {L}ogic},
journal = {Annals of Pure and Applied Logic},
pages = {103315},
year = {2023},
issn = {0168-0072},
doi = {10.1016/j.apal.2023.103315},
author = {Dylan Bellier and Massimo Benerecetti and
          Dario {Della Monica} and Fabio Mogavero},
keywords = {Independence-Friendly Logic,
            Game-Theoretic Semantics,
	    Compositional Semantics}
}

@article{ieeeAccess23,
  author = {Andrea Brunello and
            Della Monica, Dario and
            Angelo Montanari and
            Nicola Saccomanno and
            Andrea Urgolo},
  journal={IEEE Access},
  title = {Monitors that Learn from Failures:
           Pairing {STL} and Genetic Programming},
  year = {2023},
  volume={},
  number={},
  pages={1-1},
  doi={10.1109/ACCESS.2023.3277620},
  note = {Online since May 2023}
}

@article{tcs23,
  title = "An interval temporal logic
           characterization of extended
           omega-regular languages",
  journal = "Theoretical Computer Science (TCS)",
  year = "2023",
  author = "Della Monica, Dario and
            Angelo Montanari and Pietro Sala",
  issn = "0304-3975",
  doi = "10.1016/j.tcs.2023.113929",
  keywords = "Temporal logic, omega-regular
              expressions, expressiveness"
}

@inproceedings{lics23,
  title = "The Logic of Prefixes and Suffixes
           is Elementary under Homogeneity",
  year = "2023",
  author = "Della Monica, Dario and
            Angelo Montanari and Gabriele Puppis
            and Pietro Sala",
  booktitle    = {Proceedings of the 38th Annual
                  ACM/IEEE Symposium on Logic in
		  Computer Science (LICS)},
  pages        = {1--12},
  doi          = {10.1109/LICS56636.2023.10175824}
}

@article{fss23,
  title = {Fuzzy {H}alpern and {S}hoham's Interval
           Temporal Logics},
  journal = {Fuzzy Sets and Systems},
  year = {2023},
  volume = {456},
  pages = {107-124},
  issn = {0165-0114},
  doi = {10.1016/j.fss.2022.05.014},
  author = {Willem Conradie and
            Della Monica, Dario and
	    Emilio Mu{\~n}oz-Velasco and
	    Guido Sciavicco and
	    Ionel Eduard Stan},
  keywords = {Fuzzy interval temporal logic,
              Satisfiability,
	      Expressive power,
	      Finite model checking},
  note = {Available online since 24 May 2022}
}

@article{tocl23,
author = {Bellier, Dylan and Benerecetti, Massimo
          and Della Monica, Dario
	  and Mogavero, Fabio},
title = {Good-for-Game {QPTL}: An Alternating
         {H}odges Semantics},
year = {2023},
issue_date = {January 2023},
publisher = {Association for Computing Machinery},
address = {New York, NY, USA},
volume = {24},
number = {1},
issn = {1529-3785},
url = {https://doi.org/10.1145/3565365},
doi = {10.1145/3565365},
journal = {ACM Trans. Comput. Logic (ToCL)},
month = {jan},
articleno = {4},
numpages = {57},
}

@proceedings{gandalf22,
  editor = {Pierre Ganty and Della Monica, Dario},
  title = {Proceedings of the 13th International
           Symposium on Games, Automata, Logics
	   and Formal Verification (GandALF)},
  series    = {EPTCS},
  volume = {370},
  year = 2022,
  doi = {10.4204/eptcs.370},
  url = {https://doi.org/10.4204/eptcs.370},
  publisher = {Open Publishing Association}
}

@proceedings{overlay21,
  editor    = {Della Monica, Dario and
               Gian Luca Pozzato and
               Enrico Scala},
  title     = {Proceedings of the 3rd Workshop on
               Artificial Intelligence and Formal
               Verification, Logic, Automata, and
               Synthesis (OVERLAY)},
  series    = {CEUR Workshop Proceedings},
  volume    = {2987},
  publisher = {CEUR-WS.org},
  year      = {2021}
}

@proceedings{fi20,
  editor    = {Della Monica, Dario and
               Aniello Murano and
               Luigi Sauro},
  title     = {Preface},
  series    = {Fundam. Informaticae},
  volume    = {176},
  year      = {2020},
  doi       = {10.3233/FI-2020-1971}
}

@inproceedings{time20,
  author = {Della Monica, Dario and
	    Nicola Gigante and
	    La Torre, Salvatore and
	    Angelo Montanari},
  title = {Complexity of qualitative
           timeline-based planning},
  booktitle = {Proc. of the 27th International
               Symposium on Temporal Representation
	       and Reasoning (TIME)},
  pages = {16:1--16:13},
  series = {Leibniz International Proceedings in
            Informatics (LIPIcs)},
  ISBN = {978-3-95977-167-2},
  ISSN = {1868-8969},
  volume = {178},
  editor = {Emilio Mu{\~n}oz-Velasco and Ana Ozaki
            and Martin Theobald},
  publisher = {Schloss Dagstuhl--Leibniz-Zentrum f{\"u}r Informatik},
  doi = {10.4230/LIPIcs.TIME.2020.16},
  year = {2020}
}

@inproceedings{ecai20,
  author = {Willem Conradie and
            Della Monica, Dario and
	    Emilio Mu{\~n}oz-Velasco and
	    Guido Sciavicco},
  title = {An Approach to Fuzzy Modal Logic
           of Time Intervals},
  booktitle = {Proc. of the 24th European Conference
               on Artificial Intelligence (ECAI)},
  pages = {696--703},
  series = {Frontiers in Artificial Intelligence
            and Applications},
  ISBN = {978-1-64368-100-9 (print), 978-1-64368-101-6 (online)},
  ISSN = {0922-6389 (print), 1879-8314 (online)},
  volume = {325},
  doi = {10.3233/FAIA200156},
  year = {2020}
}

@article{tcs20,
  title = "Beyond {$\omega$}-regular languages:
           {$\omega T$}-regular expressions and
           their automata and logic counterparts",
  journal = "Theoretical Computer Science",
  volume = "813",
  pages = "270--304",
  year = "2020",
  issn = "0304-3975",
  doi = "10.1016/j.tcs.2019.12.029",
  author = "David Barozzini and de Frutos-Escrig,
            David and Della Monica, Dario and
            Angelo Montanari and Pietro Sala"
}

@inproceedings{gcai19,
  author    = {Della Monica, D. and
               A. Montanari and
               A. Murano and
               G. Sciavicco},
  title     = {Ultimately-periodic interval model
               checking for temporal dataset
               evaluation},
  booktitle = {Proc. of the 5th Global Conference
               on Artificial Intelligence (GCAI)},
  editor    = {Diego Calvanese and Luca Iocchi},
  series    = {EPiC Series in Computing},
  volume    = {65},
  pages     = {28--41},
  year      = {2019},
  publisher = {EasyChair},
  issn      = {2398-7340},
  doi       = {10.29007/r3pf}
}

@article{ic19,
  title = "Decidability and complexity of the fragments
           of the modal logic of {A}llen's relations
           over the rationals",
  journal = "Information and Computation",
  year = "2019",
  issn = "0890-5401",
  doi = "10.1016/j.ic.2019.02.002",
  author = "D. Bresolin and Della Monica, D. and
            A. Montanari and P. Sala and G. Sciavicco",
  note = "Available online since 4 March 2019"
}

@article{tcs19,
  title = "When are prime formulae characteristic?",
  journal = "Theoretical Computer Science",
  year = "2019",
  volume = "777",
  pages = {3--31},
  issn = "0304-3975",
  doi = {10.1016/j.tcs.2018.12.004},
  author = "Luca Aceto and Della Monica, Dario and
            Ignacio F\'abregas and Anna Ing\'olfsd\'ottir",
  note = "Available online since 6 December 2018"
}

@inproceedings{kr18,
  author    = {Della Monica, D. and
               N. Gigante and
               A. Montanari and
               P. Sala},
  title     = {A novel automata-theoretic approach to
               timeline-based planning},
  booktitle = {Proc. of the 16th International
               Conference on Principles of Knowledge
	       Representation and Reasoning (KR)},
  pages     = {541--550},
  year      = {2018},
  editor    = {Michael Thielscher and
               Francesca Toni and
               Frank Wolter},
  publisher = {{AAAI} Press},
  url       =
  {https://aaai.org/ocs/index.php/KR/KR18/paper/view/18024},
  isbn      = {978-1-57735-803-9}
}

@inproceedings{aamas18,
  author    = {Della Monica, D. and
               A. Murano},
  title     = {Parity-energy {ATL} for {Q}ualitative and
               {Q}uantitative {R}easoning in {MAS}},
  booktitle = {Proc. of the 17th International Conference
               on Autonomous Agents and
	       MultiAgent Systems (AAMAS)},
  pages     = {1441--1449},
  year      = {2018},
  address   = {Stockholm, Sweden}
}

@proceedings{ictcs_cilc17,
  editor    = {Della Monica, Dario and
               Aniello Murano and
               Sasha Rubin and
               Luigi Sauro},
  title     = {Joint Proceedings of the 18th Italian
               Conference on Theoretical Computer
               Science (ICTCS) and the 32nd Italian
	       Conference on Computational Logic (CILC)},
  series    = {CEUR Workshop Proceedings},
  volume    = {1949},
  publisher = {CEUR-WS.org},
  year      = {2017}
}

@inproceedings{ijcai17,
  author    = {Della Monica, D. and
               N. Gigante and
               A. Montanari and
               P. Sala
               and G. Sciavicco},
  title     = {Bounded Timed Propositional Temporal
               Logic with Past Captures Timeline-based
               Planning with Bounded Constraints},
  booktitle = {Proc. of the 26th International Joint
               Conference on Artificial Intelligence
               (IJCAI)},
  pages     = {1008--1014},
  year      = {2017},
  editor    = {Carles Sierra},
  publisher = {ijcai.org},
  doi       = {10.24963/ijcai.2017/140},
  isbn      = {978-0-9992411-0-3},
  address   = {Melbourne, Australia},
  month     = {August}
}

@inproceedings{rv17,
  author    = {Adrian Francalanza and
               Luca Aceto and
               Antonis Achilleos and
               Attard, Duncan Paul and
               Ian Cassar and
               Della Monica, Dario and
               Anna Ing{\'{o}}lfsd{\'{o}}ttir},
  title     = {A Foundation for Runtime Monitoring},
  booktitle = {Proc. of the 17th International Conference on Runtime
               Verification (RV)},
  pages     = {8--29},
  year      = {2017},
  editor    = {Shuvendu K. Lahiri and
               Giles Reger},
  series    = {Lecture Notes in Computer Science},
  volume    = {10548},
  publisher = {Springer},
  doi       = {10.1007/978-3-319-67531-2_2},
  isbn      = {978-3-319-67530-5},
  address   = {Seattle, WA, USA},
  month     = {September}
}

@inproceedings{time17,
  author    = {Della Monica, Dario and
               de Frutos{-}Escrig, David and
               Angelo Montanari and
               Aniello Murano and
               Guido Sciavicco},
  title     = {Evaluation of Temporal Datasets via Interval
               Temporal Logic Model Checking},
  booktitle = {Proc. of the 24th International Symposium on
               Temporal Representation and Reasoning (TIME)},
  pages     = {11:1--11:18},
  year      = {2017},
  editor    = {Sven Schewe and
               Thomas Schneider and
               Jef Wijsen},
  series    = {LIPIcs},
  volume    = {90},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
  doi       = {10.4230/LIPIcs.TIME.2017.11},
  address   = {Mons, Belgium},
  month     = {October}
}

@inproceedings{gandalf17,
  author    = {Della Monica, Dario and
               Angelo Montanari and
               Pietro Sala},
  title     = {Beyond $\omega {BS}$-regular
               Languages: $\omega{T}$-regular
	       Expressions and Counter-Check Automata},
  booktitle = {Proc. of the 8th International Symposium on Games,
               Automata, Logics and Formal Verification (GandALF)},
  pages     = {223--237},
  year      = {2017},
  editor    = {Patricia Bouyer and
               Andrea Orlandini and
               San Pietro, Pierluigi},
  series    = {{EPTCS}},
  volume    = {256},
  doi       = {10.4204/EPTCS.256.16},
  address   = {Roma, Italy},
  month     = {September}
}

@inproceedings{jelia16,
  author    = {Della Monica, Dario and
               Angelo Montanari and
               Aniello Murano and
               Pietro Sala},
  title     = {Prompt Interval Temporal Logic},
  booktitle = {Proc. of the 15th European Conference On
               Logics In Artificial Intelligence (JELIA)},
  series    = {Lecture Notes in Computer Science},
  volume    = {10021},
  pages     = {207--222},
  year      = {2016},
  isbn      = {978-3-319-48757-1},
  doi       = {10.1007/978-3-319-48758-8_14}
}

@article{acta16,
  title = "A complete classification of the expressiveness
           of interval logics of {A}llen's relations:
           The general and the dense cases",
  author = "Luca Aceto and
            Della Monica, Dario and
            Valentin Goranko and
            Anna Ing\'olfsd\'ottir and
            Angelo Montanari and
            Guido Sciavicco",
  journal = "Acta Informatica",
  year = "2016",
  volume = "53",
  number = "3",
  pages = "207--246",
  issn = "1432-0525",
  doi = "10.1007/s00236-015-0231-4"
}

@inproceedings{prole15,
  title = "Proving Continuity of Coinductive Global
           Bisimulation Distances: A Never Ending Story",
  author = "Romero-H\'ernandez, D. and
            de Frutos-Escrig, D. and
            Della Monica, D.",
  booktitle = "Proc. of the 15th Jornadas sobre
               PROgramaci{\'{o}}n y LEnguajes (PROLE)",
  series    = "EPTCS",
  year = "2015"
}

@inproceedings{mfcs15,
	author = {L. Aceto and
                  Della Monica, D. and
                  I. F\'abregas and
                  A. Ing\'olfsd\'ottir},
	title = {When are prime formulae characteristic?},
        booktitle = {Proc. of the 40th International Symposium
                     on Mathematical Foundations of Computer
                     Science (MFCS)---Part I},
        series = {LNCS},
        volume = {9234},
        pages = {76--88},
        doi = {10.1007/978-3-662-48057-1_6},
        publisher = {Springer-Verlag Berlin Heidelberg},
        editor = {Giuseppe F. Italiano and
                  Giovanni Pighizzini and
                  Donald Sannella},
        year = {2015}
}

@inproceedings{lata15,
  author    = {D. Bresolin and
               Della Monica, D. and
               A. Montanari and
               P. Sala and
               G. Sciavicco},
  title     = {On the Complexity of Fragments of the
               Modal Logic of {A}llen's Relations over
               Dense Structures},
  booktitle = {Proc. of the 9th International
               Conference on Language and Automata
               Theory and Applications (LATA)},
  pages     = {511--523},
  series    = {Lecture Notes in Computer Science},
  volume    = {8977},
  publisher = {Springer},
  doi       = {10.1007/978-3-319-15579-1_40},
  isbn      = {978-3-319-15578-4},
  year      = {2015}
}

@inproceedings{jelia14,
  title = "On the expressiveness of the interval logic
           of {A}llen's relations over finite and discrete
           linear orders",
  author = "Luca Aceto and
            Della Monica, Dario and
            Anna Ing\'olfsd\'ottir and
            Angelo Montanari and
            Guido Sciavicco",
  booktitle = "Proc. of the 14th European Conference on Logics
               in Artificial Intelligence (JELIA)",
  year = "2014",
  editor = "E. Ferm\'e and J. Leite",
  pages = "267--281",
  series = "LNAI",
  doi       = {10.1007/978-3-319-11558-0_19},
  isbn = {978-3-319-11557-3},
  volume = "8761"
}

@inproceedings{comptools14,
  title = "First steps towards automated synthesis of
           tableau systems for interval temporal logics",
  author = "Della Monica, Dario and
            Angelo Montanari and
            Guido Sciavicco and
            Dmitri Tishkovsky",
  booktitle = "Proc. of the 5th International Conference on
          Computational Logics, Algebras, Programming,
          Tools, and Benchmarking (COMPUTATION TOOLS)",
  year = "2014",
  month = "Venice, Italy, May 25--29",
  note = "Winner of the best paper award",
  pages = "32--37"
}

@article{tcs14,
  title = "Interval Temporal Logics over Strongly Discrete
           Linear Orders: Expressiveness and Complexity",
  author = "Davide Bresolin and
            Della Monica, Dario and
            Angelo Montanari and
            Pietro Sala and
            Guido Sciavicco",
  journal = "Theoretical Computer Science (TCS)",
  volume = "560",
  pages = "269--291",
  year = "2014",
  issn = "0304-3975",
  doi = "10.1016/j.tcs.2014.03.033",
  keywords = "Interval temporal logics",
  keywords = "Discrete linear orders",
  keywords = "Expressiveness",
  keywords = "Decidability",
  keywords = "Complexity "
}

@article{amai14dark,
    title={The dark side of {I}nterval {T}emporal {L}ogic:
           marking the undecidability border},
    author={Bresolin, Davide and Della Monica, Dario and
            Goranko, Valentin and Montanari, Angelo and
            Sciavicco, Guido},
    year={2014},
    issn={1012-2443},
    journal={Annals of Mathematics and Artificial
             Intelligence (AMAI)},
    volume={71},
    number={1-3},
    doi={10.1007/s10472-013-9376-4},
    url={http://dx.doi.org/10.1007/s10472-013-9376-4},
    publisher={Springer International Publishing},
    keywords={Interval temporal logic; Undecidability;
              Tiling problems; 03B44; 03D35; 68T27; 05B45},
    pages={41-83},
    language={English},
    note = "Online since September 2013"
}

@article{amai14light,
    title={The light side of interval temporal logic:
           the {B}ernays-{S}ch{\"o}nfinkel fragment of {CDT}},
    author={Bresolin, Davide and Della Monica, Dario and
            Montanari, Angelo and Sciavicco, Guido},
    year={2014},
    issn={1012-2443},
    journal={Annals of Mathematics and Artificial
             Intelligence (AMAI)},
    volume={71},
    number={1-3},
    doi={10.1007/s10472-013-9337-y},
    url={http://dx.doi.org/10.1007/s10472-013-9337-y},
    publisher={Springer International Publishing},
    keywords={Interval temporal logic; Tableau methods;
              Decidability; Complexity;
              03B44; 03B25; 68T15; 68T27},
    pages={11-39},
    language={English},
    note = "Online since March 2013"
}

@inproceedings{lpar13,
  author    = {Luca Aceto and
               Della Monica, Dario and
               Anna Ing{\'o}lfsd{\'o}ttir and
               Angelo Montanari and
               Guido Sciavicco},
  title     = {An Algorithm for Enumerating Maximal Models
               of {H}orn Theories with an Application to
               Modal Logics},
  booktitle = {Proc. of the 19th International Conference
               on Logic for Programming, Artificial
               Intelligence, and Reasoning (LPAR)},
  year      = {2013},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  isbn = {978-3-642-45220-8},
  doi = {10.1007/978-3-642-45221-5_1},
  volume    = {8312},
  pages     = {1-17}
}

@inproceedings{gandalf13,
  title = "Model checking coalitional games in
           shortage resource scenarios",
  author = "Della Monica, D. and M. Napoli and M. Parente",
  booktitle = "Proc. of the 4th International Symposium on Games,
                 Automata, Logics and Formal Verification (GandALF)",
  doi       = {10.4204/EPTCS.119.20},
  year = "2013"
}

@inproceedings{time13,
  title = "A complete classification of the expressiveness
           of interval logics of {A}llen's relations over
           dense linear orders",
  author = "L. Aceto and Della Monica, D. and
            A. Ing\'olfsd\'ottir and A. Montanari and
            G. Sciavicco",
  doi       = {10.1109/TIME.2013.16},
  isbn = {978-1-4799-2240-6},
  booktitle = "Proc. of the 20th International Symposium on
               Temporal Representation and Reasoning (TIME)",
  year = "2013",
  pages = "65--72"
}

@inproceedings{tableaux13,
  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",
  booktitle = "Proc. of the 22nd International Conference on
               Automated Reasoning with Analytic Tableaux and
               Related Methods (TABLEAUX)",
  year = "2013",
  editor = "D. Galmiche and D. Larchey-Wendling",
  pages = "74--80",
  publisher = "Springer-Verlag Berlin Heidelberg",
  series = "LNCS",
  doi       = {10.1007/978-3-642-40537-2_8},
  isbn      = {978-3-642-40536-5},
  volume = "8123"
}


@article{sosym13,
    title = {Metric Propositional Neighborhood Interval Logics
              on Natural Numbers},
    author = {D. Bresolin and Della Monica, D. and V. Goranko and
              A. Montanari and G. Sciavicco},
    journal = {Software and Systems Modeling (SoSyM)},
    year = {2013},
    volume={12},
    number={2},
    doi={10.1007/s10270-011-0195-y},
    issn = {1619-1366},
    publisher={Springer-Verlag},
    pages={245-264}
}

@article{jucs12,
  author = {Della Monica, Dario and Valentin Goranko
            and Angelo Montanari and Guido Sciavicco},
  title = {Crossing the Undecidability Border with
           Extensions of Propositional Neighborhood
           Logic over Natural Numbers},
  journal = {Jounal of Universal Computer Science (JUCS)},
  year = {2012},
  volume = {18},
  doi       = {10.3217/jucs-018-20-2798},
  number = {20},
  pages = {2798--2831}
}

@inproceedings{gandalf12,
    Author = {D. Bresolin and Della Monica, D. and A. Montanari
              and P. Sala and G. Sciavicco},
    Title = {{I}nterval {T}emporal {L}ogics over Strongly Discrete
             Linear Orders: the Complete Picture},
    Booktitle = {Proc. of the 3rd International Symposium on Games,
                 Automata, Logics and Formal Verification (GandALF)},
    doi       = {10.4204/EPTCS.96.12},
    Year = {2012},
    Month = {September},
    Address = {Naples, Italy}
}

@inproceedings{ecai12,
    Author = {D. Bresolin and Della Monica, D. and A. Montanari
              and P. Sala and G. Sciavicco},
    Title = {{I}nterval {T}emporal {L}ogics over Finite
             Linear Orders: the Complete Picture},
    Booktitle = {Proc. of the 20th European Conference on
                 Artificial Intelligence (ECAI)},
    Year = {2012},
    pages = {199--204},
    doi = {10.3233/978-1-61499-098-7-199},
    isbn      = {978-1-61499-097-0},
    Month = {August},
    Address = {Montpellier, France}
}

@incollection{sergot12,
  author = {Della Monica, Dario and Montanari, Angelo and Sala, Pietro},
  title = {The importance of the past in interval temporal logics:
           the case of {Propositional Neighborhood Logic}},
  booktitle = {Logic Programs, Norms and Action - Essays in Honor of Marek
               J. Sergot on the Occasion of His 60th Birthday},
  series = {Lecture Notes in Computer Science},
  editor = {Artikis, Alexander and Craven, Robert and Kesim Cicekli, Nihan
            and Sadighi, Babak and Stathis, Kostas},
  publisher = {Springer Berlin / Heidelberg},
  isbn = {978-3-642-29413-6},
  pages = {79--102},
  volume = {7360},
  note = {\url{http://dx.doi.org/10.1007/978-3-642-29414-3_6}},
  year = {2012}
}

@inproceedings{icaart12,
    Author = {Della Monica, D. and Lenzi, G.},
    Title = {On a Priced Resource-Bounded Alternating $\mu$-calculus},
    Booktitle = {Proc. of the 4th International Conference on Agents
                 and Artificial Intelligence (ICAART)},
    Year = {2012},
    Month = {February},
    isbn      = {978-989-8425-96-6},
    Pages = {222--227},
    Address = {Vilamoura, Algarve, Portugal}
}

@article{beatcs11,
    author = {Della Monica, D. and V. Goranko and A. Montanari
              and G. Sciavicco},
    title = {{Interval Temporal Logics: a Journey}},
    journal = {Bulletin of the EATCS},
    volume = {105},
    year = {2011},
    month = {October}
}

@article{lamas11,
    Title = {{On a Logic for Coalitional Games with
              Priced-Resource Agents}},
    Author = {Della Monica, D. and Napoli, M. and Parente, M.},
    journal = "Electronic Notes in Theoretical Computer Science (ENTCS)",
    volume = "278",
    pages = "215--228",
    year = "2011",
    note = "Proc. of the 7th Workshop on Methods for Modalities (M4M 2011)
            and the 4th Workshop on Logical Aspects of Multi-Agent
            Systems (LAMAS 2011)",
    doi       = {10.1016/j.entcs.2011.10.017},
    issn = "1571-0661"
}

@inproceedings{time11_light,
    Author = {Bresolin, D. and Della Monica, D. and A. Montanari
              and G. Sciavicco},
    Booktitle = {Proc. of the 18th International Symposium on
                 Temporal Representation and Reasoning (TIME)},
    Title = {{The light side of Interval Temporal Logic:
              the Bernays-Sch{\"o}nfinkel's fragment of CDT}},
    Month = {September},
    doi       = {10.1109/TIME.2011.20},
    isbn      = {978-1-4577-1242-5},
    Year = {2011}
}

@inproceedings{time11_dark,
    Author = {Bresolin, D. and Della Monica, D. and V. Goranko
              and A. Montanari and G. Sciavicco},
    Booktitle = {Proc. of the 18th International Symposium on
                 Temporal Representation and Reasoning (TIME)},
    Title = {{The dark side of Interval Temporal Logic:
              sharpening the undecidability border}},
    Month = {September},
    doi       = {10.1109/TIME.2011.21},
    isbn      = {978-1-4577-1242-5},
    Year = {2011}
}

@inproceedings{ijcai11,
    Author = {Della Monica, D. and V. Goranko and A. Montanari
              and G. Sciavicco},
    Booktitle = {Proc. of the 22nd International Joint Conference
                 on Artificial Intelligence (IJCAI)},
    Title = {{Expressiveness of the Interval Logics of Allen's
              Relations on the Class of all Linear Orders:
              Complete Classification}},
    isbn      = {978-1-57735-516-8},
    Pages = {845--850},
    Month = {July},
    Year = {2011}
}

@inproceedings{time10,
    Author = {D. Bresolin and Della Monica, D. and A. Montanari
              and P. Sala and G. Sciavicco},
    Booktitle = {Proc. of the 17th International Symposium on
                 Temporal Representation and Reasoning (TIME)},
    Address = {Paris, France},
    Month = {September},
    Year = {2010},
    Editor = {N. Markey and J. Wijsen},
    doi       = {10.1109/TIME.2010.22},
    isbn      = {978-0-7695-4187-7},
    Publisher = {IEEE Computer Society Press},
    Pages = {95--102},
    Title = {{A decidable spatial generalization of Metric
              Interval Temporal Logic}}}

@inproceedings{ecai10,
    Author = {D. Bresolin and Della Monica, D. and V. Goranko
              and A. Montanari and G. Sciavicco},
    Booktitle = {Proc. of the 19th European Conference on
                 Artificial Intelligence (ECAI)},
    Address = {Lisbon, Portugal},
    Month = {August},
    doi       = {10.3233/978-1-60750-606-5-695},
    isbn      = {978-1-60750-605-8},
    Year = {2010},
    Pages = {695--700},
    Title = {{Metric Propositional Neighborhood Logics:
              Expressiveness, Decidability, and Undecidability}}}

@inproceedings{stedy10,
    Author = {Della Monica, D. and G. Sciavicco},
    Booktitle = {Proc. of the ECAI 2010 Workshop on Spatio-Temporal
                 Dynamics (STeDY)},
    Address = {Lisbon, Portugal},
    Month = {August},
    Year = {2010},
    Pages = {43--48},
    Title = {{On First-Order Propositional Neighborhood Logics:
              a First Attempt}}}

@article{hylo10,
    Title = {{Hybrid Metric Propositional Neighborhood Logics
              with Interval Length Binders}},
    Author = {Della Monica, D. and V. Goranko and G. Sciavicco},
    journal = "Electronic Notes in Theoretical Computer Science
               (ENTCS)",
    volume = "273",
    pages = "3--19",
    year = "2011",
    doi       = {10.1016/j.entcs.2011.06.009},
    note = "Proc. of the International Workshop on Hybrid Logic
            and Applications (HyLo 2010)"
}

@article{m4m09,
    title = "Undecidability of the Logic of \emph{Overlap} Relation
             over Discrete Linear Orderings",
    journal = "Electronic Notes in Theoretical Computer Science
               (ENTCS)",
    volume = "262",
    pages = "65--81",
    year = "2010",
    note = "Proc. of the 6th Workshop on Methods for Modalities
            (M4M-6 2009)",
    doi = "10.1016/j.entcs.2010.04.006",
    author = "D. Bresolin and Della Monica, D. and V. Goranko
              and A. Montanari and G. Sciavicco",
    keywords = "interval temporal logics",
    keywords = "overlap relation",
    keywords = "undecidability",
    keywords = "octant tiling problem"
}

@inproceedings{time09,
    Author = {D. Bresolin and Della Monica, D. and V. Goranko
              and A. Montanari and G. Sciavicco},
    Booktitle = {Proc. of the 16th International Symposium on
                 Temporal Representation and Reasoning (TIME)},
    Editor = {C. Lutz and J.F. Raskin},
    Pages = {88--95},
    Publisher = {IEEE Computer Society Press},
    Title = {Undecidability of {I}nterval {T}emporal {L}ogics
             with the \emph{{O}verlap} {M}odality},
    doi       = {10.1109/TIME.2009.24},
    isbn      = {978-0-7695-3727-6},
    Month = {July},
    Year = {2009}}

@inproceedings{lpar08,
    Author = {D. Bresolin and Della Monica, D. and V. Goranko
              and A. Montanari and G. Sciavicco},
    Booktitle = {Proc. of the 15th International Conference on
                 Logic for Programming, Artificial Intelligence,
                 and Reasoning (LPAR)},
    Editor = {I. Cervesato and H. Veith and A. Voronkov},
    Pages = {590--604},
    Publisher = {Springer},
    Series = {Lecture Notes in Computer Science},
    Title = {Decidable and {U}ndecidable {F}ragments of {H}alpern
             and {S}hoham’s {I}nterval {T}emporal {L}ogic:
             {T}owards a {C}omplete {C}lassification},
    doi       = {10.1007/978-3-540-89439-1_41},
    isbn      = {978-3-540-89438-4},
    Volume = {5330},
    Month = {November},
    Year = {2008}}