Science Explorer Back to mapMap
Discussion
Researcher · Robinson Brothers (United Kingdom) · United Kingdom

Brian Robinson Kirk

Brian Robinson Kirk publishes mostly in Control and Systems Engineering, Artificial Intelligence and Hardware and Architecture, on topics such as Formal Methods in Verification, Embedded Systems Design Techniques and Logic, programming, and type systems.

OpenAlex
World rank
#6,162,021
of 7,710,434 ranked researchers
Rank in United Kingdom
#340,092
of 367,258
Works
48
Citations
62
Citations per work
1.3
h-index
3
i10-index 1Top 93% in Control and Systems Engineering
Brian Robinson Kirk

What does Brian Robinson Kirk research?

Brian Robinson Kirk's work is mostly in Computer Science (38%), Engineering (24%).

Physical Sciences: 29 works · 61.1% of their workComputer Science: 18 works · 37.5% of their workArtificial Intelligence: 5 works · 11.4% of their workHardware and Architecture: 5 works · 10.6% of their workComputational Theory and Mathematics: 5 works · 9.8% of their workComputer Networks and Communications: 3 works · 5.7% of their workEngineering: 11 works · 23.6% of their workControl and Systems Engineering: 7 works · 13.8% of their workAerospace Engineering: 5 works · 9.8% of their workEverything else: 19 works · 38.9% of their workTHEIR WORKBrian RobinsonKirk48works
Physical Sciences61%

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 Science1837.5%
    2. Engineering1123.6%
  2. Everything else1938.9%
  1. 1Control and Systems Engineering14% of their works
  2. 2Artificial Intelligence11% of their works
  3. 3Hardware and Architecture11% of their works
  4. 4Computational Theory and Mathematics10% of their works
  5. 5Aerospace Engineering10% of their works
  6. 6Computer Networks and Communications6% of their works

Research topics

Which keywords describe Brian Robinson Kirk's research?

The keywords of their largest research topics: Model Checking, High-Level Synthesis, Reconfigurable Computing, Satisfiability Modulo Theories, Symbolic Model Checker, Bayesian Networks, Fault Tree Analysis and Formal Verification.

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
  1. Model Checking122 topics
  2. High-Level Synthesis71 topic
  3. Reconfigurable Computing71 topic
  4. Satisfiability Modulo Theories71 topic
  5. Symbolic Model Checker71 topic
  6. Bayesian Networks51 topic
  7. Fault Tree Analysis51 topic
  8. Formal Verification51 topic
  9. Static Analysis51 topic
  10. Air Traffic Management41 topic
  11. Conflict Resolution41 topic
  12. Deadlock Prevention41 topic
  13. Distributed Systems41 topic
  14. Grid Computing41 topic
  15. Hardware-in-the-Loop41 topic
  16. Petri Nets41 topic
  17. Real-Time Simulation41 topic

Where does Brian Robinson Kirk work?

Brian Robinson Kirk's main affiliation in the publication record is Robinson Brothers (United Kingdom), United Kingdom.

How many publications and citations does Brian Robinson Kirk have?

OpenAlex counts 48 works and 62 citations for Brian Robinson Kirk, an h-index of 3, ranking #6,162,021 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 Brian Robinson Kirk. 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.