| 2013 | Leader Election and Centers and Medians in Tree Networks. | Ajoy Kumar Datta, Lawrence L. Larmore |
| 2013 | Self-stabilizing (f, g)-Alliances with Safe Convergence. | Fabienne Carrier, Ajoy Kumar Datta, Stphane Devismes, Lawrence L. Larmore, Yvan Rivierre |
| 2013 | Self-stabilizing Balancing Algorithm for Containment-Based Trees. | Evangelos Bampas, Anissa Lamani, Franck Petit, Mathieu Valero |
| 2013 | Certified Impossibility Results for Byzantine-Tolerant Mobile Robots. | Cdric Auger, Zohir Bouzid, Pierre Courtieu, Sbastien Tixeuil, Xavier Urbain |
| 2013 | Local Decision and Verification with Bounded-Size Outputs. | Heger Arfaoui, Pierre Fraigniaud, Andrzej Pelc |
| 2013 | Low-Communication Self-stabilizing Leader Election in Large Networks. | Thamer Alsulaiman, Andrew Berns, Sukumar Ghosh |
| 2012 | Communication-Efficient Self-stabilization in Wireless Networks. | Tomoya Takimoto, Fukuhito Ooshita, Hirotsugu Kakugawa, Toshimitsu Masuzawa |
| 2012 | On the Self-stabilization of Mobile Oblivious Robots in Uniform Rings. | Fukuhito Ooshita, Sbastien Tixeuil |
| 2012 | Scalable Byzantine Agreement with a Random Beacon. | Olumuyiwa Oluwasanmi, Jared Saia |
| 2012 | Self-stabilizing Algorithm for Maximal Graph Partitioning into Triangles. | Brahim Neggazi, Mohammed Haddad, Hamamache Kheddouci |
| 2012 | Brief Announcement: MP-State: State-Aware Software Model Checking of Message-Passing Systems. | Can Arda Muftuoglu, Pter Bokor, Neeraj Suri |
| 2012 | Terminating Population Protocols via Some Minimal Global Knowledge Assumptions. | Othon Michail, Ioannis Chatzigiannakis, Paul G. Spirakis |
| 2012 | Brief Announcement: Self-stabilizing Synchronization of Arbitrary Digraphs in Presence of Faults. | Mahyar R. Malekpour |
| 2012 | High-Level Executable Specifications of Distributed Algorithms. | Yanhong A. Liu, Scott D. Stoller, Bo Lin |
| 2012 | Brief Announcement: Detecting Users' Connectivity on Online Social Networks. | Na Li, Sajal K. Das, Nan Zhang |
| 2012 | From Self- to Self-stabilizing with Service Guarantee 1-hop Weight-Based Clustering. | Colette Johnen, Fouzi Mekhaldi |
| 2012 | Formal Verification of Security Preservation for Migrating Virtual Machines in the Cloud. | Yosr Jarraya, Arash Eghtesadi, Mourad Debbabi, Ying Zhang, Makan Pourzandi |
| 2012 | Brief Announcement: Mobile Agent Rendezvous on Edge Evolving Rings. | Tomoko Izumi, Yukiko Yamauchi, Sayaka Kamei |
| 2012 | Brief Announcement: The Degrading Effect of Forgetting on a Synchronizer. | Matthias Fgger, Alexander Kler, Thomas Nowak, Martin Zeiner |
| 2012 | Fault-Tolerant Exploration of an Unknown Dangerous Graph by Scattered Agents. | Paola Flocchini, Matthew Kellett, Peter C. Mason, Nicola Santoro |
| 2012 | Self-stabilizing Distributed Data Fusion. | Bertrand Ducourthial, Vronique Cherfaoui, Thierry Denoeux |
| 2012 | Self-stabilizing End-to-End Communication in (Bounded Capacity, Omitting, Duplicating and non-FIFO) Dynamic Networks - (Extended Abstract). | Shlomi Dolev, Ariel Hanemann, Elad Michael Schiller, Shantanu Sharma |
| 2012 | Brief Announcement: Arbitrators in the Security Infrastructure. | Shlomi Dolev, Niv Gilboa, Ofer Hermoni |
| 2012 | Optimal Grid Exploration by Asynchronous Oblivious Robots. | Stphane Devismes, Anissa Lamani, Franck Petit, Pascal Raymond, Sbastien Tixeuil |
| 2012 | Brief Announcement: Self-stabilizing Silent Disjunction in an Anonymous Network. | Ajoy Kumar Datta, Stphane Devismes, Lawrence L. Larmore |