Computer data communication: Packet switching in a slotted satellite channel. - Simon S. Lam (ACM Annual Conference, 1973)

Packet-switching in a slotted satellite channel. - Leonard Kleinrock; Simon S. Lam (AFIPS National Computer Conference, 1973)

Dynamic control schemes for a packet switched multi-access broadcast channel. - Simon S. Lam; Leonard Kleinrock (AFIPS National Computer Conference, 1975)

Packet Switching in a Multiaccess Broadcast Channel: Performance Evaluation. - Leonard Kleinrock; Simon S. Lam (IEEE Trans. Commun., 1975)

Packet Switching in a Multiaccess Broadcast Channel: Dynamic Control Procedures. - Simon S. Lam; Leonard Kleinrock (IEEE Trans. Commun., 1975)

Buffer Overflow in a Store-and-Forward Network Node. - Paul J. Schweitzer; Simon S. Lam (IBM J. Res. Dev., 1976)

Store-and-Forward Buffer Requirements in a Packet Switching Network. - Simon S. Lam (IEEE Trans. Commun., 1976)

Queuing Networks with Population Size Constraints. - Simon S. Lam (IBM J. Res. Dev., 1977)

An Extension of Moore's Result for Closed Queuing Networks. - Simon S. Lam (IBM J. Res. Dev., 1977)

Delay Analysis of a Time Division Multiple Access (TDMA) Channel. - Simon S. Lam (IEEE Trans. Commun., 1977)

A New Measure for Charcterizing Data Traffic. - Simon S. Lam (IEEE Trans. Commun., 1978)

A Study of the CSMA Protocol in Local Networks. - Simon S. Lam (Berkeley Workshop, 1979)

Satellite Packet Communication-Multiple Access Protocols and Performance. - Simon S. Lam (IEEE Trans. Commun., 1979)

Congestion Control of Store-and-Forward Networks by Input Buffer Limits-An Analysis. - Simon S. Lam; Martin Reiser (IEEE Trans. Commun., 1979)

A Carrier Sense Multiple Access Protocol for Local Networks. - Simon S. Lam (Comput. Networks, 1980)

Response time distributions for a multi-class queue with feedback. - Simon S. Lam; A. Udaya Shankar (Performance, 1980)

Packet Broadcast Networks - A Performance Analysis of the R-ALOHA Protocol. - Simon S. Lam (IEEE Trans. Computers, 1980)

Modeling and analysis of flow controlled packet switching networks. - Simon S. Lam; Luke Yeong-Chang Lien (SIGCOMM, 1981)

Behavior of the normalization constant and a scaling technique for product-form queueing networks. - Simon S. Lam (Perform. Evaluation, 1981)

A derivation of response time distributions for a multi-class feedback queueing systems. - Simon S. Lam; A. Udaya Shankar (Perform. Evaluation, 1981)

Congestion Control of Packet Communication Networks by Input Buffer Limits - A Simulation Study. - Simon S. Lam; Luke Yeong-Chang Lien (IEEE Trans. Computers, 1981)

An Illustration of Protocol Projections. - Simon S. Lam; A. Udaya Shankar (PSTV, 1982)

On Time-Dependent Communication Protocols and Their Projections. - A. Udaya Shankar; Simon S. Lam (PSTV, 1982)

Optimal Routing in Networks With Flow-Controlled Virtual Channels. - Simon S. Lam; Luke Yeong-Chang Lien (SIGMETRICS, 1982)

Dynamic Scaling and Growth Behavior of Queuing Network Normalization Constants. - Simon S. Lam (J. ACM, 1982)

Queueing network models of packet switching networks part 2: Networks with population size constraints. - Simon S. Lam; Johnny W. Wong (Perform. Evaluation, 1982)

Queuing network models of packet switching networks part 1: Open networks. - Johnny W. Wong; Simon S. Lam (Perform. Evaluation, 1982)

