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