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 (LPAR, 2008)

Undecidability of Interval Temporal Logics with the Overlap Modality. - Davide Bresolin; Dario Della Monica; Valentin Goranko; Angelo Montanari; Guido Sciavicco (TIME, 2009)

Undecidability of the Logic of Overlap Relation over Discrete Linear Orderings. - Davide Bresolin; Dario Della Monica; Valentin Goranko; Angelo Montanari; Guido Sciavicco (M4M, 2009)

Metric Propositional Neighborhood Logics: Expressiveness, Decidability, and Undecidability. - Davide Bresolin; Dario Della Monica; Valentin Goranko; Angelo Montanari; Guido Sciavicco (ECAI, 2010)

A Decidable Spatial Generalization of Metric Interval Temporal Logic. - Davide Bresolin; Pietro Sala; Dario Della Monica; Angelo Montanari; Guido Sciavicco (TIME, 2010)

Hybrid Metric Propositional Neighborhood Logics with Interval Length Binders. - Dario Della Monica; Valentin Goranko; Guido Sciavicco (HyLo@LICS, 2010)

Coalitional Games with Priced-Resource Agents. - Dario Della Monica; Margherita Napoli; Mimmo Parente (CILC, 2011)

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 (IJCAI, 2011)

The Dark Side of Interval Temporal Logic: Sharpening the Undecidability Border. - Davide Bresolin; Dario Della Monica; Valentin Goranko; Angelo Montanari; Guido Sciavicco (TIME, 2011)

The Light Side of Interval Temporal Logic: The Bernays-Schönfinkel's Fragment of CDT. - Davide Bresolin; Dario Della Monica; Angelo Montanari; Guido Sciavicco (TIME, 2011)

Interval Temporal Logics: a Journey. - Dario Della Monica; Valentin Goranko; Angelo Montanari; Guido Sciavicco (Bull. EATCS, 2011)

On a Logic for Coalitional Games with Priced-Resource Agents. - Dario Della Monica; Margherita Napoli; Mimmo Parente (M4M/LAMAS, 2011)

Expressiveness, decidability, and undecidability of interval temporal logic. - Dario Della Monica (2011)

The Importance of the Past in Interval Temporal Logics: The Case of Propositional Neighborhood Logic. - Dario Della Monica; Angelo Montanari; Pietro Sala (Logic Programs, Norms and Action, 2012)

Interval Temporal Logics over Finite Linear Orders: the Complete Picture. - Davide Bresolin; Dario Della Monica; Angelo Montanari; Pietro Sala; Guido Sciavicco (ECAI, 2012)

On a Priced Resource-bounded Alternating μ-Calculus. - Dario Della Monica; Giacomo Lenzi (ICAART (2), 2012)

Interval Temporal Logics over Strongly Discrete Linear Orders: the Complete Picture - Davide Bresolin; Dario Della Monica; Angelo Montanari; Pietro Sala; Guido Sciavicco (GandALF, 2012)

Crossing the Undecidability Border with Extensions of Propositional Neighborhood Logic over Natural Numbers. - Dario Della Monica; Valentin Goranko; Angelo Montanari; Guido Sciavicco (J. Univers. Comput. Sci., 2012)

An Algorithm for Enumerating Maximal Models of Horn Theories with an Application to Modal Logics. - Luca Aceto; Dario Della Monica; Anna Ingólfsdóttir; Angelo Montanari; Guido Sciavicco (LPAR, 2013)

A Tableau System for Right Propositional Neighborhood Logic over Finite Linear Orders: An Implementation. - Davide Bresolin; Dario Della Monica; Angelo Montanari; Guido Sciavicco (TABLEAUX, 2013)

A Complete Classification of the Expressiveness of Interval Logics of Allen's Relations over Dense Linear Orders. - Luca Aceto; Dario Della Monica; Anna Ingólfsdóttir; Angelo Montanari; Guido Sciavicco (TIME, 2013)

Model checking coalitional games in shortage resource scenarios. - Dario Della Monica; Margherita Napoli; Mimmo Parente (GandALF, 2013)

