Krishan K. Sabnani

2007
33	EE	Sumit Ganguly, Minos N. Garofalakis, Rajeev Rastogi, Krishan K. Sabnani: Streaming Algorithms for Robust, Real-Time Detection of DDoS Attacks. ICDCS 2007: 4
32	EE	Hyungsuk Won, Han Cai, Do Young Eun, Katherine Guo, Arun N. Netravali, Injong Rhee, Krishan K. Sabnani: Multicast Scheduling in Cellular Data Networks. INFOCOM 2007: 1172-1180
2006
31		Ramachandran Ramjee, Furquan Ansari, Martin Havemann, T. V. Lakshman, Thyagarajan Nandagopal, Krishan K. Sabnani, Thomas Y. C. Woo: Separating control software from routers. COMSWARE 2006
2005
30	EE	Ramesh Viswanathan, Krishan K. Sabnani, Robert J. Holt, Arun N. Netravali: Expected Convergence Properties of BGP. ICNP 2005: 3-15
2004
29	EE	Sudhir Aggarwal, Madhura Limaye, Arun N. Netravali, Krishan K. Sabnani: Constrained Diameter Steiner Trees for Multicast Conferences in Overlay Networks. QSHINE 2004: 262-271
2003
28	EE	Arun N. Netravali, Krishan K. Sabnani, Ramesh Viswanathan: Correct Passive Testing Algorithms and Complete Fault Coverage. FORTE 2003: 303-318
2000
27	EE	Nitin J. Shah, Anil S. Sawkar, John A. Marinho, Krishan K. Sabnani, Thomas F. La Porta, Tung Ching Chiang: Wireless data networking, standards, and applications. Bell Labs Technical Journal 5(1): 130-149 (2000)
1999
26		S. Jamaloddin Golestani, Krishan K. Sabnani: Fundamental Observations on Multicast Congestion Control in the Internet. INFOCOM 1999: 990-1000
1998
25		Thomas F. La Porta, Ramachandran Ramjee, Thomas Y. C. Woo, Krishan K. Sabnani: Experiences with Network-Based User Agents for Mobile Applications. MONET 3(2): 123-141 (1998)
1997
24	EE	David Lee, Arun N. Netravali, Krishan K. Sabnani, Binay Sugla, Ajita John: Passive testing and applications to network management. ICNP 1997: 113-
23	EE	Thomas Y. C. Woo, Thomas F. La Porta, Krishan K. Sabnani: User Agents and Flexible Messages: A New Approach to Wireless Two-Way Messaging. ICNP 1997: 53-62
22		Sanjoy Paul, Krishan K. Sabnani, John C.-H. Lin, Supratik Bhattacharyya: Reliable Multicast Transport Protocol (RMTP). IEEE Journal on Selected Areas in Communications 15(3): 407-421 (1997)
21		Thomas Y. C. Woo, Thomas F. La Porta, Krishan K. Sabnani: Pigeon: A Wireless Two-Way Messaging System. IEEE Journal on Selected Areas in Communications 15(8): 1391-1405 (1997)
1996
20		Thomas F. La Porta, Krishan K. Sabnani, Richard D. Gitlin: Challenges for Nomadic Computing: Mobility Management and Wireless Communications. MONET 1(1): 3-16 (1996)
1995
19		Sanjoy Paul, Ender Ayanoglu, Thomas F. La Porta, Kuo-Wei Herman Chen, Krishan K. Sabnani, Richard D. Gitlin: An Asymmetric Protocol for Digital Cellular Communications. INFOCOM 1995: 1053-1062
18		Ender Ayanoglu, Sanjoy Paul, Thomas F. La Porta, Krishan K. Sabnani, Richard D. Gitlin: AIRMAIL: a link-layer protocol for wireless networks. Wireless Networks 1(1): 47-60 (1995)
1993
17		David Lee, Krishan K. Sabnani, David M. Kristol, Sanjoy Paul, M. Ümit Uyar: Conformance Testing of Protocols Specified as Communicating FSMs. INFOCOM 1993: 115-127
16	EE	David M. Kristol, David Lee, Arun N. Netravali, Krishan K. Sabnani: A polynomial algorithm for gateway generation from formal specifications. IEEE/ACM Trans. Netw. 1(2): 217-229 (1993)
1991
15	EE	David M. Kristol, David Lee, Arun N. Netravali, Krishan K. Sabnani: Efficient Gateway Synthesis from Formal Specifications. SIGCOMM 1991: 89-97
1989
14	EE	Krishan K. Sabnani, Arun N. Netravali: A High Speed Transport Protocol for Datagram/Virtual Circuit Networks. SIGCOMM 1989: 146-157
13		Nicholas F. Maxemchuk, Krishan K. Sabnani: Probabilistic Verification of Communication Protocols. Distributed Computing 3(3): 118-129 (1989)
12		Anton T. Dahbura, Krishan K. Sabnani, William J. Hery: Spare Capacity as a Means of Fault Detection and Diagnosis in Multiprocessor Systems. IEEE Trans. Computers 38(6): 881-891 (1989)
1988
11	EE	Mohamed G. Gouda, Nicholas F. Maxemchuk, U. Mukherji, Krishan K. Sabnani: Delivery and discrimination: the Seine protocol. SIGCOMM 1988: 292-302
10		Krishan K. Sabnani, Anton T. Dahbura: A Protocol Test Generation Procedure. Computer Networks 15: 285-297 (1988)
1987
9		Nicholas F. Maxemchuk, Krishan K. Sabnani: Probabilistic Verification of Communication Protocols. PSTV 1987: 307-320
8		A. S. Krishnakumar, B. Krishnamurthy, Krishan K. Sabnani: Translation of Formal Protocol Specifications to VLSI Designs. PSTV 1987: 375-390
7	EE	Anton T. Dahbura, Krishan K. Sabnani, William J. Hery: Performance Analysis of a Fault Detection Scheme in Multiprocessor Systems. SIGMETRICS 1987: 143-154
6		Anton T. Dahbura, Krishan K. Sabnani, Linda L. King: The Comparison Approach to Multiprocessor Fault Diagnosis. IEEE Trans. Computers 36(3): 373-378 (1987)
1985
5	EE	Krishan K. Sabnani, Anton T. Dahbura: A new technique for generating protocol test. SIGCOMM 1985: 36-43
1984
4		Krishan K. Sabnani, Mischa Schwartz: Verification of a Multidestination Selective Repeat Procedure. Computer Networks 8: 463-478 (1984)
1983
3		A. Y. Teng, J. Yao, B. Gopinath, Krishan K. Sabnani: A File Transfer System for Scheduling File Transfers in the Bell Labs Network. INFOCOM 1983: 279-287
2		S. Aggarwal, Robert P. Kurshan, Krishan K. Sabnani: A Calculus for Protocol Specification and Validation. Protocol Specification, Testing, and Verification 1983: 19-34
1982
1		Krishan K. Sabnani, Mischa Schwartz: Verification of a Multidestination Protocol Using Temporal Logic. PSTV 1982: 21-41

