| No. |
Title |
Author |
Year |
| 1 |
Front Matter, Table of Contents, Preface, Conference Organization |
Artikis, Alexander et al. |
2023 |
| 2 |
LIPIcs, Volume 278, TIME 2023, Complete Volume |
Artikis, Alexander et al. |
2023 |
| 3 |
The Calculus of Temporal Influence |
Bruse, Florian et al. |
2023 |
| 4 |
The Tail-Recursive Fragment of Timed Recursive CTL |
Bruse, Florian et al. |
2022 |
| 5 |
A Decidable Non-Regular Modal Fixpoint Logic |
Bruse, Florian et al. |
2021 |
| 6 |
Finite Convergence of μ-Calculus Fixpoints on Genuinely Infinite Structures |
Bruse, Florian et al. |
2021 |
| 7 |
Model Checking Timed Recursive CTL |
Bruse, Florian et al. |
2021 |
| 8 |
Temporal Logic with Recursion |
Bruse, Florian et al. |
2020 |
