2008 |
103 | EE | Dong-Young Lee,
Eui Kyung Chung,
Simon S. Lam:
A Radius Geocast Routing Protocol.
HPCC 2008: 447-455 |
102 | EE | Min Sik Kim,
Taekhyun Kim,
YongJune Shin,
Simon S. Lam,
Edward J. Powers:
A wavelet-based approach to detect shared congestion.
IEEE/ACM Trans. Netw. 16(4): 763-776 (2008) |
2007 |
101 | EE | Dong-Young Lee,
Simon S. Lam:
Protocol Design for Dynamic Delaunay Triangulation.
ICDCS 2007: 26 |
100 | EE | Yi Li,
Yin Zhang,
Lili Qiu,
Simon S. Lam:
SmartTunnel: Achieving Reliability in the Internet.
INFOCOM 2007: 830-838 |
99 | EE | Yun Mao,
Feng Wang,
Lili Qiu,
Simon S. Lam,
Jonathan M. Smith:
S4: Small State and Small Stretch Routing Protocol for Large Wireless Sensor Networks.
NSDI 2007 |
98 | EE | Feng Wang,
Lili Qiu,
Simon S. Lam:
Probabilistic region-based localization for wireless networks.
Mobile Computing and Communications Review 11(1): 3-14 (2007) |
2006 |
97 | EE | Min Sik Kim,
Taekhyun Kim,
YongJune Shin,
Simon S. Lam,
Edward J. Powers:
Scalable Clustering of Internet Paths by Shared Congestion.
INFOCOM 2006 |
96 | EE | Simon S. Lam,
Huaiyu Liu:
Failure recovery for structured p2p networks: Protocol design and performance under churn.
Computer Networks 50(16): 3083-3104 (2006) |
2005 |
95 | EE | X. Brian Zhang,
Simon S. Lam,
Huaiyu Liu:
Efficient Group Rekeying Using Application-Layer Multicast.
ICDCS 2005: 303-313 |
94 | EE | Min Sik Kim,
Yi Li,
Simon S. Lam:
Eliminating Bottlenecks in Overlay Multicast.
NETWORKING 2005: 893-905 |
93 | EE | Nishanth R. Sastry,
Simon S. Lam:
CYRF: a theory of window-based unicast congestion control.
IEEE/ACM Trans. Netw. 13(2): 330-342 (2005) |
2004 |
92 | EE | Huaiyu Liu,
Simon S. Lam:
Consistency-Preserving Neighbor Table Optimization for P2P Networks.
ICPADS 2004: 7-16 |
91 | EE | Simon S. Lam:
Back to the future part 4: the internet.
SIGCOMM 2004: 1-2 |
90 | EE | Min Sik Kim,
Taekhyun Kim,
YongJune Shin,
Simon S. Lam,
Edward J. Powers:
A wavelet-based approach to detect shared congestion.
SIGCOMM 2004: 293-306 |
89 | EE | Simon S. Lam,
Huaiyu Liu:
Failure recovery for structured P2P networks: protocol design and performance evaluation.
SIGMETRICS 2004: 199-210 |
88 | EE | Simon S. Lam:
Back to the future part 4: the internet.
Computer Communication Review 35(1): 3-12 (2004) |
87 | EE | X. Brian Zhang,
Simon S. Lam,
Dong-Young Lee:
Group rekeying with limited unicast recovery.
Computer Networks 44(6): 855-870 (2004) |
2003 |
86 | EE | Min Sik Kim,
Simon S. Lam,
Dong-Young Lee:
Optimal Distribution Tree for Internet Streaming Media.
ICDCS 2003: 116-125 |
85 | EE | Huaiyu Liu,
Simon S. Lam:
Neighbor Table Construction and Update in a Dynamic Peer-to-Peer Network.
ICDCS 2003: 509- |
84 | EE | Yang Richard Yang,
Min Sik Kim,
Simon S. Lam:
Transient behaviors of TCP-friendly congestion control protocols.
Computer Networks 41(2): 193-210 (2003) |
83 | EE | X. Brian Zhang,
Simon S. Lam,
Dong-Young Lee,
Yang Richard Yang:
Protocol design for scalable and reliable group rekeying.
IEEE/ACM Trans. Netw. 11(6): 908-922 (2003) |
2002 |
82 | EE | Nishanth R. Sastry,
Simon S. Lam:
A Theory of Window-Based Unicast Congestion Control.
ICNP 2002: 144-154 |
2001 |
81 | EE | Yang Richard Yang,
Min Sik Kim,
Simon S. Lam:
Transient Behaviors of TCP-friendly Congestion Control Protocols.
INFOCOM 2001: 1716-1725 |
80 | EE | Yang Richard Yang,
Xiaozhou (Steve) Li,
X. Brian Zhang,
Simon S. Lam:
Reliable group rekeying: a performance analysis.
SIGCOMM 2001: 27-38 |
79 | EE | Yang Richard Yang,
Xiaozhou (Steve) Li,
Simon S. Lam,
Xincheng Zhang:
Towards scalable and reliable group key management.
SIGMETRICS/Performance 2001: 314-315 |
78 | EE | Xiaozhou (Steve) Li,
Yang Richard Yang,
Mohamed G. Gouda,
Simon S. Lam:
Batch rekeying for secure group communications.
WWW 2001: 525-534 |
2000 |
77 | EE | Yang Richard Yang,
Min Sik Kim,
Simon S. Lam:
Optimal Partitioning of Multicast Receivers.
ICNP 2000: 129-140 |
76 | EE | Yang Richard Yang,
Simon S. Lam:
General AIMD Congestion Control.
ICNP 2000: 187-198 |
75 | EE | Chung Kei Wong,
Mohamed G. Gouda,
Simon S. Lam:
Secure group communications using key graphs.
IEEE/ACM Trans. Netw. 8(1): 16-30 (2000) |
1999 |
74 | EE | Chung Kei Wong,
Simon S. Lam:
Digital signatures for flows and multicasts.
IEEE/ACM Trans. Netw. 7(4): 502-513 (1999) |
1998 |
73 | EE | Chung Kei Wong,
Simon S. Lam:
Digital Signatures for Flows and Multicasts.
ICNP 1998: 198-209 |
72 | | Thomas Y. C. Woo,
Simon S. Lam:
Designing a Distributed Authorization Service.
INFOCOM 1998: 419-429 |
71 | EE | Chung Kei Wong,
Mohamed G. Gouda,
Simon S. Lam:
Secure Group Communications Using Key Graphs.
SIGCOMM 1998: 68-79 |
70 | EE | Geoffrey G. Xie,
Simon S. Lam:
Real-time block transfer under a link-sharing hierarchy.
IEEE/ACM Trans. Netw. 6(1): 30-41 (1998) |
69 | EE | David K. Y. Yau,
Simon S. Lam:
Migrating sockets--end system support for networking with quality of service guarantees.
IEEE/ACM Trans. Netw. 6(6): 700-716 (1998) |
1997 |
68 | EE | Geoffrey G. Xie,
Simon S. Lam:
Admission Control and Loss Management for an Application-Level Statistical Service.
ICNP 1997: 142-151 |
67 | EE | David K. Y. Yau,
Simon S. Lam:
Migrating Sockets for networking with quality of service guarantees.
ICNP 1997: 73- |
66 | | Geoffrey G. Xie,
Simon S. Lam:
Real-Time Block Transfer under a Link Sharing Hierarchy.
INFOCOM 1997: 388-397 |
65 | EE | Simon S. Lam,
Geoffrey G. Xie:
Group priority scheduling.
IEEE/ACM Trans. Netw. 5(2): 205-218 (1997) |
64 | EE | David K. Y. Yau,
Simon S. Lam:
Adaptive rate-controlled scheduling for multimedia applications.
IEEE/ACM Trans. Netw. 5(4): 475-488 (1997) |
63 | | Pawan Goyal,
Simon S. Lam,
Harrick M. Vin:
Determining End-to-End Delay Bounds in Heterogeneous Networks.
Multimedia Syst. 5(3): 157-163 (1997) |
62 | | Simon S. Lam,
Geoffrey G. Xie:
Burst Scheduling Networks.
Perform. Eval. 31(1-2): 133-157 (1997) |
1996 |
61 | | David K. Y. Yau,
Simon S. Lam:
Adaptive Rate-Controlled Scheduling for Multimedia Applications.
ACM Multimedia 1996: 129-140 |
60 | EE | Geoffrey G. Xie,
Simon S. Lam:
An Efficient Adaptive Search Algorithm for Scheduling Real-Time Traffic.
ICNP 1996: 14-22 |
59 | | Simon S. Lam,
Geoffrey G. Xie:
Group Priority Scheduling.
INFOCOM 1996: 1346-1356 |
58 | EE | Simon S. Lam:
Genetic Algorithm with Pigeon-Hole Coding Scheme for Solving Sequencing Problems.
Applied Artificial Intelligence 10(3): 239-256 (1996) |
57 | EE | Simon S. Lam,
Simon Chow,
David K. Y. Yau:
A lossless smoothing algorithm for compressed video.
IEEE/ACM Trans. Netw. 4(5): 697-708 (1996) |
1995 |
56 | | Simon S. Lam,
Geoffrey G. Xie:
Burst Scheduling: Architecture and Algorithm for Switching Packet Video.
INFOCOM 1995: 940-950 |
55 | | Pawan Goyal,
Simon S. Lam,
Harrick M. Vin:
Determining End-to-End Delay Bounds in Heterogeneous Networks.
NOSSDAV 1995: 273-284 |
54 | | Simon S. Lam,
Geoffrey G. Xie:
Burst Scheduling Networks: Flow Specification and Performance Guarantees.
NOSSDAV 1995: 289-292 |
53 | EE | Geoffrey G. Xie,
Simon S. Lam:
Delay guarantee of virtual clock server.
IEEE/ACM Trans. Netw. 3(6): 683-689 (1995) |
1994 |
52 | EE | Simon S. Lam,
Simon Chow,
David K. Y. Yau:
An Algorithm for Lossless Smoothing of MPEG Video.
SIGCOMM 1994: 281-293 |
51 | | Thomas Y. C. Woo,
Raghuram Bindignavle,
Shaowen Su,
Simon S. Lam:
SNP: An Interface for Secure Network Programming.
USENIX Summer 1994: 45-58 |
50 | EE | Simon S. Lam,
A. Udaya Shankar:
A Theory of Interfaces and Modules I-Composition Theorem.
IEEE Trans. Software Eng. 20(1): 55-71 (1994) |
49 | | Thomas Y. C. Woo,
Simon S. Lam:
A Lesson on Authentication Protocol Design.
Operating Systems Review 28(3): 24-37 (1994) |
1993 |
48 | EE | Thomas Y. C. Woo,
Simon S. Lam:
A Framework for Distributed Authorization.
ACM Conference on Computer and Communications Security 1993: 112-118 |
47 | | Thomas Y. C. Woo,
Simon S. Lam:
Authorizations in Distributed Systems: A New Approach.
Journal of Computer Security 2(2-3): 107-136 (1993) |
1992 |
46 | EE | A. Udaya Shankar,
Simon S. Lam:
A Stepwise Refinement Heuristic for Protocol Construction.
ACM Trans. Program. Lang. Syst. 14(3): 417-461 (1992) |
45 | | Simon S. Lam,
A. Udaya Shankar:
Specifying Modules to Satisfy Interfaces: A State Transition System Approach.
Distributed Computing 6(1): 39-63 (1992) |
44 | | Thomas Y. C. Woo,
Simon S. Lam:
Authentification for Distributed Systems.
IEEE Computer 25(1): 39-52 (1992) |
1991 |
43 | | Simon S. Lam,
A. Udaya Shankar:
Understanding Interfaces.
FORTE 1991: 165-184 |
42 | | Simon S. Lam,
A. Udaya Shankar,
Thomas Y. C. Woo:
Applying a Theory of Modules and Interfaces to Security Verification.
IEEE Symposium on Security and Privacy 1991: 136-155 |
41 | | Simon S. Lam,
A. Udaya Shankar:
A Composition Theorem for Layered Systems.
PSTV 1991: 93-108 |
40 | | Pradeep Jain,
Simon S. Lam:
Specification of Real-Time Broadcast Networks.
IEEE Trans. Computers 40(4): 404-422 (1991) |
1990 |
39 | | Kenneth L. Calvert,
Simon S. Lam:
Adaptors for Protocol Conversion.
INFOCOM 1990: 552-560 |
38 | | Kenneth L. Calvert,
Simon S. Lam:
Formal Methods for Protocol Conversion.
IEEE Journal on Selected Areas in Communications 8(1): 127-142 (1990) |
37 | EE | Simon S. Lam,
A. Udaya Shankar:
A Relational Notation for State Transition Systems.
IEEE Trans. Software Eng. 16(7): 755-775 (1990) |
1989 |
36 | | Simon S. Lam,
A. Udaya Shankar:
Refinement and Projection of Relational Specifications.
REX Workshop 1989: 454-486 |
35 | | A. Udaya Shankar,
Simon S. Lam:
Construction of Network Protocols by Stepwise Refinement.
REX Workshop 1989: 669-695 |
34 | EE | Kenneth L. Calvert,
Simon S. Lam:
Deriving a Protocol Converter: A Top-Down Method.
SIGCOMM 1989: 247-258 |
33 | | Ching-Tarng Hsieh,
Simon S. Lam:
PAM - A Noniterative Approximate Solution Method for Closed Multichain Queueing Networks.
Perform. Eval. 9(2): 119-133 (1989) |
1988 |
32 | EE | Pradeep Jain,
Simon S. Lam:
Specification and verification of collusion-free broadcast networks.
SIGCOMM 1988: 282-291 |
31 | | Ching-Tarng Hsieh,
Simon S. Lam:
PAM - A Noniterative Approximate Solution Method for Closed Multichain Queueing Networks.
SIGMETRICS 1988: 261-269 |
30 | EE | Ching-Hua Chow,
Simon S. Lam:
PROSPEC: An Interactive Programming Environment for Designing and Verifying Communication Protocols.
IEEE Trans. Software Eng. 14(3): 327-338 (1988) |
29 | EE | Simon S. Lam:
Protocol Conversion.
IEEE Trans. Software Eng. 14(3): 353-362 (1988) |
28 | EE | Simon S. Lam:
Correction to "Protocol Conversion".
IEEE Trans. Software Eng. 14(9): 1376 (1988) |
1987 |
27 | EE | Kenneth L. Calvert,
Simon S. Lam:
An exercise in deriving a protocol conversion.
Computer Communication Review 17(5): 151-160 (1987) |
26 | EE | Simon S. Lam,
Ching-Tarng Hsieh:
Modeling, analysis, and optimal routing of flow-controlled communication networks.
Computer Communication Review 17(5): 162-172 (1987) |
25 | | A. Udaya Shankar,
Simon S. Lam:
Time-Dependent Distributed Systems: Proving Safety, Liveness and Real-Time Properties.
Distributed Computing 2(2): 61-79 (1987) |
24 | | Pradeep Jain,
Simon S. Lam:
Modeling and Verification of Real-Time Protocols for Broadcast Networks.
IEEE Trans. Software Eng. 13(8): 924-937 (1987) |
23 | | Ching-Tarng Hsieh,
Simon S. Lam:
Two Classes of Performance Bounds for Closed Queueing Networks.
Perform. Eval. 7(1): 3-30 (1987) |
1986 |
22 | EE | Simon S. Lam:
Protocol conversion - correctness problems.
SIGCOMM 1986: 19-29 |
1985 |
21 | EE | Ching-Hua Chow,
Mohamed G. Gouda,
Simon S. Lam:
A Discipline for Constructing Multiphase Communication Protocols
ACM Trans. Comput. Syst. 3(4): 315-343 (1985) |
1984 |
20 | | A. Udaya Shankar,
Simon S. Lam:
Specification and Verification of Time-Dependant Communication Protocols.
PSTV 1984: 215-226 |
19 | | Mohamed G. Gouda,
Ching-Hua Chow,
Simon S. Lam:
On the Decidability of Livelock Detection in Networks of Communicating Finite State Machines.
PSTV 1984: 47-56 |
18 | | Ching-Hua Chow,
Mohamed G. Gouda,
Simon S. Lam:
On Constructing Multi-Phase Communication Protocols.
PSTV 1984: 57-68 |
17 | EE | Ching-Hua Chow,
Mohamed G. Gouda,
Simon S. Lam:
An exercise in constructing multi-phase communication protocols.
Computer Communication Review 14(2): 42-49 (1984) |
16 | | Simon S. Lam,
A. Udaya Shankar:
Protocol Verification via Projections.
IEEE Trans. Software Eng. 10(4): 325-342 (1984) |
1983 |
15 | EE | A. Udaya Shankar,
Simon S. Lam:
An HDLC Protocol Specification and Its Verification Using Image Protocols
ACM Trans. Comput. Syst. 1(4): 331-368 (1983) |
14 | | Simon S. Lam,
Y. Luke Lien:
A Tree Convolution Algorithm for the Solution of Queueing Networks.
Commun. ACM 26(3): 203-215 (1983) |
13 | | Simon S. Lam:
A Simple Derivation of the MVA and LBANC Algorithms from the Convolution Algorithm.
IEEE Trans. Computers 32(11): 1062-1064 (1983) |
1982 |
12 | | A. Udaya Shankar,
Simon S. Lam:
On Time-Dependent Communication Protocols and Their Projections.
PSTV 1982: 215-235 |
11 | | Simon S. Lam,
A. Udaya Shankar:
An Illustration of Protocol Projections.
PSTV 1982: 343-360 |
10 | | Simon S. Lam,
Y. Luke Lien:
Optimal Routing in Networks With Flow-Controlled Virtual Channels.
SIGMETRICS 1982: 38-46 |
9 | EE | Simon S. Lam:
Dynamic Scaling and Growth Behavior of Queuing Network Normalization Constants.
J. ACM 29(2): 492-513 (1982) |
1981 |
8 | | Simon S. Lam,
Y. C. Luke Lien:
Congestion Control of Packet Communication Networks by Input Buffer Limits - A Simulation Study.
IEEE Trans. Computers 30(10): 733-742 (1981) |
1980 |
7 | | Simon S. Lam:
A Carrier Sense Multiple Access Protocol for Local Networks.
Computer Networks 4: 21-32 (1980) |
6 | | Simon S. Lam:
Packet Broadcast Networks - A Performance Analysis of the R-ALOHA Protocol.
IEEE Trans. Computers 29(7): 596-603 (1980) |
1979 |
5 | | Simon S. Lam:
A Study of the CSMA Protocol in Local Networks.
Berkeley Workshop 1979: 141- |
1977 |
4 | | Simon S. Lam:
Queuing Networks with Population Size Constraints.
IBM Journal of Research and Development 21(4): 370-378 (1977) |
3 | | Simon S. Lam:
An Extension of Moore's Result for Closed Queuing Networks.
IBM Journal of Research and Development 21(4): 384-387 (1977) |
1976 |
2 | | Paul J. Schweitzer,
Simon S. Lam:
Buffer Overflow in a Store-and-Forward Network Node.
IBM Journal of Research and Development 20(6): 542-550 (1976) |
1975 |
1 | EE | Simon S. Lam,
Leonard Kleinrock:
Dynamic control schemes for a packet switched multi-access broadcast channel.
AFIPS National Computer Conference 1975: 143-153 |