Science Explorer Back to mapMap
Discussion
Researcher · Reservoir Labs (United States) · United States

Jonathan Springer

Jonathan Springer publishes mostly in Artificial Intelligence, Computer Networks and Communications and Hardware and Architecture, on topics such as Formal Methods in Verification, Parallel Computing and Optimization Techniques and Logic, programming, and type systems.

OpenAlex
World rank
#5,040,383
of 7,710,434 ranked researchers
Rank in United States
#1,305,274
of 1,627,098
Works
20
Citations
110
Citations per work
5.5
h-index
6
i10-index 2Top 74% in Artificial Intelligence
Jonathan Springer

What does Jonathan Springer research?

Jonathan Springer's work is mostly in Computer Science (79%).

Physical Sciences: 16 works · 78.6% of their workComputer Science: 16 works · 78.6% of their workArtificial Intelligence: 5 works · 26.8% of their workComputer Networks and Communications: 3 works · 16.1% of their workComputational Theory and Mathematics: 2 works · 10.7% of their workHardware and Architecture: 2 works · 10.7% of their workSoftware: 2 works · 8.9% of their workComputer Vision and Pattern Recognition: 1 works · 5.4% of their workEverything else: 4 works · 21.4% of their workTHEIR WORKJonathan Springer20works
Physical Sciences79%

Their six largest subfields, inside their fields and domains; the grey slice is everything else they publish. The interactive view splits every one of their works down to single topics.

The fields and subfields, with their numbers
    1. Computer Science1678.6%
  2. Everything else421.4%
  1. 1Artificial Intelligence27% of their works
  2. 2Computer Networks and Communications16% of their works
  3. 3Hardware and Architecture11% of their works
  4. 4Computational Theory and Mathematics11% of their works
  5. 5Software9% of their works
  6. 6Computer Vision and Pattern Recognition5% of their works

Research topics

Which keywords describe Jonathan Springer's research?

The keywords of their largest research topics: High-Performance Computing, Model Checking, Parallel Computing, GPU Computing, Performance Optimization, Satisfiability Modulo Theories, Symbolic Model Checker and Distributed Systems.

Size is their works in the topics tagged with each word, from their 8 largest topics. Each links to the topic it comes from most. The words come from the keyword list OpenAlex gives each topic, not from the text of the papers, so a word can appear that none of the papers uses.

All 19 words, with their numbers
  1. High-Performance Computing72 topics
  2. Model Checking72 topics
  3. Parallel Computing62 topics
  4. GPU Computing41 topic
  5. Performance Optimization41 topic
  6. Satisfiability Modulo Theories41 topic
  7. Symbolic Model Checker41 topic
  8. Distributed Systems31 topic
  9. Formal Verification31 topic
  10. Grid Computing31 topic
  11. Homomorphic Encryption31 topic
  12. Identity-Based Encryption31 topic
  13. Static Analysis31 topic
  14. Automated Testing21 topic
  15. Block Ciphers21 topic
  16. Cryptanalysis21 topic
  17. Distributed Storage21 topic
  18. Network Coding21 topic
  19. Software Fault Localization21 topic

Where does Jonathan Springer work?

Jonathan Springer's main affiliation in the publication record is Reservoir Labs (United States), United States.

How many publications and citations does Jonathan Springer have?

OpenAlex counts 20 works and 110 citations for Jonathan Springer, an h-index of 6, ranking #5,040,383 of 7,710,434 researchers worldwide on the quality score.

Ranked on field-normalised citation excellence (50%), output (30%) and citations (20%). Counts come from OpenAlex author records, which occasionally merge different people who share a name or split one person into several.

Papers, co-authors, who cited this work and researchers on the nearest topics have tabs of their own, above. Is this your page? Claim it with your ORCID iD, or request a correction or removal.

Discussion

Ask a question or share a note about Jonathan Springer. Keep it to the research: no personal attacks, advertising or links. Any reader can report a post, which collapses it for everyone until it is opened.