|
Search the dblp DataBase
A. Udaya Shankar:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Simon S. Lam, A. Udaya Shankar
Understanding Interfaces. [Citation Graph (0, 0)][DBLP] FORTE, 1991, pp:165-184 [Conf]
- Cengiz Alaettinoglu, Ibrahim Matta, A. Udaya Shankar
A scalable virtual circuit routing scheme for ATM networks. [Citation Graph (0, 0)][DBLP] ICCCN, 1995, pp:630- [Conf]
- Cuneyt Akinlar, A. Udaya Shankar
IPv4 Auto-Configuration of Multi-router Zeroconf Networks with Unique Subnets. [Citation Graph (0, 0)][DBLP] ICN (2), 2005, pp:156-163 [Conf]
- Sungjoon Ahn, A. Udaya Shankar
Adapting to Route-Demand and Mobility (ARM) in Ad Hoc Network Routing. [Citation Graph (0, 0)][DBLP] ICNP, 2001, pp:44-52 [Conf]
- Andrzej Kochut, Arunchandar Vasan, A. Udaya Shankar, Ashok K. Agrawala
Sniffing Out the Correct Physical Layer Capture Model in 802.11b. [Citation Graph (0, 0)][DBLP] ICNP, 2004, pp:252-261 [Conf]
- Ibrahim Matta, A. Udaya Shankar
Dynamic Routing of Real-Time Virtual Circuits. [Citation Graph (0, 0)][DBLP] ICNP, 1996, pp:132-139 [Conf]
- David Lee, K. K. Ramakrishnan, W. Melody Moh, A. Udaya Shankar
Protocol Specification Using Parameterized Communicating Extended Finite Stte Machines - A Case Study of The ATM ABR Rate Control Scheme. [Citation Graph (0, 0)][DBLP] ICNP, 1996, pp:208-217 [Conf]
- Catalin T. Popescu, A. Udaya Shankar
Empirical TCP Profiles and Application. [Citation Graph (0, 0)][DBLP] ICNP, 1999, pp:195-202 [Conf]
- Tamer Nadeem, Adel M. Youssef, Suman Banerjee, Moustafa Youssef, Sulabh Agarwal, Kevin Kamel, Andrzej Kochut, Christopher Kommareddy, Pankaj Thakkar, Bao Trinh, A. Udaya Shankar, Ashok K. Agrawala
Implementation of a Scalable Context-Aware Computing System. [Citation Graph (0, 0)][DBLP] PWC, 2003, pp:364-374 [Conf]
- Cengiz Alaettinoglu, A. Udaya Shankar
Viewserver Hierarchy: A New Inter-Domain Routing Protocol. [Citation Graph (0, 0)][DBLP] INFOCOM, 1994, pp:1009-1016 [Conf]
- Jean-Chrysostome Bolot, A. Udaya Shankar
Analysis of a Fluid Approximation to Flow Control Dynamics. [Citation Graph (0, 0)][DBLP] INFOCOM, 1992, pp:2398-2407 [Conf]
- David Lee, K. K. Ramakrishnan, W. Melody Moh, A. Udaya Shankar
Performance and Correctness of the ATM ABR Rate Control Scheme. [Citation Graph (0, 0)][DBLP] INFOCOM, 1997, pp:785-794 [Conf]
- Ibrahim Matta, A. Udaya Shankar
Type-of-Service Routing in Dynamic Datagram Networks. [Citation Graph (0, 0)][DBLP] INFOCOM, 1994, pp:992-999 [Conf]
- Cuneyt Akinlar, A. Udaya Shankar, Sarit Mukherjee, David Braun
IP address configuration algorithms for routerless and single-router zeroconf networks. [Citation Graph (0, 0)][DBLP] ISCC, 2002, pp:37-42 [Conf]
- Cuneyt Akinlar, A. Udaya Shankar, Sarit Mukherjee, David Braun
An IP address configuration algorithm for multi-router zeroconf networks. [Citation Graph (0, 0)][DBLP] ISCC, 2002, pp:462-467 [Conf]
- Ibrahim Matta, A. Udaya Shankar
On the Interaction between Gateway Scheduling and Routing. [Citation Graph (0, 0)][DBLP] MASCOTS, 1994, pp:84-88 [Conf]
- Andrzej Kochut, A. Udaya Shankar
Timestep Stochastic Simulation of Computer Networks using Diffusion Approximation. [Citation Graph (0, 0)][DBLP] MASCOTS, 2006, pp:247-254 [Conf]
- Moustafa Youssef, Adel M. Youssef, Chuck Rieger, A. Udaya Shankar, Ashok K. Agrawala
PinPoint. [Citation Graph (0, 0)][DBLP] MobiSys, 2006, pp:165-176 [Conf]
- Ashok K. Agrawala, A. Udaya Shankar
WLAN Location Determination via Clustering and Probability Distributions. [Citation Graph (0, 0)][DBLP] PerCom, 2003, pp:143-0 [Conf]
- Cengiz Alaettinoglu, A. Udaya Shankar
Stepwise Assertional Design of Distance-Vector Routing Algorithms. [Citation Graph (0, 0)][DBLP] PSTV, 1992, pp:399-413 [Conf]
- Simon S. Lam, A. Udaya Shankar
An Illustration of Protocol Projections. [Citation Graph (0, 0)][DBLP] PSTV, 1982, pp:343-360 [Conf]
- Simon S. Lam, A. Udaya Shankar
A Composition Theorem for Layered Systems. [Citation Graph (0, 0)][DBLP] PSTV, 1991, pp:93-108 [Conf]
- A. Udaya Shankar, Simon S. Lam
On Time-Dependent Communication Protocols and Their Projections. [Citation Graph (0, 0)][DBLP] PSTV, 1982, pp:215-235 [Conf]
- A. Udaya Shankar, Simon S. Lam
Specification and Verification of Time-Dependant Communication Protocols. [Citation Graph (0, 0)][DBLP] PSTV, 1984, pp:215-226 [Conf]
- Simon S. Lam, A. Udaya Shankar
Refinement and Projection of Relational Specifications. [Citation Graph (0, 0)][DBLP] REX Workshop, 1989, pp:454-486 [Conf]
- A. Udaya Shankar, Simon S. Lam
Construction of Network Protocols by Stepwise Refinement. [Citation Graph (0, 0)][DBLP] REX Workshop, 1989, pp:669-695 [Conf]
- Sandra L. Murphy, A. Udaya Shankar
Service specification and protocol construction for the transport layer. [Citation Graph (0, 0)][DBLP] SIGCOMM, 1988, pp:88-97 [Conf]
- Tamer Elsharnouby, A. Udaya Shankar
Using SeSFJava in teaching introductory network courses. [Citation Graph (0, 0)][DBLP] SIGCSE, 2005, pp:67-71 [Conf]
- Ibrahim Matta, A. Udaya Shankar
Z-Iteration: A Simple Method for Throughput Estimation in Time-Dependent Multi-Class Systems. [Citation Graph (0, 0)][DBLP] SIGMETRICS, 1995, pp:126-135 [Conf]
- A. Udaya Shankar, Cengiz Alaettinoglu, Ibrahim Matta, Klaudia Dussa-Zieger
Performance Comparison of Routing Protocols using MaRS: Distance-Vector versus Link-State. [Citation Graph (0, 0)][DBLP] SIGMETRICS, 1992, pp:181-192 [Conf]
- Simon S. Lam, A. Udaya Shankar, Thomas Y. C. Woo
Applying a Theory of Modules and Interfaces to Security Verification. [Citation Graph (0, 0)][DBLP] IEEE Symposium on Security and Privacy, 1991, pp:136-155 [Conf]
- David Ginat, A. Udaya Shankar, Ashok K. Agrawala
An Efficient Solution to the Drinking Philosophers Problem and Its Extension. [Citation Graph (0, 0)][DBLP] WDAG, 1989, pp:83-93 [Conf]
- Sandra L. Murphy, A. Udaya Shankar
A verified connection management protocol for the transport layer. [Citation Graph (0, 0)][DBLP] Computer Communication Review, 1987, v:17, n:5, pp:110-125 [Journal]
- Sungjoon Ahn, A. Udaya Shankar
Adapting to route-demand and mobility in ad hoc network routing. [Citation Graph (0, 0)][DBLP] Computer Networks, 2002, v:38, n:6, pp:745-764 [Journal]
- Suman Banerjee, Sulabh Agarwal, Kevin Kamel, Andrzej Kochut, Christopher Kommareddy, Tamer Nadeem, Pankaj Thakkar, Bao Trinh, Adel M. Youssef, Moustafa Youssef, Ronald L. Larsen, A. Udaya Shankar, Ashok K. Agrawala
Rover: Scalable Location-Aware Computing. [Citation Graph (0, 0)][DBLP] IEEE Computer, 2002, v:35, n:10, pp:46-53 [Journal]
- A. Udaya Shankar
An Introduction to Assertional Reasoning for Concurrent Systems. [Citation Graph (0, 0)][DBLP] ACM Comput. Surv., 1993, v:25, n:3, pp:225-262 [Journal]
- Simon S. Lam, A. Udaya Shankar
Specifying Modules to Satisfy Interfaces: A State Transition System Approach. [Citation Graph (0, 0)][DBLP] Distributed Computing, 1992, v:6, n:1, pp:39-63 [Journal]
- A. Udaya Shankar, Simon S. Lam
Time-Dependent Distributed Systems: Proving Safety, Liveness and Real-Time Properties. [Citation Graph (0, 0)][DBLP] Distributed Computing, 1987, v:2, n:2, pp:61-79 [Journal]
- Cengiz Alaettinoglu, A. Udaya Shankar
The Viewserver Hierarchy for Interdomain Routing: Protocols and Evaluation. [Citation Graph (0, 0)][DBLP] IEEE Journal on Selected Areas in Communications, 1995, v:13, n:8, pp:1396-1410 [Journal]
- Ibrahim Matta, A. Udaya Shankar
Type-of-Service Routing in Datagram Delivery Systems. [Citation Graph (0, 0)][DBLP] IEEE Journal on Selected Areas in Communications, 1995, v:13, n:8, pp:1411-1425 [Journal]
- Jean-Chrysostome Bolot, A. Udaya Shankar, Brigitte Plateau
Performance Analysis of Transport Protocols over Congestive Channels. [Citation Graph (0, 0)][DBLP] Perform. Eval., 1990, v:11, n:1, pp:45-65 [Journal]
- A. Udaya Shankar
Verified Data Transfer Protocols with Variable Flow Control. [Citation Graph (0, 0)][DBLP] ACM Trans. Comput. Syst., 1989, v:7, n:3, pp:281-316 [Journal]
- A. Udaya Shankar, Simon S. Lam
An HDLC Protocol Specification and Its Verification Using Image Protocols [Citation Graph (0, 0)][DBLP] ACM Trans. Comput. Syst., 1983, v:1, n:4, pp:331-368 [Journal]
- A. Udaya Shankar, David Lee
Minimum-latency transport protocols with modulo-N incarnation numbers. [Citation Graph (0, 0)][DBLP] IEEE/ACM Trans. Netw., 1995, v:3, n:3, pp:255-268 [Journal]
- Sandra L. Murphy, A. Udaya Shankar
A Note on the Drinking Philosophers Problem. [Citation Graph (0, 0)][DBLP] ACM Trans. Program. Lang. Syst., 1988, v:10, n:1, pp:178-188 [Journal]
- A. Udaya Shankar, Simon S. Lam
A Stepwise Refinement Heuristic for Protocol Construction. [Citation Graph (0, 0)][DBLP] ACM Trans. Program. Lang. Syst., 1992, v:14, n:3, pp:417-461 [Journal]
- Simon S. Lam, A. Udaya Shankar
Protocol Verification via Projections. [Citation Graph (0, 0)][DBLP] IEEE Trans. Software Eng., 1984, v:10, n:4, pp:325-342 [Journal]
- Simon S. Lam, A. Udaya Shankar
A Relational Notation for State Transition Systems. [Citation Graph (0, 0)][DBLP] IEEE Trans. Software Eng., 1990, v:16, n:7, pp:755-775 [Journal]
- Simon S. Lam, A. Udaya Shankar
A Theory of Interfaces and Modules I-Composition Theorem. [Citation Graph (0, 0)][DBLP] IEEE Trans. Software Eng., 1994, v:20, n:1, pp:55-71 [Journal]
Timestepped Stochastic Simulation of 802.11 WLANs. [Citation Graph (, )][DBLP]
A simple assertional proof system for real-time systems. [Citation Graph (, )][DBLP]
Search in 0.005secs, Finished in 0.283secs
|