Dario Della Monica
Scholar

Dario Della Monica

Google Scholar ID: TFZY0v0AAAAJ
University of Udine (Italy)
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
349
 
H-index
10
 
i10-index
12
 
Publications
20
 
Co-authors
0
 
Contact
Emaildariodellamonica@hotmail.com
Publications
4 items
Deciding the Common Fragment of CTL with Past and LTL
2026
Cited
0
Automaton-based Characterisations of First Order Logic over Infinite Trees
2026
Cited
0
An Automaton-based Characterisation of First-Order Logic over Infinite Trees
2025
Cited
0
Synthesis of timeline-based planning strategies avoiding determinization
2025
Cited
0
Resume
Academic Achievements
  • ORCID: orcid.org/0000-0001-9743-665X
Research Experience
  • Serves as an Associate Professor in the Department of Mathematical, Computer, and Physical Sciences (DMIF) at the University of Udine.
Background
  • Dario Della Monica is an Associate Professor at the Department of Mathematical, Computer, and Physical Sciences (DMIF) of the University of Udine.
Miscellany
  • Contact: Email dario.dellamonica [at] uniud.it; Phone (+39) 0432 558436; Mobile (+39) 328 2477327; Skype: dariodellamonica