Lock Based Self-Stabilizing Distributed Mutual Exclusion Algorithms. - Masaaki Mizuno; Mikhail Nesterenko; Hirotsugu Kakugawa (ICDCS, 1996)

Development of self-stabilizing distributed algorithms using transformation: case studies. - Hirotsugu Kakugawa; Masaaki Mizuno; Mikhail Nesterenko (WSS, 1997)

A Transformation of Self-Stabilizing Serial Model Programs for Asynchronous Parallel Computing Environments. - Masaaki Mizuno; Mikhail Nesterenko (Inf. Process. Lett., 1998)

Dining Philosophers that Tolerate Malicious Crashes. - Mikhail Nesterenko; Anish Arora (ICDCS, 2002)

Tolerance to Unbounded Byzantine Faults. - Mikhail Nesterenko; Anish Arora (SRDS, 2002)

Finite-State Self-Stabilizing Protocols in Message-Passing Systems. - Rodney R. Howell; Mikhail Nesterenko; Masaaki Mizuno (J. Parallel Distributed Comput., 2002)

Stabilization-Preserving Atomicity Refinement. - Mikhail Nesterenko; Anish Arora (J. Parallel Distributed Comput., 2002)

A Quorum-Based Self-Stabilizing Distributed Mutual Exclusion Algorithm. - Mikhail Nesterenko; Masaaki Mizuno (J. Parallel Distributed Comput., 2002)

A line in the sand: a wireless sensor network for target detection, classification, and tracking. - Anish Arora; Prabal Dutta; Sandip Bapat; Vinod Kulathumani; Hongwei Zhang 001; Vinayak Naik; Vineet Mittal; Hui Cao 001; Murat Demirbas; Mohamed G. Gouda; Young-ri Choi; Ted Herman; et al. (Comput. Networks, 2004)

Project ExScal (Short Abstract). - Anish Arora; Rajiv Ramnath; Prasun Sinha; Emre Ertin; Sandip Bapat; Vinayak Naik; Vinod Kulathumani; Hongwei Zhang 001; Mukundan Sridharan; Santosh Kumar 001; Hui Cao 001; Nick Seddon; et al. (DCOSS, 2005)

Visualizing Wireless Sensor Networks: An Experience Report. - Mark Miyashita; Mikhail Nesterenko; Romil Shah; Adnan Vora (ICWN, 2005)

Void traversal for guaranteed delivery in geometric routing. - Mikhail Nesterenko; Adnan Vora (MASS, 2005)

ExScal: Elements of an Extreme Scale Wireless Sensor Network. - Anish Arora; Rajiv Ramnath; Emre Ertin; Prasun Sinha; Sandip Bapat; Vinayak Naik; Vinod Kulathumani; Hongwei Zhang 001; Hui Cao 001; Mukundan Sridharan; Santosh Kumar 001; Nick Seddon; et al. (RTCSA, 2005)

RFID security without extensive cryptography. - Sindhu Karthikeyan; Mikhail Nesterenko (SASN, 2005)

Unifying stabilization and termination in message-passing systems. - Anish Arora; Mikhail Nesterenko (Distributed Comput., 2005)

Fault-Tolerance Verification of the Fluids and Combustion Facility of the International Space Station. - Raquel S. Whittlesey-Harris; Mikhail Nesterenko (ICDCS Workshops, 2006)

Kansei: a testbed for sensing at scale. - Emre Ertin; Anish Arora; Rajiv Ramnath; Vinayak Naik; Sandip Bapat; Vinod Kulathumani; Mukundan Sridharan; Hongwei Zhang 001; Hui Cao 001; Mikhail Nesterenko (IPSN, 2006)

DRIFT: Efficient Message Ordering in Ad Hoc Networks Using Virtual Flooding. - Stefan Pleisch; Thomas Clouser; Mikhail Nesterenko; André Schiper (SRDS, 2006)

2FACE: Bi-Directional Face Traversal for Efficient Geometric Routing - Mark Miyashita; Mikhail Nesterenko (CoRR, 2006)

Kansei: A High-Fidelity Sensing Testbed. - Anish Arora; Emre Ertin; Rajiv Ramnath; Mikhail Nesterenko; William Leal (IEEE Internet Comput., 2006)

