Ramesh Viswanathan

2005
16	EE	Lalita Jategaonkar Jagadeesan, Ramesh Viswanathan: Passive mid-stream monitoring of real-time properties. EMSOFT 2005: 343-352
15	EE	Ramesh Viswanathan, Krishan K. Sabnani, Robert J. Holt, Arun N. Netravali: Expected Convergence Properties of BGP. ICNP 2005: 3-15
14	EE	Ramesh Viswanathan, Jing (Tiffany) Li, Mooi Choo Chuah: Message Ferrying for Constrained Scenarios. WOWMOM 2005: 487-489
2004
13	EE	Mahesh Viswanathan, Ramesh Viswanathan: A Higher Order Modal Fixed Point Logic. CONCUR 2004: 512-528
2003
12	EE	Arun N. Netravali, Krishan K. Sabnani, Ramesh Viswanathan: Correct Passive Testing Algorithms and Complete Fault Coverage. FORTE 2003: 303-318
11	EE	Bin Yao, Ramesh Viswanathan, Fangzhe Chang, Dan G. Waddington: Topology Inference in the Presence of Anonymous Routers. INFOCOM 2003
10	EE	Dan G. Waddington, Fangzhe Chang, Ramesh Viswanathan, Bin Yao: Topology discovery for public IPv6 networks. Computer Communication Review 33(3): 59-68 (2003)
2002
9	EE	Dan G. Waddington, Ramesh Viswanathan: Interaction points: exploiting operating system mechanisms for inter-component communications. Operating Systems Review 36(2): 19-35 (2002)
2001
8	EE	Mahesh Viswanathan, Ramesh Viswanathan: Foundations for Circular Compositional Reasoning. ICALP 2001: 835-847
1999
7	EE	Allen Ginsberg, Ramesh Viswanathan: A calculus for dynamic customization of virtual environments. ACM Multimedia (1) 1999: 47-56
1998
6		Ramesh Viswanathan: Full Abstraction for First-Order Objects with Recursive Types and Subtyping. LICS 1998: 380-391
1996
5		John C. Mitchell, Ramesh Viswanathan: Effective Models of Polymorphism, Subtyping and Recursion (Extended Abstract). ICALP 1996: 170-181
4	EE	Martín Abadi, Luca Cardelli, Ramesh Viswanathan: An Interpretation of Objects and Object Types. POPL 1996: 396-409
3		John C. Mitchell, Ramesh Viswanathan: Standard ML-NJ Weak Polymorphism and Imperative Constructs. Inf. Comput. 127(2): 102-116 (1996)
1995
2		Jon G. Riecke, Ramesh Viswanathan: Isolating Side Effects in Sequential Languages. POPL 1995: 1-12
1993
1		My Hoang, John C. Mitchell, Ramesh Viswanathan: Standard ML-NJ weak polymorphism and imperative constructs LICS 1993: 15-25

Coauthor Index

1	Martín Abadi	[4]
2	Luca Cardelli	[4]
3	Fangzhe Chang	[10] [11]
4	Mooi Choo Chuah	[14]
5	Allen Ginsberg	[7]
6	My Hoang	[1]
7	Robert J. Holt	[15]
8	Lalita Jategaonkar Jagadeesan (Lalita Jategaonkar)	[16]
9	Jing (Tiffany) Li	[14]
10	John C. Mitchell	[1] [3] [5]
11	Arun N. Netravali	[12] [15]
12	Jon G. Riecke	[2]
13	Krishan K. Sabnani	[12] [15]
14	Mahesh Viswanathan	[8] [13]
15	Dan G. Waddington	[9] [10] [11]
16	Bin Yao	[10] [11]

Colors in the list of coauthors