Publications and Preprints

• Andreas Klappenecker, Hyunyoung Lee, and Jennifer L. Welch.
  "Finding Available Parking Spaces Made Easy."
  Ad Hoc Networks, Elsevier Science. Volume 12, pages 243-249. 2014.

• Andreas Klappenecker, Hyunyoung Lee, and Jennifer L. Welch.
  "Dynamic Regular Registers in Systems with Churn."
  Theoretical Computer Science (TCS), Elsevier. Volume 512, pages 84-97. 2013.

• Cheng Shao, Jennifer L. Welch, Evelyn Pierce and Hyunyoung Lee.
  "Multi-Writer Consistency Conditions for Shared Memory Registers."
  SIAM Journal on Computing. Volume 40, issue 1, pages 28-62. January 2011. Available online

• Khushboo Kanjani, Hyunyoung Lee, Whitney L. Maguffee and Jennifer L. Welch.
  "A Simple Byzantine Fault-Tolerant Algorithm for a Multi-Writer Regular Register."
  International Journal of Parallel, Emergent and Distributed Systems, 25(5): 423-435. 2010.

• Andreas Klappenecker, Hyunyoung Lee, and Jennifer L. Welch.
  "Scheduling Sensors by Tiling Lattices."
  Parallel Processing Letters 20(1):3-13. 2010.

• Seth Voorhies, Hyunyoung Lee, and Andreas Klappenecker.
  "Fair Service for Mice in the Presence of Elephants."
  Information Processing Letters, Elsevier. Volume 99, pages 96-101. 2006.

• Hyunyoung Lee and Jennifer L. Welch.
  "Randomized Registers and Iterative Algorithms."
  Distributed Computing, Springer-Verlag. Volume 17, number 3, pages 209-221, March 2005. Available online.

• Hyunyoung Lee, Jennifer L. Welch, and Nitin H. Vaidya.
  "Location Tracking Using Quorums in Mobile Ad Hoc Networks."
  Ad Hoc Networks, Elsevier Science. Volume 1, issue 4, pages 371-381. November 2003. Available online

• Hyunyoung Lee.
  "Online Stable Matching as a Means of Allocating Distributed Resources."
  Journal of Systems Architecture, Elsevier Science. Volume 45, pages 1345-1355. 1999.

• Andreas Klappenecker and Hyunyoung Lee.
  "Probabilistic Biquorums."
  Proceedings of the 2nd IEEE International Conference on Information Science and Security (ICISS 2015), pages 196-199. December 2015.

• Jiaqi Wang, Edward Talmage, Hyunyoung Lee, and Jennifer L. Welch.
  "Improved Time Bounds for Linearizable Implementations of Abstract Data Types."
  Proceedings of the 28th IEEE International Parallel & Distributed Processing Symposium (IPDPS 2014), May 2014.

• Andreas Klappenecker and Hyunyoung Lee.
  "Strong Dynamic Consensus in Byzantine Faulty Systems with Churn."
  Proceedings of the 19th IEEE International Conference on Parallel and Distributed Systems (ICPADS 2013), pages 323-330. December 2013.

• Silvia Bonomi, Andreas Klappenecker, Hyunyoung Lee, and Jennifer L. Welch.
  "Stochastic Modeling of Dynamic Distributed Systems with Crash Recovery and Its Application to Atomic Registers."
  Proceedings of the 16th International Conference on Principles Of Distributed Systems (OPODIS 2012), pages 76-90. December 2012.

• Andreas Klappenecker, Hyunyoung Lee, and Jennifer L. Welch.
  "Dynamic Regular Registers in Systems with Churn."
  Proceedings of the 13th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2011), pages 296-310. October 2011.

• Andreas Klappenecker, Hyunyoung Lee, and Jennifer L. Welch.
  "Quorum-Based Dynamic Regular Registers in Systems with Churn."
  Proceedings of the 3rd Workshop on Theoretical Aspects of Dynamic Distributed Systems (TADDS 2011) (co-located with DISC 2011), pages 3-7. September 2011.

• Jiaqi Wang, Jennifer L. Welch and Hyunyoung Lee.
  "Brief Announcement: Time Bounds for Shared Objects in Partially Synchronous Systems."
  Proceedings of the ACM Symposium on Principles of Distributed Computing (PODC 2011), pages 347-348. June 2011.

• Andreas Klappenecker, Hyunyoung Lee, and Jennifer L. Welch.
  "Finding Available Parking Spaces Made Easy."
  Proceedings of The Sixth ACM SIGACT/SIGMOBILE International Workshop on FOUNDATIONS OF MOBILE COMPUTING (DIALM-POMC 2010), September 2010.

• Gautam Roy, Hyunyoung Lee, Jennifer L. Welch, Yuan Zhao, Vijit Pandey, and Deborah Thurston.
  "A Distributed Pool Architecture for Genetic Algorithms."
  Proceedings of the 2009 IEEE Congress on Evolutionary Computation (IEEE CEC 2009), pages 1177-1184. May 2009.

