Fabian Reiter

18 papers A* 3B 2Journal 10Unranked 2

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