Peter Boyland
Active 2017–2026
- 3
- Papers
- 27
- Citations
- 1
- h-index
- 1
- 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 Science80.8%
- Agricultural and Biological Sciences3.8%
- Arts and Humanities3.8%
- Decision Sciences3.8%
- Economics, Econometrics and Finance3.8%
- Engineering3.8%
Topics
- Logic, programming, and type systems18.8%
- Software Testing and Debugging Techniques15.6%
- Security and Verification in Computing15.6%
- Parallel Computing and Optimization Techniques10.9%
- Software Engineering Research6.3%
- Formal Methods in Verification4.7%
- Other28.1%
Frequent coauthors
All papers
Loading papers…
