Fabian Reiter

Fabian Reiter

Université Gustave-Eiffel - Champs-sur-Marne / France
Engineering & Technology / Computer Science
AD Scientific Index ID: 5771212
Gustave Eiffel University
person_outline Fabian Reiter's MOST POPULAR ARTICLES
1-) Distributed graph automataF Reiter2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science, 192-201, 2015382015
2-) Asynchronous distributed automata: A characterization of the modal mu-fragmentF ReiterarXiv preprint arXiv:1611.08554, 2016212016
3-) Counter machines and distributed automata: a story about exchanging space and timeO Carton, B Guillon, F ReiterCellular Automata and Discrete Complex Systems: 24th IFIP WG 1.5 …, 2018142018
4-) Identifiers in Registers: Describing Network Algorithms with LogicB Bollig, P Bouyer, F ReiterInternational Conference on Foundations of Software Science and Computation …, 2019132019
5-) Emptiness problems for distributed automataA Kuusisto, F ReiterarXiv preprint arXiv:1705.02609, 201752017