No. |
Title |
Author |
Year |
---|

1 |
The Calculus of Temporal Influence |
Bruse, Florian et al. |
2023 |

2 |
The Tail-Recursive Fragment of Timed Recursive CTL |
Bruse, Florian et al. |
2022 |

3 |
A Decidable Non-Regular Modal Fixpoint Logic |
Bruse, Florian et al. |
2021 |

4 |
Finite Convergence of μ-Calculus Fixpoints on Genuinely Infinite Structures |
Bruse, Florian et al. |
2021 |

5 |
Model Checking Timed Recursive CTL |
Bruse, Florian et al. |
2021 |

6 |
Existential Length Universality |
Gawrychowski, Paweł et al. |
2020 |

7 |
Temporal Logic with Recursion |
Bruse, Florian et al. |
2020 |

8 |
On the Expressive Power of Hybrid Branching-Time Logics |
Kernberger, Daniel et al. |
2018 |

9 |
The Fully Hybrid mu-Calculus |
Kernberger, Daniel et al. |
2017 |