The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Raymie Stata: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. 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]
  3. Reiner Kraft, Raymie Stata
    Finding Buying Guides with a Web Carnivore. [Citation Graph (0, 0)][DBLP]
    LA-WEB, 2003, pp:84-92 [Conf]
  4. Raymie Stata, John V. Guttag
    Modular Reasoning in the Presence of Subclassing. [Citation Graph (0, 0)][DBLP]
    OOPSLA, 1995, pp:200-214 [Conf]
  5. 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]
  6. Raymie Stata, Martín Abadi
    A Type System for Java Bytecode Subroutines. [Citation Graph (0, 0)][DBLP]
    POPL, 1998, pp:149-160 [Conf]
  7. Raymie Stata
    Parallel programming in modern web search engines. [Citation Graph (0, 0)][DBLP]
    PPOPP, 2006, pp:58- [Conf]
  8. John Wilkes, Raymie Stata
    Specifying data availability in multi-device file systems. [Citation Graph (0, 0)][DBLP]
    ACM SIGOPS European Workshop, 1990, pp:- [Conf]
  9. Raymie Stata, Patrick Hunt, Thiruvalluvan M. G.
    The Bloomba Personal Content Database. [Citation Graph (0, 0)][DBLP]
    VLDB, 2004, pp:1214-1223 [Conf]
  10. 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]
  11. 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]
  12. 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]
  13. 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]
  14. 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]
  15. 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]

  16. Building a Cloud for Yahoo! [Citation Graph (, )][DBLP]


Search in 0.039secs, Finished in 0.040secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002