Raymie Stata

5.1k citations
24 papers · 3.9k · 2 hit papers · h-index 14

Impact in

Papers in

Raymie Stata

24 papers receiving 3.6k citations

Raymie Stata's Hit Papers

Extended static checking for Java 2002 · 1.1k citations
1.1k0+8+17Years since publication50010001.5k2.0k

Peers

Raymie Stata
Comparison fields: 5 of 123
  • Software 739
  • Statistical and Nonlinear Physics 1.3k
  • Information Systems 1.3k
  • Computational Theory and Mathematics 912
  • Artificial Intelligence 1.7k
Replace Emden R. Gansner with:
Emden R. Gansner United States
Monika Henzinger Austria
Janet L. Wiener United States
Chris Hankin United Kingdom
C. R. Ramakrishnan United States
Sampath Kannan United States
David B. Skillicorn Canada
Chin‐Laung Lei Taiwan
Hisao Tamaki Japan
Marc Najork United States
Raymie Stata relative to Emden R. Gansner United States Emden R. Gansner's profile →
Citations per field
00.5×1.5×1.9×
Emden R. Gansner · 1×
Citations per year

Countries citing papers authored by Raymie Stata

Since Specialization
Citations

This map shows the geographic impact of Raymie Stata's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Raymie Stata with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Raymie Stata more than expected).

Fields of papers citing papers by Raymie Stata

Since Specialization
Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Raymie Stata. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by Raymie Stata. The network helps show where Raymie Stata may publish in the future.

Co-authors

The 25 scholars most cited alongside Raymie Stata, linked wherever they have co-authored with each other. Click a name or a connecting line to browse the papers they share.

Border = papers with Raymie Stata Line = papers co-authored together Raymie Stata links everyone, so they are left out of the graph.

All Works

20 of 20 papers shown

Showing the 20 most-cited of 24 papers — load more, or switch the sort, to bring in the rest.

#Work
1
Graph structure in the Web
Hit paper breakdown →
20002068
2
Extended static checking for Java
Hit paper breakdown →
20021083
3 1998130
4 2002112
5 2002106
6 200387
7
Checking Java Programs via Guarded Commands
199978
8 199967
9 199537
10
Challenges, Techniques and Directions in Building XSeek: an XML Search Engine.
200934
11 200029
12
Checking object invariants
199716
13 199116
14 199813
15 201312
16 199512
17 199912
18 20048
19 20117
20 20117

About Raymie Stata

Raymie Stata is a scholar working on Information Systems, Artificial Intelligence, Computer Networks and Communications, Software and Computational Theory and Mathematics, having authored 24 papers that have together received 3.9k indexed citations. Recurring topics across this work include Software Engineering Research (8 papers), Logic, programming, and type systems (6 papers), Web Data Mining and Analysis (6 papers), Software Testing and Debugging Techniques (6 papers), Software Reliability and Analysis Research (4 papers), Cloud Computing and Resource Management (3 papers), Advanced Data Storage Technologies (3 papers) and Formal Methods in Verification (3 papers). The work is most often cited by research in Software (739 citations), Statistical and Nonlinear Physics (1.3k citations), Information Systems (1.3k citations), Computational Theory and Mathematics (912 citations) and Artificial Intelligence (1.7k citations). Raymie Stata has collaborated with scholars based in United States, Germany and United Kingdom. Frequent co-authors include Janet L. Wiener, Farzin Maghoul, Prabhakar Raghavan, Andrei Broder, Ravi Kumar, Sridhar Rajagopalan, Andrew Tomkins, K. Rustan M. Leino, James B. Saxe and Cormac Flanagan. Their work appears in journals such as ACM SIGPLAN Notices, Computer Networks, ACM Transactions on Programming Languages and Systems, Information Processing Letters and ACM SIGOPS Operating Systems Review.

Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.

Explore authors with similar magnitude of impact