Krishan K. Sabnani Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2009
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKrishan K. Sabnani, Milind M. Buddhikot, Katherine Guo: Overview. Bell Labs Technical Journal 14(2): 1-4 (2009)
2007
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSumit Ganguly, Minos N. Garofalakis, Rajeev Rastogi, Krishan K. Sabnani: Streaming Algorithms for Robust, Real-Time Detection of DDoS Attacks. ICDCS 2007: 4
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHyungsuk 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
31no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRamachandran 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
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRamesh Viswanathan, Krishan K. Sabnani, Robert J. Holt, Arun N. Netravali: Expected Convergence Properties of BGP. ICNP 2005: 3-15
2004
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSudhir Aggarwal, Madhura Limaye, Arun N. Netravali, Krishan K. Sabnani: Constrained Diameter Steiner Trees for Multicast Conferences in Overlay Networks. QSHINE 2004: 262-271
2003
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArun N. Netravali, Krishan K. Sabnani, Ramesh Viswanathan: Correct Passive Testing Algorithms and Complete Fault Coverage. FORTE 2003: 303-318
2000
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNitin 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
26no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLS. Jamaloddin Golestani, Krishan K. Sabnani: Fundamental Observations on Multicast Congestion Control in the Internet. INFOCOM 1999: 990-1000
1998
25no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas 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
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Lee, Arun N. Netravali, Krishan K. Sabnani, Binay Sugla, Ajita John: Passive testing and applications to network management. ICNP 1997: 113-
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas 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
22no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSanjoy 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)
21no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas 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
20no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas 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
19no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSanjoy 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
18no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEnder 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
17no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Lee, Krishan K. Sabnani, David M. Kristol, Sanjoy Paul, M. Ümit Uyar: Conformance Testing of Protocols Specified as Communicating FSMs. INFOCOM 1993: 115-127
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid 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
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid M. Kristol, David Lee, Arun N. Netravali, Krishan K. Sabnani: Efficient Gateway Synthesis from Formal Specifications. SIGCOMM 1991: 89-97
1989
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKrishan K. Sabnani, Arun N. Netravali: A High Speed Transport Protocol for Datagram/Virtual Circuit Networks. SIGCOMM 1989: 146-157
13no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNicholas F. Maxemchuk, Krishan K. Sabnani: Probabilistic Verification of Communication Protocols. Distributed Computing 3(3): 118-129 (1989)
12no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnton 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
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMohamed G. Gouda, Nicholas F. Maxemchuk, U. Mukherji, Krishan K. Sabnani: Delivery and discrimination: the Seine protocol. SIGCOMM 1988: 292-302
10no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKrishan K. Sabnani, Anton T. Dahbura: A Protocol Test Generation Procedure. Computer Networks 15: 285-297 (1988)
1987
9no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNicholas F. Maxemchuk, Krishan K. Sabnani: Probabilistic Verification of Communication Protocols. PSTV 1987: 307-320
8no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLA. S. Krishnakumar, B. Krishnamurthy, Krishan K. Sabnani: Translation of Formal Protocol Specifications to VLSI Designs. PSTV 1987: 375-390
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnton T. Dahbura, Krishan K. Sabnani, William J. Hery: Performance Analysis of a Fault Detection Scheme in Multiprocessor Systems. SIGMETRICS 1987: 143-154
6no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnton T. Dahbura, Krishan K. Sabnani, Linda L. King: The Comparison Approach to Multiprocessor Fault Diagnosis. IEEE Trans. Computers 36(3): 373-378 (1987)
1985
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKrishan K. Sabnani, Anton T. Dahbura: A new technique for generating protocol test. SIGCOMM 1985: 36-43
1984
4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKrishan K. Sabnani, Mischa Schwartz: Verification of a Multidestination Selective Repeat Procedure. Computer Networks 8: 463-478 (1984)
1983
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLA. 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
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLS. Aggarwal, Robert P. Kurshan, Krishan K. Sabnani: A Calculus for Protocol Specification and Validation. Protocol Specification, Testing, and Verification 1983: 19-34
1982
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKrishan K. Sabnani, Mischa Schwartz: Verification of a Multidestination Protocol Using Temporal Logic. PSTV 1982: 21-41

Coauthor Index

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

Colors in the list of coauthors

Copyright © Mon Nov 23 18:13:59 2009 by Michael Ley (ley@uni-trier.de)