Follow
Fabian Reiter
Fabian Reiter
LIGM, Gustave Eiffel University
Verified email at univ-eiffel.fr
Title
Cited by
Cited by
Year
Distributed graph automata
F Reiter
2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science, 192-201, 2015
362015
Distributed graph automata
F Reiter
2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science, 192-201, 2015
362015
Asynchronous distributed automata: A characterization of the modal mu-fragment
F Reiter
arXiv preprint arXiv:1611.08554, 2016
212016
Identifiers in Registers: Describing Network Algorithms with Logic
B Bollig, P Bouyer, F Reiter
International Conference on Foundations of Software Science and Computation …, 2019
122019
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
122018
Emptiness problems for distributed automata
A Kuusisto, F Reiter
arXiv preprint arXiv:1705.02609, 2017
52017
Distributed graph automata
F Reiter
arXiv preprint arXiv:1404.6503, 2014
52014
A classification of weak asynchronous models of distributed computing
J Esparza, F Reiter
arXiv preprint arXiv:2007.03291, 2020
32020
Distributed automata and logic
F Reiter
arXiv preprint arXiv:1805.06238, 2018
32018
A local perspective on the polynomial hierarchy
F Reiter
arXiv preprint arXiv:2305.09538, 2023
12023
Emptiness Problems for Distributed Automata
F Reiter
2017
Alternating Set Quantifiers in Modal Logic
F Reiter
arXiv preprint arXiv:1602.08971, 2016
2016
The system can't perform the operation now. Try again later.
Articles 1–12