Robert Cartwright
Active 1976–2024
- Affiliations
- Cornell UniversityRice UniversityLaboratoire d'Informatique de Paris-NordThis corpus build does not record the country of an author's affiliations, so none is shown here. It does not mean these institutions have no country.
- 68
- Papers
- 2,278
- Citations
- 25
- h-index
- 42
- i10-index
Self-citations are included in these numbers.
Citations per year
Citations
Citation sources
Countries
This corpus build does not record which country the citing authors are in, so the country breakdown is not computed. The other breakdowns below are unaffected.
Institutions
- Rice University21.5%
- Regeneron (United States)9.8%
- Northeastern University8.1%
- Icahn School of Medicine at Mount Sinai6.8%
- Cornell University6.5%
- Halmstad University5.8%
- Other41.5%
Fields
- Computer Science85.8%
- Medicine8.8%
- Engineering2.3%
- Decision Sciences0.7%
- Biochemistry, Genetics and Molecular Biology0.4%
- Social Sciences0.4%
- Other1.6%
Topics
- Logic, programming, and type systems25.2%
- Formal Methods in Verification11.3%
- Software Engineering Research10.7%
- Parallel Computing and Optimization Techniques8.7%
- Software Testing and Debugging Techniques7.6%
- Logic, Reasoning, and Knowledge7.2%
- Other29.3%
Frequent coauthors
- Walid Taha10
- Matthias Felleisen8
- Eric E. Allen6
- Paul Brauner6
- Yingfu Zeng6
- Adam Duracz5
- Roland Philippsen5
- Aaron D. Ames4
- Alexandre Chapoutot4
- Ferenc A. Bartha4
- Charles Reis3
- Henry Hoffmann3
- James Sasitorn3
- Jawad Masood3
- Krishna V. Palem3
- Mathias Ricken3
- Ramarao Kanneganti3
- Ryuichi Sai3
- Verónica Gaspes3
- Yao-Hsiang Yang3
- Ahsan Pervaiz2
- Angela Yun Zhu2
- Brian Stoler2
- Chad G. Rose2
All papers
Loading papers…