Dario Della Monica

Publication Activity (10 Years)

Years Active: 2008-2024
Publications (10 Years): 37

Top Topics

Linearly Ordered

Mazurkiewicz Traces

Top Venues

Theor. Comput. Sci.

Publications

Luca Aceto, Dario Della Monica, Ignacio Fábregas, Anna Ingólfsdóttir
When Are Prime Formulae Characteristic? CoRR (2024)
Dylan Bellier, Massimo Benerecetti, Dario Della Monica, Fabio Mogavero
Alternating (In)Dependence-Friendly Logic. CoRR (2023)
Dylan Bellier, Massimo Benerecetti, Dario Della Monica, Fabio Mogavero
Alternating (In)Dependence-Friendly Logic. Ann. Pure Appl. Log. 174 (10) (2023)
Andrea Brunello, Dario Della Monica, Angelo Montanari, Nicola Saccomanno, Andrea Urgolo
Monitors That Learn From Failures: Pairing STL and Genetic Programming. IEEE Access 11 (2023)
Dario Della Monica, Angelo Montanari, Gabriele Puppis, Pietro Sala
. LICS (2023)
Dylan Bellier, Massimo Benerecetti, Dario Della Monica, Fabio Mogavero
Good-for-Game QPTL: An Alternating Hodges Semantics. ACM Trans. Comput. Log. 24 (1) (2023)
Dario Della Monica, Angelo Montanari, Pietro Sala
-regular languages. Theor. Comput. Sci. 962 (2023)
Dario Della Monica, Angelo Montanari, Gabriele Puppis, Pietro Sala
The Logic of Prefixes and Suffixes is Elementary under Homogeneity. CoRR (2023)
Willem Conradie, Dario Della Monica, Emilio Muñoz-Velasco, Guido Sciavicco, Ionel Eduard Stan
Fuzzy Halpern and Shoham's interval temporal logics. Fuzzy Sets Syst. 456 (2023)
Dario Della Monica, Giovanni Pagliarini, Guido Sciavicco, Ionel Eduard Stan
Decision Trees with a Modal Flavor. AI*IA (2022)
Dylan Bellier, Massimo Benerecetti, Dario Della Monica, Fabio Mogavero
Good-for-Game QPTL: An Alternating Hodges Semantics. CoRR (2021)
Dario Della Monica, Angelo Montanari, Pietro Sala
Extended ω-Regular Languages and Interval Temporal Logic. ICTCS (2021)
Willem Conradie, Dario Della Monica, Emilio Muñoz-Velasco, Guido Sciavicco, Ionel Eduard Stan
Time Series Checking with Fuzzy Interval Temporal Logics. ICTCS (2020)
Dario Della Monica, Angelo Montanari, Guido Sciavicco, Ionel Eduard Stan
A Note on Ultimately-Periodic Finite Interval Temporal Logic Model Checking. OVERLAY (2020)
Dario Della Monica, Nicola Gigante, Salvatore La Torre, Angelo Montanari
Complexity of Qualitative Timeline-Based Planning. TIME (2020)
Andrea Brunello, Dario Della Monica, Angelo Montanari, Andrea Urgolo
Learning How to Monitor: Pairing Monitoring and Learning for Online System Verification. OVERLAY (2020)
David Barozzini, David de Frutos-Escrig, Dario Della Monica, Angelo Montanari, Pietro Sala
-regular expressions and their automata and logic counterparts. Theor. Comput. Sci. 813 (2020)
Dario Della Monica, Aniello Murano, Luigi Sauro
Preface. Fundam. Informaticae 176 (3-4) (2020)
Willem Conradie, Dario Della Monica, Emilio Muñoz-Velasco, Guido Sciavicco
An Approach to Fuzzy Modal Logic of Time Intervals. ECAI (2020)
Davide Bresolin, Dario Della Monica, Angelo Montanari, Pietro Sala, Guido Sciavicco
Decidability and complexity of the fragments of the modal logic of Allen's relations over the rationals. Inf. Comput. 266 (2019)
Luca Aceto, Dario Della Monica, Ignacio Fábregas, Anna Ingólfsdóttir
When are prime formulae characteristic? Theor. Comput. Sci. 777 (2019)
Dario Della Monica, Angelo Montanari, Aniello Murano, Guido Sciavicco
Ultimately-periodic Interval Model Checking for Temporal Dataset Evaluation. GCAI (2019)
Dario Della Monica, Adrian Francalanza
Pushing Runtime Verification to the Limit: May Process Semantics Be With Us. OVERLAY@AI*IA (2019)
Andrea Brunello, Dario Della Monica, Angelo Montanari
Pairing Monitoring with Machine Learning for Smart System Verification and Predictive Maintenance. OVERLAY@AI*IA (2019)
Dario Della Monica, Aniello Murano
Parity-energy ATL for Qualitative and Quantitative Reasoning in MAS. AAMAS (2018)
Dario Della Monica, Nicola Gigante, Angelo Montanari, Pietro Sala
A Novel Automata-Theoretic Approach to Timeline-Based Planning. KR (2018)
David Barozzini, Dario Della Monica, Angelo Montanari, Pietro Sala
Counter-queue Automata with an Application to a Meaningful Extension of Omega-regular Languages. ICTCS/CILC (2017)
Adrian Francalanza, Luca Aceto, Antonis Achilleos, Duncan Paul Attard, Ian Cassar, Dario Della Monica, Anna Ingólfsdóttir
A Foundation for Runtime Monitoring. RV (2017)
Dario Della Monica, Angelo Montanari, Pietro Sala
Beyond ωBS-regular Languages: ωT-regular Expressions and Counter-Check Automata. GandALF (2017)
Dario Della Monica, David de Frutos-Escrig, Angelo Montanari, Aniello Murano, Guido Sciavicco
Evaluation of Temporal Datasets via Interval Temporal Logic Model Checking. TIME (2017)
Enrico Cominato, Dario Della Monica, Angelo Montanari, Guido Sciavicco
A Model Checker for Interval Temporal Logic over Finite Structures. ICTCS/CILC (2017)
Dario Della Monica, Nicola Gigante, Angelo Montanari, Pietro Sala, Guido Sciavicco
Bounded Timed Propositional Temporal Logic with Past Captures Timeline-based Planning with Bounded Constraints. IJCAI (2017)
Luca Aceto, Dario Della Monica, Valentin Goranko, Anna Ingólfsdóttir, Angelo Montanari, Guido Sciavicco
A complete classification of the expressiveness of interval logics of Allen's relations: the general and the dense cases. Acta Informatica 53 (3) (2016)
Dario Della Monica, Angelo Montanari, Aniello Murano, Pietro Sala
Prompt Interval Temporal Logic. JELIA (2016)
Davide Bresolin, Dario Della Monica, Angelo Montanari, Pietro Sala, Guido Sciavicco
On the Complexity of Fragments of the Modal Logic of Allen's Relations over Dense Structures. LATA (2015)
David Romero-Hernández, David de Frutos-Escrig, Dario Della Monica
Proving Continuity of Coinductive Global Bisimulation Distances: A Never Ending Story. PROLE (2015)
Luca Aceto, Dario Della Monica, Ignacio Fábregas, Anna Ingólfsdóttir
When Are Prime Formulae Characteristic? MFCS (1) (2015)
Luca Aceto, Dario Della Monica, Anna Ingólfsdóttir, Angelo Montanari, Guido Sciavicco
On the Expressiveness of the Interval Logic of Allen's Relations Over Finite and Discrete Linear Orders. JELIA (2014)
Davide Bresolin, Dario Della Monica, Angelo Montanari, Pietro Sala, Guido Sciavicco
Interval temporal logics over strongly discrete linear orders: Expressiveness and complexity. Theor. Comput. Sci. 560 (2014)
Davide Bresolin, Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco
The dark side of interval temporal logic: marking the undecidability border. Ann. Math. Artif. Intell. 71 (1-3) (2014)
Davide Bresolin, Dario Della Monica, Angelo Montanari, Guido Sciavicco
The light side of interval temporal logic: the Bernays-Schönfinkel fragment of CDT. Ann. Math. Artif. Intell. 71 (1-3) (2014)
Luca Aceto, Dario Della Monica, Anna Ingólfsdóttir, Angelo Montanari, Guido Sciavicco
An Algorithm for Enumerating Maximal Models of Horn Theories with an Application to Modal Logics. LPAR (2013)
Davide Bresolin, Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco
Metric propositional neighborhood logics on natural numbers. Softw. Syst. Model. 12 (2) (2013)
Davide Bresolin, Dario Della Monica, Angelo Montanari, Guido Sciavicco
A Tableau System for Right Propositional Neighborhood Logic over Finite Linear Orders: An Implementation. TABLEAUX (2013)
Luca Aceto, Dario Della Monica, Anna Ingólfsdóttir, Angelo Montanari, Guido Sciavicco
A Complete Classification of the Expressiveness of Interval Logics of Allen's Relations over Dense Linear Orders. TIME (2013)
Dario Della Monica, Margherita Napoli, Mimmo Parente
Model checking coalitional games in shortage resource scenarios. GandALF (2013)
Dario Della Monica, Angelo Montanari, Pietro Sala
The Importance of the Past in Interval Temporal Logics: The Case of Propositional Neighborhood Logic. Logic Programs, Norms and Action (2012)
Davide Bresolin, Dario Della Monica, Angelo Montanari, Pietro Sala, Guido Sciavicco
Interval Temporal Logics over Finite Linear Orders: the Complete Picture. ECAI (2012)
Dario Della Monica, Giacomo Lenzi
On a Priced Resource-bounded Alternating μ-Calculus. ICAART (2) (2012)
Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco
Crossing the Undecidability Border with Extensions of Propositional Neighborhood Logic over Natural Numbers. J. Univers. Comput. Sci. 18 (20) (2012)
Davide Bresolin, Dario Della Monica, Angelo Montanari, Pietro Sala, Guido Sciavicco
Interval Temporal Logics over Strongly Discrete Linear Orders: the Complete Picture GandALF (2012)
Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco
Expressiveness of the Interval Logics of Allen's Relations on the Class of All Linear Orders: Complete Classification. IJCAI (2011)
Davide Bresolin, Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco
The Dark Side of Interval Temporal Logic: Sharpening the Undecidability Border. TIME (2011)
Davide Bresolin, Dario Della Monica, Angelo Montanari, Guido Sciavicco
The Light Side of Interval Temporal Logic: The Bernays-Schönfinkel's Fragment of CDT. TIME (2011)
Dario Della Monica, Margherita Napoli, Mimmo Parente
On a Logic for Coalitional Games with Priced-Resource Agents. Electron. Notes Theor. Comput. Sci. 278 (2011)
Dario Della Monica, Valentin Goranko, Guido Sciavicco
Hybrid Metric Propositional Neighborhood Logics with Interval Length Binders. Electron. Notes Theor. Comput. Sci. 273 (2011)
Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco
Interval Temporal Logics: a Journey. Bull. EATCS 105 (2011)
Dario Della Monica, Margherita Napoli, Mimmo Parente
Coalitional Games with Priced-Resource Agents. CILC (2011)
Davide Bresolin, Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco
Metric Propositional Neighborhood Logics: Expressiveness, Decidability, and Undecidability. ECAI (2010)
Davide Bresolin, Pietro Sala, Dario Della Monica, Angelo Montanari, Guido Sciavicco
A Decidable Spatial Generalization of Metric Interval Temporal Logic. TIME (2010)
Davide Bresolin, Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco
Undecidability of the Logic of Overlap Relation over Discrete Linear Orderings. Electron. Notes Theor. Comput. Sci. 262 (2010)
Davide Bresolin, Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco
Undecidability of Interval Temporal Logics with the Overlap Modality. TIME (2009)
Davide Bresolin, Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco
Decidable and Undecidable Fragments of Halpern and Shoham's Interval Temporal Logic: Towards a Complete Classification. LPAR (2008)