litlas
Log inCreate account

Robert Atkey

Active 2004–2026

Affiliations
University of EdinburghUniversity of StrathclydeUniversity UcinfThis 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-0002-4414-5047
47
Papers
896
Citations
16
h-index
25
i10-index

Self-citations are included in these numbers.

Citations per year

Citations

Citations per year for Robert Atkey2006: 1 citations2007: 2 citations2008: 4 citations2009: 7 citations2010: 27 citations2011: 23 citations2012: 27 citations2013: 22 citations2014: 30 citations2015: 25 citations2016: 37 citations2017: 47 citations2018: 35 citations2019: 47 citations2020: 57 citations2021: 80 citations2022: 56 citations2023: 60 citations2024: 75 citations2025: 83 citations2026: 31 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%
  • Mathematics1.9%
  • Engineering0.7%
  • Biochemistry, Genetics and Molecular Biology0.3%
  • Business, Management and Accounting0.3%
  • Arts and Humanities0.1%
  • Other0.6%

Topics

  • Logic, programming, and type systems32.1%
  • Formal Methods in Verification17.9%
  • Logic, Reasoning, and Knowledge12.1%
  • Parallel Computing and Optimization Techniques8.4%
  • Security and Verification in Computing5.6%
  • Distributed systems and fault tolerance4.4%
  • Other19.4%

Frequent coauthors

All papers

Open in search

Loading papers…