Metric propositional neighborhood logics on natural numbers. - Davide Bresolin; Dario Della Monica; Valentin Goranko; Angelo Montanari; Guido Sciavicco (Softw. Syst. Model., 2013)

On the Expressiveness of the Interval Logic of Allen's Relations Over Finite and Discrete Linear Orders. - Luca Aceto; Dario Della Monica; Anna Ingólfsdóttir; Angelo Montanari; Guido Sciavicco (JELIA, 2014)

The dark side of interval temporal logic: marking the undecidability border. - Davide Bresolin; Dario Della Monica; Valentin Goranko; Angelo Montanari; Guido Sciavicco (Ann. Math. Artif. Intell., 2014)

The light side of interval temporal logic: the Bernays-Schönfinkel fragment of CDT. - Davide Bresolin; Dario Della Monica; Angelo Montanari; Guido Sciavicco (Ann. Math. Artif. Intell., 2014)

Interval temporal logics over strongly discrete linear orders: Expressiveness and complexity. - Davide Bresolin; Dario Della Monica; Angelo Montanari; Pietro Sala; Guido Sciavicco (Theor. Comput. Sci., 2014)

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 (LATA, 2015)

When Are Prime Formulae Characteristic? - Luca Aceto; Dario Della Monica; Ignacio Fábregas; Anna Ingólfsdóttir (MFCS (1), 2015)

Proving Continuity of Coinductive Global Bisimulation Distances: A Never Ending Story. - David Romero-Hernández; David de Frutos-Escrig; Dario Della Monica (PROLE, 2015)

Prompt Interval Temporal Logic. - Dario Della Monica; Angelo Montanari; Aniello Murano; Pietro Sala (JELIA, 2016)

A complete classification of the expressiveness of interval logics of Allen's relations: the general and the dense cases. - Luca Aceto; Dario Della Monica; Valentin Goranko; Anna Ingólfsdóttir; Angelo Montanari; Guido Sciavicco (Acta Informatica, 2016)

Counter-queue Automata with an Application to a Meaningful Extension of Omega-regular Languages. - David Barozzini; Dario Della Monica; Angelo Montanari; Pietro Sala (ICTCS/CILC, 2017)

A Model Checker for Interval Temporal Logic over Finite Structures. - Enrico Cominato; Dario Della Monica; Angelo Montanari; Guido Sciavicco (ICTCS/CILC, 2017)

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 (IJCAI, 2017)

A Foundation for Runtime Monitoring. - Adrian Francalanza; Luca Aceto; Antonis Achilleos; Duncan Paul Attard; Ian Cassar; Dario Della Monica; Anna Ingólfsdóttir (RV, 2017)

Evaluation of Temporal Datasets via Interval Temporal Logic Model Checking. - Dario Della Monica; David de Frutos-Escrig; Angelo Montanari; Aniello Murano; Guido Sciavicco (TIME, 2017)

Beyond ωBS-regular Languages: ωT-regular Expressions and Counter-Check Automata. - Dario Della Monica; Angelo Montanari; Pietro Sala (GandALF, 2017)

Parity-energy ATL for Qualitative and Quantitative Reasoning in MAS. - Dario Della Monica; Aniello Murano (AAMAS, 2018)

A Novel Automata-Theoretic Approach to Timeline-Based Planning. - Dario Della Monica; Nicola Gigante; Angelo Montanari; Pietro Sala (KR, 2018)

Pairing Monitoring with Machine Learning for Smart System Verification and Predictive Maintenance. - Andrea Brunello; Dario Della Monica; Angelo Montanari (OVERLAY@AI*IA, 2019)

Pushing Runtime Verification to the Limit: May Process Semantics Be With Us. - Dario Della Monica; Adrian Francalanza (OVERLAY@AI*IA, 2019)

Ultimately-periodic Interval Model Checking for Temporal Dataset Evaluation. - Dario Della Monica; Angelo Montanari; Aniello Murano; Guido Sciavicco (GCAI, 2019)

