| |
      |
                                          |
Note: Links lead to the DBLP on the Web. Raymie Stata Raymie Stata, Patrick Hunt , Thiruvalluvan M. G. : The Bloomba Personal Content Database. VLDB 2004 : 1214-1223 Reiner Kraft , Raymie Stata: Finding Buying Guides with a Web Carnivore. LA-WEB 2003 : 84-92 Keith H. Randall , Raymie Stata, Janet L. Wiener , Rajiv Wickremesinghe : The Link Database: Fast Access to Graphs of the Web. DCC 2002 : 122-131 Cormac Flanagan , K. Rustan M. Leino , Mark Lillibridge , Greg Nelson , James B. Saxe , Raymie Stata: Extended Static Checking for Java. PLDI 2002 : 234-245 Raymie Stata, Krishna Bharat , Farzin Maghoul : The Term Vector Database: fast access to indexing terms for Web pages. Computer Networks 33 (1-6): 247-255 (2000) Andrei Z. Broder , Ravi Kumar , Farzin Maghoul , Prabhakar Raghavan , Sridhar Rajagopalan , Raymie Stata, Andrew Tomkins , Janet L. Wiener : Graph structure in the Web. Computer Networks 33 (1-6): 309-320 (2000) K. Rustan M. Leino , James B. Saxe , Raymie Stata: Checking Java Programs via Guarded Commands. ECOOP Workshops 1999 : 110-111 Raymie Stata, Martín Abadi : A Type System for Java Bytecode Subroutines. ACM Trans. Program. Lang. Syst. 21 (1): 90-137 (1999) K. Rustan M. Leino , Raymie Stata: Virginity: A Contribution to the Specification of Object-Oriented Software. Inf. Process. Lett. 70 (2): 99-105 (1999) Raymie Stata, Martín Abadi : A Type System for Java Bytecode Subroutines. POPL 1998 : 149-160 Martín Abadi , Andrew Birrell , Raymie Stata, Edward Wobber : Secure Web Tunneling. Computer Networks 30 (1-7): 531-539 (1998) Raymie Stata, John V. Guttag : Modular Reasoning in the Presence of Subclassing. OOPSLA 1995 : 200-214 John Wilkes , Raymie Stata: Specifying Data Availability in Multi-Device File Systems. Operating Systems Review 25 (1): 56-59 (1991) John Wilkes , Raymie Stata: Specifying data availability in multi-device file systems. ACM SIGOPS European Workshop 1990 1 [ 4 ] [ 5 ] [ 7 ] 2 [ 10 ] 3 [ 4 ] 4 [ 9 ] 5 [ 11 ] 6 [ 14 ] 7 [ 3 ] 8 [ 14 ] 9 [ 13 ] 10 [ 9 ] 11 [ 6 ] [ 8 ] [ 11 ] 12 [ 11 ] 13 [ 9 ] [ 10 ] 14 [ 11 ] 15 [ 9 ] 16 [ 9 ] 17 [ 12 ] 18 [ 8 ] [ 11 ] 19 [ 9 ] 20 [ 12 ] 21 [ 9 ] [ 12 ] 22 [ 1 ] [ 2 ] 23 [ 4 ]  ©2005 Association for Computing Machinery |
