|
Search the dblp DataBase
Raymie Stata:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Keith H. Randall, Raymie Stata, Janet L. Wiener, Rajiv Wickremesinghe
The Link Database: Fast Access to Graphs of the Web. [Citation Graph (0, 0)][DBLP] DCC, 2002, pp:122-131 [Conf]
- K. Rustan M. Leino, James B. Saxe, Raymie Stata
Checking Java Programs via Guarded Commands. [Citation Graph (0, 0)][DBLP] ECOOP Workshops, 1999, pp:110-111 [Conf]
- Reiner Kraft, Raymie Stata
Finding Buying Guides with a Web Carnivore. [Citation Graph (0, 0)][DBLP] LA-WEB, 2003, pp:84-92 [Conf]
- Raymie Stata, John V. Guttag
Modular Reasoning in the Presence of Subclassing. [Citation Graph (0, 0)][DBLP] OOPSLA, 1995, pp:200-214 [Conf]
- Cormac Flanagan, K. Rustan M. Leino, Mark Lillibridge, Greg Nelson, James B. Saxe, Raymie Stata
Extended Static Checking for Java. [Citation Graph (0, 0)][DBLP] PLDI, 2002, pp:234-245 [Conf]
- Raymie Stata, Martín Abadi
A Type System for Java Bytecode Subroutines. [Citation Graph (0, 0)][DBLP] POPL, 1998, pp:149-160 [Conf]
- Raymie Stata
Parallel programming in modern web search engines. [Citation Graph (0, 0)][DBLP] PPOPP, 2006, pp:58- [Conf]
- John Wilkes, Raymie Stata
Specifying data availability in multi-device file systems. [Citation Graph (0, 0)][DBLP] ACM SIGOPS European Workshop, 1990, pp:- [Conf]
- Raymie Stata, Patrick Hunt, Thiruvalluvan M. G.
The Bloomba Personal Content Database. [Citation Graph (0, 0)][DBLP] VLDB, 2004, pp:1214-1223 [Conf]
- Martín Abadi, Andrew Birrell, Raymie Stata, Edward Wobber
Secure Web Tunneling. [Citation Graph (0, 0)][DBLP] Computer Networks, 1998, v:30, n:1-7, pp:531-539 [Journal]
- Andrei Z. Broder, Ravi Kumar, Farzin Maghoul, Prabhakar Raghavan, Sridhar Rajagopalan, Raymie Stata, Andrew Tomkins, Janet L. Wiener
Graph structure in the Web. [Citation Graph (0, 0)][DBLP] Computer Networks, 2000, v:33, n:1-6, pp:309-320 [Journal]
- Raymie Stata, Krishna Bharat, Farzin Maghoul
The Term Vector Database: fast access to indexing terms for Web pages. [Citation Graph (0, 0)][DBLP] Computer Networks, 2000, v:33, n:1-6, pp:247-255 [Journal]
- K. Rustan M. Leino, Raymie Stata
Virginity: A Contribution to the Specification of Object-Oriented Software. [Citation Graph (0, 0)][DBLP] Inf. Process. Lett., 1999, v:70, n:2, pp:99-105 [Journal]
- John Wilkes, Raymie Stata
Specifying Data Availability in Multi-Device File Systems. [Citation Graph (0, 0)][DBLP] Operating Systems Review, 1991, v:25, n:1, pp:56-59 [Journal]
- Raymie Stata, Martín Abadi
A Type System for Java Bytecode Subroutines. [Citation Graph (0, 0)][DBLP] ACM Trans. Program. Lang. Syst., 1999, v:21, n:1, pp:90-137 [Journal]
Building a Cloud for Yahoo! [Citation Graph (, )][DBLP]
Search in 0.002secs, Finished in 0.002secs
|