default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDA. Udaya Shankar
Person information
- affiliation: University of Maryland, College Park, USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2000 – 2009
- 2007
[c40]Arunchandar Vasan, A. Udaya Shankar:
Timestepped Stochastic Simulation of 802.11 WLANs. MASCOTS 2007: 15-22- 2006
- [c39]Andrzej Kochut, A. Udaya Shankar:
Timestep Stochastic Simulation of Computer Networks using Diffusion Approximation. MASCOTS 2006: 247-254 - [c38]Moustafa Youssef, Adel M. Youssef, Chuck Rieger, A. Udaya Shankar, Ashok K. Agrawala:
PinPoint. MobiSys 2006: 165-176 - 2005
- [c37]Cuneyt Akinlar, A. Udaya Shankar:
IPv4 Auto-Configuration of Multi-router Zeroconf Networks with Unique Subnets. ICN (2) 2005: 156-163 - [c36]Tamer Elsharnouby, A. Udaya Shankar:
Using SeSFJava in teaching introductory network courses. SIGCSE 2005: 67-71 - 2004
- [j27]Tamer Elsharnouby, A. Udaya Shankar:
SeSFJava harness: service and assertion checking for protocol implementations. IEEE J. Sel. Areas Commun. 22(10): 2035-2047 (2004) - [c35]Andrzej Kochut, Arunchandar Vasan, A. Udaya Shankar, Ashok K. Agrawala:
Sniffing Out the Correct Physical Layer Capture Model in 802.11b. ICNP 2004: 252-261 - 2003
- [c34]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. PWC 2003: 364-374 - [c33]Moustafa A. Youssef, Ashok K. Agrawala, A. Udaya Shankar:
WLAN Location Determination via Clustering and Probability Distributions. PerCom 2003: 143- - 2002
- [j26]Sungjoon Ahn, A. Udaya Shankar:
Adapting to route-demand and mobility in ad hoc network routing. Comput. Networks 38(6): 745-764 (2002) - [j25]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. Computer 35(10): 46-53 (2002) - [c32]Cuneyt Akinlar, A. Udaya Shankar, Sarit Mukherjee, David Braun:
Name-to-address translation algorithms for zeroconf networks. ICC 2002: 2647-2651 - [c31]Cuneyt Akinlar, A. Udaya Shankar, Sarit Mukherjee, David Braun:
IP address configuration algorithms for routerless and single-router zeroconf networks. ISCC 2002: 37-42 - [c30]Cuneyt Akinlar, A. Udaya Shankar, Sarit Mukherjee, David Braun:
An IP address configuration algorithm for multi-router zeroconf networks. ISCC 2002: 462-467 - 2001
- [c29]Sungjoon Ahn, A. Udaya Shankar:
Adapting to Route-Demand and Mobility (ARM) in Ad Hoc Network Routing. ICNP 2001: 44-52
1990 – 1999
- 1999
- [c28]Catalin T. Popescu, A. Udaya Shankar:
Empirical TCP Profiles and Application. ICNP 1999: 195-202 - 1998
- [j24]Ibrahim Matta, A. Udaya Shankar:
Fast time-dependent evaluation of multi-service networks. Comput. Networks ISDN Syst. 29(17-18): 1999-2019 (1998) - 1997
- [c27]David Lee, K. K. Ramakrishnan, W. Melody Moh, A. Udaya Shankar:
Performance and Correctness of the ATM ABR Rate Control Scheme. INFOCOM 1997: 785-794 - 1996
- [c26]Ibrahim Matta, A. Udaya Shankar:
Dynamic Routing of Real-Time Virtual Circuits. ICNP 1996: 132-139 - [c25]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. ICNP 1996: 208-217 - 1995
- [j23]Cengiz Alaettinoglu, A. Udaya Shankar:
The Viewserver Hierarchy for Interdomain Routing: Protocols and Evaluation. IEEE J. Sel. Areas Commun. 13(8): 1396-1410 (1995) - [j22]Ibrahim Matta, A. Udaya Shankar:
Type-of-Service Routing in Datagram Delivery Systems. IEEE J. Sel. Areas Commun. 13(8): 1411-1425 (1995) - [j21]Jean-Chrysostome Bolot, A. Udaya Shankar:
Optimal least-squares approximations to the transient behavior of the stable M/M/1 queue. IEEE Trans. Commun. 43(2/3/4): 1293-1298 (1995) - [j20]A. Udaya Shankar, David Lee:
Minimum-latency transport protocols with modulo-N incarnation numbers. IEEE/ACM Trans. Netw. 3(3): 255-268 (1995) - [c24]Cengiz Alaettinoglu, Ibrahim Matta, A. Udaya Shankar:
A scalable virtual circuit routing scheme for ATM networks. ICCCN 1995: 630 - [c23]Ibrahim Matta, A. Udaya Shankar:
Z-Iteration: A Simple Method for Throughput Estimation in Time-Dependent Multi-Class Systems. SIGMETRICS 1995: 126-135 - 1994
- [j19]A. Udaya Shankar:
Reasoning assertionally about real-time systems. Proc. IEEE 82(1): 172-183 (1994) - [j18]Simon S. Lam, A. Udaya Shankar:
A Theory of Interfaces and Modules I-Composition Theorem. IEEE Trans. Software Eng. 20(1): 55-71 (1994) - [c22]Ibrahim Matta, A. Udaya Shankar:
An iterative approach to comprehensive performance evaluation of integrated services networks. ICNP 1994: 40-47 - [c21]Ibrahim Matta, A. Udaya Shankar:
Type-of-Service Routing in Dynamic Datagram Networks. INFOCOM 1994: 992-999 - [c20]Cengiz Alaettinoglu, A. Udaya Shankar:
Viewserver Hierarchy: A New Inter-Domain Routing Protocol. INFOCOM 1994: 1009-1016 - [c19]Ibrahim Matta, A. Udaya Shankar:
On the Interaction between Gateway Scheduling and Routing. MASCOTS 1994: 84-88 - 1993
- [j17]A. Udaya Shankar:
An Introduction to Assertional Reasoning for Concurrent Systems. ACM Comput. Surv. 25(3): 225-262 (1993) - [c18]A. Udaya Shankar, David Lee:
Modulo-N incarnation numbers for cache-based transport protocols. ICNP 1993: 46-54 - [c17]Cengiz Alaettinoglu, A. Udaya Shankar:
An approach to hierarchical inter-domain routing with on-demand ToS and policy resolution. ICNP 1993: 72-79 - 1992
- [j16]Cengiz Alaettinoglu, Klaudia Dussa-Zieger, Ibrahim Matta, A. Udaya Shankar, Ólafur Gudmundsson:
Introducing MaRS, a routing testbed. Comput. Commun. Rev. 22(1): 95-96 (1992) - [j15]A. Udaya Shankar, Cengiz Alaettinoglu, Klaudia Dussa-Zieger, Ibrahim Matta:
Performance comparison of routing protocols under dynamic and static file transfer connections. Comput. Commun. Rev. 22(5): 39-52 (1992) - [j14]Simon S. Lam, A. Udaya Shankar:
Specifying Modules to Satisfy Interfaces: A State Transition System Approach. Distributed Comput. 6(1): 39-63 (1992) - [j13]A. Udaya Shankar, Simon S. Lam:
A Stepwise Refinement Heuristic for Protocol Construction. ACM Trans. Program. Lang. Syst. 14(3): 417-461 (1992) - [c16]Jean-Chrysostome Bolot, A. Udaya Shankar:
Analysis of a Fluid Approximation to Flow Control Dynamics. INFOCOM 1992: 2398-2407 - [c15]Cengiz Alaettinoglu, A. Udaya Shankar:
Stepwise Assertional Design of Distance-Vector Routing Algorithms. PSTV 1992: 399-413 - [c14]A. Udaya Shankar:
A simple assertional proof system for real-time systems. RTSS 1992: 167-176 - [c13]A. Udaya Shankar, Cengiz Alaettinoglu, Ibrahim Matta, Klaudia Dussa-Zieger:
Performance Comparison of Routing Protocols using MaRS: Distance-Vector versus Link-State. SIGMETRICS 1992: 181-192 - 1991
- [j12]A. Udaya Shankar:
Modular design principles for protocols with an application to the transport layer. Proc. IEEE 79(12): 1687-1707 (1991) - [j11]Sandra L. Murphy, A. Udaya Shankar:
Connection management for the transport layer: service specification and protocol verification. IEEE Trans. Commun. 39(12): 1762-1775 (1991) - [c12]Simon S. Lam, A. Udaya Shankar:
Understanding Interfaces. FORTE 1991: 165-184 - [c11]Simon S. Lam, A. Udaya Shankar:
A Composition Theorem for Layered Systems. PSTV 1991: 93-108 - [c10]Simon S. Lam, A. Udaya Shankar, Thomas Y. C. Woo:
Applying a Theory of Modules and Interfaces to Security Verification. S&P 1991: 136-155 - 1990
- [j10]Jean-Chrysostome Bolot, A. Udaya Shankar:
Dynamical behavior of rate-based flow control mechanisms. Comput. Commun. Rev. 20(2): 35-49 (1990) - [j9]Jean-Chrysostome Bolot, A. Udaya Shankar, Brigitte Plateau:
Performance Analysis of Transport Protocols over Congestive Channels. Perform. Evaluation 11(1): 45-65 (1990) - [j8]Simon S. Lam, A. Udaya Shankar:
A Relational Notation for State Transition Systems. IEEE Trans. Software Eng. 16(7): 755-775 (1990)
1980 – 1989
- 1989
- [j7]A. Udaya Shankar:
Verified Data Transfer Protocols with Variable Flow Control. ACM Trans. Comput. Syst. 7(3): 281-316 (1989) - [c9]Simon S. Lam, A. Udaya Shankar:
Refinement and Projection of Relational Specifications. REX Workshop 1989: 454-486 - [c8]A. Udaya Shankar, Simon S. Lam:
Construction of Network Protocols by Stepwise Refinement. REX Workshop 1989: 669-695 - [c7]David Ginat, A. Udaya Shankar, Ashok K. Agrawala:
An Efficient Solution to the Drinking Philosophers Problem and Its Extension. WDAG 1989: 83-93 - 1988
- [j6]Sandra L. Murphy, A. Udaya Shankar:
A Note on the Drinking Philosophers Problem. ACM Trans. Program. Lang. Syst. 10(1): 178-188 (1988) - [c6]Sandra L. Murphy, A. Udaya Shankar:
Service specification and protocol construction for the transport layer. SIGCOMM 1988: 88-97 - 1987
- [j5]Sandra L. Murphy, A. Udaya Shankar:
A verified connection management protocol for the transport layer. Comput. Commun. Rev. 17(5): 110-125 (1987) - [j4]A. Udaya Shankar, Simon S. Lam:
Time-Dependent Distributed Systems: Proving Safety, Liveness and Real-Time Properties. Distributed Comput. 2(2): 61-79 (1987) - 1984
- [j3]Simon S. Lam, A. Udaya Shankar:
Protocol Verification via Projections. IEEE Trans. Software Eng. 10(4): 325-342 (1984) - [c5]A. Udaya Shankar, Simon S. Lam:
Specification and Verification of Time-Dependant Communication Protocols. PSTV 1984: 215-226 - 1983
- [j2]A. Udaya Shankar, Simon S. Lam:
An HDLC Protocol Specification and Its Verification Using Image Protocols. ACM Trans. Comput. Syst. 1(4): 331-368 (1983) - [c4]A. Udaya Shankar, Simon S. Lam:
Specification and verification of an HDLC protocol with arm connection management and full-duplex data transfer. SIGCOMM 1983: 38-48 - 1982
- [c3]A. Udaya Shankar, Simon S. Lam:
On Time-Dependent Communication Protocols and Their Projections. PSTV 1982: 215-235 - [c2]Simon S. Lam, A. Udaya Shankar:
An Illustration of Protocol Projections. PSTV 1982: 343-360 - 1981
- [j1]Simon S. Lam, A. Udaya Shankar:
A derivation of response time distributions for a multi-class feedback queueing systems. Perform. Evaluation 1(1): 48-61 (1981) - 1980
- [c1]Simon S. Lam, A. Udaya Shankar:
Response time distributions for a multi-class queue with feedback. Performance 1980: 225-234
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 05:47 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
