dblp.uni-trier.dewww.uni-trier.de

Raymie Stata

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2006
15EERaymie Stata: Parallel programming in modern web search engines. PPOPP 2006: 58
2004
14EERaymie Stata, Patrick Hunt, Thiruvalluvan M. G.: The Bloomba Personal Content Database. VLDB 2004: 1214-1223
2003
13EEReiner Kraft, Raymie Stata: Finding Buying Guides with a Web Carnivore. LA-WEB 2003: 84-92
2002
12EEKeith H. Randall, Raymie Stata, Janet L. Wiener, Rajiv Wickremesinghe: The Link Database: Fast Access to Graphs of the Web. DCC 2002: 122-131
11EECormac Flanagan, K. Rustan M. Leino, Mark Lillibridge, Greg Nelson, James B. Saxe, Raymie Stata: Extended Static Checking for Java. PLDI 2002: 234-245
2000
10EERaymie 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)
9EEAndrei 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)
1999
8 K. Rustan M. Leino, James B. Saxe, Raymie Stata: Checking Java Programs via Guarded Commands. ECOOP Workshops 1999: 110-111
7EERaymie Stata, Martín Abadi: A Type System for Java Bytecode Subroutines. ACM Trans. Program. Lang. Syst. 21(1): 90-137 (1999)
6EEK. Rustan M. Leino, Raymie Stata: Virginity: A Contribution to the Specification of Object-Oriented Software. Inf. Process. Lett. 70(2): 99-105 (1999)
1998
5EERaymie Stata, Martín Abadi: A Type System for Java Bytecode Subroutines. POPL 1998: 149-160
4EEMartín Abadi, Andrew Birrell, Raymie Stata, Edward Wobber: Secure Web Tunneling. Computer Networks 30(1-7): 531-539 (1998)
1995
3 Raymie Stata, John V. Guttag: Modular Reasoning in the Presence of Subclassing. OOPSLA 1995: 200-214
1991
2 John Wilkes, Raymie Stata: Specifying Data Availability in Multi-Device File Systems. Operating Systems Review 25(1): 56-59 (1991)
1990
1EEJohn Wilkes, Raymie Stata: Specifying data availability in multi-device file systems. ACM SIGOPS European Workshop 1990

Coauthor Index

1Martín Abadi [4] [5] [7]
2Krishna Bharat [10]
3Andrew Birrell [4]
4Andrei Z. Broder [9]
5Cormac Flanagan [11]
6Thiruvalluvan M. G. [14]
7John V. Guttag [3]
8Patrick Hunt [14]
9Reiner Kraft [13]
10Ravi Kumar (S. Ravi Kumar) [9]
11K. Rustan M. Leino [6] [8] [11]
12Mark Lillibridge [11]
13Farzin Maghoul [9] [10]
14Greg Nelson [11]
15Prabhakar Raghavan [9]
16Sridhar Rajagopalan [9]
17Keith H. Randall [12]
18James B. Saxe [8] [11]
19Andrew Tomkins [9]
20Rajiv Wickremesinghe [12]
21Janet L. Wiener [9] [12]
22John Wilkes [1] [2]
23Edward Wobber [4]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)