researchr
explore
Tags
Journals
Conferences
Authors
Profiles
Groups
calendar
New Conferences
Events
Deadlines
search
search
You are not signed in
Sign in
Sign up
Links
Filter by Year
[-]
OR
AND
NOT
1
1987
1988
1989
1990
1991
1992
1993
1994
1995
1996
1997
1998
1999
2000
2001
2002
2003
2004
2005
2006
2007
2008
2009
2010
2011
2012
2013
2014
2015
2016
2017
2018
2019
2020
2021
2022
2023
Filter by Tag
[+]
OR
AND
NOT
1
C++
Meta-Environment
analysis
consistency
data-flow
e-science
graph-rewriting
meta-model
meta-objects
mobile
open-source
partitioning
protocol
rewriting
routing
rule-based
search
source-to-source
synchronization
systematic-approach
Filter by Author
[+]
OR
AND
NOT
1
Dahlia Malkhi
Dariusz R. Kowalski
David Peleg
Eli Gafni
Fabian Kuhn
Gadi Taubenfeld
Hagit Attiya
Idit Keidar
Maurice Herlihy
Merav Parter
Michel Raynal
Mohsen Ghaffari
Nancy A. Lynch
Pierre Fraigniaud
Rachid Guerraoui
Roger Wattenhofer
Sam Toueg
Seth Gilbert
Shay Kutten
Yehuda Afek
Filter by Top terms
[+]
OR
AND
NOT
1
abstract
agreement
algorithm
algorithms
announcement
asynchronous
brief
byzantine
computing
consensus
distributed
efficient
extended
free
memory
networks
optimal
self
systems
time
DISC (wdag)
Editions
Publications
Viewing Publication 1 - 100 from 1403
2023
Distributed Sketching Lower Bounds for k-Edge Connected Spanning Subgraphs, BFS Trees, and LCL Problems
Peter Robinson 0002
.
wdag 2023
:
[doi]
Front Matter, Table of Contents, Preface, Conference Organization
wdag 2023
:
[doi]
Colordag: An Incentive-Compatible Blockchain
Ittai Abraham
,
Danny Dolev
,
Ittay Eyal
,
Joseph Y. Halpern
.
wdag 2023
:
[doi]
Brief Announcement: BatchBoost: Universal Batching for Concurrent Data Structures
Vitaly Aksenov
,
Michael Anoprenko
,
Alexander Fedorov
,
Michael F. Spear
.
wdag 2023
:
[doi]
Certified Round Complexity of Self-Stabilizing Algorithms
Karine Altisen
,
Pierre Corbineau
,
Stéphane Devismes
.
wdag 2023
:
[doi]
Network Agnostic Perfectly Secure MPC Against General Adversaries
Ananya Appan
,
Anirudh Chandramouli
,
Ashish Choudhury
.
wdag 2023
:
[doi]
One Step Forward, One Step Back: FLP-Style Proofs and the Round-Reduction Technique for Colorless Tasks
Hagit Attiya
,
Pierre Fraigniaud
,
Ami Paz
,
Sergio Rajsbaum
.
wdag 2023
:
[doi]
Brief Announcement: Multi-Valued Connected Consensus: A New Perspective on Crusader Agreement and Adopt-Commit
Hagit Attiya
,
Jennifer L. Welch
.
wdag 2023
:
[doi]
Topological Characterization of Task Solvability in General Models of Computation
Hagit Attiya
,
Armando Castañeda
,
Thomas Nowak
.
wdag 2023
:
[doi]
Base Fee Manipulation in Ethereum's EIP-1559 Transaction Fee Mechanism
Sarah Azouvi
,
Guy Goren
,
Lioba Heimbach
,
Alexander Hicks
.
wdag 2023
:
[doi]
On the Node-Averaged Complexity of Locally Checkable Problems on Trees
Alkida Balliu
,
Sebastian Brandt 0002
,
Fabian Kuhn
,
Dennis Olivetti
,
Gustav Schmid
.
wdag 2023
:
[doi]
Treasure Hunt with Volatile Pheromones
Evangelos Bampas
,
Joffroy Beauquier
,
Janna Burman
,
William Guy-Obé
.
wdag 2023
:
[doi]
The FIDS Theorems: Tensions Between Multinode and Multicore Performance in Transactional Systems
Naama Ben-David
,
Gal Sela 0001
,
Adriana Szekeres
.
wdag 2023
:
[doi]
Communication Lower Bounds for Cryptographic Broadcast Protocols
Erica Blum
,
Elette Boyle
,
Ran Cohen
,
Chen-Da Liu Zhang
.
wdag 2023
:
[doi]
Time and Space Optimal Massively Parallel Algorithm for the 2-Ruling Set Problem
Mélanie Cambus
,
Fabian Kuhn
,
Shreyas Pai
,
Jara Uitto
.
wdag 2023
:
[doi]
Self-Stabilizing Clock Synchronization in Probabilistic Networks
Bernadette Charron-Bost
,
Louis Penet de Monterno
.
wdag 2023
:
[doi]
Brief Announcement: Relations Between Space-Bounded and Adaptive Massively Parallel Computations
Michael Chen
,
A. Pavan 0001
,
N. V. Vinodchandran
.
wdag 2023
:
[doi]
Brief Announcement: On Implementing Wear Leveling in Persistent Synchronization Structures
Jakeb Chouinard
,
Kush Kansara
,
Xialin Liu
,
Nihal Potdar
,
Wojciech Golab
.
wdag 2023
:
[doi]
Every Bit Counts in Consensus
Pierre Civit
,
Seth Gilbert
,
Rachid Guerraoui
,
Jovan Komatovic
,
Matteo Monti
,
Manuel Vidigueira
.
wdag 2023
:
[doi]
Brief Announcement: Subquadratic Multivalued Asynchronous Byzantine Agreement WHP
Shir Cohen
,
Idit Keidar
.
wdag 2023
:
[doi]
Efficient Collaborative Tree Exploration with Breadth-First Depth-Next
Romain Cosson
,
Laurent Massoulié
,
Laurent Viennot
.
wdag 2023
:
[doi]
A Topology by Geometrization for Sub-Iterated Immediate Snapshot Message Adversaries and Applications to Set-Agreement
Yannis Coutouly
,
Emmanuel Godard
.
wdag 2023
:
[doi]
Brief Announcement: Distributed Derandomization Revisited
Sameep Dahal
,
Francesco D'Amore 0001
,
Henrik Lievonen
,
Timothé Picavet
,
Jukka Suomela
.
wdag 2023
:
[doi]
Modular Recoverable Mutual Exclusion Under System-Wide Failures
Sahil Dhoked
,
Wojciech Golab
,
Neeraj Mittal
.
wdag 2023
:
[doi]
Send/Receive Patterns Versus Read/Write Patterns in Crash-Prone Asynchronous Distributed Systems
Mathilde Déprés
,
Achour Mostéfaoui
,
Matthieu Perrin
,
Michel Raynal
.
wdag 2023
:
[doi]
Fast Coloring Despite Congested Relays
Maxime Flin
,
Magnús M. Halldórsson
,
Alexandre Nolin
.
wdag 2023
:
[doi]
Distributed Certification for Classes of Dense Graphs
Pierre Fraigniaud
,
Frédéric Mazoit
,
Pedro Montealegre 0001
,
Ivan Rapaport
,
Ioan Todinca
.
wdag 2023
:
[doi]
The Synchronization Power (Consensus Number) of Access-Control Objects: the Case of AllowList and DenyList
Davide Frey
,
Mathieu Gestin
,
Michel Raynal
.
wdag 2023
:
[doi]
List Defective Colorings: Distributed Algorithms and Applications
Marc Fuchs
,
Fabian Kuhn
.
wdag 2023
:
[doi]
Brief Announcement: Byzantine Consensus Under Dynamic Participation with a Well-Behaved Majority
Eli Gafni
,
Giuliano Losa
.
wdag 2023
:
[doi]
Brief Announcement: Scalable Agreement Protocols with Optimal Optimistic Efficiency
Yuval Gelles
,
Ilan Komargodski
.
wdag 2023
:
[doi]
Conditionally Optimal Parallel Coloring of Forests
Christoph Grunau
,
Rustam Latypov
,
Yannic Maus
,
Shreyas Pai
,
Jara Uitto
.
wdag 2023
:
[doi]
On the Inherent Anonymity of Gossiping
Rachid Guerraoui
,
Anne-Marie Kermarrec
,
Anastasiia Kucherenko
,
Rafaël Pinot
,
Sasha Voitovych
.
wdag 2023
:
[doi]
Durable Algorithms for Writable LL/SC and CAS with Dynamic Joining
Prasad Jayanti
,
Siddhartha Jayanti
,
Sucharita Jayanti
.
wdag 2023
:
[doi]
Cordial Miners: Fast and Efficient Consensus for Every Eventuality
Idit Keidar
,
Oded Naor
,
Ouri Poupko
,
Ehud Shapiro
.
wdag 2023
:
[doi]
Fast Reconfiguration for Programmable Matter
Irina Kostitsyna
,
Tom Peters
,
Bettina Speckmann
.
wdag 2023
:
[doi]
Brief Announcement: Recoverable and Detectable Self-Implementations of Swap
Tomer Lev Lehman
,
Hagit Attiya
,
Danny Hendler
.
wdag 2023
:
[doi]
Brief Announcement: Let It TEE: Asynchronous Byzantine Atomic Broadcast with n ≥ 2f+1
Marc Leinweber
,
Hannes Hartenstein
.
wdag 2023
:
[doi]
Quorum Subsumption for Heterogeneous Quorum Systems
Xiao Li
,
Eric Chan
,
Mohsen Lesani
.
wdag 2023
:
[doi]
Optimal Computation in Leaderless and Multi-Leader Disconnected Anonymous Dynamic Networks
Giuseppe Antonio Di Luna
,
Giovanni Viglietta
.
wdag 2023
:
[doi]
Fast Deterministic Rendezvous in Labeled Lines
Avery Miller
,
Andrzej Pelc
.
wdag 2023
:
[doi]
Null Messages, Information and Coordination
Raïssa Nataf
,
Guy Goren
,
Yoram Moses
.
wdag 2023
:
[doi]
Brief Announcement: Line Formation in Silent Programmable Matter
Alfredo Navarra
,
Francesco Piselli
.
wdag 2023
:
[doi]
37th International Symposium on Distributed Computing, DISC 2023, October 10-12, 2023, L'Aquila, Italy
Rotem Oshman
, editor,
Volume 281 of
LIPIcs
, Schloss Dagstuhl - Leibniz-Zentrum für Informatik,
2023.
[doi]
Brief Announcement: The Space Complexity of Set Agreement Using Swap
Sean Ovens
.
wdag 2023
:
[doi]
Gorilla: Safe Permissionless Byzantine Consensus
Youer Pu
,
Ali Farahbakhsh
,
Lorenzo Alvisi
,
Ittay Eyal
.
wdag 2023
:
[doi]
Brief Announcement: Grassroots Distributed Systems: Concept, Examples, Implementation and Applications
Ehud Shapiro
.
wdag 2023
:
[doi]
Memory-Anonymous Starvation-Free Mutual Exclusion: Possibility and Impossibility Results
Gadi Taubenfeld
.
wdag 2023
:
[doi]
Improved and Partially-Tight Lower Bounds for Message-Passing Implementations of Multiplicity Queues
Anh Tran
,
Edward Talmage
.
wdag 2023
:
[doi]
2022
Brief Announcement: Gathering Despite Defected View
Yonghwan Kim 0001
,
Masahiro Shibata
,
Yuichi Sudo
,
Junya Nakamura 0001
,
Yoshiaki Katayama
,
Toshimitsu Masuzawa
.
wdag 2022
:
[doi]
Holistic Verification of Blockchain Consensus
Nathalie Bertrand 0001
,
Vincent Gramoli
,
Igor Konnov 0001
,
Marijana Lazic
,
Pierre Tholoniat
,
Josef Widder
.
wdag 2022
:
[doi]
On Implementing SWMR Registers from SWSR Registers in Systems with Byzantine Failures
Xing Hu 0009
,
Sam Toueg
.
wdag 2022
:
[doi]
Front Matter, Table of Contents, Preface, Conference Organization
wdag 2022
:
[doi]
Good-Case Early-Stopping Latency of Synchronous Byzantine Reliable Broadcast: The Deterministic Case
Timothé Albouy
,
Davide Frey
,
Michel Raynal
,
François Taïani
.
wdag 2022
:
[doi]
Brief Announcement: Distributed Algorithms for Minimum Dominating Set Problem and Beyond, a New Approach
Sharareh Alipour
,
Mohammadhadi Salari
.
wdag 2022
:
[doi]
Polynomial-Time Verification and Testing of Implementations of the Snapshot Data Structure
Gal Amram
,
Avi Hayoun
,
Lior Mizrahi
,
Gera Weiss
.
wdag 2022
:
[doi]
Almost Universally Optimal Distributed Laplacian Solvers via Low-Congestion Shortcuts
Ioannis Anagnostides
,
Christoph Lenzen 0001
,
Bernhard Haeupler
,
Goran Zuzic
,
Themis Gouleakis
.
wdag 2022
:
[doi]
Graph Coloring, Palette Sparsification, and Beyond (Invited Talk)
Sepehr Assadi
.
wdag 2022
:
[doi]
Byzantine Connectivity Testing in the Congested Clique
John Augustine
,
Anisur Rahaman Molla
,
Gopal Pandurangan
,
Yadu Vasudev
.
wdag 2022
:
[doi]
Managing the Cyber Risk in a Decoupled World: Does This Bring Potential Opportunities in Computer Science? (Invited Talk)
Roberto Baldoni
.
wdag 2022
:
[doi]
Exponential Speedup over Locality in MPC with Optimal Memory
Alkida Balliu
,
Sebastian Brandt 0002
,
Manuela Fischer
,
Rustam Latypov
,
Yannic Maus
,
Dennis Olivetti
,
Jara Uitto
.
wdag 2022
:
[doi]
Efficient Classification of Locally Checkable Problems in Regular Trees
Alkida Balliu
,
Sebastian Brandt 0002
,
Yi-Jun Chang
,
Dennis Olivetti
,
Jan Studený
,
Jukka Suomela
.
wdag 2022
:
[doi]
How to Meet at a Node of Any Connected Graph
Subhash Bhagat
,
Andrzej Pelc
.
wdag 2022
:
[doi]
Liveness and Latency of Byzantine State-Machine Replication
Manuel Bravo
,
Gregory V. Chockler
,
Alexey Gotsman
.
wdag 2022
:
[doi]
Oracular Byzantine Reliable Broadcast
Martina Camaioni
,
Rachid Guerraoui
,
Matteo Monti
,
Manuel Vidigueira
.
wdag 2022
:
[doi]
Byzantine Consensus Is Θ(n²): The Dolev-Reischuk Bound Is Tight Even in Partial Synchrony!
Pierre Civit
,
Muhammad Ayaz Dzulfikar
,
Seth Gilbert
,
Vincent Gramoli
,
Rachid Guerraoui
,
Jovan Komatovic
,
Manuel Vidigueira
.
wdag 2022
:
[doi]
Dynamic Probabilistic Input Output Automata
Pierre Civit
,
Maria Potop-Butucaru
.
wdag 2022
:
[doi]
Brief Announcement: Minimizing Congestion in Hybrid Demand-Aware Network Topologies
Wenkai Dai
,
Michael Dinitz
,
Klaus-Tycho Foerster
,
Stefan Schmid 0001
.
wdag 2022
:
[doi]
How to Wake up Your Neighbors: Safe and Nearly Optimal Generic Energy Conservation in Radio Networks
Varsha Dani
,
Thomas P. Hayes
.
wdag 2022
:
[doi]
Distributed Randomness from Approximate Agreement
Luciano Freitas de Souza
,
Petr Kuznetsov
,
Andrei Tonkikh
.
wdag 2022
:
[doi]
Smoothed Analysis of Information Spreading in Dynamic Networks
Michael Dinitz
,
Jeremy T. Fineman
,
Seth Gilbert
,
Calvin Newport
.
wdag 2022
:
[doi]
An Almost Singularly Optimal Asynchronous Distributed MST Algorithm
Fabien Dufoulon
,
Shay Kutten
,
William K. Moses Jr.
,
Gopal Pandurangan
,
David Peleg
.
wdag 2022
:
[doi]
Locally Restricted Proof Labeling Schemes
Yuval Emek
,
Yuval Gil
,
Shay Kutten
.
wdag 2022
:
[doi]
Distributed Construction of Lightweight Spanners for Unit Ball Graphs
David Eppstein
,
Hadi Khodabandeh
.
wdag 2022
:
[doi]
Improved Deterministic Connectivity in Massively Parallel Computation
Manuela Fischer
,
Jeff Giliberti
,
Christoph Grunau
.
wdag 2022
:
[doi]
Fault Tolerant Coloring of the Asynchronous Cycle
Pierre Fraigniaud
,
Patrick Lambein-Monette
,
Mikaël Rabie
.
wdag 2022
:
[doi]
Brief Announcement: Computing Power of Hybrid Models in Synchronous Networks
Pierre Fraigniaud
,
Pedro Montealegre 0001
,
Pablo Paredes
,
Ivan Rapaport
,
Martín Ríos Wilson
,
Ioan Todinca
.
wdag 2022
:
[doi]
Brief Announcement: Distributed Quantum Interactive Proofs
François Le Gall
,
Masayuki Miyamoto
,
Harumichi Nishimura
.
wdag 2022
:
[doi]
Brief Announcement: New Clocks, Fast Line Formation and Self-Replication Population Protocols
Leszek Gasieniec
,
Paul G. Spirakis
,
Grzegorz Stachowiak
.
wdag 2022
:
[doi]
Fragmented ARES: Dynamic Storage for Large Objects
Chryssis Georgiou
,
Nicolas Nicolaou
,
Andria Trigeorgi
.
wdag 2022
:
[doi]
Fast Distributed Vertex Splitting with Applications
Magnús M. Halldórsson
,
Yannic Maus
,
Alexandre Nolin
.
wdag 2022
:
[doi]
Broadcast CONGEST Algorithms Against Eavesdroppers
Yael Hitron
,
Merav Parter
,
Eylon Yogev
.
wdag 2022
:
[doi]
Brief Announcement: Performance Anomalies in Concurrent Data Structure Microbenchmarks
Rosina Kharal
,
Trevor Brown 0001
.
wdag 2022
:
[doi]
Brief Announcement: An Effective Geometric Communication Structure for Programmable Matter
Irina Kostitsyna
,
Tom Peters
,
Bettina Speckmann
.
wdag 2022
:
[doi]
Routing Schemes and Distance Oracles in the Hybrid Model
Fabian Kuhn
,
Philipp Schneider
.
wdag 2022
:
[doi]
Contention Resolution Without Collision Detection: Constant Throughput And Logarithmic Energy
Gianluca De Marco
,
Dariusz R. Kowalski
,
Grzegorz Stachowiak
.
wdag 2022
:
[doi]
On Payment Channels in Asynchronous Money Transfer Systems
Oded Naor
,
Idit Keidar
.
wdag 2022
:
[doi]
Brief Announcement: Null Messages, Information and Coordination
Raïssa Nataf
,
Guy Goren
,
Yoram Moses
.
wdag 2022
:
[doi]
Brief Announcement: Asymmetric Mutual Exclusion for RDMA
Jacob Nelson-Slivon
,
Lewis Tseng
,
Roberto Palmieri
.
wdag 2022
:
[doi]
Brief Announcement: Foraging in Particle Systems via Self-Induced Phase Changes
Shunhao Oh
,
Dana Randall
,
Andréa W. Richa
.
wdag 2022
:
[doi]
The Space Complexity of Scannable Objects with Bounded Components
Sean Ovens
.
wdag 2022
:
[doi]
Brief Announcement: Temporal Locality in Online Algorithms
Maciej Pacut
,
Mahmoud Parham
,
Joel Rybicki
,
Stefan Schmid 0001
,
Jukka Suomela
,
Aleksandr Tereshchenko
.
wdag 2022
:
[doi]
Near-Optimal Distributed Computation of Small Vertex Cuts
Merav Parter
,
Asaf Petruschka
.
wdag 2022
:
[doi]
Õptimal Dual Vertex Failure Connectivity Labels
Merav Parter
,
Asaf Petruschka
.
wdag 2022
:
[doi]
Safe Permissionless Consensus
Youer Pu
,
Lorenzo Alvisi
,
Ittay Eyal
.
wdag 2022
:
[doi]
Packet Forwarding with a Locally Bursty Adversary
Will Rosenbaum
.
wdag 2022
:
[doi]
36th International Symposium on Distributed Computing, DISC 2022, October 25-27, 2022, Augusta, Georgia, USA
Christian Scheideler
, editor,
Volume 246 of
LIPIcs
, Schloss Dagstuhl - Leibniz-Zentrum für Informatik,
2022.
[doi]
The Weakest Failure Detector for Genuine Atomic Multicast
Pierre Sutra
.
wdag 2022
:
[doi]
Using Linearizable Objects in Randomized Concurrent Programs (Invited Talk)
Jennifer L. Welch
.
wdag 2022
:
[doi]
Space-Stretch Tradeoff in Routing Revisited
Anatoliy Zinovyev
.
wdag 2022
:
[doi]
Sign in
or
sign up
to see more results.