Mikhail Nesterenko

Thomas Clouser, Mark Miyashita, Mikhail Nesterenko: Concurrent face traversal for efficient geometric routing. J. Parallel Distrib. Comput. 72(5): 627-636 (2012)

Swan Dubois, Maria Potop-Butucaru, Mikhail Nesterenko, Sébastien Tixeuil: Self-stabilizing byzantine asynchronous unison. J. Parallel Distrib. Comput. 72(7): 917-923 (2012)

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

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

Mikhail Nesterenko, Sébastien Tixeuil: Ideal Stabilization. AINA 2011: 224-231

Rizal Mohd Nor, Mikhail Nesterenko, Christian Scheideler: Corona: A Stabilizing Deterministic Message-Passing Skip List. SSS 2011: 356-370

Sylvie Delaët, Stéphane Devismes, Mikhail Nesterenko, Sébastien Tixeuil: Snap-stabilization in message-passing systems. J. Parallel Distrib. Comput. 70(12): 1220-1230 (2010)

Swan Dubois, Maria Gradinariu Potop-Butucaru, Mikhail Nesterenko, Sébastien Tixeuil: Self-stabilizing Byzantine Asynchronous Unison^, . OPODIS 2010: 83-86

Praveen Danturi, Mikhail Nesterenko, Sébastien Tixeuil: Self-stabilizing philosophers with generic conflicts. TAAS 4(1) (2009)

Mikhail Nesterenko, Sébastien Tixeuil: Discovering Network Topology in the Presence of Byzantine Faults. IEEE Trans. Parallel Distrib. Syst. 20(12): 1777-1789 (2009)

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

Sylvie Delaët, Stéphane Devismes, Mikhail Nesterenko, Sébastien Tixeuil: Snap-Stabilization in Message-Passing Systems. ICDCN 2009: 281-286

Mikhail Nesterenko, Sébastien Tixeuil: Ideal Stabilization. CoRR abs/0906.1947 (2009)

Swan Dubois, Maria Gradinariu Potop-Butucaru, Mikhail Nesterenko, Sébastien Tixeuil: Self-Stabilizing Byzantine Asynchronous Unison. CoRR abs/0912.0134 (2009)

Thomas Clouser, Mark Miyashita, Mikhail Nesterenko: Fast Geometric Routing with Concurrent Face Traversal. OPODIS 2008: 346-362

Sylvie Delaët, Stéphane Devismes, Mikhail Nesterenko, Sébastien Tixeuil: Snap-stabilization in message-passing systems. PODC 2008: 443

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

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

Thomas Clouser, Mikhail Nesterenko, Christian Scheideler: Tiara: A Self-stabilizing Deterministic Skip List. SSS 2008: 124-140

Sylvie Delaët, Stéphane Devismes, Mikhail Nesterenko, Sébastien Tixeuil: Snap-Stabilization in Message-Passing Systems. CoRR abs/0802.1123 (2008)

Mikhail Nesterenko, Adnan Vora: Void Traversal for Guaranteed Delivery in Geometric Routing. CoRR abs/0803.3632 (2008)

Adnan Vora, Mikhail Nesterenko, Sébastien Tixeuil, Sylvie Delaët: Universe Detectors for Sybil Defense in Ad Hoc Wireless Networks. CoRR abs/0805.0087 (2008)

Anish Arora, Emre Ertin, Rajiv Ramnath, Mikhail Nesterenko, William Leal: Kansei: A High-Fidelity Sensing Testbed. IEEE Internet Computing 10(2): 35-47 (2006)

Adnan Vora, Mikhail Nesterenko: Secure Location Verification Using Radio Broadcast. IEEE Trans. Dependable Sec. Comput. 3(4): 377-385 (2006)

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

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

Mikhail Nesterenko, Sébastien Tixeuil: Discovering Network Topology in the Presence of Byzantine Faults. SIROCCO 2006: 212-226

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

Praveen Danturi, Mikhail Nesterenko, Sébastien Tixeuil: Self-stabilizing Philosophers with Generic Conflicts. SSS 2006: 214-230

Mikhail Nesterenko, Sébastien Tixeuil: Discovering Network Topology in the Presence of Byzantine Faults. CoRR abs/cs/0611116 (2006)

