Mike Hinchey
Mike Hinchey publishes mostly in Artificial Intelligence, Software and Computer Networks and Communications, on topics such as Advanced Software Engineering Methodologies, Formal Methods in Verification and Distributed systems and fault tolerance.
- World rank
- #230,643 of 1,633,909 ranked researchers
- Rank in Ireland
- #632 of 4,477
- Works
- 86
- Citations
- 276
- Citations per work
- 3.2
What does Mike Hinchey research?
Shares of their own output, by the field each of their topics belongs to. The grey slice is everything not listed.
- 1Artificial Intelligence24% of their works
- 2Software13% of their works
- 3Computer Networks and Communications12% of their works
- 4Computational Theory and Mathematics10% of their works
- 5Information Systems8% of their works
- 6Hardware and Architecture8% of their works
Research topics
- Advanced Software Engineering Methodologies
- Formal Methods in Verification
- Distributed systems and fault tolerance
- Model-Driven Software Engineering Techniques
- Service-Oriented Architecture and Web Services
- Software Reliability and Analysis Research
- Real-Time Systems Scheduling
- Modular Robots and Swarm Intelligence
Which keywords describe Mike Hinchey's research?
The keywords of their largest research topics: Autonomic Computing, Self-Adaptive Systems, Model Checking, Symbolic Model Checker, Distributed Systems, Domain-Specific Languages, Fault Tolerance and Model-Driven Engineering.
- Self-Reconfiguration
- Modular Robots
- Software Reliability Modeling
- QoS-Aware Middleware
- Model-Driven Engineering
- Domain-Specific Languages
- Symbolic Model Checker
- Self-Adaptive Systems
- Autonomic Computing
- Model Checking
- Distributed Systems
- Fault Tolerance
- Architecture-Based Approach
- Semantic Web Services
- Hard Real-Time Systems
- Scheduling Algorithms
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 16 words, with their numbers
- Autonomic Computing161 topic
- Self-Adaptive Systems161 topic
- Model Checking101 topic
- Symbolic Model Checker101 topic
- Distributed Systems61 topic
- Domain-Specific Languages61 topic
- Fault Tolerance61 topic
- Model-Driven Engineering61 topic
- Architecture-Based Approach51 topic
- QoS-Aware Middleware51 topic
- Semantic Web Services51 topic
- Software Reliability Modeling51 topic
- Hard Real-Time Systems41 topic
- Modular Robots41 topic
- Scheduling Algorithms41 topic
- Self-Reconfiguration41 topic
Where does Mike Hinchey work?
Mike Hinchey's main affiliation in the publication record is University of Limerick, Ireland.
How many publications and citations does Mike Hinchey have?
Science Explorer counts 86 works and 276 citations for Mike Hinchey, ranking #230,643 of 1,633,909 researchers worldwide on the composite 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 are in the interactive view on the map. Is this your page? Request a correction or removal.