Search the dblp DataBase

Publications of Author

1. My Hoang, John C. Mitchell, Ramesh Viswanathan
   Standard ML-NJ weak polymorphism and imperative constructs [Citation Graph (1, 0)][DBLP]
   LICS, 1993, pp:15-25 [Conf]
   
2. Mahesh Viswanathan, Ramesh Viswanathan
   A Higher Order Modal Fixed Point Logic. [Citation Graph (0, 0)][DBLP]
   CONCUR, 2004, pp:512-528 [Conf]
   
3. Lalita Jategaonkar Jagadeesan, Ramesh Viswanathan
   Passive mid-stream monitoring of real-time properties. [Citation Graph (0, 0)][DBLP]
   EMSOFT, 2005, pp:343-352 [Conf]
   
4. 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]
   
5. John C. Mitchell, Ramesh Viswanathan
   Effective Models of Polymorphism, Subtyping and Recursion (Extended Abstract). [Citation Graph (0, 0)][DBLP]
   ICALP, 1996, pp:170-181 [Conf]
   
6. Mahesh Viswanathan, Ramesh Viswanathan
   Foundations for Circular Compositional Reasoning. [Citation Graph (0, 0)][DBLP]
   ICALP, 2001, pp:835-847 [Conf]
   
7. 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]
   
8. Bin Yao, Ramesh Viswanathan, Fangzhe Chang, Dan G. Waddington
   Topology Inference in the Presence of Anonymous Routers. [Citation Graph (0, 0)][DBLP]
   INFOCOM, 2003, pp:- [Conf]
   
9. Ramesh Viswanathan
   Full Abstraction for First-Order Objects with Recursive Types and Subtyping. [Citation Graph (0, 0)][DBLP]
   LICS, 1998, pp:380-391 [Conf]
   
10. Allen Ginsberg, Ramesh Viswanathan
    A calculus for dynamic customization of virtual environments. [Citation Graph (0, 0)][DBLP]
    ACM Multimedia (1), 1999, pp:47-56 [Conf]
    
11. Martín Abadi, Luca Cardelli, Ramesh Viswanathan
    An Interpretation of Objects and Object Types. [Citation Graph (0, 0)][DBLP]
    POPL, 1996, pp:396-409 [Conf]
    
12. Jon G. Riecke, Ramesh Viswanathan
    Isolating Side Effects in Sequential Languages. [Citation Graph (0, 0)][DBLP]
    POPL, 1995, pp:1-12 [Conf]
    
13. Ramesh Viswanathan, Jing (Tiffany) Li, Mooi Choo Chuah
    Message Ferrying for Constrained Scenarios. [Citation Graph (0, 0)][DBLP]
    WOWMOM, 2005, pp:487-489 [Conf]
    
14. Dan G. Waddington, Fangzhe Chang, Ramesh Viswanathan, Bin Yao
    Topology discovery for public IPv6 networks. [Citation Graph (0, 0)][DBLP]
    Computer Communication Review, 2003, v:33, n:3, pp:59-68 [Journal]
    
15. John C. Mitchell, Ramesh Viswanathan
    Standard ML-NJ Weak Polymorphism and Imperative Constructs. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1996, v:127, n:2, pp:102-116 [Journal]
    
16. Dan G. Waddington, Ramesh Viswanathan
    Interaction points: exploiting operating system mechanisms for inter-component communications. [Citation Graph (0, 0)][DBLP]
    Operating Systems Review, 2002, v:36, n:2, pp:19-35 [Journal]
    
17. 
    Least Upper Bounds for Probability Measures and Their Applications to Abstractions. [Citation Graph (, )][DBLP]
    
    
18. 
    Optimal Resource Allocation for Batch Testing. [Citation Graph (, )][DBLP]