Robert Paige
Impact in
- Software top 2%
- Computational Theory and Mathematics top 0.5%
- Formal Methods in Verification
- semigroups and automata theory
Papers in
-
- Algorithms and Data Compression 13
- Logic, programming, and type systems 13
- Natural Language Processing Techniques 3
-
- Formal Methods in Verification 9
- semigroups and automata theory 7
- Co-authors
- Robert E. Tarjan (3 shared papers)Jiazhen Cai (9 shared papers)Ioannis Fudos (1 shared paper)Christoph M. Hoffmann (1 shared paper)Bard Bloom (1 shared paper)Fritz Henglein (2 shared papers)Allen Goldberg (1 shared paper)John H. Reif (1 shared paper)
- Journals
- Theoretical Computer Science (5 papers)Science of Computer Programming (2 papers)IEEE Software (1 paper)ACM SIGPLAN Notices (1 paper)Communications on Pure and Applied Mathematics (1 paper)
- Partner nations
- United StatesSouth AfricaTaiwan
In The Last Decade
Robert Paige
37 papers receiving 1.3k citations
Robert Paige's Hit Papers
Peers
Comparison fields: 5 of 67
- Software 238
- Computational Theory and Mathematics 796
- Hardware and Architecture 307
- Artificial Intelligence 910
- Computer Networks and Communications 429
Countries citing papers authored by Robert Paige
This map shows the geographic impact of Robert Paige'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 Robert Paige with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Robert Paige more than expected).
Fields of papers citing papers by Robert Paige
This network shows the impact of papers produced by Robert Paige. 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 Robert Paige. The network helps show where Robert Paige may publish in the future.
Co-authors
The 19 scholars most cited alongside Robert Paige, linked wherever they have co-authored with each other. Click a name or a connecting line to browse the papers they share.
All Works
Showing the 20 most-cited of 38 papers — load more, or switch the sort, to bring in the rest.
| # | Work | ||
|---|---|---|---|
| 1 | Three Partition Refinement Algorithms Hit paper breakdown → | 1987 | 585 |
| 2 | 1982 | 167 | |
| 3 | 1995 | 158 | |
| 4 | A transformational framework for the automatic control of derived data | 1981 | 54 |
| 5 | 1989 | 54 | |
| 6 | 1995 | 44 | |
| 7 | 1985 | 41 | |
| 8 | 1997 | 34 | |
| 9 | 1995 | 33 | |
| 10 | 1987 | 29 | |
| 11 | 1986 | 27 | |
| 12 | 1984 | 26 | |
| 13 | 1995 | 24 | |
| 14 | 1987 | 23 | |
| 15 | Real-time Simulation of a Set Machine on a Ram | 1989 | 22 |
| 16 | 1983 | 19 | |
| 17 | 1993 | 17 | |
| 18 | 1992 | 16 | |
| 19 | 1991 | 16 | |
| 20 | Symbolic finite differencing, part I (invited lecture) | 1990 | 13 |
About Robert Paige
Robert Paige is a scholar working on Artificial Intelligence, Computational Theory and Mathematics, Hardware and Architecture, Computer Networks and Communications and Software, having authored 38 papers that have together received 1.5k indexed citations. Recurring topics across this work include Algorithms and Data Compression (13 papers), Logic, programming, and type systems (13 papers), Parallel Computing and Optimization Techniques (13 papers), Formal Methods in Verification (9 papers), semigroups and automata theory (7 papers), Advanced Database Systems and Queries (3 papers), Natural Language Processing Techniques (3 papers) and Software Testing and Debugging Techniques (3 papers). The work is most often cited by research in Software (238 citations), Computational Theory and Mathematics (796 citations), Hardware and Architecture (307 citations), Artificial Intelligence (910 citations) and Computer Networks and Communications (429 citations). Robert Paige has collaborated with scholars based in United States, South Africa and Taiwan. Frequent co-authors include Robert E. Tarjan, Jiazhen Cai, Ioannis Fudos, Christoph M. Hoffmann, Bard Bloom, Fritz Henglein, Allen Goldberg, John H. Reif, Jacob T. Schwartz and Zhe Yang. Their work appears in journals such as Theoretical Computer Science, Science of Computer Programming, IEEE Software, ACM SIGPLAN Notices and Communications on Pure and Applied Mathematics.
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.