Krishan K. Sabnani Vis

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

Colors in the list of coauthors