Obserwuj
Fabian Reiter
Fabian Reiter
LIGM, Gustave Eiffel University
Zweryfikowany adres z univ-eiffel.fr
Tytuł
Cytowane przez
Cytowane przez
Rok
Distributed graph automata
F Reiter
2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science, 192-201, 2015
382015
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
132019
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
132018
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
A LOCAL View of the Polynomial Hierarchy
F Reiter
Proceedings of the 43rd ACM Symposium on Principles of Distributed Computing …, 2024
2024
Distributed automata and logic| Theses. fr
F Reiter
Sorbonne Paris Cité, 2017
2017
Emptiness Problems for Distributed Automata
F Reiter
2017
Alternating Set Quantifiers in Modal Logic
F Reiter
arXiv preprint arXiv:1602.08971, 2016
2016
Nie można teraz wykonać tej operacji. Spróbuj ponownie później.
Prace 1–13