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