Mark Miyashita, Mikhail Nesterenko: 2FACE: Bi-Directional Face Traversal for Efficient Geometric Routing. CoRR abs/cs/0611117 (2006)

Anish Arora, Mikhail Nesterenko: Unifying stabilization and termination in message-passing systems. Distributed Computing 17(3): 279-290 (2005)

Anish Arora, Rajiv Ramnath, Prasun Sinha, Emre Ertin, Sandip Bapat, Vinayak Naik, Vinod Kulathumani, Hongwei Zhang, Mukundan Sridharan, Santosh Kumar, Hui Cao, Nick Seddon, Chris Anderson, Ted Herman, Chen Zhang, Nishank Trivedi, Mohamed G. Gouda, Young-ri Choi, Mikhail Nesterenko, Romil Shah, Sandeep S. Kulkarni, Mahesh Aramugam, Limin Wang, David E. Culler, Prabal Dutta, Cory Sharp, Gilman Tolle, Mike Grimmer, Bill Ferriera, Ken Parker: Project ExScal (Short Abstract). DCOSS 2005: 393-394

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

Mikhail Nesterenko, Adnan Vora: Void traversal for guaranteed delivery in geometric routing. MASS 2005

Anish Arora, Rajiv Ramnath, Emre Ertin, Prasun Sinha, Sandip Bapat, Vinayak Naik, Vinod Kulathumani, Hongwei Zhang, Hui Cao, Mukundan Sridharan, Santosh Kumar, Nick Seddon, Chris Anderson, Ted Herman, Nishank Trivedi, Chen Zhang, Mikhail Nesterenko, Romil Shah, Sandeep S. Kulkarni, Mahesh Aramugam, Limin Wang, Mohamed G. Gouda, Young-ri Choi, David E. Culler, Prabal Dutta, Cory Sharp, Gilman Tolle, Mike Grimmer, Bill Ferriera, Ken Parker: ExScal: Elements of an Extreme Scale Wireless Sensor Network. RTCSA 2005: 102-108

Sindhu Karthikeyan, Mikhail Nesterenko: RFID security without extensive cryptography. SASN 2005: 63-67

Anish Arora, Prabal Dutta, Sandip Bapat, Vinod Kulathumani, Hongwei Zhang, Vinayak Naik, Vineet Mittal, Hui Cao, Murat Demirbas, Mohamed G. Gouda, Young-ri Choi, Ted Herman, Sandeep S. Kulkarni, Umamaheswaran Arumugam, Mikhail Nesterenko, Adnan Vora, Mark Miyashita: A line in the sand: a wireless sensor network for target detection, classification, and tracking. Computer Networks 46(5): 605-634 (2004)

Adnan Vora, Mikhail Nesterenko: Secure Location Verification Using Radio Broadcast. OPODIS 2004: 369-383

Mikhail Nesterenko, Masaaki Mizuno: A Quorum-Based Self-Stabilizing Distributed Mutual Exclusion Algorithm. J. Parallel Distrib. Comput. 62(2): 284-305 (2002)

Mikhail Nesterenko, Anish Arora: Stabilization-Preserving Atomicity Refinement. J. Parallel Distrib. Comput. 62(5): 766-791 (2002)

Rodney R. Howell, Mikhail Nesterenko, Masaaki Mizuno: Finite-State Self-Stabilizing Protocols in Message-Passing Systems. J. Parallel Distrib. Comput. 62(5): 792-817 (2002)

Mikhail Nesterenko, Anish Arora: Dining Philosophers that Tolerate Malicious Crashes. ICDCS 2002: 191-198

Mikhail Nesterenko, Anish Arora: Tolerance to Unbounded Byzantine Faults. SRDS 2002: 22-

Anish Arora, Mikhail Nesterenko: Unifying Stabilization and Termination in Message-Passing Systems. ICDCS 2001: 99-106

Mikhail Nesterenko, Anish Arora: Stabilization-Preserving Atomicity Refinement. DISC 1999: 254-268

Rodney R. Howell, Mikhail Nesterenko, Masaaki Mizuno: Finite-state self-stabilizing protocols in message-passing systems. WSS 1999: 62-69

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

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

Masaaki Mizuno, Mikhail Nesterenko, Hirotsugu Kakugawa: Lock Based Self-Stabilizing Distributed Mutual Exclusion Algorithms. ICDCS 1996: 708-716