John W. O’Leary
John W. O’Leary publishes mostly in Hardware and Architecture, Computational Theory and Mathematics and Artificial Intelligence, on topics such as Formal Methods in Verification, Embedded Systems Design Techniques and Doping in Sports.
- World rank
- #2,599,031 of 7,710,434 ranked researchers
- Rank in United States
- #762,342 of 1,627,098
- Works
- 71
- Citations
- 807
- Citations per work
- 11.4
What does John W. O’Leary research?
John W. O’Leary's work is mostly in Computer Science (53%), Social Sciences (10%), Engineering (7%).
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
- Physical Sciences4360.2%
- Computer Science3853.2%
- Engineering57.0%
- Everything else2130.1%
- Social Sciences79.7%
- Social Sciences79.7%
- 1Hardware and Architecture19% of their works
- 2Computational Theory and Mathematics19% of their works
- 3Artificial Intelligence10% of their works
- 4Sociology and Political Science10% of their works
- 5Electrical and Electronic Engineering7% of their works
- 6Software5% of their works
Research topics
Which keywords describe John W. O’Leary's research?
The keywords of their largest research topics: Model Checking, Satisfiability Modulo Theories, Symbolic Model Checker, High-Level Synthesis, Reconfigurable Computing, Doping, Performance-Enhancing Drugs and Formal Verification.
- Side-Channel Attacks
- Embedded Cores
- Radiation Effects
- Performance Optimization
- Formal Verification
- Doping
- High-Level Synthesis
- Satisfiability Modulo Theories
- Model Checking
- Symbolic Model Checker
- Reconfigurable Computing
- Performance-Enhancing Drugs
- Parallel Computing
- Static Analysis
- Soft Errors
- Security Policies
- Test Data Compression
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 17 words, with their numbers
- Model Checking402 topics
- Satisfiability Modulo Theories311 topic
- Symbolic Model Checker311 topic
- High-Level Synthesis221 topic
- Reconfigurable Computing221 topic
- Doping101 topic
- Performance-Enhancing Drugs101 topic
- Formal Verification91 topic
- Parallel Computing91 topic
- Performance Optimization91 topic
- Static Analysis91 topic
- Radiation Effects61 topic
- Soft Errors61 topic
- Embedded Cores51 topic
- Security Policies51 topic
- Side-Channel Attacks51 topic
- Test Data Compression51 topic
Where does John W. O’Leary work?
John W. O’Leary's main affiliation in the publication record is Intel (United States), United States.
How many publications and citations does John W. O’Leary have?
OpenAlex counts 71 works and 807 citations for John W. O’Leary, an h-index of 16, ranking #2,599,031 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 John W. O’Leary. 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.