Specification and verification of an HDLC protocol with arm connection management and full-duplex data transfer. - A. Udaya Shankar; Simon S. Lam (SIGCOMM, 1983)

A Tree Convolution Algorithm for the Solution of Queueing Networks. - Simon S. Lam; Luke Yeong-Chang Lien (Commun. ACM, 1983)

A Simple Derivation of the MVA and LBANC Algorithms from the Convolution Algorithm. - Simon S. Lam (IEEE Trans. Computers, 1983)

An HDLC Protocol Specification and Its Verification Using Image Protocols - A. Udaya Shankar; Simon S. Lam (ACM Trans. Comput. Syst., 1983)

On Constructing Multi-Phase Communication Protocols. - Ching-Hua Chow; Mohamed G. Gouda; Simon S. Lam (PSTV, 1984)

On the Decidability of Livelock Detection in Networks of Communicating Finite State Machines. - Mohamed G. Gouda; Ching-Hua Chow; Simon S. Lam (PSTV, 1984)

Specification and Verification of Time-Dependant Communication Protocols. - A. Udaya Shankar; Simon S. Lam (PSTV, 1984)

An exercise in constructing multi-phase communication protocols. - Ching-Hua Chow; Mohamed G. Gouda; Simon S. Lam (Comput. Commun. Rev., 1984)

Protocol Verification via Projections. - Simon S. Lam; A. Udaya Shankar (IEEE Trans. Software Eng., 1984)

A Discipline for Constructing Multiphase Communication Protocols - Ching-Hua Chow; Mohamed G. Gouda; Simon S. Lam (ACM Trans. Comput. Syst., 1985)

Protocol conversion - correctness problems. - Simon S. Lam (SIGCOMM, 1986)

An exercise in deriving a protocol conversion. - Kenneth L. Calvert; Simon S. Lam (Comput. Commun. Rev., 1987)

Modeling, analysis, and optimal routing of flow-controlled communication networks. - Simon S. Lam; Ching-Tarng Hsieh (Comput. Commun. Rev., 1987)

Time-Dependent Distributed Systems: Proving Safety, Liveness and Real-Time Properties. - A. Udaya Shankar; Simon S. Lam (Distributed Comput., 1987)

Two Classes of Performance Bounds for Closed Queueing Networks. - Ching-Tarng Hsieh; Simon S. Lam (Perform. Evaluation, 1987)

Modeling and Verification of Real-Time Protocols for Broadcast Networks. - Pradeep Jain; Simon S. Lam (IEEE Trans. Software Eng., 1987)

Specification and verification of collusion-free broadcast networks. - Pradeep Jain; Simon S. Lam (SIGCOMM, 1988)

PROSPEC: An Interactive Programming Environment for Designing and Verifying Communication Protocols. - Ching-Hua Chow; Simon S. Lam (IEEE Trans. Software Eng., 1988)

Protocol Conversion. - Simon S. Lam (IEEE Trans. Software Eng., 1988)

Correction to "Protocol Conversion". - Simon S. Lam (IEEE Trans. Software Eng., 1988)

Refinement and Projection of Relational Specifications. - Simon S. Lam; A. Udaya Shankar (REX Workshop, 1989)

Construction of Network Protocols by Stepwise Refinement. - A. Udaya Shankar; Simon S. Lam (REX Workshop, 1989)

Deriving a Protocol Converter: A Top-Down Method. - Kenneth L. Calvert; Simon S. Lam (SIGCOMM, 1989)

PAM - A Noniterative Approximate Solution Method for Closed Multichain Queueing Networks. - Ching-Tarng Hsieh; Simon S. Lam (Perform. Evaluation, 1989)

Adaptors for Protocol Conversion. - Kenneth L. Calvert; Simon S. Lam (INFOCOM, 1990)

Formal Methods for Protocol Conversion. - Kenneth L. Calvert; Simon S. Lam (IEEE J. Sel. Areas Commun., 1990)

