Mark Batty
Active 2005–2025
- ORCID
- 0000-0001-7053-4364
- 33
- Papers
- 1,760
- Citations
- 16
- h-index
- 18
- i10-index
Self-citations are included in these numbers.
Citations per year
Citations
- 1 year (1 citations) is not shown (dated before this author's first paper)
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 Science82.7%
- Environmental Science5.5%
- Engineering4.6%
- Social Sciences4.2%
- Decision Sciences0.9%
- Medicine0.5%
- Other1.6%
Topics
- Parallel Computing and Optimization Techniques26.5%
- Distributed systems and fault tolerance19.2%
- Logic, programming, and type systems9.1%
- Security and Verification in Computing8.2%
- Formal Methods in Verification6%
- Advanced Data Storage Technologies5.2%
- Other25.9%
Frequent coauthors
- Peter Sewell8
- Susmit Sarkar8
- Scott Owens7
- Simon Cooksey7
- Daniel Wright 00015
- Kayvan Memarian5
- Alastair F. Donaldson4
- Brijesh Dongol4
- Jade Alglave4
- John Wickerson4
- Luc Maranget4
- Sarah Harris4
- Alexey Gotsman3
- Mike Dodds3
- Tyler Sorensen 00013
- Akshay Gopalakrishnan2
- Christopher Pulte2
- Clark Verbrugge2
- Ganesh Gopalakrishnan2
- Jean Pichon-Pharabod2
- Kyndylan Nienhuis2
- Michael Vollmer 00032
- Mikolás Janota2
- Radu Grigore2
All papers
Loading papers…
