Distributed graph automata F Reiter 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science, 192-201, 2015 | 37 | 2015 |
Asynchronous distributed automata: A characterization of the modal mu-fragment F Reiter arXiv preprint arXiv:1611.08554, 2016 | 21 | 2016 |
Identifiers in Registers: Describing Network Algorithms with Logic B Bollig, P Bouyer, F Reiter International Conference on Foundations of Software Science and Computation …, 2019 | 13 | 2019 |
Counter machines and distributed automata: a story about exchanging space and time O Carton, B Guillon, F Reiter Cellular Automata and Discrete Complex Systems: 24th IFIP WG 1.5 …, 2018 | 13 | 2018 |
Emptiness problems for distributed automata A Kuusisto, F Reiter arXiv preprint arXiv:1705.02609, 2017 | 5 | 2017 |
Distributed graph automata F Reiter arXiv preprint arXiv:1404.6503, 2014 | 5 | 2014 |
A classification of weak asynchronous models of distributed computing J Esparza, F Reiter arXiv preprint arXiv:2007.03291, 2020 | 3 | 2020 |
Distributed automata and logic F Reiter arXiv preprint arXiv:1805.06238, 2018 | 3 | 2018 |
A local perspective on the polynomial hierarchy F Reiter arXiv preprint arXiv:2305.09538, 2023 | 1 | 2023 |
Emptiness Problems for Distributed Automata F Reiter | | 2017 |
Alternating Set Quantifiers in Modal Logic F Reiter arXiv preprint arXiv:1602.08971, 2016 | | 2016 |