Dario Della Monica
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
24
Venues
12
Active years
2008–2026
Best venue rank
A*
Where they publish
Papers
24 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | MFCS | Deciding the Common Fragment of CTL with past and LTL. | Massimo Benerecetti, Dario Della Monica, Angelo Matteo, Fabio Mogavero, Gabriele Puppis |
| 2023 | LICS | The Logic of Prefixes and Suffixes is Elementary under Homogeneity | Dario Della Monica, Angelo Montanari, Gabriele Puppis, Pietro Sala |
| 2020 | ECAI | An Approach to Fuzzy Modal Logic of Time Intervals. | Willem Conradie, Dario Della Monica, Emilio Muoz-Velasco, Guido Sciavicco |
| 2020 | TIME | Complexity of Qualitative Timeline-Based Planning. | Dario Della Monica, Nicola Gigante, Salvatore La Torre, Angelo Montanari |
| 2018 | KR | A Novel Automata-Theoretic Approach to Timeline-Based Planning. | Dario Della Monica, Nicola Gigante, Angelo Montanari, Pietro Sala |
| 2017 | IJCAI | Bounded Timed Propositional Temporal Logic with Past Captures Timeline-based Planning with Bounded Constraints. | Dario Della Monica, Nicola Gigante, Angelo Montanari, Pietro Sala, Guido Sciavicco |
| 2017 | RV | A Foundation for Runtime Monitoring. | Adrian Francalanza, Luca Aceto, Antonis Achilleos, Duncan Paul Attard, Ian Cassar, Dario Della Monica, Anna Inglfsdttir |
| 2017 | TIME | Evaluation of Temporal Datasets via Interval Temporal Logic Model Checking. | Dario Della Monica, David de Frutos-Escrig, Angelo Montanari, Aniello Murano, Guido Sciavicco |
| 2016 | JELIA | Prompt Interval Temporal Logic. | Dario Della Monica, Angelo Montanari, Aniello Murano, Pietro Sala |
| 2015 | LATA | On the Complexity of Fragments of the Modal Logic of Allen's Relations over Dense Structures. | Davide Bresolin, Dario Della Monica, Angelo Montanari, Pietro Sala, Guido Sciavicco |
| 2015 | MFCS | When Are Prime Formulae Characteristic? | Luca Aceto, Dario Della Monica, Ignacio Fbregas, Anna Inglfsdttir |
| 2014 | JELIA | On the Expressiveness of the Interval Logic of Allen's Relations Over Finite and Discrete Linear Orders. | Luca Aceto, Dario Della Monica, Anna Inglfsdttir, Angelo Montanari, Guido Sciavicco |
| 2013 | LPAR | An Algorithm for Enumerating Maximal Models of Horn Theories with an Application to Modal Logics. | Luca Aceto, Dario Della Monica, Anna Inglfsdttir, Angelo Montanari, Guido Sciavicco |
| 2013 | TABLEAUX | A Tableau System for Right Propositional Neighborhood Logic over Finite Linear Orders: An Implementation. | Davide Bresolin, Dario Della Monica, Angelo Montanari, Guido Sciavicco |
| 2013 | TIME | A Complete Classification of the Expressiveness of Interval Logics of Allen's Relations over Dense Linear Orders. | Luca Aceto, Dario Della Monica, Anna Inglfsdttir, Angelo Montanari, Guido Sciavicco |
| 2012 | ECAI | Interval Temporal Logics over Finite Linear Orders: the Complete Picture. | Davide Bresolin, Dario Della Monica, Angelo Montanari, Pietro Sala, Guido Sciavicco |
| 2012 | ICAART | On a Priced Resource-bounded Alternating μ-Calculus. | Dario Della Monica, Giacomo Lenzi |
| 2011 | IJCAI | Expressiveness of the Interval Logics of Allen's Relations on the Class of All Linear Orders: Complete Classification. | Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco |
| 2011 | TIME | The Dark Side of Interval Temporal Logic: Sharpening the Undecidability Border. | Davide Bresolin, Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco |
| 2011 | TIME | The Light Side of Interval Temporal Logic: The Bernays-Schnfinkel's Fragment of CDT. | Davide Bresolin, Dario Della Monica, Angelo Montanari, Guido Sciavicco |
| 2010 | ECAI | Metric Propositional Neighborhood Logics: Expressiveness, Decidability, and Undecidability. | Davide Bresolin, Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco |
| 2010 | TIME | A Decidable Spatial Generalization of Metric Interval Temporal Logic. | Davide Bresolin, Pietro Sala, Dario Della Monica, Angelo Montanari, Guido Sciavicco |
| 2009 | TIME | Undecidability of Interval Temporal Logics with the Overlap Modality. | Davide Bresolin, Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco |
| 2008 | LPAR | Decidable and Undecidable Fragments of Halpern and Shoham's Interval Temporal Logic: Towards a Complete Classification. | Davide Bresolin, Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco |