Fabian Reiter

According to our database, Fabian Reiter authored at least 11 papers between 2014 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

A Local Perspective on the Polynomial Hierarchy.

Fabian Reiter

CoRR, 2023

2020

A Classification of Weak Asynchronous Models of Distributed Computing.

Javier Esparza, Fabian Reiter

Proceedings of the 31st International Conference on Concurrency Theory, 2020

2019

Identifiers in Registers - Describing Network Algorithms with Logic.

Benedikt Bollig, Patricia Bouyer, Fabian Reiter

Proceedings of the Foundations of Software Science and Computation Structures, 2019

2018

Distributed Automata and Logic.

Fabian Reiter

CoRR, 2018

Counter Machines and Distributed Automata - A Story About Exchanging Space and Time.

Olivier Carton, Bruno Guillon, Fabian Reiter

Proceedings of the Cellular Automata and Discrete Complex Systems, 2018

2017

Distributed Automata and Logic. (Automates Distribués et Logique).

Fabian Reiter

PhD thesis, 2017

Emptiness Problems for Distributed Automata.

Antti Kuusisto, Fabian Reiter

Proceedings of the Proceedings Eighth International Symposium on Games, 2017

Asynchronous Distributed Automata: A Characterization of the Modal Mu-Fragment.

Fabian Reiter

Proceedings of the 44th International Colloquium on Automata, Languages, and Programming, 2017

2016

Alternating Set Quantifiers in Modal Logic.

Fabian Reiter

CoRR, 2016

2015

Distributed Graph Automata.

Fabian Reiter

Proceedings of the 30th Annual ACM/IEEE Symposium on Logic in Computer Science, 2015

2014

Distributed Graph Automata and Verification of Distributed Algorithms.

Fabian Reiter

CoRR, 2014