Coauthor Index

1	S. Aggarwal	[2]
2	Sudhir Aggarwal	[29]
3	Furquan Ansari	[31]
4	Ender Ayanoglu	[18] [19]
5	Supratik Bhattacharyya	[22]
6	Han Cai	[32]
7	Kuo-Wei Herman Chen	[19]
8	Tung Ching Chiang	[27]
9	Anton T. Dahbura	[5] [6] [7] [10] [12]
10	Do Young Eun	[32]
11	Sumit Ganguly	[33]
12	Minos N. Garofalakis	[33]
13	Richard D. Gitlin	[18] [19] [20]
14	S. Jamaloddin Golestani	[26]
15	B. Gopinath	[3]
16	Mohamed G. Gouda	[11]
17	Katherine Guo	[32]
18	Martin Havemann	[31]
19	William J. Hery	[7] [12]
20	Robert J. Holt	[30]
21	Ajita John	[24]
22	Linda L. King	[6]
23	A. S. Krishnakumar	[8]
24	B. Krishnamurthy	[8]
25	David M. Kristol	[15] [16] [17]
26	Robert P. Kurshan	[2]
27	T. V. Lakshman	[31]
28	David Lee	[15] [16] [17] [24]
29	Madhura Limaye	[29]
30	John C.-H. Lin	[22]
31	John A. Marinho	[27]
32	Nicholas F. Maxemchuk	[9] [11] [13]
33	U. Mukherji	[11]
34	Thyaga Nandagopal (Thyagarajan Nandagopal)	[31]
35	Arun N. Netravali	[14] [15] [16] [24] [28] [29] [30] [32]
36	Sanjoy Paul	[17] [18] [19] [22]
37	Thomas F. La Porta (Tom La Porta)	[18] [19] [20] [21] [23] [25] [27]
38	Ramachandran Ramjee	[25] [31]
39	Rajeev Rastogi	[33]
40	Injong Rhee	[32]
41	Anil S. Sawkar	[27]
42	Mischa Schwartz	[1] [4]
43	Nitin J. Shah	[27]
44	Binay Sugla	[24]
45	A. Y. Teng	[3]
46	M. Ümit Uyar	[17]
47	Ramesh Viswanathan	[28] [30]
48	Hyungsuk Won	[32]
49	Thomas Y. C. Woo	[21] [23] [25] [31]
50	J. Yao	[3]

Colors in the list of coauthors