Concepedia

Author

Raymie Stata

Microsoft (United States)

Also Known As

R. Stata, Raymie Stata

26

Publications

5.1K

Citations

16

H-Index

64

Concepts

All Affiliations

Microsoft (United States)Massachusetts Institute of TechnologyGoogle (United States)
RS

About

Raymie Stata is an author at Microsoft (United States) specializing in engineering, computer science, and software engineering.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

16

18

5K

2

Management

3

3

72

3

Computer Engineering

3

3

352

4

Business

2

2

2.9K

5

Business Analytics

1

1

16

Raymie Stata

×

18

Publications

5K

Citations

16

H-Index

YearCitations

Graph structure in the Web

Andrei Broder, Ravi Kumar, Farzin Maghoul,

Computer Networks

2000

2.8K

Extended static checking for Java

Cormac Flanagan, K. Rustan M. Leino, Mark Lillibridge,

2002

1.3K

A type system for Java bytecode subroutines

Raymie Stata, Martı́n Abadi

1998

156

Extended static checking for Java

Cormac Flanagan, K. Rustan M. Leino, Mark Lillibridge,

2002

131

Extended static checking for Java

Cormac Flanagan, K. Rustan M. Leino, Mark Lillibridge,

ACM SIGPLAN Notices

2002

122

The Link Database: fast access to graphs of the Web

Karen Randall, Raymie Stata, Rajiv Wickremesinghe,

2003

115

Checking Java Programs via Guarded Commands

K. Rustan M. Leino, James B. Saxe, Raymie Stata

1999

90

A type system for Java bytecode subroutines

Raymie Stata, Martı́n Abadi

ACM Transactions on Programming Languages and Systems

1999

81

Modular reasoning in the presence of subclassing

Raymie Stata, John V. Guttag

1995

47

Challenges, Techniques and Directions in Building XSeek: an XML Search Engine.

Brian F. Cooper, Eric Baldeschwieler, Rodrigo Fonseca,

IEEE Data(base) Engineering Bulletin

2009

45

Page 1