search result

Cover von Brief Announcement

Brief Announcement

Incrementally Verifiable Distributed Computation
Year: 2025
Media group: LIPIcs
Cover von Front Matter, Table of Contents, Preface, Conference Organization

Front Matter, Table of Contents, Preface, Conference Organization

Year: 2023
Media group: LIPIcs
Cover von LIPIcs, Volume 281, DISC 2023, Complete Volume

LIPIcs, Volume 281, DISC 2023, Complete Volume

Year: 2023
Media group: LIPIcs
Cover von 37th International Symposium on Distributed Computing
DISC 2023 : October 10 - 12, 2023, L'Aquila, Italy
Search for this author
Year: 2023
Publisher: Wadern, LZI
Series: Leibniz International Proceedings in Informatics; 281
Media group: LIPIcs
Cover von The Communication Complexity of Set Intersection Under Product Distributions

The Communication Complexity of Set Intersection Under Product Distributions

Year: 2023
Media group: LIPIcs
Cover von Truthful Information Dissemination in General Asynchronous Networks

Truthful Information Dissemination in General Asynchronous Networks

Year: 2021
Media group: LIPIcs
Cover von A Distributed Algorithm for Directed Minimum-Weight Spanning Tree

A Distributed Algorithm for Directed Minimum-Weight Spanning Tree

Year: 2019
Media group: LIPIcs
Cover von Lower Bounds for Subgraph Detection in the CONGEST Model

Lower Bounds for Subgraph Detection in the CONGEST Model

Year: 2018
Media group: LIPIcs
Cover von Explicit Space-Time Tradeoffs for Proof Labeling Schemes in Graphs with Small Separators

Explicit Space-Time Tradeoffs for Proof Labeling Schemes in Graphs with Small Separators

Year: 2022
Media group: LIPIcs
Cover von Model-Generic Incrementally Verifiable Computation from Updatable BARGs

Model-Generic Incrementally Verifiable Computation from Updatable BARGs

Year: 2026
Media group: LIPIcs
OPEN V 11.1.0.0