Decidability and complexity of the fragments of the modal logic of Allen's relations over the rationals. - Davide Bresolin; Dario Della Monica; Angelo Montanari; Pietro Sala; Guido Sciavicco (Inf. Comput., 2019)

An Approach to Fuzzy Modal Logic of Time Intervals. - Willem Conradie; Dario Della Monica; Emilio Muñoz-Velasco; Guido Sciavicco (ECAI, 2020)

Time Series Checking with Fuzzy Interval Temporal Logics. - Willem Conradie; Dario Della Monica; Emilio Muñoz-Velasco; Guido Sciavicco; Ionel Eduard Stan (ICTCS, 2020)

Learning How to Monitor: Pairing Monitoring and Learning for Online System Verification. - Andrea Brunello; Dario Della Monica; Angelo Montanari; Andrea Urgolo (OVERLAY, 2020)

A Note on Ultimately-Periodic Finite Interval Temporal Logic Model Checking. - Dario Della Monica; Angelo Montanari; Guido Sciavicco; Ionel Eduard Stan (OVERLAY, 2020)

Complexity of Qualitative Timeline-Based Planning. - Dario Della Monica; Nicola Gigante; Salvatore La Torre; Angelo Montanari (TIME, 2020)

Preface. - Dario Della Monica; Aniello Murano; Luigi Sauro (Fundam. Informaticae, 2020)

Beyond ω-regular languages: ωT-regular expressions and their automata and logic counterparts. - David Barozzini; David de Frutos-Escrig; Dario Della Monica; Angelo Montanari; Pietro Sala (Theor. Comput. Sci., 2020)

Extended ω-Regular Languages and Interval Temporal Logic. - Dario Della Monica; Angelo Montanari; Pietro Sala (ICTCS, 2021)

Decision Trees with a Modal Flavor. - Dario Della Monica; Giovanni Pagliarini; Guido Sciavicco; Ionel Eduard Stan (AI*IA, 2022)

The Logic of Prefixes and Suffixes is Elementary under Homogeneity*. - Dario Della Monica; Angelo Montanari; Gabriele Puppis; Pietro Sala (LICS, 2023)

Monitors That Learn From Failures: Pairing STL and Genetic Programming. - Andrea Brunello; Dario Della Monica; Angelo Montanari; Nicola Saccomanno; Andrea Urgolo (IEEE Access, 2023)

The Logic of Prefixes and Suffixes is Elementary under Homogeneity. - Dario Della Monica; Angelo Montanari; Gabriele Puppis; Pietro Sala (CoRR, 2023)

Good-for-Game QPTL: An Alternating Hodges Semantics. - Dylan Bellier; Massimo Benerecetti; Dario Della Monica; Fabio Mogavero (ACM Trans. Comput. Log., 2023)

Fuzzy Halpern and Shoham's interval temporal logics. - Willem Conradie; Dario Della Monica; Emilio Muñoz-Velasco; Guido Sciavicco; Ionel Eduard Stan (Fuzzy Sets Syst., 2023)

An interval temporal logic characterization of extended ω-regular languages. - Dario Della Monica; Angelo Montanari; Pietro Sala (Theor. Comput. Sci., 2023)

Alternating (In)Dependence-Friendly Logic. - Dylan Bellier; Massimo Benerecetti; Dario Della Monica; Fabio Mogavero (Ann. Pure Appl. Log., 2023)

Synthesis of Timeline-Based Planning Strategies Avoiding Determinization. - Renato Acampora; Dario Della Monica; Luca Geatti; Nicola Gigante; Angelo Montanari; Pietro Sala (GandALF, 2024)

Synthesis of timeline-based planning strategies avoiding determinization. - Dario Della Monica; Angelo Montanari; Pietro Sala (CoRR, 2025)

An Automaton-based Characterisation of First-Order Logic over Infinite Trees. - Massimo Benerecetti; Dario Della Monica; Angelo Matteo; Fabio Mogavero; Gabriele Puppis (CoRR, 2025)