default search action
Dario Della Monica
Person information
- affiliation: University of Udine, Italy
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [i4]Luca Aceto, Dario Della Monica, Ignacio Fábregas, Anna Ingólfsdóttir:
When Are Prime Formulae Characteristic? CoRR abs/2402.00970 (2024) - 2023
- [j16]Andrea Brunello
, Dario Della Monica
Monitors That Learn From Failures: Pairing STL and Genetic Programming. IEEE Access 11: 57349-57364 (2023) - [j15]Dylan Bellier, Massimo Benerecetti, Dario Della Monica, Fabio Mogavero
Alternating (In)Dependence-Friendly Logic. Ann. Pure Appl. Log. 174(10): 103315 (2023) - [j14]Willem Conradie, Dario Della Monica, Emilio Muñoz-Velasco, Guido Sciavicco
Fuzzy Halpern and Shoham's interval temporal logics. Fuzzy Sets Syst. 456: 107-124 (2023) - [j13]Dario Della Monica, Angelo Montanari, Pietro Sala:
An interval temporal logic characterization of extended ω-regular languages. Theor. Comput. Sci. 962: 113929 (2023) - [j12]Dylan Bellier
Good-for-Game QPTL: An Alternating Hodges Semantics. ACM Trans. Comput. Log. 24(1): 4:1-4:57 (2023) - [c43]Dario Della Monica, Angelo Montanari, Gabriele Puppis
The Logic of Prefixes and Suffixes is Elementary under Homogeneity*. LICS 2023: 1-12 - [e4]Antonis Achilleos, Dario Della Monica:
Proceedings of the Fourteenth International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2023, Udine, Italy, 18-20th September 2023. EPTCS 390, 2023 [contents] - [i3]Dario Della Monica, Angelo Montanari, Gabriele Puppis
The Logic of Prefixes and Suffixes is Elementary under Homogeneity. CoRR abs/2304.11483 (2023) - [i2]Dylan Bellier, Massimo Benerecetti, Dario Della Monica, Fabio Mogavero:
Alternating (In)Dependence-Friendly Logic. CoRR abs/2304.11652 (2023) - 2022
- [c42]Dario Della Monica, Giovanni Pagliarini, Guido Sciavicco, Ionel Eduard Stan:
Decision Trees with a Modal Flavor. AI*IA 2022: 47-59 - [e3]Pierre Ganty, Dario Della Monica:
Proceedings of the 13th International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2022, Madrid, Spain, September 21-23, 2022. EPTCS 370, 2022 [contents] - 2021
- [c41]Dario Della Monica, Angelo Montanari, Pietro Sala:
Extended ω-Regular Languages and Interval Temporal Logic. ICTCS 2021: 70-86 - [e2]Dario Della Monica, Gian Luca Pozzato, Enrico Scala:
Proceedings of the 3rd Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis hosted by the Twelfth International Symposium on Games, Automata, Logics, and Formal Verification (GandALF 2021), Padua, Italy, September 22, 2021. CEUR Workshop Proceedings 2987, CEUR-WS.org 2021 [contents] - [i1]Dylan Bellier, Massimo Benerecetti, Dario Della Monica, Fabio Mogavero:
Good-for-Game QPTL: An Alternating Hodges Semantics. CoRR abs/2104.06085 (2021) - 2020
- [j11]Dario Della Monica, Aniello Murano
Preface. Fundam. Informaticae 176(3-4) (2020) - [j10]David Barozzini, David de Frutos-Escrig
Beyond ω-regular languages: ωT-regular expressions and their automata and logic counterparts. Theor. Comput. Sci. 813: 270-304 (2020) - [c40]Willem Conradie
An Approach to Fuzzy Modal Logic of Time Intervals. ECAI 2020: 696-703 - [c39]Willem Conradie, Dario Della Monica, Emilio Muñoz-Velasco, Guido Sciavicco, Ionel Eduard Stan:
Time Series Checking with Fuzzy Interval Temporal Logics. ICTCS 2020: 250-262 - [c38]Dario Della Monica, Angelo Montanari, Guido Sciavicco, Ionel Eduard Stan:
A Note on Ultimately-Periodic Finite Interval Temporal Logic Model Checking. OVERLAY 2020: 11-15 - [c37]Andrea Brunello, Dario Della Monica, Angelo Montanari, Andrea Urgolo:
Learning How to Monitor: Pairing Monitoring and Learning for Online System Verification. OVERLAY 2020: 83-88 - [c36]Dario Della Monica
Complexity of Qualitative Timeline-Based Planning. TIME 2020: 16:1-16:13
2010 – 2019
- 2019
- [j9]Davide Bresolin
Decidability and complexity of the fragments of the modal logic of Allen's relations over the rationals. Inf. Comput. 266: 97-125 (2019) - [j8]Luca Aceto, Dario Della Monica
When are prime formulae characteristic? Theor. Comput. Sci. 777: 3-31 (2019) - [c35]Dario Della Monica, Adrian Francalanza:
Pushing Runtime Verification to the Limit: May Process Semantics Be With Us. OVERLAY@AI*IA 2019: 47-52 - [c34]Andrea Brunello, Dario Della Monica, Angelo Montanari:
Pairing Monitoring with Machine Learning for Smart System Verification and Predictive Maintenance. OVERLAY@AI*IA 2019: 71-76 - [c33]Dario Della Monica, Angelo Montanari, Aniello Murano
Ultimately-periodic Interval Model Checking for Temporal Dataset Evaluation. GCAI 2019: 28-41 - 2018
- [c32]Dario Della Monica, Aniello Murano
Parity-energy ATL for Qualitative and Quantitative Reasoning in MAS. AAMAS 2018: 1441-1449 - [c31]Dario Della Monica, Nicola Gigante, Angelo Montanari, Pietro Sala:
A Novel Automata-Theoretic Approach to Timeline-Based Planning. KR 2018: 541-550 - 2017
- [c30]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: 27-38 - [c29]Enrico Cominato, Dario Della Monica, Angelo Montanari, Guido Sciavicco:
A Model Checker for Interval Temporal Logic over Finite Structures. ICTCS/CILC 2017: 63-74 - [c28]Dario Della Monica
Bounded Timed Propositional Temporal Logic with Past Captures Timeline-based Planning with Bounded Constraints. IJCAI 2017: 1008-1014 - [c27]Adrian Francalanza
A Foundation for Runtime Monitoring. RV 2017: 8-29 - [c26]Dario Della Monica
Evaluation of Temporal Datasets via Interval Temporal Logic Model Checking. TIME 2017: 11:1-11:18 - [c25]Dario Della Monica
Beyond ωBS-regular Languages: ωT-regular Expressions and Counter-Check Automata. GandALF 2017: 223-237 - [e1]Dario Della Monica, Aniello Murano, Sasha Rubin, Luigi Sauro:
Joint Proceedings of the 18th Italian Conference on Theoretical Computer Science and the 32nd Italian Conference on Computational Logic co-located with the 2017 IEEE International Workshop on Measurements and Networking (2017 IEEE M&N), Naples, Italy, September 26-28, 2017. CEUR Workshop Proceedings 1949, CEUR-WS.org 2017 [contents] - 2016
- [j7]Luca Aceto, Dario Della Monica
A complete classification of the expressiveness of interval logics of Allen's relations: the general and the dense cases. Acta Informatica 53(3): 207-246 (2016) - [c24]Dario Della Monica
Prompt Interval Temporal Logic. JELIA 2016: 207-222 - 2015
- [c23]Davide Bresolin
On the Complexity of Fragments of the Modal Logic of Allen's Relations over Dense Structures. LATA 2015: 511-523 - [c22]Luca Aceto, Dario Della Monica
When Are Prime Formulae Characteristic? MFCS (1) 2015: 76-88 - [c21]David Romero-Hernández, David de Frutos-Escrig
Proving Continuity of Coinductive Global Bisimulation Distances: A Never Ending Story. PROLE 2015: 48-63 - 2014
- [j6]Davide Bresolin
The light side of interval temporal logic: the Bernays-Schönfinkel fragment of CDT. Ann. Math. Artif. Intell. 71(1-3): 11-39 (2014) - [j5]Davide Bresolin
The dark side of interval temporal logic: marking the undecidability border. Ann. Math. Artif. Intell. 71(1-3): 41-83 (2014) - [j4]Davide Bresolin
Interval temporal logics over strongly discrete linear orders: Expressiveness and complexity. Theor. Comput. Sci. 560: 269-291 (2014) - [c20]Luca Aceto, Dario Della Monica
On the Expressiveness of the Interval Logic of Allen's Relations Over Finite and Discrete Linear Orders. JELIA 2014: 267-281 - 2013
- [j3]Davide Bresolin
Metric propositional neighborhood logics on natural numbers. Softw. Syst. Model. 12(2): 245-264 (2013) - [c19]Luca Aceto, Dario Della Monica
An Algorithm for Enumerating Maximal Models of Horn Theories with an Application to Modal Logics. LPAR 2013: 1-17 - [c18]Davide Bresolin
A Tableau System for Right Propositional Neighborhood Logic over Finite Linear Orders: An Implementation. TABLEAUX 2013: 74-80 - [c17]Luca Aceto, Dario Della Monica
A Complete Classification of the Expressiveness of Interval Logics of Allen's Relations over Dense Linear Orders. TIME 2013: 65-72 - [c16]Dario Della Monica
Model checking coalitional games in shortage resource scenarios. GandALF 2013: 240-255 - 2012
- [j2]Dario Della Monica
Crossing the Undecidability Border with Extensions of Propositional Neighborhood Logic over Natural Numbers. J. Univers. Comput. Sci. 18(20): 2798-2831 (2012) - [c15]Dario Della Monica
The Importance of the Past in Interval Temporal Logics: The Case of Propositional Neighborhood Logic. Logic Programs, Norms and Action 2012: 79-102 - [c14]Davide Bresolin
Interval Temporal Logics over Finite Linear Orders: the Complete Picture. ECAI 2012: 199-204 - [c13]Dario Della Monica, Giacomo Lenzi:
On a Priced Resource-bounded Alternating μ-Calculus. ICAART (2) 2012: 222-227 - [c12]Davide Bresolin
Interval Temporal Logics over Strongly Discrete Linear Orders: the Complete Picture. GandALF 2012: 155-168 - 2011
- [b1]Dario Della Monica:
Expressiveness, decidability, and undecidability of interval temporal logic. University of Udine, Italy, 2011 - [j1]Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco:
Interval Temporal Logics: a Journey. Bull. EATCS 105: 73-99 (2011) - [c11]Dario Della Monica, Margherita Napoli, Mimmo Parente:
Coalitional Games with Priced-Resource Agents. CILC 2011: 341-347 - [c10]Dario Della Monica
Expressiveness of the Interval Logics of Allen's Relations on the Class of All Linear Orders: Complete Classification. IJCAI 2011: 845-850 - [c9]Davide Bresolin
The Light Side of Interval Temporal Logic: The Bernays-Schönfinkel's Fragment of CDT. TIME 2011: 123-130 - [c8]Davide Bresolin
The Dark Side of Interval Temporal Logic: Sharpening the Undecidability Border. TIME 2011: 131-138 - [c7]Dario Della Monica
On a Logic for Coalitional Games with Priced-Resource Agents. M4M/LAMAS 2011: 215-228 - 2010
- [c6]Davide Bresolin
Metric Propositional Neighborhood Logics: Expressiveness, Decidability, and Undecidability. ECAI 2010: 695-700 - [c5]Davide Bresolin
A Decidable Spatial Generalization of Metric Interval Temporal Logic. TIME 2010: 95-102 - [c4]Dario Della Monica
Hybrid Metric Propositional Neighborhood Logics with Interval Length Binders. HyLo@LICS 2010: 3-19
2000 – 2009
- 2009
- [c3]Davide Bresolin
Undecidability of Interval Temporal Logics with the Overlap Modality. TIME 2009: 88-95 - [c2]Davide Bresolin
Undecidability of the Logic of Overlap Relation over Discrete Linear Orderings. M4M 2009: 65-81 - 2008
- [c1]Davide Bresolin
Decidable and Undecidable Fragments of Halpern and Shoham's Interval Temporal Logic: Towards a Complete Classification. LPAR 2008: 590-604
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-05 21:15 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: