Conor McBride
Active 1996–2025
- Affiliations
- Durham UniversityUniversity of NottinghamUniversity of StrathclydeUniversity of EdinburghThis 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.
- ORCID
- 0000-0003-1487-0886
- Also published as
- Conor Mcbride
- 61
- Papers
- 2,835
- Citations
- 31
- h-index
- 45
- 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 Science96.4%
- Mathematics1.5%
- Biochemistry, Genetics and Molecular Biology0.6%
- Engineering0.3%
- Psychology0.2%
- Arts and Humanities0.1%
- Other0.9%
Topics
- Logic, programming, and type systems33.7%
- Formal Methods in Verification16.2%
- Logic, Reasoning, and Knowledge14.3%
- Parallel Computing and Optimization Techniques6.4%
- Software Engineering Research5.3%
- Security and Verification in Computing4%
- Other20.2%
Frequent coauthors
- Thorsten Altenkirch13
- James McKinna9
- Neil Ghani8
- Peter Morris5
- Sam Lindley5
- Guillaume Allais4
- James Chapman 00014
- Pierre-Évariste Dagand4
- Robert Atkey4
- Michael Gordon Abbott3
- Ross Paterson3
- Wouter Swierstra3
- Andrew Kennedy2
- Chung-Kil Hur2
- Craig McLaughlin2
- Gabriele Keller2
- Healfdene Goguen2
- Kevin Hammond2
- Nick Benton2
- Peter G. Hancock2
- Tarmo Uustalu2
- Venanzio Capretta2
- A Gupta1
- A Tarek1
All papers
Loading papers…
