The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Krishan K. Sabnani: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. 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]
  3. 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]
  4. 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]
  5. 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]
  6. 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]
  7. 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]
  8. 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]
  9. 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]
  10. 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]
  11. 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]
  12. 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]
  13. Krishan K. Sabnani, Mischa Schwartz
    Verification of a Multidestination Protocol Using Temporal Logic. [Citation Graph (0, 0)][DBLP]
    PSTV, 1982, pp:21-41 [Conf]
  14. Nicholas F. Maxemchuk, Krishan K. Sabnani
    Probabilistic Verification of Communication Protocols. [Citation Graph (0, 0)][DBLP]
    PSTV, 1987, pp:307-320 [Conf]
  15. 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]
  16. 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]
  17. 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]
  18. Krishan K. Sabnani, Anton T. Dahbura
    A new technique for generating protocol test. [Citation Graph (0, 0)][DBLP]
    SIGCOMM, 1985, pp:36-43 [Conf]
  19. 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]
  20. 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]
  21. 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]
  22. 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]
  23. 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]
  24. 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]
  25. 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]
  26. 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]
  27. 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]
  28. 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]
  29. 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]
  30. 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]
  31. 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]
  32. 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]
  33. 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]

  34. Overview. [Citation Graph (, )][DBLP]


Search in 0.002secs, Finished in 0.306secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002