The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

A. Udaya Shankar: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Simon S. Lam, A. Udaya Shankar
    Understanding Interfaces. [Citation Graph (0, 0)][DBLP]
    FORTE, 1991, pp:165-184 [Conf]
  2. 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]
  3. 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]
  4. 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]
  5. 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]
  6. Ibrahim Matta, A. Udaya Shankar
    Dynamic Routing of Real-Time Virtual Circuits. [Citation Graph (0, 0)][DBLP]
    ICNP, 1996, pp:132-139 [Conf]
  7. 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]
  8. Catalin T. Popescu, A. Udaya Shankar
    Empirical TCP Profiles and Application. [Citation Graph (0, 0)][DBLP]
    ICNP, 1999, pp:195-202 [Conf]
  9. 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]
  10. Cengiz Alaettinoglu, A. Udaya Shankar
    Viewserver Hierarchy: A New Inter-Domain Routing Protocol. [Citation Graph (0, 0)][DBLP]
    INFOCOM, 1994, pp:1009-1016 [Conf]
  11. 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]
  12. 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]
  13. Ibrahim Matta, A. Udaya Shankar
    Type-of-Service Routing in Dynamic Datagram Networks. [Citation Graph (0, 0)][DBLP]
    INFOCOM, 1994, pp:992-999 [Conf]
  14. 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]
  15. 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]
  16. Ibrahim Matta, A. Udaya Shankar
    On the Interaction between Gateway Scheduling and Routing. [Citation Graph (0, 0)][DBLP]
    MASCOTS, 1994, pp:84-88 [Conf]
  17. 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]
  18. 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]
  19. 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]
  20. Cengiz Alaettinoglu, A. Udaya Shankar
    Stepwise Assertional Design of Distance-Vector Routing Algorithms. [Citation Graph (0, 0)][DBLP]
    PSTV, 1992, pp:399-413 [Conf]
  21. Simon S. Lam, A. Udaya Shankar
    An Illustration of Protocol Projections. [Citation Graph (0, 0)][DBLP]
    PSTV, 1982, pp:343-360 [Conf]
  22. Simon S. Lam, A. Udaya Shankar
    A Composition Theorem for Layered Systems. [Citation Graph (0, 0)][DBLP]
    PSTV, 1991, pp:93-108 [Conf]
  23. 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]
  24. 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]
  25. Simon S. Lam, A. Udaya Shankar
    Refinement and Projection of Relational Specifications. [Citation Graph (0, 0)][DBLP]
    REX Workshop, 1989, pp:454-486 [Conf]
  26. 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]
  27. 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]
  28. Tamer Elsharnouby, A. Udaya Shankar
    Using SeSFJava in teaching introductory network courses. [Citation Graph (0, 0)][DBLP]
    SIGCSE, 2005, pp:67-71 [Conf]
  29. 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]
  30. 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]
  31. 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]
  32. 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]
  33. 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]
  34. 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]
  35. 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]
  36. 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]
  37. 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]
  38. 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]
  39. 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]
  40. 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]
  41. 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]
  42. 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]
  43. 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]
  44. 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]
  45. 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]
  46. 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]
  47. 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]
  48. 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]
  49. 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]

  50. Timestepped Stochastic Simulation of 802.11 WLANs. [Citation Graph (, )][DBLP]


  51. A simple assertional proof system for real-time systems. [Citation Graph (, )][DBLP]


Search in 0.005secs, Finished in 0.283secs
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