Distributed Graph Automata and Verification of Distributed Algorithms. - Fabian Reiter (CoRR, 2014)

Distributed Graph Automata. - Fabian Reiter (LICS, 2015)

Alternating Set Quantifiers in Modal Logic. - Fabian Reiter (CoRR, 2016)

Asynchronous Distributed Automata: A Characterization of the Modal Mu-Fragment. - Fabian Reiter (ICALP, 2017)

Emptiness Problems for Distributed Automata. - Antti Kuusisto; Fabian Reiter (GandALF, 2017)

Distributed Automata and Logic. (Automates Distribués et Logique). - Fabian Reiter (2017)

Counter Machines and Distributed Automata - A Story About Exchanging Space and Time. - Olivier Carton; Bruno Guillon; Fabian Reiter (Automata, 2018)

Distributed Automata and Logic. - Fabian Reiter (CoRR, 2018)

Identifiers in Registers - Describing Network Algorithms with Logic. - Benedikt Bollig; Patricia Bouyer; Fabian Reiter (FoSSaCS, 2019)

A Classification of Weak Asynchronous Models of Distributed Computing. - Javier Esparza; Fabian Reiter (CONCUR, 2020)

A Local Perspective on the Polynomial Hierarchy. - Fabian Reiter (CoRR, 2023)

A LOCAL View of the Polynomial Hierarchy. - Fabian Reiter (PODC, 2024)