Dario Della Monica

According to our database1, Dario Della Monica
  • authored at least 37 papers between 2008 and 2017.
  • has a "Dijkstra number"2 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2017
Beyond $ω$BS-regular Languages: $ω$T-regular Expressions and Counter-Check Automata.
Proceedings of the Proceedings Eighth International Symposium on Games, 2017

Evaluation of Temporal Datasets via Interval Temporal Logic Model Checking.
Proceedings of the 24th International Symposium on Temporal Representation and Reasoning, 2017

A Foundation for Runtime Monitoring.
Proceedings of the Runtime Verification - 17th International Conference, 2017

Bounded Timed Propositional Temporal Logic with Past Captures Timeline-based Planning with Bounded Constraints.
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

A Model Checker for Interval Temporal Logic over Finite Structures.
Proceedings of the 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), 2017

Counter-queue Automata with an Application to a Meaningful Extension of Omega-regular Languages.
Proceedings of the 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), 2017

2016
A complete classification of the expressiveness of interval logics of Allen's relations: the general and the dense cases.
Acta Inf., 2016

Prompt Interval Temporal Logic.
Proceedings of the Logics in Artificial Intelligence - 15th European Conference, 2016

2015
Proving Continuity of Coinductive Global Bisimulation Distances: A Never Ending Story.
Proceedings of the Proceedings XV Jornadas sobre Programación y Lenguajes, 2015

When Are Prime Formulae Characteristic?
Proceedings of the Mathematical Foundations of Computer Science 2015, 2015

On the Complexity of Fragments of the Modal Logic of Allen's Relations over Dense Structures.
Proceedings of the Language and Automata Theory and Applications, 2015

2014
Interval temporal logics over strongly discrete linear orders: Expressiveness and complexity.
Theor. Comput. Sci., 2014

The light side of interval temporal logic: the Bernays-Schönfinkel fragment of CDT.
Ann. Math. Artif. Intell., 2014

The dark side of interval temporal logic: marking the undecidability border.
Ann. Math. Artif. Intell., 2014

On the Expressiveness of the Interval Logic of Allen's Relations Over Finite and Discrete Linear Orders.
Proceedings of the Logics in Artificial Intelligence - 14th European Conference, 2014

2013
Metric propositional neighborhood logics on natural numbers.
Software and System Modeling, 2013

Model checking coalitional games in shortage resource scenarios.
Proceedings of the Proceedings Fourth International Symposium on Games, 2013

A Complete Classification of the Expressiveness of Interval Logics of Allen's Relations over Dense Linear Orders.
Proceedings of the 2013 20th International Symposium on Temporal Representation and Reasoning, 2013

A Tableau System for Right Propositional Neighborhood Logic over Finite Linear Orders: An Implementation.
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2013

An Algorithm for Enumerating Maximal Models of Horn Theories with an Application to Modal Logics.
Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2013

2012
Crossing the Undecidability Border with Extensions of Propositional Neighborhood Logic over Natural Numbers.
J. UCS, 2012

Interval Temporal Logics over Strongly Discrete Linear Orders: the Complete Picture
Proceedings of the Proceedings Third International Symposium on Games, 2012

On a Priced Resource-bounded Alternating μ-Calculus.
Proceedings of the ICAART 2012 - Proceedings of the 4th International Conference on Agents and Artificial Intelligence, Volume 2, 2012

Interval Temporal Logics over Finite Linear Orders: the Complete Picture.
Proceedings of the ECAI 2012, 2012

The Importance of the Past in Interval Temporal Logics: The Case of Propositional Neighborhood Logic.
Proceedings of the Logic Programs, Norms and Action, 2012

2011
On a Logic for Coalitional Games with Priced-Resource Agents.
Electr. Notes Theor. Comput. Sci., 2011

Hybrid Metric Propositional Neighborhood Logics with Interval Length Binders.
Electr. Notes Theor. Comput. Sci., 2011

Interval Temporal Logics: a Journey.
Bulletin of the EATCS, 2011

The Light Side of Interval Temporal Logic: The Bernays-Schönfinkel's Fragment of CDT.
Proceedings of the Eighteenth International Symposium on Temporal Representation and Reasoning, 2011

The Dark Side of Interval Temporal Logic: Sharpening the Undecidability Border.
Proceedings of the Eighteenth International Symposium on Temporal Representation and Reasoning, 2011

Expressiveness of the Interval Logics of Allen's Relations on the Class of All Linear Orders: Complete Classification.
Proceedings of the IJCAI 2011, 2011

Coalitional Games with Priced-Resource Agents.
Proceedings of the 26th Italian Conference on Computational Logic, Pescara, Italy, August 31, 2011

2010
Undecidability of the Logic of Overlap Relation over Discrete Linear Orderings.
Electr. Notes Theor. Comput. Sci., 2010

A Decidable Spatial Generalization of Metric Interval Temporal Logic.
Proceedings of the TIME 2010, 2010

Metric Propositional Neighborhood Logics: Expressiveness, Decidability, and Undecidability.
Proceedings of the ECAI 2010, 2010

2009
Undecidability of Interval Temporal Logics with the Overlap Modality.
Proceedings of the TIME 2009, 2009

2008
Decidable and Undecidable Fragments of Halpern and Shoham's Interval Temporal Logic: Towards a Complete Classification.
Proceedings of the Logic for Programming, 2008


  Loading...