The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Dario Della Monica" ( http://dblp.L3S.de/Authors/Dario_Della_Monica )

  Author page on DBLP  Author page in RDF  Community of Dario Della Monica in ASPL-2

Publication years (Num. hits)
2008-2012 (17) 2013-2017 (21) 2018 (2)
Publication types (Num. hits)
article(10) inproceedings(29) proceedings(1)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 41 publication records. Showing 40 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Dario Della Monica, Nicola Gigante, Angelo Montanari, Pietro Sala A Novel Automata-Theoretic Approach to Timeline-Based Planning. Search on Bibsonomy KR The full citation details ... 2018 DBLP  BibTeX  RDF
1Dario Della Monica, Aniello Murano Parity-energy ATL for Qualitative and Quantitative Reasoning in MAS. Search on Bibsonomy AAMAS The full citation details ... 2018 DBLP  BibTeX  RDF
1Dario Della Monica, Angelo Montanari, Pietro Sala Beyond ωBS-regular Languages: ωT-regular Expressions and Counter-Check Automata. Search on Bibsonomy GandALF The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Enrico Cominato, Dario Della Monica, Angelo Montanari, Guido Sciavicco A Model Checker for Interval Temporal Logic over Finite Structures. Search on Bibsonomy ICTCS/CILC The full citation details ... 2017 DBLP  BibTeX  RDF
1David Barozzini, Dario Della Monica, Angelo Montanari, Pietro Sala Counter-queue Automata with an Application to a Meaningful Extension of Omega-regular Languages. Search on Bibsonomy ICTCS/CILC The full citation details ... 2017 DBLP  BibTeX  RDF
1Dario Della Monica, Aniello Murano, Sasha Rubin, Luigi Sauro (eds.) 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. Search on Bibsonomy ICTCS/CILC The full citation details ... 2017 DBLP  BibTeX  RDF
1Adrian Francalanza, Luca Aceto, Antonis Achilleos, Duncan Paul Attard, Ian Cassar, Dario Della Monica, Anna Ingólfsdóttir A Foundation for Runtime Monitoring. Search on Bibsonomy RV The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Dario Della Monica, David de Frutos-Escrig, Angelo Montanari, Aniello Murano, Guido Sciavicco Evaluation of Temporal Datasets via Interval Temporal Logic Model Checking. Search on Bibsonomy TIME The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Dario Della Monica, Nicola Gigante, Angelo Montanari, Pietro Sala, Guido Sciavicco Bounded Timed Propositional Temporal Logic with Past Captures Timeline-based Planning with Bounded Constraints. Search on Bibsonomy IJCAI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Luca 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. Search on Bibsonomy Acta Inf. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Dario Della Monica, Angelo Montanari, Aniello Murano, Pietro Sala Prompt Interval Temporal Logic. Search on Bibsonomy JELIA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1David Romero-Hernández, David de Frutos-Escrig, Dario Della Monica Proving Continuity of Coinductive Global Bisimulation Distances: A Never Ending Story. Search on Bibsonomy PROLE The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Davide 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. Search on Bibsonomy LATA The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Luca Aceto, Dario Della Monica, Ignacio Fábregas, Anna Ingólfsdóttir When Are Prime Formulae Characteristic? Search on Bibsonomy MFCS (1) The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Davide Bresolin, Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco The dark side of interval temporal logic: marking the undecidability border. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Davide Bresolin, Dario Della Monica, Angelo Montanari, Guido Sciavicco The light side of interval temporal logic: the Bernays-Schönfinkel fragment of CDT. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Davide Bresolin, Dario Della Monica, Angelo Montanari, Pietro Sala, Guido Sciavicco Interval temporal logics over strongly discrete linear orders: Expressiveness and complexity. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Luca 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. Search on Bibsonomy JELIA The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Dario Della Monica, Margherita Napoli, Mimmo Parente Model checking coalitional games in shortage resource scenarios. Search on Bibsonomy GandALF The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Davide Bresolin, Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco Metric propositional neighborhood logics on natural numbers. Search on Bibsonomy Software and System Modeling The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Luca 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. Search on Bibsonomy LPAR The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Luca 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. Search on Bibsonomy TIME The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Davide Bresolin, Dario Della Monica, Angelo Montanari, Guido Sciavicco A Tableau System for Right Propositional Neighborhood Logic over Finite Linear Orders: An Implementation. Search on Bibsonomy TABLEAUX The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Davide Bresolin, Dario Della Monica, Angelo Montanari, Pietro Sala, Guido Sciavicco Interval Temporal Logics over Strongly Discrete Linear Orders: the Complete Picture Search on Bibsonomy GandALF The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco Crossing the Undecidability Border with Extensions of Propositional Neighborhood Logic over Natural Numbers. Search on Bibsonomy J. UCS The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Dario Della Monica, Angelo Montanari, Pietro Sala The Importance of the Past in Interval Temporal Logics: The Case of Propositional Neighborhood Logic. Search on Bibsonomy Logic Programs, Norms and Action The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Dario Della Monica, Giacomo Lenzi On a Priced Resource-bounded Alternating μ-Calculus. Search on Bibsonomy ICAART (2) The full citation details ... 2012 DBLP  BibTeX  RDF
1Davide Bresolin, Dario Della Monica, Angelo Montanari, Pietro Sala, Guido Sciavicco Interval Temporal Logics over Finite Linear Orders: the Complete Picture. Search on Bibsonomy ECAI The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Dario Della Monica, Margherita Napoli, Mimmo Parente On a Logic for Coalitional Games with Priced-Resource Agents. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Dario Della Monica, Valentin Goranko, Guido Sciavicco Hybrid Metric Propositional Neighborhood Logics with Interval Length Binders. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco Interval Temporal Logics: a Journey. Search on Bibsonomy Bulletin of the EATCS The full citation details ... 2011 DBLP  BibTeX  RDF
1Davide Bresolin, Dario Della Monica, Angelo Montanari, Guido Sciavicco The Light Side of Interval Temporal Logic: The Bernays-Schönfinkel's Fragment of CDT. Search on Bibsonomy TIME The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Davide Bresolin, Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco The Dark Side of Interval Temporal Logic: Sharpening the Undecidability Border. Search on Bibsonomy TIME The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Dario Della Monica, Margherita Napoli, Mimmo Parente Coalitional Games with Priced-Resource Agents. Search on Bibsonomy CILC The full citation details ... 2011 DBLP  BibTeX  RDF
1Dario 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. Search on Bibsonomy IJCAI The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Davide Bresolin, Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco Undecidability of the Logic of Overlap Relation over Discrete Linear Orderings. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Davide Bresolin, Pietro Sala, Dario Della Monica, Angelo Montanari, Guido Sciavicco A Decidable Spatial Generalization of Metric Interval Temporal Logic. Search on Bibsonomy TIME The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Davide Bresolin, Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco Metric Propositional Neighborhood Logics: Expressiveness, Decidability, and Undecidability. Search on Bibsonomy ECAI The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Davide Bresolin, Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco Undecidability of Interval Temporal Logics with the Overlap Modality. Search on Bibsonomy TIME The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Davide 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. Search on Bibsonomy LPAR The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #40 of 40 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license