47 citations · 107 across the 20 of their papers we have counts for
5 papers · 1 filter
On the Power of Preprocessing in Decentralized Network Optimization
Klaus-Tycho Foerster, Juho Hirvonen, Stefan Schmid +1
As communication networks are growing at a fast pace, the need for more scalable approaches to operate such networks is pressing. Decentralization and locality are key concepts to…
Hardness of minimal symmetry breaking in distributed computing
Alkida Balliu, Juho Hirvonen, Dennis Olivetti +1
A graph is weakly -colored if the nodes are labeled with colors black and white such that each black node is adjacent to at least one white node and vice versa. In this work we…
Local verification of global proofs
Laurent Feuilloley, Juho Hirvonen
In this work we study the cost of local and global proofs on distributed verification. In this setting the nodes of a distributed system are provided with a nondeterministic proof…
Improved Distributed -Coloring
Mohsen Ghaffari, Juho Hirvonen, Fabian Kuhn +1
We present a randomized distributed algorithm that computes a -coloring in any non-complete graph with maximum degree in rounds,…
Redundancy in Distributed Proofs
Laurent Feuilloley, Pierre Fraigniaud, Juho Hirvonen +2
Distributed proofs are mechanisms enabling the nodes of a network to collectivity and efficiently check the correctness of Boolean predicates on the structure of the network, or on…