Fabian Reiter

ORCID

Publication Activity (10 Years)

Years Active: 2014-2024
Publications (10 Years): 15

Top Venues

Paris Diderot University, France (PHD)

Education History

Paris Diderot University, France

PHD

Publications

Fabian Reiter
A LOCAL View of the Polynomial Hierarchy. PODC (2024)
Fabian Reiter
A Local Perspective on the Polynomial Hierarchy. CoRR (2023)
Javier Esparza, Fabian Reiter
A Classification of Weak Asynchronous Models of Distributed Computing. CoRR (2020)
Javier Esparza, Fabian Reiter
A Classification of Weak Asynchronous Models of Distributed Computing. CONCUR (2020)
Antti Kuusisto, Fabian Reiter
Emptiness problems for distributed automata. Inf. Comput. 272 (2020)
Benedikt Bollig, Patricia Bouyer, Fabian Reiter
Identifiers in Registers - Describing Network Algorithms with Logic. FoSSaCS (2019)
Olivier Carton, Bruno Guillon, Fabian Reiter
Counter Machines and Distributed Automata - A Story About Exchanging Space and Time. Automata (2018)
Olivier Carton, Bruno Guillon, Fabian Reiter
Counter Machines and Distributed Automata: A Story about Exchanging Space and Time. CoRR (2018)
Benedikt Bollig, Patricia Bouyer, Fabian Reiter
Identifiers in Registers - Describing Network Algorithms with Logic. CoRR (2018)
Fabian Reiter
Distributed Automata and Logic. CoRR (2018)
Fabian Reiter
Asynchronous Distributed Automata: A Characterization of the Modal Mu-Fragment. ICALP (2017)
Antti Kuusisto, Fabian Reiter
Emptiness Problems for Distributed Automata. GandALF (2017)
Fabian Reiter
Alternating Set Quantifiers in Modal Logic. CoRR (2016)
Fabian Reiter
Asynchronous Distributed Automata: A Characterization of the Modal Mu-Fragment. CoRR (2016)
Fabian Reiter
Distributed Graph Automata. LICS (2015)
Fabian Reiter
Distributed Graph Automata and Verification of Distributed Algorithms. CoRR (2014)
Fabian Reiter
Distributed Graph Automata. CoRR (2014)

Fabian Reiter.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Fabian Reiter