Tim Sheard
Active 1983–2025
- Affiliations
- Oregon Health & Science UniversityPortland State UniversityOregon Research InstituteAmherst CollegeOregon Museum of Science and IndustryOregon Institute of TechnologyThis 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.
- 80
- Papers
- 4,329
- Citations
- 30
- h-index
- 58
- 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
Fields
- Computer Science89.5%
- Medicine6.1%
- Decision Sciences0.9%
- Engineering0.6%
- Psychology0.6%
- Biochemistry, Genetics and Molecular Biology0.4%
- Other1.9%
Topics
- Logic, programming, and type systems23.7%
- Formal Methods in Verification10.3%
- Parallel Computing and Optimization Techniques9.8%
- Advanced Database Systems and Queries9.5%
- Software Engineering Research7.3%
- Advanced Software Engineering Methodologies6.2%
- Other33.3%
Frequent coauthors
- David W. Stemple16
- Leonidas Fegaras8
- Walid Taha8
- Ki Yung Ahn5
- David Maier 00014
- Emir Pasalic4
- Eugenio Moggi4
- James Hook4
- Stephanie Weirich4
- Aaron Stump3
- David Stemple3
- John Launchbury3
- Larry Diehl3
- Lisa Walton3
- Nathan Linger3
- Peter A. Tucker3
- Richard B. Kieburtz3
- Tong Zhou3
- Zine-El-Abidine Benaissa3
- Adolfo Socorro2
- Chris Casinghino2
- Cristiano Calcagno2
- Dino Oliva2
- Françoise Bellegarde2
All papers
Loading papers…
