| Graph structure in the web A Broder, R Kumar, F Maghoul, P Raghavan, S Rajagopalan, R Stata, ... Computer networks 33 (1-6), 309-320, 2000 | 4766 | 2000 |
| Extended static checking for java C Flanagan, KRM Leino, M Lillibridge, G Nelson, JB Saxe, R Stata ACM SIGPLAN NOTICES 48 (4), 22-33, 2013 | 1942* | 2013 |
| Extended static checking for Java C Flanagan, KRM Leino, M Lillibridge, G Nelson, JB Saxe, R Stata Proceedings of the ACM SIGPLAN 2002 Conference on Programming language …, 2002 | 1938 | 2002 |
| A type system for Java bytecode subroutines R Stata, M Abadi ACM Transactions on Programming Languages and Systems (TOPLAS) 21 (1), 90-137, 1999 | 344 | 1999 |
| The link database: Fast access to graphs of the web KH Randall, R Stata, RG Wickremesinghe, JL Wiener Proceedings DCC 2002. Data Compression Conference, 122-131, 2002 | 178 | 2002 |
| Checking Java Programs via Guarded Commands. KRM Leino, JB Saxe, R Stata ECOOP Workshops 1743, 110-111, 1999 | 142 | 1999 |
| Modular reasoning in the presence of subclassing R Stata, JV Guttag Proceedings of the tenth annual conference on Object-oriented programming …, 1995 | 75 | 1995 |
| The term vector database: fast access to indexing terms for web pages R Stata, K Bharat, F Maghoul Computer Networks 33 (1-6), 247-255, 2000 | 74 | 2000 |
| Building a cloud for yahoo! BF Cooper, E Baldeschwieler, R Fonseca, JJ Kistler, PPS Narayan, ... IEEE Data Eng. Bull. 32 (1), 36-43, 2009 | 66 | 2009 |
| Specifying data availability in multi-device file systems J Wilkes, R Stata ACM SIGOPS Operating Systems Review 25 (1), 56-59, 1991 | 41 | 1991 |
| Secure web tunneling M Abadi, A Birrell, R Stata, E Wobber Computer Networks and ISDN Systems 30 (1-7), 531-539, 1998 | 37 | 1998 |
| Virginity: A contribution to the specification of object-oriented software KRM Leino, R Stata Information Processing Letters 70 (2), 99-105, 1999 | 31 | 1999 |
| Checking object invariants KRM Leino, R Stata Technical Note 1997-007, Digital Equipment Corporation Systems Research Center, 1997 | 31 | 1997 |
| PLDI 2002: Extended static checking for Java C Flanagan, KRM Leino, M Lillibridge, G Nelson, JB Saxe, R Stata ACM Sigplan Notices 48 (4S), 22-33, 2013 | 27 | 2013 |
| Efficient online ad serving in a display advertising exchange K Lang, J Delgado, D Jiang, B Ghosh, S Das, A Gajewar, S Jagadish, ... Proceedings of the fourth ACM international conference on Web search and …, 2011 | 19 | 2011 |
| Finding buying guides with a web carnivore R Kraft, R Stata Proceedings of the IEEE/LEOS 3rd International Conference on Numerical …, 2003 | 18 | 2003 |
| TimeLinks: Exploring the link structure of the evolving Web R Kraft, E Hastor, R Stata WAW2003 Second Workshop on Algorithms and Models for the Web-Graph, 2003 | 18 | 2003 |
| Modularity in the presence of subclassing RP Stata Digital, Systems Research Center, 1997 | 14 | 1997 |
| Towards web-scale web archeology STA Leung, SE Perl, R Stata, JL Wiener | 12 | 2001 |
| Link compression in the connectivity server R Wickremesinghe, R Stata, J Wiener Technical report, Compaq systems research center, 2000 | 7 | 2000 |
