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
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
2024
Filter by Tag
[+]
OR
AND
NOT
1
C++
Meta-Environment
architecture
consistency
data-flow
graph-rewriting
meta-model
meta-objects
mobile
peer-to-peer
principles
protocol
rewriting
routing
rule-based
search
source-to-source
synchronization
testing
wireless sensor networks
Filter by Author
[+]
OR
AND
NOT
1
Alexander A. Shvartsman
Alexander Spiegelman
Andrzej Pelc
Christian Cachin
Fukuhito Ooshita
Hagit Attiya
Idit Keidar
Ittai Abraham
Maurice Herlihy
Michel Raynal
Nicola Santoro
Paola Flocchini
Petr Kuznetsov
Philippas Tsigas
Rachid Guerraoui
Roger Wattenhofer
Shlomi Dolev
Sébastien Tixeuil
Toshimitsu Masuzawa
Vijay K. Garg
Filter by Top terms
[+]
OR
AND
NOT
1
agreement
algorithm
algorithms
asynchronous
byzantine
communication
conference
consensus
distributed
dynamic
free
international
memory
mobile
networks
principles
self
stabilizing
systems
time
OPODIS (opodis)
Editions
Publications
Viewing Publication 1 - 100 from 812
2024
27th International Conference on Principles of Distributed Systems, OPODIS 2023, December 6-8, 2023, Tokyo, Japan
Alysson Bessani
,
Xavier Défago
,
Junya Nakamura 0001
,
Koichi Wada 0001
,
Yukiko Yamauchi
, editors,
Volume 286 of
LIPIcs
, Schloss Dagstuhl - Leibniz-Zentrum für Informatik,
2024.
[doi]
2023
Local Recurrent Problems in the SUPPORTED Model
Akanksha Agrawal 0001
,
John Augustine
,
David Peleg
,
Srikkanth Ramachandran
.
opodis 2024
:
[doi]
A Fair and Resilient Decentralized Clock Network for Transaction Ordering
Andrei Constantinescu 0001
,
Diana Ghinea
,
Lioba Heimbach
,
Zilin Wang
,
Roger Wattenhofer
.
opodis 2024
:
[doi]
Front Matter, Table of Contents, Preface, Conference Organization
opodis 2024
:
[doi]
On the Round Complexity of Asynchronous Crusader Agreement
Ittai Abraham
,
Naama Ben-David
,
Gilad Stern
,
Sravya Yandamuri
.
opodis 2024
:
[doi]
Eating Sandwiches: Modular and Lightweight Elimination of Transaction Reordering Attacks
Orestis Alpos
,
Ignacio Amores-Sesar
,
Christian Cachin
,
Michelle Yeo
.
opodis 2024
:
[doi]
A Wait-Free Deque With Polylogarithmic Step Complexity
Shalom M. Asbell
,
Eric Ruppert
.
opodis 2024
:
[doi]
Bounds on Worst-Case Responsiveness for Agreement Algorithms
Hagit Attiya
,
Jennifer L. Welch
.
opodis 2024
:
[doi]
The Synchronization Power of Auditable Registers
Hagit Attiya
,
Antonella Del Pozzo
,
Alessia Milani
,
Ulysse Pavloff
,
Alexandre Rapetti
.
opodis 2024
:
[doi]
Multi-Valued Connected Consensus: A New Perspective on Crusader Agreement and Adopt-Commit
Hagit Attiya
,
Jennifer L. Welch
.
opodis 2024
:
[doi]
A Tight Bound on Multiple Spending in Decentralized Cryptocurrencies
João Paulo Bezerra
,
Petr Kuznetsov
.
opodis 2024
:
[doi]
Reliable Broadcast Despite Mobile Byzantine Faults
Silvia Bonomi
,
Giovanni Farina
,
Sébastien Tixeuil
.
opodis 2024
:
[doi]
Improved Distributed Algorithms for Random Colorings
Charlie Carlson
,
Daniel Frishberg
,
Eric Vigoda
.
opodis 2024
:
[doi]
Discrete Incremental Voting
Colin Cooper
,
Tomasz Radzik
,
Takeharu Shiraga
.
opodis 2024
:
[doi]
Distributed Partial Coloring via Gradual Rounding
Avinandan Das
,
Pierre Fraigniaud
,
Adi Rosén
.
opodis 2024
:
[doi]
Nova: Safe Off-Heap Memory Allocation and Reclamation
Ramy Fakhoury
,
Anastasia Braginsky
,
Idit Keidar
,
Yoav Zuriel
.
opodis 2024
:
[doi]
On Asynchrony, Memory, and Communication: Separations and Landscapes
Paola Flocchini
,
Nicola Santoro
,
Yuichi Sudo
,
Koichi Wada 0001
.
opodis 2024
:
[doi]
Quantum Distributed Computing: Potential and Limitations (Invited Talk)
François Le Gall
.
opodis 2024
:
[doi]
Improved Deterministic Distributed Maximum Weight Independent Set Approximation in Sparse Graphs
Yuval Gil
.
opodis 2024
:
[doi]
From Consensus Research to Redbelly Network Pty Ltd (Invited Talk)
Vincent Gramoli
.
opodis 2024
:
[doi]
26th International Conference on Principles of Distributed Systems, OPODIS 2022, December 13-15, 2022, Brussels, Belgium
Eshcar Hillel
,
Roberto Palmieri
,
Etienne Rivière
, editors,
Volume 253 of
LIPIcs
, Schloss Dagstuhl - Leibniz-Zentrum für Informatik,
2023.
[doi]
On the Convergence Time in Graphical Games: A Locality-Sensitive Approach
Juho Hirvonen
,
Laura Schmid
,
Krishnendu Chatterjee
,
Stefan Schmid 0001
.
opodis 2024
:
[doi]
Atomic Register Abstractions for Byzantine-Prone Distributed Systems
Vincent Kowalski
,
Achour Mostéfaoui
,
Matthieu Perrin
.
opodis 2024
:
[doi]
Tight Bounds on the Message Complexity of Distributed Tree Verification
Shay Kutten
,
Peter Robinson 0002
,
Ming Ming Tan
.
opodis 2024
:
[doi]
Flooding with Absorption: An Efficient Protocol for Heterogeneous Bandits over Complex Networks
Junghyun Lee
,
Laura Schmid
,
Se-Young Yun
.
opodis 2024
:
[doi]
Recoverable and Detectable Self-Implementations of Swap
Tomer Lev Lehman
,
Hagit Attiya
,
Danny Hendler
.
opodis 2024
:
[doi]
Fever: Optimal Responsive View Synchronisation
Andrew Lewis-Pye
,
Ittai Abraham
.
opodis 2024
:
[doi]
Probable Approximate Coordination
Ariel Livshits
,
Yoram Moses
.
opodis 2024
:
[doi]
Black Hole Search in Dynamic Rings: The Scattered Case
Giuseppe Antonio Di Luna
,
Paola Flocchini
,
Giuseppe Prencipe
,
Nicola Santoro
.
opodis 2024
:
[doi]
A Holistic Approach for Trustworthy Distributed Systems with WebAssembly and TEEs
Jämes Ménétrey
,
Aeneas Grüter
,
Peterson Yuhala
,
Julius Oeftiger
,
Pascal Felber
,
Marcelo Pasin
,
Valerio Schiavoni
.
opodis 2024
:
[doi]
Fault-Tolerant Computing with Unreliable Channels
Alejandro Naser-Pastoriza
,
Gregory V. Chockler
,
Alexey Gotsman
.
opodis 2024
:
[doi]
Silent Programmable Matter: Coating
Alfredo Navarra
,
Francesco Piselli
.
opodis 2024
:
[doi]
Sketching the Path to Efficiency: Lightweight Learned Cache Replacement
Rana Shahout
,
Roy Friedman
.
opodis 2024
:
[doi]
Byzantine Consensus in Abstract MAC Layer
Lewis Tseng
,
Callie Sardina
.
opodis 2024
:
[doi]
On Polynomial Time Local Decision
Eden Aldema Tshuva
,
Rotem Oshman
.
opodis 2024
:
[doi]
Distributed Algorithms as a Gateway To Deductive Learning (Invited Talk)
Roger Wattenhofer
.
opodis 2024
:
[doi]
Energy-Constrained Programmable Matter Under Unfair Adversaries
Jamison W. Weber
,
Tishya Chhabra
,
Andréa W. Richa
,
Joshua J. Daymude
.
opodis 2024
:
[doi]
2022
Gathering of Mobile Robots with Defected Views
Yonghwan Kim 0001
,
Masahiro Shibata
,
Yuichi Sudo
,
Junya Nakamura 0001
,
Yoshiaki Katayama
,
Toshimitsu Masuzawa
.
opodis 2023
:
[doi]
Front Matter, Table of Contents, Preface, Conference Organization
opodis 2023
:
[doi]
New Dolev-Reischuk Lower Bounds Meet Blockchain Eclipse Attacks
Ittai Abraham
,
Gilad Stern
.
opodis 2023
:
[doi]
A Modular Approach to Construct Signature-Free BRB Algorithms Under a Message Adversary
Timothé Albouy
,
Davide Frey
,
Michel Raynal
,
François Taïani
.
opodis 2023
:
[doi]
When Is Spring Coming? A Security Analysis of Avalanche Consensus
Ignacio Amores-Sesar
,
Christian Cachin
,
Enrico Tedeschi
.
opodis 2023
:
[doi]
The Step Complexity of Multidimensional Approximate Agreement
Hagit Attiya
,
Faith Ellen
.
opodis 2023
:
[doi]
Randomized Byzantine Gathering in Rings
John Augustine
,
Arnhav Datar
,
Nischith Shadagopan
.
opodis 2023
:
[doi]
Modeling Resources in Permissionless Longest-Chain Total-Order Broadcast
Sarah Azouvi
,
Christian Cachin
,
Duc V. Le
,
Marko Vukolic
,
Luca Zanolini
.
opodis 2023
:
[doi]
On the Hierarchy of Distributed Majority Protocols
Petra Berenbrink
,
Amin Coja-Oghlan
,
Oliver Gebhard
,
Max Hahn-Klimroth
,
Dominik Kaaser
,
Malin Rau
.
opodis 2023
:
[doi]
25th International Conference on Principles of Distributed Systems, OPODIS 2021, December 13-15, 2021, Strasbourg, France
Quentin Bramas
,
Vincent Gramoli
,
Alessia Milani
, editors,
Volume 217 of
LIPIcs
, Schloss Dagstuhl - Leibniz-Zentrum für Informatik,
2022.
[doi]
Quorum Systems in Permissionless Networks
Christian Cachin
,
Giuliano Losa
,
Luca Zanolini
.
opodis 2023
:
[doi]
A Unifying Approach to Efficient (Near)-Gathering of Disoriented Robots with Limited Visibility
Jannik Castenow
,
Jonas Harbig
,
Daniel Jung 0001
,
Peter Kling
,
Till Knollmann
,
Friedhelm Meyer auf der Heide
.
opodis 2023
:
[doi]
Self-Stabilizing Clock Synchronization in Dynamic Networks
Bernadette Charron-Bost
,
Louis Penet de Monterno
.
opodis 2023
:
[doi]
Make Every Word Count: Adaptive Byzantine Agreement with Fewer Words
Shir Cohen
,
Idit Keidar
,
Alexander Spiegelman
.
opodis 2023
:
[doi]
Line Search for an Oblivious Moving Target
Jared Coleman
,
Evangelos Kranakis
,
Danny Krizanc
,
Oscar Morales Ponce
.
opodis 2023
:
[doi]
Design of Self-Stabilizing Approximation Algorithms via a Primal-Dual Approach
Yuval Emek
,
Yuval Gil
,
Noga Harlev
.
opodis 2023
:
[doi]
Recoverable Computing (Invited Talk)
Panagiota Fatourou
.
opodis 2023
:
[doi]
Computing Power of Hybrid Models in Synchronous Networks
Pierre Fraigniaud
,
Pedro Montealegre 0001
,
Pablo Paredes
,
Ivan Rapaport
,
Martín Ríos Wilson
,
Ioan Todinca
.
opodis 2023
:
[doi]
Robust and Fast Blockchain State Synchronization
Enrique Fynn
,
Ethan Buchman
,
Zarko Milosevic 0001
,
Robert Soulé
,
Fernando Pedone
.
opodis 2023
:
[doi]
Computational Power of a Single Oblivious Mobile Agent in Two-Edge-Connected Graphs
Taichi Inoue
,
Naoki Kitamura
,
Taisuke Izumi
,
Toshimitsu Masuzawa
.
opodis 2023
:
[doi]
Efficient Wait-Free Queue Algorithms with Multiple Enqueuers and Multiple Dequeuers
Colette Johnen
,
Adnane Khattabi
,
Alessia Milani
.
opodis 2023
:
[doi]
Performance Anomalies in Concurrent Data Structure Microbenchmarks
Rosina Kharal
,
Trevor Brown 0001
.
opodis 2023
:
[doi]
The Impossibility of Approximate Agreement on a Larger Class of Graphs
Shihao Liu
.
opodis 2023
:
[doi]
Theory Meets Practice in the Algorand Blockchain (Invited Talk)
Victor Luchangco
.
opodis 2023
:
[doi]
Mending Partial Solutions with Few Changes
Darya Melnyk
,
Jukka Suomela
,
Neven Villani
.
opodis 2023
:
[doi]
A Privacy-Preserving and Transparent Certification System for Digital Credentials
Rodrigo Q. Saramago
,
Hein Meling
,
Leander Jehl
.
opodis 2023
:
[doi]
Chopin: Combining Distributed and Centralized Schedulers for Self-Adjusting Datacenter Networks
Neta Rozen Schiff
,
Klaus-Tycho Foerster
,
Stefan Schmid 0001
,
David Hay
.
opodis 2023
:
[doi]
EEMARQ: Efficient Lock-Free Range Queries with Memory Reclamation
Gali Sheffi
,
Pedro Ramalhete
,
Erez Petrank
.
opodis 2023
:
[doi]
Realistic Self-Stabilization (Invited Talk)
Sébastien Tixeuil
.
opodis 2023
:
[doi]
Communication-Efficient BFT Using Small Trusted Hardware to Tolerate Minority Corruption
Sravya Yandamuri
,
Ittai Abraham
,
Kartik Nayak
,
Michael K. Reiter
.
opodis 2023
:
[doi]
2021
Distributed Algorithms: A Challenging Playground for Model Checking (Invited Talk)
Nathalie Bertrand 0001
.
opodis 2022
:
[doi]
Front Matter, Table of Contents, Preface, Conference Organization
opodis 2022
:
[doi]
Good-Case and Bad-Case Latency of Unauthenticated Byzantine Broadcast: A Complete Categorization
Ittai Abraham
,
Ling Ren 0001
,
Zhuolun Xiang
.
opodis 2022
:
[doi]
Optimal Good-Case Latency for Rotating Leader Synchronous BFT
Ittai Abraham
,
Kartik Nayak
,
Nibesh Shrestha
.
opodis 2022
:
[doi]
Fast Graphical Population Protocols
Dan Alistarh
,
Rati Gelashvili
,
Joel Rybicki
.
opodis 2022
:
[doi]
On Finality in Blockchains
Emmanuelle Anceaume
,
Antonella Del Pozzo
,
Thibault Rieutord
,
Sara Tucci Piergiovanni
.
opodis 2022
:
[doi]
Using Nesting to Push the Limits of Transactional Data Structure Libraries
Gal Assa
,
Hagar Meir
,
Guy Golan-Gueta
,
Idit Keidar
,
Alexander Spiegelman
.
opodis 2022
:
[doi]
Improved Distributed Fractional Coloring Algorithms
Alkida Balliu
,
Fabian Kuhn
,
Dennis Olivetti
.
opodis 2022
:
[doi]
Twins: BFT Systems Made Robust
Shehar Bano
,
Alberto Sonnino
,
Andrey Chursin
,
Dmitri Perelman
,
Zekun Li
,
Avery Ching
,
Dahlia Malkhi
.
opodis 2022
:
[doi]
Optimal Space Lower Bound for Deterministic Self-Stabilizing Leader Election Algorithms
Lélia Blin
,
Laurent Feuilloley
,
Gabriel Le Bouder
.
opodis 2022
:
[doi]
Pattern Formation by Robots with Inaccurate Movements
Kaustav Bose
,
Archak Das
,
Buddhadeb Sau
.
opodis 2022
:
[doi]
Distributed Recoloring of Interval and Chordal Graphs
Nicolas Bousquet
,
Laurent Feuilloley
,
Marc Heinrich
,
Mikaël Rabie
.
opodis 2022
:
[doi]
Local Certification of Graph Decompositions and Applications to Minor-Free Classes
Nicolas Bousquet
,
Laurent Feuilloley
,
Théo Pierron
.
opodis 2022
:
[doi]
24th International Conference on Principles of Distributed Systems, OPODIS 2020, December 14-16, 2020, Strasbourg, France (Virtual Conference)
Quentin Bramas
,
Rotem Oshman
,
Paolo Romano 0002
, editors,
Volume 184 of
LIPIcs
, Schloss Dagstuhl - Leibniz-Zentrum für Informatik,
2021.
[doi]
Non-Blocking Dynamic Unbounded Graphs with Worst-Case Amortized Bounds
Bapi Chatterjee
,
Sathya Peri
,
Muktikanta Sa
,
Komma Manogna
.
opodis 2022
:
[doi]
Near-Shortest Path Routing in Hybrid Communication Networks
Sam Coy
,
Artur Czumaj
,
Michael Feldmann 0001
,
Kristian Hinnenthal
,
Fabian Kuhn
,
Christian Scheideler
,
Philipp Schneider
,
Martijn Struijs
.
opodis 2022
:
[doi]
RandSolomon: Optimally Resilient Random Number Generator with Deterministic Termination
Luciano Freitas de Souza
,
Andrei Tonkikh
,
Sara Tucci Piergiovanni
,
Renaud Sirdey
,
Oana Stan
,
Nicolas Quero
,
Petr Kuznetsov
.
opodis 2022
:
[doi]
Accountability and Reconfiguration: Self-Healing Lattice Agreement
Luciano Freitas de Souza
,
Petr Kuznetsov
,
Thibault Rieutord
,
Sara Tucci Piergiovanni
.
opodis 2022
:
[doi]
Distributed CONGEST Approximation of Weighted Vertex Covers and Matchings
Salwa Faour
,
Marc Fuchs
,
Fabian Kuhn
.
opodis 2022
:
[doi]
Explicit Space-Time Tradeoffs for Proof Labeling Schemes in Graphs with Small Separators
Orr Fischer
,
Rotem Oshman
,
Dana Shamir
.
opodis 2022
:
[doi]
An Improved Random Shift Algorithm for Spanners and Low Diameter Decompositions
Sebastian Forster
,
Martin Grösbacher
,
Tijn de Vos
.
opodis 2022
:
[doi]
Efficient Assignment of Identities in Anonymous Populations
Leszek Gasieniec
,
Jesper Jansson
,
Christos Levcopoulos
,
Andrzej Lingas
.
opodis 2022
:
[doi]
Strongly Linearizable Linked List and Queue
Steven Munsu Hwang
,
Philipp Woelfel
.
opodis 2022
:
[doi]
Asynchronous Gathering in a Torus
Sayaka Kamei
,
Anissa Lamani
,
Fukuhito Ooshita
,
Sébastien Tixeuil
,
Koichi Wada
.
opodis 2022
:
[doi]
Near-Optimal Dispersion on Arbitrary Anonymous Graphs
Ajay D. Kshemkalyani
,
Gokarna Sharma
.
opodis 2022
:
[doi]
Accountable Distributed Computing (Invited Talk)
Petr Kuznetsov
.
opodis 2022
:
[doi]
Asynchronous Rumor Spreading in Dynamic Graphs
Bernard Mans
,
Ali Pourmiri
.
opodis 2022
:
[doi]
Arbitrarily Accurate Aggregation Scheme for Byzantine SGD
Alexandre Maurer
.
opodis 2022
:
[doi]
Recoverable and Detectable Fetch&Add
Liad Nahum
,
Hagit Attiya
,
Ohad Ben-Baruch
,
Danny Hendler
.
opodis 2022
:
[doi]
Beyond Distributed Subgraph Detection: Induced Subgraphs, Multicolored Problems and Graph Parameters
Amir Nikabadi
,
Janne H. Korhonen
.
opodis 2022
:
[doi]
Design and Analysis of a Logless Dynamic Reconfiguration Protocol
William Schultz
,
Siyuan Zhou
,
Ian Dardik
,
Stavros Tripakis
.
opodis 2022
:
[doi]
A Fresh Look at the Design and Implementation of Communication Paradigms (Invited Talk)
Robbert van Renesse
.
opodis 2022
:
[doi]
Population Protocols for Graph Class Identification Problems
Hiroto Yasumi
,
Fukuhito Ooshita
,
Michiko Inoue
.
opodis 2022
:
[doi]
Sign in
or
sign up
to see more results.