Simon Docherty

Active 2015–2021

11
Papers
67
Citations
6
h-index
2
i10-index

Self-citations are included in these numbers.

Citations per year

Citations

Citations per year for Simon Docherty2016: 3 citations2017: 1 citations2018: 4 citations2019: 8 citations2020: 1 citations2021: 6 citations2022: 5 citations2023: 8 citations2024: 5 citations2025: 10 citations2026: 3 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.

Fields

  • Computer Science100%

Topics

  • Logic, programming, and type systems25%
  • Logic, Reasoning, and Knowledge20.4%
  • Formal Methods in Verification15.7%
  • Distributed systems and fault tolerance7.4%
  • Software Testing and Debugging Techniques4.6%
  • Bayesian Modeling and Causal Inference4.6%
  • Other22.2%

Frequent coauthors

All papers

Loading papers…

Simon Docherty | Litlas