- Finite-State Self-Stabilizing Protocols in Message-Passing Systems 1
- Tiara: A Self-Stabilizing Deterministic Skip List Thomas Clouser, Mikhail Nesterenko Christian Scheideler
- FiniteState SelfStabilizing Protocols in MessagePassing Systems
- arXiv:0906.1947v1[cs.DC]10Jun2009 Ideal Stabilization
- Oxybuoy: Constructing a Real-Time Inexpensive Hypoxia Monitoring Platform
- Dining Philosophers that Tolerate Malicious Crashes Mikhail Nesterenko
- A Quorum-Based Self-Stabilizing Distributed Mutual Exclusion Algorithm
- RFID Security without Extensive Cryptography Sindhu Karthikeyan and Mikhail Nesterenko
- Fast Geometric Routing with Concurrent Face Traversal Thomas Clouser1
- Lock Based SelfStabilizing Distributed Mutual Exclusion Algorithms
- Development of SelfStabilizing Distributed Algorithms using Transformation: Case Studies
- arXiv:0805.0087v2[cs.DC]13May2008 de recherche
- Elsevier Editorial System(tm) for Theoretical Computer Science Manuscript Draft
- Discovering Network Topology in the Presence of Byzantine Faults
- Self-Stabilizing Philosophers with Generic Conflicts
- Kansei: A Testbed for Sensing at Scale Emre Ertin, Anish Arora, Rajiv Ramnath, Mikhail Nesterenko,
- 2FACE: Bi-Directional Face Traversal for Efficient Geometric Routing
- DRIFT: Efficient Message Ordering in Ad Hoc Networks Using Virtual Flooding Stefan Pleisch1
- Void Traversal for Guaranteed Delivery in Geometric Routing
- Corona: A Stabilizing Deterministic Message-Passing Skip List
- Ideal Stabilization Mikhail Nesterenko
- Tiara: A Self-Stabilizing Deterministic Skip List Thomas Clouser1
- Poster Abstract: Emuli -Model Driven Sensor Stimuli for Experimentation
- Hardware Injected Sensor Stimuli
- Emuli: Emulated Stimuli for Wireless Sensor Network Experimentation
- This article appeared in a journal published by Elsevier. The attached copy is furnished to the author for internal non-commercial research
- Snap-Stabilization in Message-Passing Systems Brief Announcement
- On Properties of the Group Membership Problem Mikhail Nesterenko
- Fault-Tolerance Verification of the Fluids and Combustion Facility of
- Project ExScal (Short Abstract) Anish Arora, Rajiv Ramnath, Prasun Sinha, Emre Ertin, Sandip Bapat,
- Secure Location Verification Using Radio Broadcast
- Digital Object Identifier (DOI) 10.1007/s00446-004-0111-6 Distrib. Comput. (2004)
- Using History to Improve Lightweight Routing Topology Maintenance in Sensor Networks
- A Transformation of SelfStabilizing Serial Model Programs for
- Bounds on Topology Discovery in the Presence of Byzantine Faults
- Fault-Tolerance Verification of the Fluids and Combustion Facility of the International Space Station
- Discovering Network Topology in the Presence of Byzantine Faults
- Universe Detectors for Sybil Defense in Ad Hoc Wireless Networks
- Low Overhead RFID Security* Shlomi Dolev, Marina Kopeetsky, Thomas Clouser, and Mikhail Nesterenko
- Kansei: A High Fidelity Sensing Testbed Anish Arora, Emre Ertin, Rajiv Ramnath,
- Void Traversal for Efficient Non-Planar Geometric Routing Thomas Clouser, Mikhail Nesterenko
- Self-Stabilizing Philosophers with Generic Conflicts PRAVEEN DANTURI, MIKHAIL NESTERENKO
- Local Tolerance to Unbounded Byzantine Faults
- Secure Location Verification Using Radio Broadcast
- Corona: A Stabilizing Deterministic Message-Passing Skip List
