Mikhail Nesterenko

93 papers A* 1A 4B 11C 15Misc 4Journal 42Unranked 16

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Preface: Selected papers from SSS'2019, the 21st International Symposium on Stabilization, Safety, and Security of Distributed Systems. Inf. Comput. Mikhail Nesterenko, Sébastien Tixeuil, Sara Tucci, Yukiko Yamauchi
2025	—	`conf`	SmartShards: Churn-Tolerant Continuously Available Distributed Ledger. NETYS Joseph Oglio, Mikhail Nesterenko, Gokarna Sharma
2025	J	`jnl`	SmartShards: Churn-Tolerant Continuously Available Distributed Ledger. CoRR Joseph Oglio, Mikhail Nesterenko, Gokarna Sharma
2025	J	`jnl`	When Can You Trust Bitcoin? Value-Dependent Block Confirmation to Determine Transaction Finalit. CoRR Ethan Hicks, Joseph Oglio, Mikhail Nesterenko, Gokarna Sharma
2025	—	`conf`	When Can You Trust Bitcoin? Value-Dependent Block Confirmation to Determine Transaction Finality. BRAINS Ethan Hicks, Joseph Oglio, Mikhail Nesterenko, Gokarna Sharma
2024	—	`conf`	BeRGeR: Byzantine-Robust Geometric Routing. NETYS Brown Zaz, Mikhail Nesterenko, Gokarna Sharma
2024	J	`jnl`	BeRGeR: Byzantine-Robust Geometric Routing. CoRR Brown Zaz, Mikhail Nesterenko, Gokarna Sharma
2024	C	`conf`	Consensus Through Knot Discovery in Asynchronous Dynamic Networks. SSS Rachel Bricker, Mikhail Nesterenko, Gokarna Sharma
2024	J	`jnl`	Consensus Through Knot Discovery in Asynchronous Dynamic Networks. CoRR Rachel Bricker, Mikhail Nesterenko, Gokarna Sharma
2024	C	`conf`	TRAIL: Cross-Shard Validation for Byzantine Shard Protection. SSS Joseph Oglio, Mikhail Nesterenko, Gokarna Sharma
2024	J	`jnl`	TRAIL: Cross-Shard Validation for Cryptocurrency Byzantine Shard Protection. CoRR Mitch Jacovetty, Joseph Oglio, Mikhail Nesterenko, Gokarna Sharma
2023	J	`jnl`	Consensus on Unknown Torus with Dense Byzantine Faults. CoRR Joseph Oglio, Kendric Hood, Gokarna Sharma, Mikhail Nesterenko
2023	—	`conf`	Consensus on an Unknown Torus with Dense Byzantine Faults. NETYS Joseph Oglio, Kendric Hood, Gokarna Sharma, Mikhail Nesterenko
2022	C	`conf`	Blockchain in Dynamic Networks. SSS Rachel Bricker, Mikhail Nesterenko, Gokarna Sharma
2022	J	`jnl`	Blockchain in Dynamic Networks. CoRR Rachel Bricker, Mikhail Nesterenko, Gokarna Sharma
2022	—	`conf`	QUANTAS: Quantitative User-friendly Adaptable Networked Things Abstract Simulator. ApPLIED@PODC Joseph Oglio, Kendric Hood, Mikhail Nesterenko, Sébastien Tixeuil
2022	J	`jnl`	QUANTAS: Quantitative User-friendly Adaptable Networked Things Abstract Simulator. CoRR Joseph Oglio, Kendric Hood, Mikhail Nesterenko, Sébastien Tixeuil
2021	—	`conf`	Byzantine Geoconsensus. NETYS Joseph Oglio, Kendric Hood, Gokarna Sharma, Mikhail Nesterenko
2021	—	`conf`	Partitionable Asynchronous Cryptocurrency Blockchain. IEEE ICBC Kendric Hood, Joseph Oglio, Mikhail Nesterenko, Gokarna Sharma
2020	—	`conf`	Blockguard: Adaptive Blockchain Security (Short Paper). Tokenomics Shishir Rai, Kendric Hood, Mikhail Nesterenko, Gokarna Sharma
2020	C	`conf`	Brief Announcement: Byzantine Geoconsensus. SSS Joseph Oglio, Kendric Hood, Gokarna Sharma, Mikhail Nesterenko
2020	J	`jnl`	Byzantine Geoconsensus. CoRR Joseph Oglio, Kendric Hood, Gokarna Sharma, Mikhail Nesterenko
2020	J	`jnl`	Partitionable Asynchronous Cryptocurrency Blockchain. CoRR Kendric Hood, Joseph Oglio, Mikhail Nesterenko, Gokarna Sharma
2019	J	`jnl`	Blockguard: Adaptive Blockchain Security. CoRR Shishir Rai, Kendric Hood, Mikhail Nesterenko, Gokarna Sharma
2019	C	`conf`	Brief Announcement Blockguard: Adaptive Blockchain Security. SSS Shishir Rai, Kendric Hood, Mikhail Nesterenko, Gokarna Sharma
2019	J	`jnl`	Packet Efficient Implementation of the Omega Failure Detector. Theory Comput. Syst. Quentin Bramas, Dianne Foreback, Mikhail Nesterenko, Sébastien Tixeuil
2019	C	`ed.`	Stabilization, Safety, and Security of Distributed Systems - 21st International Symposium, SSS 2019, Pisa, Italy, October 22-25, 2019, Proceedings SSS Mohsen Ghaffari, Mikhail Nesterenko, Sébastien Tixeuil, Sara Tucci, Yukiko Yamauchi
2018	—	`conf`	Churn Possibilities and Impossibilities. NETYS Dianne Foreback, Mikhail Nesterenko, Sébastien Tixeuil
2018	Misc	`conf`	Concurrent Geometric Multicasting. ICDCN Jordan Adamek, Mikhail Nesterenko, James Scott Robinson, Sébastien Tixeuil
2017	J	`jnl`	Concurrent Geometric Multicasting. CoRR Jordan Adamek, Mikhail Nesterenko, James Scott Robinson, Sébastien Tixeuil
2017	J	`jnl`	Evaluating and optimizing stabilizing dining philosophers. J. Parallel Distributed Comput. Jordan Adamek, Giovanni Farina, Mikhail Nesterenko, Sébastien Tixeuil
2017	B	`conf`	Stateless Reliable Geocasting. SRDS Jordan Adamek, Mikhail Nesterenko, James Scott Robinson, Sébastien Tixeuil
2016	C	`conf`	Infinite Unlimited Churn (Short Paper). SSS Dianne Foreback, Mikhail Nesterenko, Sébastien Tixeuil
2016	J	`jnl`	Infinite Unlimited Churn. CoRR Dianne Foreback, Mikhail Nesterenko, Sébastien Tixeuil
2016	C	`conf`	Packet Efficient Implementation of the Omega Failure Detector. SSS Quentin Bramas, Dianne Foreback, Mikhail Nesterenko, Sébastien Tixeuil
2015	Misc	`conf`	Evaluating and Optimizing Stabilizing Dining Philosophers. EDCC Jordan Adamek, Mikhail Nesterenko, Sébastien Tixeuil
2015	J	`jnl`	Packet Efficient Implementation of the Omega Failure Detector. CoRR Quentin Bramas, Dianne Foreback, Mikhail Nesterenko, Sébastien Tixeuil
2015	J	`jnl`	Stateless Geocasting. CoRR Jordan Adamek, Mikhail Nesterenko, Sébastien Tixeuil
2014	C	`conf`	On Stabilizing Departures in Overlay Networks. SSS Dianne Foreback, Andreas Koutsopoulos, Mikhail Nesterenko, Christian Scheideler, Thim Strothmann
2013	J	`jnl`	Corona: A stabilizing deterministic message-passing skip list. Theor. Comput. Sci. Rizal Mohd Nor, Mikhail Nesterenko, Christian Scheideler
2013	J	`jnl`	Ideal stabilisation. Int. J. Grid Util. Comput. Mikhail Nesterenko, Sébastien Tixeuil
2013	C	`conf`	Linearizing Peer-to-Peer Systems with Oracles. SSS Rizal Mohd Nor, Mikhail Nesterenko, Sébastien Tixeuil
2013	J	`jnl`	Void traversal for efficient non-planar geometric routing. Ad Hoc Networks Thomas Clouser, Adnan Vora, Timothy Fox, Mikhail Nesterenko
2012	J	`jnl`	Concurrent face traversal for efficient geometric routing. J. Parallel Distributed Comput. Thomas Clouser, Mark Miyashita, Mikhail Nesterenko
2012	C	`conf`	Evaluating Practical Tolerance Properties of Stabilizing Programs through Simulation: The Case of Propagation of Information with Feedback. SSS Jordan Adamek, Mikhail Nesterenko, Sébastien Tixeuil
2012	J	`jnl`	Self-stabilizing byzantine asynchronous unison. J. Parallel Distributed Comput. Swan Dubois, Maria Potop-Butucaru, Mikhail Nesterenko, Sébastien Tixeuil
2012	J	`jnl`	Tiara: A self-stabilizing deterministic skip list and skip graph. Theor. Comput. Sci. Thomas Clouser, Mikhail Nesterenko, Christian Scheideler
2011	C	`conf`	Corona: A Stabilizing Deterministic Message-Passing Skip List. SSS Rizal Mohd Nor, Mikhail Nesterenko, Christian Scheideler
2011	B	`conf`	Ideal Stabilization. AINA Mikhail Nesterenko, Sébastien Tixeuil
2010	B	`conf`	Self-stabilizing Byzantine Asynchronous Unison OPODIS Swan Dubois, Maria Gradinariu Potop-Butucaru, Mikhail Nesterenko, Sébastien Tixeuil
2010	J	`jnl`	Snap-stabilization in message-passing systems. J. Parallel Distributed Comput. Sylvie Delaët, Stéphane Devismes, Mikhail Nesterenko, Sébastien Tixeuil
2009	J	`jnl`	Discovering Network Topology in the Presence of Byzantine Faults. IEEE Trans. Parallel Distributed Syst. Mikhail Nesterenko, Sébastien Tixeuil
2009	J	`jnl`	Ideal Stabilization CoRR Mikhail Nesterenko, Sébastien Tixeuil
2009	—	`conf`	Oxybuoy: Constructing a Real-Time Inexpensive Hypoxia Monitoring Platform. ADHOCNETS Rizal Mohd Nor, Mikhail Nesterenko, Peter Lavrentyev
2009	J	`jnl`	Self-Stabilizing Byzantine Asynchronous Unison CoRR Swan Dubois, Maria Gradinariu Potop-Butucaru, Mikhail Nesterenko, Sébastien Tixeuil
2009	J	`jnl`	Self-stabilizing philosophers with generic conflicts. ACM Trans. Auton. Adapt. Syst. Praveen Danturi, Mikhail Nesterenko, Sébastien Tixeuil
2009	Misc	`conf`	Snap-Stabilization in Message-Passing Systems. ICDCN Sylvie Delaët, Stéphane Devismes, Mikhail Nesterenko, Sébastien Tixeuil
2008	Misc	`conf`	Emuli: model driven sensor stimuli for experimentation. SenSys Najla Alam, Thomas Clouser, Richie Thomas, Mikhail Nesterenko
2008	B	`conf`	Fast Geometric Routing with Concurrent Face Traversal. OPODIS Thomas Clouser, Mark Miyashita, Mikhail Nesterenko
2008	J	`jnl`	Snap-Stabilization in Message-Passing Systems CoRR Sylvie Delaët, Stéphane Devismes, Mikhail Nesterenko, Sébastien Tixeuil
2008	A*	`conf`	Snap-stabilization in message-passing systems. PODC Sylvie Delaët, Stéphane Devismes, Mikhail Nesterenko, Sébastien Tixeuil
2008	C	`conf`	Tiara: A Self-stabilizing Deterministic Skip List. SSS Thomas Clouser, Mikhail Nesterenko, Christian Scheideler
2008	J	`jnl`	Universe Detectors for Sybil Defense in Ad Hoc Wireless Networks CoRR Adnan Vora, Mikhail Nesterenko, Sébastien Tixeuil, Sylvie Delaët
2008	C	`conf`	Universe Detectors for Sybil Defense in Ad Hoc Wireless Networks. SSS Adnan Vora, Mikhail Nesterenko, Sébastien Tixeuil, Sylvie Delaët
2008	J	`jnl`	Void Traversal for Guaranteed Delivery in Geometric Routing CoRR Mikhail Nesterenko, Adnan Vora
2006	J	`jnl`	2FACE: Bi-Directional Face Traversal for Efficient Geometric Routing CoRR Mark Miyashita, Mikhail Nesterenko
2006	B	`conf`	DRIFT: Efficient Message Ordering in Ad Hoc Networks Using Virtual Flooding. SRDS Stefan Pleisch, Thomas Clouser, Mikhail Nesterenko, André Schiper
2006	J	`jnl`	Discovering Network Topology in the Presence of Byzantine Faults CoRR Mikhail Nesterenko, Sébastien Tixeuil
2006	B	`conf`	Discovering Network Topology in the Presence of Byzantine Faults. SIROCCO Mikhail Nesterenko, Sébastien Tixeuil
2006	—	`conf`	Fault-Tolerance Verification of the Fluids and Combustion Facility of the International Space Station. ICDCS Workshops Raquel S. Whittlesey-Harris, Mikhail Nesterenko
2006	J	`jnl`	Kansei: A High-Fidelity Sensing Testbed. IEEE Internet Comput. Anish Arora, Emre Ertin, Rajiv Ramnath, Mikhail Nesterenko, William Leal
2006	—	`conf`	Kansei: a testbed for sensing at scale. IPSN Emre Ertin, Anish Arora, Rajiv Ramnath, Vinayak Naik, Sandip Bapat, Vinod Kulathumani, Mukundan Sridharan, Hongwei Zhang, Hui Cao, Mikhail Nesterenko
2006	J	`jnl`	Secure Location Verification Using Radio Broadcast. IEEE Trans. Dependable Secur. Comput. Adnan Vora, Mikhail Nesterenko
2006	C	`conf`	Self-stabilizing Philosophers with Generic Conflicts. SSS Praveen Danturi, Mikhail Nesterenko, Sébastien Tixeuil
2005	B	`conf`	ExScal: Elements of an Extreme Scale Wireless Sensor Network. RTCSA 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
2005	B	`conf`	Project ExScal (Short Abstract). DCOSS 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
2005	—	`conf`	RFID security without extensive cryptography. SASN Sindhu Karthikeyan, Mikhail Nesterenko
2005	J	`jnl`	Unifying stabilization and termination in message-passing systems. Distributed Comput. Anish Arora, Mikhail Nesterenko
2005	—	`conf`	Visualizing Wireless Sensor Networks: An Experience Report. ICWN Mark Miyashita, Mikhail Nesterenko, Romil Shah, Adnan Vora
2005	B	`conf`	Void traversal for guaranteed delivery in geometric routing. MASS Mikhail Nesterenko, Adnan Vora
2004	J	`jnl`	A line in the sand: a wireless sensor network for target detection, classification, and tracking. Comput. Networks 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
2004	B	`conf`	Secure Location Verification Using Radio Broadcast. OPODIS Adnan Vora, Mikhail Nesterenko
2002	J	`jnl`	A Quorum-Based Self-Stabilizing Distributed Mutual Exclusion Algorithm. J. Parallel Distributed Comput. Mikhail Nesterenko, Masaaki Mizuno
2002	A	`conf`	Dining Philosophers that Tolerate Malicious Crashes. ICDCS Mikhail Nesterenko, Anish Arora
2002	J	`jnl`	Finite-State Self-Stabilizing Protocols in Message-Passing Systems. J. Parallel Distributed Comput. Rodney R. Howell, Mikhail Nesterenko, Masaaki Mizuno
2002	J	`jnl`	Stabilization-Preserving Atomicity Refinement. J. Parallel Distributed Comput. Mikhail Nesterenko, Anish Arora
2002	B	`conf`	Tolerance to Unbounded Byzantine Faults. SRDS Mikhail Nesterenko, Anish Arora
2001	A	`conf`	Unifying Stabilization and Termination in Message-Passing Systems. ICDCS Anish Arora, Mikhail Nesterenko
1999	—	`conf`	Finite-state self-stabilizing protocols in message-passing systems. WSS Rodney R. Howell, Mikhail Nesterenko, Masaaki Mizuno
1999	A	`conf`	Stabilization-Preserving Atomicity Refinement. DISC Mikhail Nesterenko, Anish Arora
1998	J	`jnl`	A Transformation of Self-Stabilizing Serial Model Programs for Asynchronous Parallel Computing Environments. Inf. Process. Lett. Masaaki Mizuno, Mikhail Nesterenko
1997	—	`conf`	Development of self-stabilizing distributed algorithms using transformation: case studies. WSS Hirotsugu Kakugawa, Masaaki Mizuno, Mikhail Nesterenko
1996	A	`conf`	Lock Based Self-Stabilizing Distributed Mutual Exclusion Algorithms. ICDCS Masaaki Mizuno, Mikhail Nesterenko, Hirotsugu Kakugawa