Skip to content

Publications

Distributed Systems of Simple Interacting Agents , Ph.D. Dissertation, Yale University , 2007,
Self-stabilizing Leader Election in Networks of Finite-state Anonymous Agents , with Michael J. Fischer, Tenth International Conference on Principles of Distributed Systems , Lecture Notes in Computer Science, Volume 4305, Springer-Verlag 2006, pages 395-409.
Stabilizing Consensus in Mobile Networks , with Dana Angluin and Michael J. Fischer, in Proceedings of Distributed Computing in Sensor Systems: Second IEEE International Conference, Lecture Notes in Computer Science, Volume 4026, Springer-Verlag June 2006, pages 37-50.
Self-stabilizing population protocols, with Dana Angluin, James Aspnes, and Michael J. Fischer, Ninth International Conference on Principles of Distributed Systems, December 2005, pages 79-90.
Stably computable properties of network graphs , with Dana Angluin, James Aspnes, Melody Chan, Michael J. Fischer, and Rene Peralta, In Proceedings of Distributed Computing in Sensor Systems: First IEEE International Conference , Lecture Notes in Computer Science, Volume 3560, Springer-Verlag June 2005, pages 63-74.
Typed Computational Email for Serverless Distributed Applications , with Robert Fischer and Michael Fischer, Yale University Technical Report, Yale/DCS/TR1291, 2004,
Implementing Refal Pattern Matching with Refal , with Xi Gao, B.S. Thesis, 2002,