Secure Location Verification Using Radio Broadcast. - Adnan Vora; Mikhail Nesterenko (IEEE Trans. Dependable Secur. Comput., 2006)

Fast Geometric Routing with Concurrent Face Traversal. - Thomas Clouser; Mark Miyashita; Mikhail Nesterenko (OPODIS, 2008)

Emuli: model driven sensor stimuli for experimentation. - Najla Alam; Thomas Clouser; Richie Thomas; Mikhail Nesterenko (SenSys, 2008)

Tiara: A Self-stabilizing Deterministic Skip List. - Thomas Clouser; Mikhail Nesterenko; Christian Scheideler (SSS, 2008)

Universe Detectors for Sybil Defense in Ad Hoc Wireless Networks. - Adnan Vora; Mikhail Nesterenko; Sébastien Tixeuil; Sylvie Delaët (SSS, 2008)

Oxybuoy: Constructing a Real-Time Inexpensive Hypoxia Monitoring Platform. - Rizal Mohd Nor; Mikhail Nesterenko; Peter Lavrentyev (ADHOCNETS, 2009)

Self-stabilizing philosophers with generic conflicts. - Praveen Danturi; Mikhail Nesterenko; Sébastien Tixeuil (ACM Trans. Auton. Adapt. Syst., 2009)

Discovering Network Topology in the Presence of Byzantine Faults. - Mikhail Nesterenko; Sébastien Tixeuil (IEEE Trans. Parallel Distributed Syst., 2009)

Self-stabilizing Byzantine Asynchronous Unison, . - Swan Dubois; Maria Gradinariu Potop-Butucaru; Mikhail Nesterenko; Sébastien Tixeuil (OPODIS, 2010)

Snap-stabilization in message-passing systems. - Sylvie Delaët; Stéphane Devismes; Mikhail Nesterenko; Sébastien Tixeuil (J. Parallel Distributed Comput., 2010)

Ideal Stabilization. - Mikhail Nesterenko; Sébastien Tixeuil (AINA, 2011)

Evaluating Practical Tolerance Properties of Stabilizing Programs through Simulation: The Case of Propagation of Information with Feedback. - Jordan Adamek; Mikhail Nesterenko; Sébastien Tixeuil (SSS, 2012)

Concurrent face traversal for efficient geometric routing. - Thomas Clouser; Mark Miyashita; Mikhail Nesterenko (J. Parallel Distributed Comput., 2012)

Self-stabilizing byzantine asynchronous unison. - Swan Dubois; Maria Potop-Butucaru; Mikhail Nesterenko; Sébastien Tixeuil (J. Parallel Distributed Comput., 2012)

Tiara: A self-stabilizing deterministic skip list and skip graph. - Thomas Clouser; Mikhail Nesterenko; Christian Scheideler (Theor. Comput. Sci., 2012)

Linearizing Peer-to-Peer Systems with Oracles. - Rizal Mohd Nor; Mikhail Nesterenko; Sébastien Tixeuil (SSS, 2013)

Void traversal for efficient non-planar geometric routing. - Thomas Clouser; Adnan Vora; Timothy Fox; Mikhail Nesterenko (Ad Hoc Networks, 2013)

Ideal stabilisation. - Mikhail Nesterenko; Sébastien Tixeuil (Int. J. Grid Util. Comput., 2013)

Corona: A stabilizing deterministic message-passing skip list. - Rizal Mohd Nor; Mikhail Nesterenko; Christian Scheideler (Theor. Comput. Sci., 2013)

On Stabilizing Departures in Overlay Networks. - Dianne Foreback; Andreas Koutsopoulos; Mikhail Nesterenko; Christian Scheideler; Thim Strothmann (SSS, 2014)

Evaluating and Optimizing Stabilizing Dining Philosophers. - Jordan Adamek; Mikhail Nesterenko; Sébastien Tixeuil (EDCC, 2015)

Stateless Geocasting. - Jordan Adamek; Mikhail Nesterenko; Sébastien Tixeuil (CoRR, 2015)

Infinite Unlimited Churn (Short Paper). - Dianne Foreback; Mikhail Nesterenko; Sébastien Tixeuil (SSS, 2016)

