| No. |
Title |
Author |
Year |
| 1 |
A Quantitative Extension of Interval Temporal Logic over Infinite Words |
Bozzelli, Laura et al. |
2022 |
| 2 |
Expressiveness and Decidability of Temporal Logics for Asynchronous Hyperproperties |
Bozzelli, Laura et al. |
2022 |
| 3 |
Pspace-Completeness of the Temporal Logic of Sub-Intervals and Suffixes |
Bozzelli, Laura et al. |
2021 |
| 4 |
On a Temporal Logic of Prefixes and Infixes |
Bozzelli, Laura et al. |
2020 |
| 5 |
Complexity Analysis of a Unifying Algorithm for Model Checking Interval Temporal Logic |
Bozzelli, Laura et al. |
2019 |
| 6 |
Interval Temporal Logic for Visibly Pushdown Systems |
Bozzelli, Laura et al. |
2019 |
| 7 |
Taming the Complexity of Timeline-Based Planning over Dense Temporal Domains |
Bozzelli, Laura et al. |
2019 |
| 8 |
Results on Alternating-Time Temporal Logics with Linear Past |
Bozzelli, Laura et al. |
2018 |
| 9 |
Hierarchical Cost-Parity Games |
Bozzelli, Laura et al. |
2017 |
| 10 |
Satisfiability and Model Checking for the Logic of Sub-Intervals under the Homogeneity Assumption |
Bozzelli, Laura et al. |
2017 |
| 11 |
Interval vs. Point Temporal Logic Model Checking: an Expressiveness Comparison |
Bozzelli, Laura et al. |
2016 |
| 12 |
Visibly Rational Expressions |
Bozzelli, Laura et al. |
2012 |
| 13 |
On Timed Alternating Simulation for Concurrent Timed Games |
Bozzelli, Laura et al. |
2009 |