A Relational Notation for State Transition Systems. - Simon S. Lam; A. Udaya Shankar (IEEE Trans. Software Eng., 1990)

Understanding Interfaces. - Simon S. Lam; A. Udaya Shankar (FORTE, 1991)

A Composition Theorem for Layered Systems. - Simon S. Lam; A. Udaya Shankar (PSTV, 1991)

Applying a Theory of Modules and Interfaces to Security Verification. - Simon S. Lam; A. Udaya Shankar; Thomas Y. C. Woo (S&P, 1991)

Specification of Real-Time Broadcast Networks. - Pradeep Jain; Simon S. Lam (IEEE Trans. Computers, 1991)

Authorization in distributed systems: a formal approach. - Thomas Y. C. Woo; Simon S. Lam (S&P, 1992)

Authentification for Distributed Systems. - Thomas Y. C. Woo; Simon S. Lam (Computer, 1992)

Specifying Modules to Satisfy Interfaces: A State Transition System Approach. - Simon S. Lam; A. Udaya Shankar (Distributed Comput., 1992)

A Stepwise Refinement Heuristic for Protocol Construction. - A. Udaya Shankar; Simon S. Lam (ACM Trans. Program. Lang. Syst., 1992)

A Framework for Distributed Authorization. - Thomas Y. C. Woo; Simon S. Lam (CCS, 1993)

Verifying authentication protocols: methodology and example. - Thomas Y. C. Woo; Simon S. Lam (ICNP, 1993)

A semantic model for authentication protocols. - Thomas Y. C. Woo; Simon S. Lam (S&P, 1993)

Authorizations in Distributed Systems: A New Approach. - Thomas Y. C. Woo; Simon S. Lam (J. Comput. Secur., 1993)

Design, verification and implementation of an authentication protocol. - Thomas Y. C. Woo; Simon S. Lam (ICNP, 1994)

An Algorithm for Lossless Smoothing of MPEG Video. - Simon S. Lam; Simon Chow; David K. Y. Yau (SIGCOMM, 1994)

SNP: An Interface for Secure Network Programming. - Thomas Y. C. Woo; Raghuram Bindignavle; Shaowen Su; Simon S. Lam (USENIX Summer, 1994)

A Lesson on Authentication Protocol Design. - Thomas Y. C. Woo; Simon S. Lam (ACM SIGOPS Oper. Syst. Rev., 1994)

A Theory of Interfaces and Modules I-Composition Theorem. - Simon S. Lam; A. Udaya Shankar (IEEE Trans. Software Eng., 1994)

Burst Scheduling: Architecture and Algorithm for Switching Packet Video. - Simon S. Lam; Geoffrey G. Xie (INFOCOM, 1995)

Burst Scheduling Networks: Flow Specification and Performance Guarantees. - Simon S. Lam; Geoffrey G. Xie (NOSSDAV, 1995)

Delay guarantee of virtual clock server. - Geoffrey G. Xie; Simon S. Lam (IEEE/ACM Trans. Netw., 1995)

An Efficient Adaptive Search Algorithm for Scheduling Real-Time Traffic. - Geoffrey G. Xie; Simon S. Lam (ICNP, 1996)

Genetic Algorithm with Pigeon-Hole Coding Scheme for Solving Sequencing Problems. - Simon S. Lam (Appl. Artif. Intell., 1996)

A lossless smoothing algorithm for compressed video. - Simon S. Lam; Simon Chow; David K. Y. Yau (IEEE/ACM Trans. Netw., 1996)

Admission Control and Loss Management for an Application-Level Statistical Service. - Geoffrey G. Xie; Simon S. Lam (ICNP, 1997)

Migrating Sockets for networking with quality of service guarantees. - David K. Y. Yau; Simon S. Lam (ICNP, 1997)

An efficient network architecture motivated by application-level QoS. - Geoffrey G. Xie; Simon S. Lam (J. High Speed Networks, 1997)

