Fabian Reiter

Fabian Reiter

Université Gustave-Eiffel - / France
Engineering & Technology / Computer Science
AD Scientific Index ID: 5771212
Gustave Eiffel University
person_outline Fabian Reiter's MOST POPULAR ARTICLES
1-) Distributed graph automata 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science, 192-201, 2015
2-) Asynchronous distributed automata: a characterization of the modal mu-fragment arXiv preprint arXiv:1611.08554, 2016
3-) Identifiers in Registers: Describing Network Algorithms with Logic International Conference on Foundations of Software Science and Computation …, 2019
4-) Counter machines and distributed automata: a story about exchanging space and time Cellular Automata and Discrete Complex Systems: 24th IFIP WG 1.5 …, 2018
5-) Emptiness problems for distributed automata arXiv preprint arXiv:1705.02609, 2017