| No. |
Title |
Author |
Year |
| 1 |
Safety Analysis of Parameterised Networks with Non-Blocking Rendez-Vous |
Guillou, Lucie et al. |
2023 |
| 2 |
Local First-Order Logic with Two Data Values |
Bollig, Benedikt et al. |
2021 |
| 3 |
Reachability in Distributed Memory Automata |
Bollig, Benedikt et al. |
2021 |
| 4 |
Deciding the Existence of Cut-Off in Parameterized Rendez-Vous Networks |
Horn, Florian et al. |
2020 |
| 5 |
Model-Checking Counting Temporal Logics on Flat Structures |
Decker, Normann et al. |
2017 |
| 6 |
The Complexity of Flat Freeze LTL |
Bollig, Benedikt et al. |
2017 |
| 7 |
Reachability in Networks of Register Protocols under Stochastic Schedulers |
Bouyer, Patricia et al. |
2016 |
| 8 |
Distributed Local Strategies in Broadcast Networks |
Bertrand, Nathalie et al. |
2015 |
| 9 |
On the Complexity of Parameterized Reachability in Reconfigurable Broadcast Networks |
Delzanno, Giorgio et al. |
2012 |
| 10 |
On the Decidability Status of Reachability and Coverability in Graph Transformation Systems |
Bertrand, Nathalie et al. |
2012 |
