Concepedia

Dario Della Monica

DD

Statistics

Publications

14

Citations

311

H-Index

12

Active since

2009

Affiliations

University of Udine(Current)

Universidad de Murcia

University of Verona

Technical University of Denmark

Reykjavík University

Dario Della Monica is an author at University of Udine specializing in computer science, temporal logic, and logic.

Publications per year

2009–2017

14

Publications

14

Interval Temporal Logics: A Journey

Dario Della Monica, Valentin Goranko, Angelo Montanari et al. · Bulletin of the European Association for Theoretical Computer Science · 2013 · 40 citations

Humanities, Computer Science, Mathematics +15

The dark side of interval temporal logic: marking the undecidability border

Davide Bresolin, Dario Della Monica, Valentin Goranko et al. · Annals of Mathematics and Artificial Intelligence · 2013 · 37 citations

Computing, Computer Science, Formal Methods +14

On a Logic for Coalitional Games with Priced-Resource Agents

Dario Della Monica, Margherita Napoli, Mimmo Parente · Electronic Notes in Theoretical Computer Science · 2011 · 33 citations · Full text

Computing, Computer Science, Game Theory +12

Interval temporal logics over strongly discrete linear orders: Expressiveness and complexity

Davide Bresolin, Dario Della Monica, Angelo Montanari et al. · Theoretical Computer Science · 2014 · 30 citations

Computing, Computer Science, Mathematics +14

The Dark Side of Interval Temporal Logic: Sharpening the Undecidability Border

Davide Bresolin, Dario Della Monica, Valentin Goranko et al. · 2011 · 25 citations

Humanities, Computer Science, Mathematics +14

1–5 of 14