![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
19th 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
![](https://dblp.org/img/cog.dark.24x24.png)
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.