M. Karol, J. Golestani and D. Lee, “Prevention of Deadlocks and Livelocks in Lossless, Backpressured Packet Networks”, IEEE/ACM Trans. on Networking, Vol. 11, No. 8, Dec. 2003; an earlier version published in IEEE INFOCOM 2000

A. V. Aho and D. Lee, “Hierarchical Networks and the LSA N-Squared Problem in OSPF Routing”, IEEE GLOBECOM 2000, Nov. 27 - Dec. 1, San Francisco, CA

D. Lee, K. K. Ramakrishnan and M. Moh, “A Formal Specification of the ATM ABR Rate Control Scheme”, Computer Networks and ISDN Syst., Vol. 30, 1998, pp. 1735-1748 (invited paper)

D. Lee, K. K. Ramakrishnan, W. M. Moh and A. U. Shankar, “Performance and Correctness of the ATM ABR Rate Control Scheme”, Proc. IEEE INFOCOM'97, April 1997

D. Lee, D. Su , L. Collica and N. Golmie, “Conformance Test Suite for the ABR Rate Control Scheme in TM v4.0”, ATM Forum/97-0034, February, 1997

D. Lee, W. M. Moh, K. K. Ramakrishnan and A. U. Shankar, “An Extended Finite State Machine Representation of the Source/Destination Behavior”, ATM Forum Contribution ATM_Forum/96-0231, Feb. 1996

D. Lee, K. K. Ramakrishnan, W. M. Moh and A. U. Shankar, “Protocol Specification Using Parameterized Communicating Extended Finite State Machines - A Case Study of the ATM ABR Rate Control Scheme”, Proc. ICNP, October 1996

D. Lee, D. Su, L. Collica and N. Golmie, “Conformance Test Suite for the ABR Rate Control Scheme in TM v4.0”, ATM Forum/97-0034, February, 1997

A. U. Shankar and D. Lee, “Modulo-N Incarnation Numbers for Cache-based Transport Protocols”, IEEE/ACM Trans. on Networking, Vol. 3, No. 3, June 1995, pp. 255-268; an earlier version with a same title appeared in Proc. ICNP, October 1993, pp. 46-54

D. Lee, A. N. Netravali, and K. K. Sabnani, “Protocol Pruning”, Proceedings of The IEEE, Vol. 83, No. 10, 1995, pp. 526-542

D. Kristol, D. Lee, A. N. Netravali, and K. Sabnani, “A Polynomial Algorithm for Gateway Generation from Formal Specifications”, IEEE/ACM Trans. on Networking, Vol. 1, No. 2, April 1993, pp. 217-229; an earlier version with a title “An Efficient Gateway synthesis from Formal Specification” appeared in ACM SIGCOMM, September 1991, pp. 89-97