Benjamin Ogles
Active 2018–2022
- 8
- Papers
- 13
- Citations
- 2
- h-index
- 0
- 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 Science91.7%
- Engineering8.3%
Topics
- Formal Methods in Verification15.6%
- Parallel Computing and Optimization Techniques12.5%
- Software Testing and Debugging Techniques12.5%
- Distributed systems and fault tolerance12.5%
- Software Reliability and Analysis Research9.4%
- Logic, programming, and type systems6.3%
- Other31.3%
Frequent coauthors
- Eric Mercer7
- Peter Aldous5
- Joshua Hooker4
- Kyle Storey4
- Sheridan Jacob Powell4
- Yu Huang2
- Alyas Almaawi1
- Corina S. Pasareanu1
- Cyrille Artho1
- David Lo 00011
- Egor Namakonov1
- Elena Sherman1
- Hayes Converse1
- Hengbiao Yu1
- Hoang Lam Nguyen1
- Ismet Burak Kadron1
- Jay McCarthy1
- Ji Wang 00011
- Koushik Sen1
- Lars Grunske1
- Lasse Berglund1
- Lucas Bang1
- Milos Gligoric 00011
- Minxing Tang1
All papers
Loading papers…
