Dario Della Monica

activity

20122025

most citedInterval Temporal Logics over Strongly Discrete Linear Orders: the Complete Picture

12 citations · 13 across the 6 of their papers we have counts for

collaborators

Showing 2017Show all

1 paper · 1 filter

cs.LO2017★ 1 cited

Beyond $ω$ BS-regular Languages: $ω$ T-regular Expressions and Counter-Check Automata

Dario Della Monica, Angelo Montanari, Pietro Sala

In the last years, various extensions of ω-regular languages have been proposed in the literature, including ωB-regular (ω-regular languages extended with boundedness), ωS-regular…

Beyond ωBS-regular Languages: ωT-regular Expressions and Counter-Check Automata

Beyond $ω$ BS-regular Languages: $ω$ T-regular Expressions and Counter-Check Automata