Next: Conference Articles Previous: Articles in Books Up: Publications Home: Simon S. Lam

Journal Articles 

  1. Hongkun Yang and Simon S. Lam, ``Scalable Verification of Networks With Packet Transformers Using Atomic Predicates,'' IEEE/ACM Transactions on Networking, October 2017, Volume 25, No. 5, pages 2900-2915 (first published as IEEE Early Access Article, July 2017, Digital Object Identifier: 10.1109/TNET.2017.2720172).

         [Software Download for networks with packet transformers]

  2. Huazhe Wang, Chen Qian, Ye Yu, Hongkun Yang, and Simon S. Lam, ``Practical Network-Wide Packet Behavior Identification by AP Classifier,'' IEEE/ACM Transactions on Networking, October 2017, Volume: 25, No. 5, pages: 2886-2899 (first published as IEEE Early Access Article, July 2017, Digital Object Identifier: 10.1109/TNET.2017.2720637).

  3. Chen Qian and Simon S. Lam, ``Greedy Routing by Network Distance Embedding,'' IEEE/ACM Transactions on Networking, August 2016, Volume 24, No. 4, pages 2100-2113 (first published as IEEE Early Access Article, 2015, Digital Object Identifier: 10.1109/TNET.2015.2449762).   

  4. Hongkun Yang and Simon S. Lam, ``Real-time Verification of Network Properties using Atomic Predicates,'' IEEE/ACM Transactions on Networking, April 2016, Volume 24, No. 2, pages 887-900 (first published as IEEE Early Access Article, 2015, Digital Object Identifier: 10.1109/TNET.2015.2398197).

         [Software Download for networks without packet transformers]

  5. Chen Qian and Simon S. Lam, ``A Scalable and Resilient Layer-2 Network with Ethernet Compatibility,''  IEEE/ACM Transactions on Networking, February 2016, Vol. 24, No. 1, pages 231-244 (first published as IEEE Early Access Article, 2014, Digital Object Identifier: 10.1109/TNET.2014.2361773).

  6. Simon S. Lam and Chen Qian, ``Geographic Routing in d-dimensional Spaces with Guaranteed Delivery and Low Stretch,'' IEEE/ACM Transactions on Networking, April 2013, Vol. 21, No. 2, pages 663-677 (first published as IEEE Early Access Article, 2012, Digital Object Identifier: 10.1109/TNET.2012.2214056).  PowerPoint presentation

  7. Y. Mao, F. Wang, L. Qiu, S. Lam, and J. Smith, ``S4: Small State and Small Stretch Compact Routing Protocol for Large Static Wireless Networks,'' IEEE/ACM Transactions on Networking, Vol. 18, No. 3, pages 761-774, June 2010.

  8. Min Sik Kim, Taekhyun Kim, YongJune Shin, Simon S. Lam, and Edward J. Powers, ``A Wavelet-based Approach to Detect Shared Congestion,'' IEEE/ACM Transactions on Networking, Vol. 16, No. 4, pages 763-776, August 2008.

  9. Feng Wang, Lili Qiu, and Simon S. Lam, ``Probabilistic Region-based Localization for Wireless Networks,'' ACM SIGMOBILE Mobile Computing and Communications Review (MC2R), Special Issue on Localization, Jan. 2007.

  10. Simon S. Lam and Huaiyu Liu, ``Failure Recovery for Structured P2P Networks: Protocol Design and Performance under Churn,'' Computer Networks, Vol. 50, Issue 16, November 2006, pages 3083-3104.

  11. Nishanth Sastry and Simon S. Lam, ``CYRF: A Theory of Window-based Unicast Congestion Control,'' IEEE/ACM Transactions on Networking, Vol. 13, No. 2, pages 330-342, April 2005.

  12. X. Brian Zhang, Simon S. Lam, and Dong-Young Lee, ``Group Rekeying with Limited Unicast Recovery,'' Computer Networks, Vol. 44, Issue 6, pages 855-870, April 2004.

  13. X. Brian Zhang, Simon S. Lam, Dong-Young Lee, and Y. Richard Yang, ``Protocol Design for Scalable and Reliable Group Rekeying,'' IEEE/ACM Transactions on Networking, Vol. 11, No. 6, December 2003.
  14. Y. Richard Yang, Min S. Kim, and Simon S. Lam, `` Transient Behaviors of TCP-Friendly Congestion Control Protocols,'' Computer Networks, Volume 41, Issue 2, pages 193-210, February 2003.
  15. Chung Kei Wong, Mohamed G. Gouda, and Simon S. Lam, ``Secure Group Communications Using Key Graphs,'' IEEE/ACM Transactions on Networking, Vol. 8, No. 1, Feb. 2000, pages 16-30.

  16. Chung Kei Wong and Simon S. Lam, ``Digital Signatures for Flows and Multicasts,'' IEEE/ACM Transactions on Networking, Vol. 7, No. 4, August 1999, pages 502-513.

  17. David K. Y. Yau and Simon S. Lam, ``Migrating Sockets--End System Support for Networking with Quality of Service Guarantees,'' IEEE/ACM Transactions on Networking, Vol. 6, No. 6, pp. 700-716 December 1998.
  18. Geoffrey G. Xie and Simon S. Lam, ``Real-Time Block Transfer Under a Link Sharing Hierarchy,'' IEEE/ACM Transactions on Networking, Vol. 6, No. 1, pp. 30-41, February 1998.
  19. Geoffrey G. Xie and Simon S. Lam, ``An efficient network architecture motivated by application-level QoS,'' Journal of High Speed Networking, Vol. 6, No. 3, pp. 165-179, January 1998.
  20. David K. Y. Yau and Simon S. Lam, ``Operating System Techniques for Distributed Multimedia,'' International Journal of Intelligent Systems, Special Issue on multimedia computing systems, 1998.
  21. Simon S. Lam and Geoffrey G. Xie, ``Burst Scheduling Networks,'' Performance Evaluation, Special Issue on ATM Traffic Management, Vol. 31, November 1997, pages 133-157.

  22. David K. Y. Yau and Simon S. Lam, ``Adaptive Rate-Controlled Scheduling for Multimedia Applications,'' IEEE/ACM Transactions on Networking, Vol. 5, No. 4, August 1997.
  23. Pawan Goyal, Simon S. Lam, and Harrick Vin, ``Determining End-to-End Delay Bounds in Heterogeneous Networks,'' ACM/Springer-Verlag Multimedia Systems, Vol. 5, No. 3, May 1997.
  24. Simon S. Lam and Geoffrey G. Xie, ``Group Priority Scheduling,'' IEEE/ACM Transactions on Networking, Vol. 5, No. 2, April 1997.
  25. Simon S. Lam, Simon Chow, and David Yau, ``A Lossless Smoothing Algorithm for Compressed Video,'' IEEE/ACM Transactions on Networking, Vol. 4, No. 5, October 1996.
  26. Geoffrey G. Xie and Simon S. Lam, ``Delay Guarantee of Virtual Clock Server,'' IEEE/ACM Transactions on Networking, Vol. 3, No. 6, December 1995.
  27. Simon S. Lam and A. Udaya Shankar, ``A Theory of Interfaces and Modules I--Composition Theorem,'' IEEE Transactions on Software Engineering, Vol. 20, No. 1, January 1994.
  28. Thomas Y. C. Woo and Simon S. Lam, ``Authorization in Distributed Systems: A New Approach,'' Journal of Computer Security, 1994.
  29. A. Udaya Shankar and Simon S. Lam, ``A Stepwise Refinement Heuristic for Protocol Construction,'' ACM TOPLAS, Vol. 14, No. 3, July 1992.
  30. Thomas Y. C. Woo and Simon S. Lam, ``Authentication for Distributed Systems,'' Computer, Vol. 25, No. 1, January 1992, and ``Authentication revisited,'' Computer, Vol. 25, No. 3, March 1992.
  31. Simon S. Lam and A. Udaya Shankar, ``Specifying Modules to Satisfy Interfaces: A State Transition System Approach,'' Distributed Computing, Vol. 6, July 1992, pages 39-63.

  32. Pradeep Jain and Simon S. Lam, ``Specification of Real-Time Broadcast Networks,'' IEEE Transactions on Computers, Vol. 40, No. 4, April 1991.
  33. Simon S. Lam and A. Udaya Shankar, ``A Relational Notation for State Transition Systems,'' IEEE Transactions on Software Engineering, Vol. 16, No. 7, July 1990.
  34. Kenneth L. Calvert and Simon S. Lam, ``Formal Methods for Protocol Conversion,'' IEEE Journal on Selected Areas in Communications, Vol. 8, No. 1, January 1990.
  35. C. T. Hsieh and Simon S. Lam, ``PAM--A Noniterative Approximate Solution Method for Closed Multichain Queueing Networks,'' Performance Evaluation, Vol. 9, No. 2, April 1989.
  36. Simon S. Lam,``Protocol Conversion,'' IEEE Transactions on Software Engineering, Vol. 14, No. 3, March 1988; correction in IEEE Transactions on Software Engineering, Vol. 14, No. 9, Sept. 1988, page 1376.
  37. C. H. Chow and Simon S. Lam, ``PROSPEC: An Interactive Programming Environment for Designing and Verifying Communication Protocols,'' IEEE Transactions on Software Engineering, Vol. 14, No. 3, March 1988.
  38. C. T. Hsieh and Simon S. Lam, ``Two Classes of Performance Bounds for Closed Queueing Networks,'' Performance Evaluation, Vol. 7, No. 1, February 1987.
  39. Pradeep Jain and Simon S. Lam, ``Modeling and Verification of Real-Time Protocols for Broadcast Networks,'' IEEE Transactions on Software Engineering, Vol. SE-13, No. 8, August 1987.
  40. A. Udaya Shankar and Simon S. Lam, ``Time-Dependent Distributed Systems: Proving Safety, Liveness, and Real-Time Properties,'' Distributed Computing, Vol. 2, 1987.
  41. C. H. Chow, Mohamed G. Gouda, and Simon S. Lam, ``A Discipline for Constructing Multiphase Communication Protocols,'' ACM Transactions on Computer Systems, Vol. 3, No. 4, November 1985.
  42. Simon S. Lam and A. Udaya Shankar, ``Protocol Verification via Projections,'' IEEE Transactions on Software Engineering, Vol. SE-10, No. 4, July 1984.
  43. A. Udaya Shankar and Simon S. Lam, ``An HDLC Protocol Specification and its Verification Using Image Protocols,'' ACM Transactions on Computer Systems, Vol. 1, No. 4, pp. 331-368, November 1983.
  44. Simon S. Lam, ``A Simple Derivation of the MVA and LBANC Algorithms from the Convolution Algorithm,'' IEEE Trans. on Computers, Vol. C-32, No. 11, November 1983.
  45. Simon S. Lam and Y. Luke Lien, ``A Tree Convolution Algorithm for the Solution of Queueing Networks,'' Comm. ACM, Vol. 26, No. 3, March 1983.
  46. Simon S. Lam and J. W. Wong, ``Queueing Network Models of Packet Switching Networks, Part 2: Networks with Population Size Constraints,'' Performance Evaluation, Vol. 2, No. 3, 1982.
  47. J. W. Wong and Simon S. Lam, ``Queueing Network Models of Packet Switching Networks, Part 1: Open Networks,'' Performance Evaluation, Vol. 2, No. 1, 1982.
  48. Simon S. Lam, ``Dynamic Scaling and Growth Behavior of Queueing Network Normalization Constants,'' Journal of the ACM, Vol. 29, No. 2, April 1982.
  49. Simon S. Lam and Y. Luke Lien, ``Congestion Control of Packet Communication Networks by Input Buffer Limits--A Simulation Study,'' IEEE Trans. on Computers, Vol. C-30, No. 10, October 1981.
  50. Simon S. Lam and A. Udaya Shankar, ``A Derivation of Response Time Distributions for a Multi-Class Feedback Queueing System,'' Performance Evaluation, Vol. 1, No. 1, 1981.
  51. Simon S. Lam, ``Packet Broadcast Networks--A Performance Analysis of the R-ALOHA Protocol,'' IEEE Trans. on Computers, Vol. C-29, July 1980.
  52. Simon S. Lam, ``A Carrier Sense Multiple Access Protocol for Local Networks,'' Computer Networks, Vol. 4, No. 1, January 1980.
  53. Simon S. Lam, ``Satellite Packet Communication--Multiple Access Protocols and Performance,'' IEEE Trans. on Commun., Vol. COM-27, October 1979.
  54. Simon S. Lam and Martin Reiser, ``Congestion Control of Store-and-Forward Networks by Input Buffer Limits--An Analysis,'' IEEE Trans. on Commun., Vol. COM-27, January 1979.
  55. Simon S. Lam, ``A New Measure for Characterizing Data Traffic,'' IEEE Trans. on Commun., Vol. COM-26, January 1978.
  56. Simon S. Lam, ``Delay Analysis of a Time Division Multiple Access (TDMA) Channel,'' IEEE Trans. on Commun., Vol. COM-25, December 1977.
  57. Simon S. Lam, ``An Extension of Moore's Result for Closed Queueing Networks,'' IBM Journal of Research and Development, Vol. 21, July 1977.
  58. Simon S. Lam, ``Queueing Networks with Population Size Constraints,'' IBM Journal of Research and Development, Vol. 21, July 1977.
  59. Paul J. Schweitzer and Simon S. Lam, ``Buffer Overflow in a Store-and-Forward Network Node,'' IBM Journal of Research and Development, Vol. 20, November 1976.
  60. Simon S. Lam, ``Store-and-Forward Buffer Requirements in a Packet Switching Network,'' IEEE Trans. on Commun., Vol. COM-24, April 1976.
  61. Simon S. Lam and Leonard Kleinrock, ``Packet-Switching in a Multi-Access Broadcast Channel: Dynamic Control Procedures,'' IEEE Trans. on Commun., Vol. COM-23, September 1975.
  62. Leonard Kleinrock and Simon S. Lam, ``Packet-Switching in a Multi-Access Broadcast Channel: Performance Evaluation,'' IEEE Trans. on Commun., Vol. COM-23, April 1975.


Next: Conference Articles Previous: Articles in Books Up: Publications Home: Simon S. Lam