Infinite Unlimited Churn. - Dianne Foreback; Mikhail Nesterenko; Sébastien Tixeuil (CoRR, 2016)

Stateless Reliable Geocasting. - Jordan Adamek; Mikhail Nesterenko; James Scott Robinson; Sébastien Tixeuil (SRDS, 2017)

Evaluating and optimizing stabilizing dining philosophers. - Jordan Adamek; Giovanni Farina; Mikhail Nesterenko; Sébastien Tixeuil (J. Parallel Distributed Comput., 2017)

Concurrent Geometric Multicasting. - Jordan Adamek; Mikhail Nesterenko; James Scott Robinson; Sébastien Tixeuil (ICDCN, 2018)

Churn Possibilities and Impossibilities. - Dianne Foreback; Mikhail Nesterenko; Sébastien Tixeuil (NETYS, 2018)

Brief Announcement Blockguard: Adaptive Blockchain Security. - Shishir Rai; Kendric Hood; Mikhail Nesterenko; Gokarna Sharma (SSS, 2019)

Blockguard: Adaptive Blockchain Security. - Shishir Rai; Kendric Hood; Mikhail Nesterenko; Gokarna Sharma (CoRR, 2019)

Packet Efficient Implementation of the Omega Failure Detector. - Quentin Bramas; Dianne Foreback; Mikhail Nesterenko; Sébastien Tixeuil (Theory Comput. Syst., 2019)

Brief Announcement: Byzantine Geoconsensus. - Joseph Oglio; Kendric Hood; Gokarna Sharma; Mikhail Nesterenko (SSS, 2020)

Blockguard: Adaptive Blockchain Security (Short Paper). - Shishir Rai; Kendric Hood; Mikhail Nesterenko; Gokarna Sharma (Tokenomics, 2020)

Partitionable Asynchronous Cryptocurrency Blockchain. - Kendric Hood; Joseph Oglio; Mikhail Nesterenko; Gokarna Sharma (IEEE ICBC, 2021)

Byzantine Geoconsensus. - Joseph Oglio; Kendric Hood; Gokarna Sharma; Mikhail Nesterenko (NETYS, 2021)

QUANTAS: Quantitative User-friendly Adaptable Networked Things Abstract Simulator. - Joseph Oglio; Kendric Hood; Mikhail Nesterenko; Sébastien Tixeuil (ApPLIED@PODC, 2022)

Blockchain in Dynamic Networks. - Rachel Bricker; Mikhail Nesterenko; Gokarna Sharma (SSS, 2022)

Consensus on an Unknown Torus with Dense Byzantine Faults. - Joseph Oglio; Kendric Hood; Gokarna Sharma; Mikhail Nesterenko (NETYS, 2023)

Consensus on Unknown Torus with Dense Byzantine Faults. - Joseph Oglio; Kendric Hood; Gokarna Sharma; Mikhail Nesterenko (CoRR, 2023)

BeRGeR: Byzantine-Robust Geometric Routing. - Brown Zaz; Mikhail Nesterenko; Gokarna Sharma (NETYS, 2024)

Consensus Through Knot Discovery in Asynchronous Dynamic Networks. - Rachel Bricker; Mikhail Nesterenko; Gokarna Sharma (SSS, 2024)

TRAIL: Cross-Shard Validation for Byzantine Shard Protection. - Joseph Oglio; Mikhail Nesterenko; Gokarna Sharma (SSS, 2024)

TRAIL: Cross-Shard Validation for Cryptocurrency Byzantine Shard Protection. - Mitch Jacovetty; Joseph Oglio; Mikhail Nesterenko; Gokarna Sharma (CoRR, 2024)

Preface: Selected papers from SSS'2019, the 21st International Symposium on Stabilization, Safety, and Security of Distributed Systems. - Mikhail Nesterenko; Sébastien Tixeuil; Sara Tucci; Yukiko Yamauchi (Inf. Comput., 2025)

SmartShards: Churn-Tolerant Continuously Available Distributed Ledger. - Joseph Oglio; Mikhail Nesterenko; Gokarna Sharma (CoRR, 2025)