| 2009 | ||
|---|---|---|
| 34 | Krishan K. Sabnani, Milind M. Buddhikot, Katherine Guo: Overview. Bell Labs Technical Journal 14(2): 1-4 (2009) | |
| 2007 | ||
| 33 | Sumit Ganguly, Minos N. Garofalakis, Rajeev Rastogi, Krishan K. Sabnani: Streaming Algorithms for Robust, Real-Time Detection of DDoS Attacks. ICDCS 2007: 4 | |
| 32 | 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 | Ramesh Viswanathan, Krishan K. Sabnani, Robert J. Holt, Arun N. Netravali: Expected Convergence Properties of BGP. ICNP 2005: 3-15 | |
| 2004 | ||
| 29 | 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 | Arun N. Netravali, Krishan K. Sabnani, Ramesh Viswanathan: Correct Passive Testing Algorithms and Complete Fault Coverage. FORTE 2003: 303-318 | |
| 2000 | ||
| 27 | 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 | David Lee, Arun N. Netravali, Krishan K. Sabnani, Binay Sugla, Ajita John: Passive testing and applications to network management. ICNP 1997: 113- | |
| 23 | 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 | 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 | David M. Kristol, David Lee, Arun N. Netravali, Krishan K. Sabnani: Efficient Gateway Synthesis from Formal Specifications. SIGCOMM 1991: 89-97 | |
| 1989 | ||
| 14 | 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 | 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 | 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 | 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 | |