• Khushboo Kanjani, Hyunyoung Lee, and Jennifer L. Welch.
  "Byzantine Fault-Tolerant Implementation of a Multi-Writer Regular Register."
  Proceedings of the 23rd IEEE International Parallel & Distributed Processing Symposium (IPDPS 2009): 14th IEEE Workshop on Dependable Parallel, Distributed and Network-Centric Systems (DPDNS 2009) (CD ROM: 8 pages). May 2009.

• Andreas Klappenecker, Hyunyoung Lee, and Jennifer L. Welch.
  "Brief Announcement: Scheduling Sensors by Tiling Lattices."
  Proceedings of the ACM Symposium on Principles of Distributed Computing (PODC 2008), page 437. August 2008.

• Lan Lin and Hyunyoung Lee.
  "Distributed Algorithms for Dynamic Coverage in Sensor Networks."
  Proceedings of the ISCA 20th International Conference on Parallel and Distributed Computing Systems (PDCS 2007) September 2007.

• Lan Lin and Hyunyoung Lee.
  "Brief Announcement: Distributed Algorithms for Dynamic Coverage in Sensor Networks."
  Proceedings of the 26th ACM Symposium on Principles of Distributed Computing (PODC 2007) August 2007.

• Lan Lin and Hyunyoung Lee.
  "A Dynamic Medial Axis Model for Sensor Networks."
  Proceedings of the 12th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2007) August 2007.

• Michel Dubois, Hyunyoung Lee, and Lan Lin.
  "STAMP: A Universal Algorithmic Model for Next-Generation Multithreaded Machines and Systems."
  Proceedings of the 21st IEEE International Parallel & Distributed Processing Symposium (IPDPS 2007): Workshop on Multithreaded Architectures and Applications (MTAAP 2007) March 2007.

• Lan Lin and Hyunyoung Lee.
  "Dynamic Medial Axis Based Motion Planning in Sensor Networks."
  Poster presentation at the 25th ACM Symposium on Principles of Distributed Computing (PODC 2006). July 2006.

• Hyunyoung Lee and Andreas Klappenecker.
  "An Approach to Location Tracking of Mobile Sensors based on Distributed Randomized Multisets."
  Proceedings of the 3rd International Conference on Networked Sensing Systems (INSS 2006), pages 234-239. May-June 2006.

• Hyunyoung Lee, Andreas Klappenecker, Kyungsook Lee, and Lan Lin.
  "Energy Efficient Data Management for Wireless Sensor Networks with Data Sink Failure."
  In Proceedings of the Workshop on Resource Provisioning and Management in Sensor Networks (RPMSN 2005), in conjunction with The 2nd IEEE International Conference on Mobile Ad-Hoc and Sensor Systems (MASS 2005). November 2005.

• Yueh-Hua Lee and Hyunyoung Lee.
  "An Optimization of the Buddy Model for Securing Mobile Agents."
  Poster presentation at the 24th ACM Symposium on Principles of Distributed Computing (PODC 2005). July 2005.

• Kevin Bauer and Hyunyoung Lee.
  "A Distributed Authentication Scheme for a Wireless Sensing System."
  In Proceedings of 2nd International Workshop on Networked Sensing Systems (INSS 2005), pages 210-215, June 2005.

• Hyunyoung Lee and Andreas Klappenecker.
  "Randomized Sets and Multisets." [literate program][sources] Submitted. October 2004.

• Hyunyoung Lee.
  "Parallel Hashing Algorithms on BSP and QSM Models."
  In Proceedings of 6th Workshop on Advances in Parallel and Distributed Computational Models (APDCM) in conjunction with IEEE IPDPS 2004. April 2004.

• Seth Voorhies, Hyunyoung Lee, and Andreas Klappenecker.
  "Randomized Caching, Probabilistic Queuing, and Denial of Service Attacks." Submitted.

• Seth Voorhies and Hyunyoung Lee.
  "A Probabilistic Web Server Defense Scheme Against Distributed Denial of Service Attacks."
  In Proceedings of American Association of Advancement of Science '03 Meeting. February 2003. Won the first prize in poster competition.

• Hyunyoung Lee and Jennifer L. Welch.
  "Randomized Shared Queues Applied to Distributed Optimization Algorithms."
  In Proceedings of 12th International Symposium on Algorithms and Computation (ISAAC), pages 587-598, December 2001.

• Hyunyoung Lee and Jennifer L. Welch.
  "Brief Announcement: Randomized Shared Queues."
  In Proceedings of 20th ACM Symposium on Principles of Distributed Computing (PODC), pages 311-313, August 2001.

• Hyunyoung Lee and Jennifer L. Welch.
  "Applications of Probabilistic Quorums to Iterative Algorithms."
  In Proceedings of 21st International Conference on Distributed Computing Systems (ICDCS), pages 21-28, April 2001. Nominated for best paper award.

• Hyunyoung Lee and Jennifer L. Welch.
  "Brief Announcement: Specification, Implementation and Application of Randomized Regular Register."
  In Proceedings of 19th ACM Symposium on Principles of Distributed Computing (PODC), page 338, July 2000.

• Hyunyoung Lee.
  "A Randomized Memory Model and Its Applications in Distributed Computing." PhD Dissertation. August 2001.