Fabian Reiter

Identifiers

• name variant Fabian Reiter 0.60 · backfill

Papers (8)

1. Identifiers in Registers - Describing Network Algorithms with Logic cs.FL · 2018 · author #3
2. Distributed Automata and Logic cs.FL · 2018 · author #1
3. Counter Machines and Distributed Automata: A Story about Exchanging Space and Time cs.FL · 2018 · author #3
4. Emptiness Problems for Distributed Automata cs.FL · 2017 · author #2
5. Asynchronous Distributed Automata: A Characterization of the Modal Mu-Fragment cs.FL · 2016 · author #1
6. Alternating Set Quantifiers in Modal Logic cs.LO · 2016 · author #1
7. Distributed Graph Automata and Verification of Distributed Algorithms cs.FL · 2014 · author #1
8. Distributed Graph Automata cs.FL · 2014 · author #1

Mentions

• 1408.3030 #1 · backfill · confidence 0.70 Fabian Reiter
• 1404.6503 #1 · backfill · confidence 0.70 Fabian Reiter

Frequent Coauthors

• Antti Kuusisto 1 shared papers
• Benedikt Bollig 1 shared papers
• Bruno Guillon 1 shared papers
• Olivier Carton 1 shared papers
• Patricia Bouyer 1 shared papers