default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID19th SSS 2017: Boston, MA, USA
- Paul G. Spirakis, Philippas Tsigas:
Stabilization, Safety, and Security of Distributed Systems - 19th International Symposium, SSS 2017, Boston, MA, USA, November 5-8, 2017, Proceedings. Lecture Notes in Computer Science 10616, Springer 2017, ISBN 978-3-319-69083-4 - Boaz Patt-Shamir, Mor Perry:
Proof-Labeling Schemes: Broadcast, Unicast and in Between. 1-17 - Fukuhito Ooshita, Ajoy K. Datta, Toshimitsu Masuzawa:
Self-stabilizing Rendezvous of Synchronous Mobile Agents in Graphs. 18-32 - Ioannis Chatzigiannakis
, Paul G. Spirakis:
The Dynamics and Stability of Probabilistic Population Processes. 33-45 - Marie Laveau, George Manoussakis, Joffroy Beauquier, Thibault Bernard, Janna Burman, Johanne Cohen, Laurence Pilard:
Self-stabilizing Distributed Stable Marriage. 46-61 - Volker Turau:
Computing the Fault-Containment Time of Self-Stabilizing Algorithms Using Markov Chains and Lumping. 62-77 - Shankha Chatterjee, Wojciech M. Golab:
Self-tuning Eventually-Consistent Data Stores. 78-92 - Michiko Inoue, Fukuhito Ooshita, Sébastien Tixeuil:
An Efficient Silent Self-stabilizing 1-Maximal Matching Algorithm Under Distributed Daemon for Arbitrary Networks. 93-108 - Lewis Tseng:
An Improved Approximate Consensus Algorithm in the Presence of Mobile Faults. 109-125 - Jean-Lou De Carufel, Paola Flocchini:
Fault-Induced Dynamics of Oblivious Robots on a Line. 126-141 - Edward Talmage, Jennifer L. Welch:
Relaxed Data Types as Consistency Conditions. 142-156 - Hsin-Hao Su, Lili Su, Anna R. Dornhaus, Nancy A. Lynch:
Ant-Inspired Dynamic Task Allocation via Gossiping. 157-171 - Akihiro Monde, Yukiko Yamauchi, Shuji Kijima, Masafumi Yamashita:
Self-stabilizing Localization of the Middle Point of a Line Segment by an Oblivious Robot with Limited Visibility. 172-186 - Christoph Lenzen, Moti Medina:
Robust Routing Made Easy. 187-202 - Miguel Pires, Srivatsan Ravi, Rodrigo Rodrigues:
Generalized Paxos Made Byzantine (and Less Complex). 203-218 - Fathiyeh Faghih, Borzoo Bonakdarpour:
ASSESS: A Tool for Automated Synthesis of Distributed Self-stabilizing Algorithms. 219-233 - Tsuyoshi Gotoh, Fukuhito Ooshita, Hirotsugu Kakugawa, Toshimitsu Masuzawa:
How to Simulate Message-Passing Algorithms in Mobile Agent Systems with Faults. 234-249 - Michael Feldmann, Christian Scheideler:
A Self-stabilizing General De Bruijn Graph. 250-264 - Gokarna Sharma, Ramachandran Vaidyanathan, Jerry L. Trahan:
Constant-Time Complete Visibility for Asynchronous Robots with Lights. 265-281 - Lin Chen, Lei Xu, Nolan Shah, Zhimin Gao, Yang Lu, Weidong Shi:
On Security Analysis of Proof-of-Elapsed-Time (PoET). 282-297 - Frederick Jansen, Kinan Dak Albab, Andrei Lapets, Mayank Varia:
Brief Announcement: Federated Code Auditing and Delivery for MPC. 298-302 - Yuichi Sudo, Ajoy K. Datta, Lawrence L. Larmore, Toshimitsu Masuzawa:
Brief Announcement: Reduced Space Self-stabilizing Center Finding Algorithms in Chains and Trees. 303-307 - Noël Gillet, Nicolas Hanusse:
A Fully Asynchronous and Fault Tolerant Distributed Algorithm to Compute a Minimum Graph Orientation. 308-322 - Pavan Poudel, Gokarna Sharma:
Universally Optimal Gathering Under Limited Visibility. 323-340 - Subhash Bhagat, Krishnendu Mukhopadhyaya:
Optimum Algorithm for Mutual Visibility Among Asynchronous Robots with Lights. 341-355 - Siamak Solat, Maria Potop-Butucaru:
Brief Announcement: ZeroBlock: Timestamp-Free Prevention of Block-Withholding Attack in Bitcoin. 356-360 - Conrad Burchert, Christian Decker, Roger Wattenhofer:
Scalable Funding of Bitcoin Micropayment Channel Networks - Regular Submission. 361-377 - Hisaki Kobayashi, Hirotsugu Kakugawa, Toshimitsu Masuzawa:
Brief Announcement: A Self-stabilizing Algorithm for the Minimal Generalized Dominating Set Problem. 378-383 - Gennaro Cordasco, Luisa Gargano:
Space-Optimal Proportion Consensus with Population Protocols. 384-398 - Ahmed B. Mansour, Ramachandran Vaidyanathan, Shuangqing Wei:
Brief Announcement: Asynchronous, Distributed, Optical Mutual Exclusion. 399-404 - Khai T. Phan, Ryan Ewing, David Starobinski, Liangxiao Xin:
Brief Announcement: Passive and Active Attacks on Audience Response Systems Using Software Defined Radios. 405-409 - Peter Mell, John Kelsey, James M. Shook:
Cryptocurrency Smart Contracts for Distributed Consensus of Public Randomness. 410-425 - Mahdi Zamani, Jared Saia, Jedidiah R. Crandall:
TorBricks: Blocking-Resistant Tor Bridge Distribution. 426-440 - Ioannis Lamprou, Russell Martin, Paul G. Spirakis:
Cover Time in Edge-Uniform Stochastically-Evolving Graphs. 441-455 - Emmanuelle Anceaume, Romaric Ludinard, Maria Potop-Butucaru, Frédéric Tronel:
Bitcoin a Distributed Shared Register. 456-468 - Dan Brownstein, Shlomi Dolev, Niv Gilboa:
Broadcast Encryption with Both Temporary and Permanent Revocation. 469-483 - Takashi Okumura, Koichi Wada, Yoshiaki Katayama:
Brief Announcement: Optimal Asynchronous Rendezvous for Mobile Robots with Lights. 484-488 - Masahiro Shibata, Hirotsugu Kakugawa, Toshimitsu Masuzawa:
Brief Announcement: Space-Efficient Uniform Deployment of Mobile Agents in Asynchronous Unidirectional Rings. 489-493
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2026-05-22 02:23 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