Determining End-to-End Delay Bounds in Heterogeneous Networks. - Pawan Goyal 001; Simon S. Lam; Harrick M. Vin (Multim. Syst., 1997)

Burst Scheduling Networks. - Simon S. Lam; Geoffrey G. Xie (Perform. Evaluation, 1997)

Group priority scheduling. - Simon S. Lam; Geoffrey G. Xie (IEEE/ACM Trans. Netw., 1997)

Adaptive rate-controlled scheduling for multimedia applications. - David K. Y. Yau; Simon S. Lam (IEEE/ACM Trans. Netw., 1997)

Designing a Distributed Authorization Service. - Thomas Y. C. Woo; Simon S. Lam (INFOCOM, 1998)

Operating system support for distributed multimedia. - David K. Y. Yau; Simon S. Lam (Int. J. Intell. Syst., 1998)

Real-time block transfer under a link-sharing hierarchy. - Geoffrey G. Xie; Simon S. Lam (IEEE/ACM Trans. Netw., 1998)

Migrating sockets-end system support for networking with quality of service guarantees. - David K. Y. Yau; Simon S. Lam (IEEE/ACM Trans. Netw., 1998)

Digital signatures for flows and multicasts. - Chung Kei Wong; Simon S. Lam (IEEE/ACM Trans. Netw., 1999)

Optimal Partitioning of Multicast Receivers. - Yang Richard Yang; Min Sik Kim; Simon S. Lam (ICNP, 2000)

General AIMD Congestion Control. - Yang Richard Yang; Simon S. Lam (ICNP, 2000)

Secure group communications using key graphs. - Chung Kei Wong; Mohamed G. Gouda; Simon S. Lam (IEEE/ACM Trans. Netw., 2000)

Reliable group rekeying: a performance analysis. - Yang Richard Yang; Xiaozhou (Steve) Li; X. Brian Zhang; Simon S. Lam (SIGCOMM, 2001)

Towards scalable and reliable group key management. - Yang Richard Yang; Xiaozhou (Steve) Li; Simon S. Lam; Xincheng Zhang (SIGMETRICS/Performance, 2001)

Batch rekeying for secure group communications. - Xiaozhou (Steve) Li; Yang Richard Yang; Mohamed G. Gouda; Simon S. Lam (WWW, 2001)

A Theory of Window-Based Unicast Congestion Control. - Nishanth Ramakrishna Sastry; Simon S. Lam (ICNP, 2002)

Optimal Distribution Tree for Internet Streaming Media. - Min Sik Kim; Simon S. Lam; Dong-Young Lee (ICDCS, 2003)

Neighbor Table Construction and Update in a Dynamic Peer-to-Peer Network. - Huaiyu Liu; Simon S. Lam (ICDCS, 2003)

Transient behaviors of TCP-friendly congestion control protocols. - Yang Richard Yang; Min Sik Kim; Simon S. Lam (Comput. Networks, 2003)

Protocol design for scalable and reliable group rekeying. - X. Brian Zhang; Simon S. Lam; Dong-Young Lee; Yang Richard Yang (IEEE/ACM Trans. Netw., 2003)

Consistency-Preserving Neighbor Table Optimization for P2P Networks. - Huaiyu Liu; Simon S. Lam (ICPADS, 2004)

Application of wavelet denoising to the detection of shared congestion in overlay multimedia networks. - Taekhyun Kim; YongJune Shin; Edward J. Powers; Min Sik Kim; Simon S. Lam (MMSP, 2004)

Failure recovery for structured P2P networks: protocol design and performance evaluation. - Simon S. Lam; Huaiyu Liu (SIGMETRICS, 2004)

Back to the future part 4: the internet. - Simon S. Lam (Comput. Commun. Rev., 2004)

Group rekeying with limited unicast recovery. - X. Brian Zhang; Simon S. Lam; Dong-Young Lee (Comput. Networks, 2004)

