Science Explorer Back to mapMap
Discussion
Researcher · Roskilde University · Denmark

John P. Gallagher

John P. Gallagher publishes mostly in Artificial Intelligence, Computational Theory and Mathematics and Software, on topics such as Logic, programming, and type systems, Formal Methods in Verification and Logic, Reasoning, and Knowledge.

ORCID 0000-0001-6984-7419 OpenAlex
World rank
#2,965,433
of 7,710,434 ranked researchers
Rank in Denmark
#21,923
of 43,819
Works
208
Citations
2.9k
Citations per work
13.8
h-index
27
i10-index 68Top 6.4% in Artificial Intelligence
John P. Gallagher

What does John P. Gallagher research?

John P. Gallagher's work is mostly in Computer Science (64%), Engineering (4%).

Physical Sciences: 141 works · 68.0% of their workComputer Science: 133 works · 63.8% of their workArtificial Intelligence: 61 works · 29.3% of their workComputational Theory and Mathematics: 37 works · 17.6% of their workSoftware: 16 works · 7.9% of their workComputer Networks and Communications: 11 works · 5.5% of their workHardware and Architecture: 7 works · 3.5% of their workEngineering: 9 works · 4.2% of their workElectrical and Electronic Engineering: 9 works · 4.2% of their workEverything else: 67 works · 32.0% of their workTHEIR WORKJohn P. Gallagher208works
Physical Sciences68%

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 Science13363.8%
    2. Engineering94.2%
  2. Everything else6732.0%
  1. 1Artificial Intelligence29% of their works
  2. 2Computational Theory and Mathematics18% of their works
  3. 3Software8% of their works
  4. 4Computer Networks and Communications6% of their works
  5. 5Electrical and Electronic Engineering4% of their works
  6. 6Hardware and Architecture4% of their works

Research topics

Which keywords describe John P. Gallagher's research?

The keywords of their largest research topics: Model Checking, Temporal Logic, Formal Verification, Static Analysis, Satisfiability Modulo Theories, Symbolic Model Checker, Answer Set Programming and Modal Logic.

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.

All 18 words, with their numbers
  1. Model Checking2183 topics
  2. Temporal Logic1312 topics
  3. Formal Verification871 topic
  4. Static Analysis871 topic
  5. Satisfiability Modulo Theories861 topic
  6. Symbolic Model Checker861 topic
  7. Answer Set Programming451 topic
  8. Modal Logic451 topic
  9. Automated Testing251 topic
  10. Software Fault Localization251 topic
  11. Domain-Specific Languages161 topic
  12. Model-Driven Engineering161 topic
  13. Energy Consumption151 topic
  14. Mobile Devices151 topic
  15. Fatigue Crack Closure121 topic
  16. Fracture Toughness Testing121 topic
  17. Parallel Computing111 topic
  18. Performance Optimization111 topic

Where does John P. Gallagher work?

John P. Gallagher's main affiliation in the publication record is Roskilde University, Denmark.

How many publications and citations does John P. Gallagher have?

OpenAlex counts 208 works and 2,879 citations for John P. Gallagher, an h-index of 27, ranking #2,965,433 of 7,710,434 researchers worldwide on the quality score.

Ranked on field-normalised 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 P. Gallagher. Posts are plain text and can be reported.