research
∙
05/16/2023
A Local Perspective on the Polynomial Hierarchy
We extend classical methods of computational complexity to the setting o...
share
research
∙
07/07/2020
A Classification of Weak Asynchronous Models of Distributed Computing
We conduct a systematic study of asynchronous models of distributed comp...
research
∙
11/20/2018
Identifiers in Registers - Describing Network Algorithms with Logic
We propose a formal model of distributed computing based on register aut...
research
∙
05/16/2018
Distributed Automata and Logic
Distributed automata are finite-state machines that operate on finite di...
research
∙
04/10/2018