Efficient Group Rekeying Using Application-Layer Multicast. - X. Brian Zhang; Simon S. Lam; Huaiyu Liu (ICDCS, 2005)

Eliminating Bottlenecks in Overlay Multicast. - Min Sik Kim; Yi Li 012; Simon S. Lam (NETWORKING, 2005)

CYRF: a theory of window-based unicast congestion control. - Nishanth Ramakrishna Sastry; Simon S. Lam (IEEE/ACM Trans. Netw., 2005)

Scalable Clustering of Internet Paths by Shared Congestion. - Min Sik Kim; Taekhyun Kim; YongJune Shin; Simon S. Lam; Edward J. Powers (INFOCOM, 2006)

Failure recovery for structured p2p networks: Protocol design and performance under churn. - Simon S. Lam; Huaiyu Liu (Comput. Networks, 2006)

Protocol Design for Dynamic Delaunay Triangulation. - Dong-Young Lee; Simon S. Lam (ICDCS, 2007)

SmartTunnel: Achieving Reliability in the Internet. - Yi Li 012; Yin Zhang 001; Lili Qiu; Simon S. Lam (INFOCOM, 2007)

S4: Small State and Small Stretch Routing Protocol for Large Wireless Sensor Networks. - Yun Mao; Feng Wang; Lili Qiu; Simon S. Lam; Jonathan M. Smith (NSDI, 2007)

Probabilistic region-based localization for wireless networks. - Feng Wang; Lili Qiu; Simon S. Lam (ACM SIGMOBILE Mob. Comput. Commun. Rev., 2007)

A Radius Geocast Routing Protocol. - Dong-Young Lee; Eui Kyung Chung; Simon S. Lam (HPCC, 2008)

Efficient and accurate protocols for distributed delaunay triangulation under churn. - Dong-Young Lee; Simon S. Lam (ICNP, 2008)

A wavelet-based approach to detect shared congestion. - Min Sik Kim; Taekhyun Kim; YongJune Shin; Simon S. Lam; Edward J. Powers (IEEE/ACM Trans. Netw., 2008)

A wireless routing protocol in d-dimensional spaces. - Chen Qian 001; Simon S. Lam; Vinod Venkataraman (SenSys, 2009)

Greedy Distance Vector Routing. - Chen Qian 001; Simon S. Lam (ICDCS, 2011)

Geographic routing in d-dimensional spaces with guaranteed delivery and low stretch. - Simon S. Lam; Chen Qian 001 (SIGMETRICS, 2011)

ROME: Routing on metropolitan-scale Ethernet. - Chen Qian 001; Simon S. Lam (ICNP, 2012)

Geographic Routing in d -Dimensional Spaces With Guaranteed Delivery and Low Stretch. - Simon S. Lam; Chen Qian 001 (IEEE/ACM Trans. Netw., 2013)

Collaborative Verification of Forward and Reverse Reachability in the Internet Data Plane. - Hongkun Yang; Simon S. Lam (ICNP, 2014)

A Scalable and Resilient Layer-2 Network With Ethernet Compatibility. - Chen Qian 001; Simon S. Lam (IEEE/ACM Trans. Netw., 2016)

Greedy Routing by Network Distance Embedding. - Chen Qian 001; Simon S. Lam (IEEE/ACM Trans. Netw., 2016)

Real-Time Verification of Network Properties Using Atomic Predicates. - Hongkun Yang; Simon S. Lam (IEEE/ACM Trans. Netw., 2016)

Practical Network-Wide Packet Behavior Identification by AP Classifier. - Huazhe Wang; Chen Qian 001; Ye Yu 001; Hongkun Yang; Simon S. Lam (IEEE/ACM Trans. Netw., 2017)

Scalable Verification of Networks With Packet Transformers Using Atomic Predicates. - Hongkun Yang; Simon S. Lam (IEEE/ACM Trans. Netw., 2017)