Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Colette Johnen, Elad Michael Schiller, Stefan Schmid 0001 (eds.) |
Stabilization, Safety, and Security of Distributed Systems - 23rd International Symposium, SSS 2021, Virtual Event, November 17-20, 2021, Proceedings |
SSS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Louis Penet de Monterno, Bernadette Charron-Bost, Stephan Merz |
Synchronization Modulo k in Dynamic Networks. |
SSS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Michael J. Fischer, Jonathan E. Hochman, Daniel Boffa |
Privacy-Preserving Data Sharing for Medical Research. |
SSS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Pedro Montealegre 0001, Diego Ramírez-Romero, Ivan Rapaport |
Compact Distributed Interactive Proofs for the Recognition of Cographs and Distance-Hereditary Graphs. |
SSS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Kaile Huang, Hengfeng Wei, Yu Huang 0002, Haixiang Li, Anqun Pan |
Byz-GentleRain: An Efficient Byzantine-Tolerant Causal Consistency Protocol. |
SSS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Thibaut Balabonski, Pierre Courtieu, Robin Pelle, Lionel Rieg, Sébastien Tixeuil, Xavier Urbain |
Computer Aided Formal Design of Swarm Robotics Algorithms. |
SSS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Karim Eldefrawy, Nicholas Genise, Rutuja Kshirsagar, Moti Yung |
On Regenerating Codes and Proactive Secret Sharing: Relationships and Implications. |
SSS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Ivan Geffner, Joseph Y. Halpern |
Security in Asynchronous Interactive Systems. |
SSS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Teruo Higashino, Akira Uchiyama, Hirozumi Yamaguchi, Shunsuke Saruwatari, Takashi Watanabe 0001, Toshimitsu Masuzawa |
A New Problem Setting for Mobile Robots Based on Backscatter-Based Communication and Sensing. |
SSS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Manfred Schwarz, Ulrich Schmid 0001 |
Round-Oblivious Stabilizing Consensus in Dynamic Networks. |
SSS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Pierre Fraigniaud |
How Do Mobile Agents Benefit from Randomness? |
SSS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Vijay K. Garg |
A Lattice Linear Predicate Parallel Algorithm for the Housing Market Problem. |
SSS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Johanne Cohen, Laurence Pilard, Jonas Sénizergues |
Self-stabilization and Byzantine Tolerance for Maximal Independent Set. |
SSS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Yehuda Afek, Gal Giladi, Boaz Patt-Shamir |
Distributed Computing with the Cloud. |
SSS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Jakub Sliwinski, Roger Wattenhofer |
Asynchronous Proof-of-Stake. |
SSS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Andrew Jones, Robert Simon |
A Privacy-Preserving Collaborative Caching Approach in Information-Centric Networking. |
SSS |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Silvia Bonomi, Giovanni Farina, Sébastien Tixeuil |
Boosting the Efficiency of Byzantine-Tolerant Reliable Communication. |
SSS |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Lélia Blin, Swan Dubois, Laurent Feuilloley |
Silent MST Approximation for Tiny Memory. |
SSS |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Kun Peng |
Brief Announcements: Verifiable Data Sharing in Distributed Computing. |
SSS |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Anisur Rahaman Molla, Disha Shur |
Smoothed Analysis of Leader Election in Distributed Networks. |
SSS |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Petr Kuznetsov, Thibault Rieutord |
Affine Tasks for k-Test-and-Set. |
SSS |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Carole Delporte, Hugues Fauconnier, Sergio Rajsbaum, Michel Raynal |
k-Immediate Snapshot and x-Set Agreement: How Are They Related? |
SSS |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Jannik Castenow, Peter Kling, Till Knollmann, Friedhelm Meyer auf der Heide |
A Discrete and Continuous Study of the Max-Chain-Formation Problem - Slow down to Speed Up. |
SSS |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Daisuke Yokota, Yuichi Sudo, Toshimitsu Masuzawa |
Time-Optimal Self-stabilizing Leader Election on Rings in Population Protocols. |
SSS |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Igor Zavalyshyn, Thomas Given-Wilson, Axel Legay, Ramin Sadre |
Brief Announcement: Effectiveness of Code Hardening for Fault-Tolerant IoT Software. |
SSS |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Christoph Lenzen 0001, Ben Wiederhake |
Brief Announcement: TRIX: Low-Skew Pulse Propagation for Fault-Tolerant Hardware. |
SSS |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Pavan Poudel, Gokarna Sharma |
Fast Uniform Scattering on a Grid for Asynchronous Oblivious Robots. |
SSS |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Yefim Dinitz, Shlomi Dolev, Manish Kumar 0011 |
Brief Announcement: Local Deal-Agreement Based Monotonic Distributed Algorithms for Load Balancing in General Graphs. |
SSS |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Shaan Mathur, Rafail Ostrovsky |
A Combinatorial Characterization of Self-stabilizing Population Protocols. |
SSS |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Jannik Castenow, Jonas Harbig, Daniel Jung 0001, Till Knollmann, Friedhelm Meyer auf der Heide |
Brief Announcement: Gathering in Linear Time: A Closed Chain of Disoriented and Luminous Robots with Limited Visibility. |
SSS |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Stéphane Devismes, Neeraj Mittal (eds.) |
Stabilization, Safety, and Security of Distributed Systems - 22nd International Symposium, SSS 2020, Austin, TX, USA, November 18-21, 2020, Proceedings |
SSS |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Joseph Oglio, Kendric Hood, Gokarna Sharma, Mikhail Nesterenko |
Brief Announcement: Byzantine Geoconsensus. |
SSS |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Léo Robert, Daiki Miyahara, Pascal Lafourcade 0001, Takaaki Mizuki |
Physical Zero-Knowledge Proof for Suguru Puzzle. |
SSS |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Takahiro Shintaku, Yuichi Sudo, Hirotsugu Kakugawa, Toshimitsu Masuzawa |
Efficient Dispersion of Mobile Agents without Global Knowledge. |
SSS |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Jiaqi Chen, Shlomi Dolev, Shay Kutten |
Invited Paper: Reactive PLS for Distributed Decision. |
SSS |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Masahiro Shibata, Yuichi Sudo, Junya Nakamura 0001, Yonghwan Kim 0001 |
Uniform Deployment of Mobile Agents in Dynamic Rings. |
SSS |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Dor Bitan, Shlomi Dolev |
Invited Paper: Homomorphic Operations Techniques Yielding Communication Efficiency. |
SSS |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Sergio Rajsbaum, Michel Raynal, Karla Vargas |
Brief Announcement: Leader Election in the ADD Communication Model. |
SSS |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Quentin Bramas, Anissa Lamani, Sébastien Tixeuil |
Stand Up Indulgent Rendezvous. |
SSS |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Masahiro Shibata, Sébastien Tixeuil |
Partial Gathering of Mobile Robots from Multiplicity-Allowed Configurations in Rings. |
SSS |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Hagit Attiya, Sweta Kumari, Archit Somani, Jennifer L. Welch |
Store-Collect in the Presence of Continuous Churn with Application to Snapshots and Lattice Agreement. |
SSS |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Soichiro Imoto, Yuichi Sudo, Hirotsugu Kakugawa, Toshimitsu Masuzawa |
Atomic Cross-Chain Swaps with Improved Space and Local Time Complexity. |
SSS |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Chirag Juyal, Sandeep S. Kulkarni, Sweta Kumari, Sathya Peri, Archit Somani |
Achieving Starvation-Freedom with Greater Concurrency in Multi-Version Object-based Transactional Memory Systems. |
SSS |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Mohsen Ghaffari 0001, Mikhail Nesterenko, Sébastien Tixeuil, Sara Tucci, Yukiko Yamauchi (eds.) |
Stabilization, Safety, and Security of Distributed Systems - 21st International Symposium, SSS 2019, Pisa, Italy, October 22-25, 2019, Proceedings |
SSS |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Michel Raynal, Gadi Taubenfeld |
Brief Announcement: Fully Anonymous Shared Memory Algorithms. |
SSS |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Amaury Bouchra Pilet, Davide Frey, François Taïani |
Robust Privacy-Preserving Gossip Averaging. |
SSS |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Ajoy K. Datta, Stéphane Devismes, Colette Johnen, Lawrence L. Larmore |
Brief Announcement: Analysis of a Memory-Efficient Self-stabilizing BFS Spanning Tree Construction. |
SSS |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Chen Avin, Ingo van Duijn, Stefan Schmid 0001 |
Self-adjusting Linear Networks. |
SSS |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Shota Nagahama, Fukuhito Ooshita, Michiko Inoue |
Ring Exploration of Myopic Luminous Robots with Visibility More Than One. |
SSS |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Masashi Tsuchida, Fukuhito Ooshita, Michiko Inoue |
Black Hole Search Despite Byzantine Agents. |
SSS |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Junya Nakamura 0001, Masahiro Shibata, Yuichi Sudo, Yonghwan Kim 0001 |
Brief Announcement: Self-stabilizing Construction of a Minimal Weakly ST-Reachable Directed Acyclic Graph. |
SSS |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Yotam Ashkenazi, Shlomi Dolev, Sayaka Kamei, Fukuhito Ooshita, Koichi Wada 0001 |
Brief Announcement Forgive & Forget: Self-stabilizing Swarms in Spite of Byzantine Robots. |
SSS |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Hugo Rincon Galeana, Kyrill Winkler, Ulrich Schmid 0001, Sergio Rajsbaum |
A Topological View of Partitioning Arguments: Reducing k-Set Agreement to Consensus. |
SSS |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Carole Delporte-Gallet, Hugues Fauconnier, Pierre Fraigniaud, Mikaël Rabie |
Brief Announcement: Distributed Computing in the Asynchronous LOCAL Model. |
SSS |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Tsuyoshi Gotoh, Yuichi Sudo, Fukuhito Ooshita, Toshimitsu Masuzawa |
Exploration of Dynamic Ring Networks by a Single Agent with the H-hops and S-time Steps View. |
SSS |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Shishir Rai, Kendric Hood, Mikhail Nesterenko, Gokarna Sharma |
Brief Announcement Blockguard: Adaptive Blockchain Security. |
SSS |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Othon Michail, Paul G. Spirakis, Michail Theofilatos |
Fault Tolerant Network Constructors. |
SSS |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Ha Thi Thu Doan, Adrián Riesco 0001, Kazuhiro Ogata 0001 |
An Environment for Specifying and Model Checking Mobile Ring Robot Algorithms. |
SSS |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Armando Castañeda, Aurélie Hurault, Philippe Quéinnec, Matthieu Roy |
Tasks in Modular Proofs of Concurrent Algorithms. |
SSS |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Christian Göttel, Pascal Felber, Valerio Schiavoni |
iperfTZ: Understanding Network Bottlenecks for TrustZone-Based Trusted Applications. |
SSS |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Hideyuki Tanaka, Yuichi Sudo, Hirotsugu Kakugawa, Toshimitsu Masuzawa, Ajoy K. Datta |
A Self-stabilizing 1-Maximal Independent Set Algorithm. |
SSS |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Serafino Cicerone, Gabriele Di Stefano, Alfredo Navarra |
On Gathering of Semi-synchronous Robots in Graphs. |
SSS |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Shlomi Dolev, Sayaka Kamei, Yoshiaki Katayama, Fukuhito Ooshita, Koichi Wada 0001 |
Brief Announcement: Self-stabilizing LCM Schedulers for Autonomous Mobile Robots Using Neighborhood Mutual Remainder. |
SSS |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Yuichi Sudo, Fukuhito Ooshita, Taisuke Izumi, Hirotsugu Kakugawa, Toshimitsu Masuzawa |
Logarithmic Expected-Time Leader Election in Population Protocol Model. |
SSS |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Michael Feldmann 0001, Thorsten Götte, Christian Scheideler |
A Loosely Self-stabilizing Protocol for Randomized Congestion Control with Logarithmic Memory. |
SSS |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Yonghwan Kim 0001, Masahiro Shibata, Yuichi Sudo, Junya Nakamura 0001, Yoshiaki Katayama, Toshimitsu Masuzawa |
Improved-Zigzag: An Improved Local-Information-Based Self-optimizing Routing Algorithm in Virtual Grid Networks. |
SSS |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Pavan Poudel, Gokarna Sharma |
Adaptive Versioning in Transactional Memories. |
SSS |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Rida A. Bazzi, Joseph L. Briones |
Stationary and Deterministic Leader Election in Self-organizing Particle Systems. |
SSS |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Anaïs Durand, Shay Kutten |
Reducing the Number of Messages in Self-stabilizing Protocols. |
SSS |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Armando Castañeda, Pierre Fraigniaud, Ami Paz, Sergio Rajsbaum, Matthieu Roy, Corentin Travers |
Synchronous t-Resilient Consensus in Arbitrary Graphs. |
SSS |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Sara Tucci Piergiovanni |
Invited Paper: On the Characterization of Blockchain Consensus Under Incentives. |
SSS |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Rida A. Bazzi, Maurice Herlihy |
Clairvoyant State Machine Replications. |
SSS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Caterina Feletti, Carlo Mereghetti, Beatrice Palano |
Uniform Circle Formation for Swarms of Opaque Robots with Lights. |
SSS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Thibaut Balabonski, Pierre Courtieu, Robin Pelle, Lionel Rieg, Sébastien Tixeuil, Xavier Urbain |
Brief Announcement Continuous vs. Discrete Asynchronous Moves: A Certified Approach for Mobile Robots. |
SSS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Volker Turau |
A O(\log n) Distributed Algorithm to Construct Routing Structures for Pub/Sub Systems - Regular Submission. |
SSS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Othon Michail, Paul G. Spirakis, Michail Theofilatos |
Simple and Fast Approximate Counting and Leader Election in Populations. |
SSS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Quentin Bramas, Sébastien Tixeuil |
Arbitrary Pattern Formation with Four Robots. |
SSS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Fukuhito Ooshita, Ajoy K. Datta |
Brief Announcement: Feasibility of Weak Gathering in Connected-over-Time Dynamic Rings. |
SSS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Chirag Juyal, Sandeep S. Kulkarni, Sweta Kumari, Sathya Peri, Archit Somani |
An Innovative Approach to Achieve Compositionality Efficiently Using Multi-version Object Based Transactional Systems. |
SSS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Thorsten Götte, Christian Scheideler, Alexander Setzer |
On Underlay-Aware Self-Stabilizing Overlay Networks. |
SSS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Marjorie Bournat, Swan Dubois, Franck Petit |
Gracefully Degrading Gathering in Dynamic Rings. |
SSS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Karine Altisen, Stéphane Devismes, Anaïs Durand |
Acyclic Strategy for Silent Self-stabilization in Spanning Forests. |
SSS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Till Knollmann, Christian Scheideler |
A Self-stabilizing Hashed Patricia Trie. |
SSS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Leszek Gasieniec, Shuji Kijima, Jie Min |
Searching with Increasing Speeds. |
SSS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Anaïs Durand, Michel Raynal, Gadi Taubenfeld |
Set Agreement and Renaming in the Presence of Contention-Related Crash Failures. |
SSS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Ivan Walulya, Bapi Chatterjee, Ajoy K. Datta, Rashmi Niyolia, Philippas Tsigas |
Concurrent Lock-Free Unbounded Priority Queue with Mutable Priorities. |
SSS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Christian Scheideler, Alexander Setzer |
Relays: A New Approach for the Finite Departure Problem in Overlay Networks. |
SSS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Michael Feldmann 0001, Christina Kolb, Christian Scheideler |
Self-stabilizing Overlays for High-Dimensional Monotonic Searchability. |
SSS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Silvia Bonomi, Antonella Del Pozzo, Maria Potop-Butucaru, Sébastien Tixeuil |
Brief Announcement: Optimal Self-stabilizing Mobile Byzantine-Tolerant Regular Register with Bounded Timestamps. |
SSS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Shishir Rai, Gokarna Sharma, Costas Busch, Maurice Herlihy |
Load Balanced Distributed Directories. |
SSS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Stephan Kunne, Johanne Cohen, Laurence Pilard |
Self-stabilization and Byzantine Tolerance for Maximal Matching. |
SSS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Taisuke Izumi, Petr Kuznetsov (eds.) |
Stabilization, Safety, and Security of Distributed Systems - 20th International Symposium, SSS 2018, Tokyo, Japan, November 4-7, 2018, Proceedings |
SSS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Rida A. Bazzi, Joseph L. Briones |
Brief Announcement: Deterministic Leader Election in Self-organizing Particle Systems. |
SSS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Ramachandran Vaidyanathan, Gokarna Sharma, Jerry L. Trahan |
On Fast Pattern Formation by Autonomous Robots. |
SSS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Silvia Bonomi, Giovanni Farina, Sébastien Tixeuil |
Reliable Broadcast in Dynamic Networks with Locally Bounded Byzantine Failures. |
SSS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Fukuhito Ooshita, Sébastien Tixeuil |
Ring Exploration with Myopic Luminous Robots. |
SSS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Xavier Bultel, Jannik Dreier, Jean-Guillaume Dumas, Pascal Lafourcade 0001, Daiki Miyahara, Takaaki Mizuki, Atsuki Nagao, Tatsuya Sasaki, Kazumasa Shinagawa, Hideaki Sone |
Physical Zero-Knowledge Proof for Makaro. |
SSS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Keisuke Doi, Yukiko Yamauchi, Shuji Kijima, Masafumi Yamashita |
Exploration of Finite 2D Square Grid by a Metamorphic Robotic System. |
SSS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Amitay Shaer, Shlomi Dolev, Silvia Bonomi, Michel Raynal, Roberto Baldoni |
Bee's Strategy Against Byzantines Replacing Byzantine Participants - (Extended Abstract). |
SSS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Joffroy Beauquier, Thibault Bernard, Janna Burman, Shay Kutten, Marie Laveau |
Brief Announcement: Time Efficient Self-stabilizing Stable Marriage. |
SSS |
2018 |
DBLP DOI BibTeX RDF |
|