Jonathan Sterling
Active 2015–2026
- Affiliations
- Carnegie Mellon UniversityAarhus UniversityThis 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-0585-5564
- 41
- Papers
- 241
- Citations
- 10
- h-index
- 10
- 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 Science85.3%
- Mathematics11.6%
- Biochemistry, Genetics and Molecular Biology1.6%
- Economics, Econometrics and Finance0.8%
- Social Sciences0.8%
Topics
- Logic, programming, and type systems32.9%
- Logic, Reasoning, and Knowledge17.7%
- Formal Methods in Verification13.4%
- Homotopy and Cohomology in Algebraic Topology9%
- Semantic Web and Ontologies4.7%
- Computability, Logic, AI Algorithms3.1%
- Other19.3%
Frequent coauthors
- Daniel Gratzer9
- Lars Birkedal7
- Robert Harper 00017
- Carlo Angiuli4
- Yue Niu3
- Andrew Slattery2
- Harrison Grodin2
- Lingyuan Ye2
- Michael Shulman2
- Abbott Michael Gordon1
- Adam Barwell1
- Alberto Momigliano1
- Ales Bizjak1
- Alex Buckley1
- Alexis Ghyselen1
- Aliya Hameer1
- Almeida Borges1
- Amal Ahmed1
- Ambrus Kaposi1
- Amin Timany1
- Amy Felty1
- Ana Bove1
- Ana De1
- Andrea Vezzosi1
All papers
Loading papers…
