World's Best Scientists 2026 revealed!
Mike Hinchey

Mike Hinchey

D-Index & Metrics

Computer Science

D-Index
43
Citations
8454
World Ranking
7945
National Ranking
27

Overview

Mike Hinchey is affiliated with Lero in Ireland. Their research contributions span several fields, including artificial intelligence, management information systems, information systems, media technology, and computer science applications.

Their work addresses multiple topics such as teaching and learning programming, gender and technology in education, innovative teaching and learning methods, spectroscopy and chemometric analyses, identification and quantification in food, water quality monitoring technologies, and IoT and edge/fog computing.

Frequent co-authors collaborating with Mike Hinchey include Deborah Silver, Joaquim Jorge, Rick Kazman, Carolyn McGregor, and Megha Ben.

Mike Hinchey has published research papers across various venues. Notable publication venues include Computer with five papers, Innovations in Systems and Software Engineering with two papers, Workshop in Primary and Secondary Computing Education, Applied Soft Computing, and IEEE Pervasive Computing.

Recent papers authored or co-authored by Mike Hinchey include:

  • Guest Editorial: Intelligence for systems and software engineering, 2023, Innovations in Systems and Software Engineering

Other recent papers from their broader collaboration network feature titles such as:

  • Applications of computational intelligence techniques to software engineering problems, 2021, Innovations in Systems and Software Engineering
  • A study of high school computer science teacher confidence levels, 2020, Workshop in Primary and Secondary Computing Education
  • A multi-objective cuckoo search algorithm using generalized Lèvy flight and dissimilar egg identification for multispectral image thresholding, 2025, Applied Soft Computing
  • IEEE Computer Society Election, 2020, Computer

In addition to journal articles, Mike Hinchey has contributed to book publications with Springer Nature. These include:

  • Applications of Networks, Sensors and Autonomous Systems Analytics, 2021
  • Innovations in Signal Processing and Embedded Systems, 2022

Best Publications

  • Dynamic Software Product Lines

    S. Hallsteinsen;M. Hinchey;Sooyong Park;K. Schmid

  • Seven more myths of formal methods

    J.P. Bowen;M.G. Hinchey

  • Ten commandments of formal methods

    J.P. Bowen;M.G. Hinchey

  • Applications of Formal Methods

    Jonathan P. Bowen;Michael G. Hinchey

  • Swarms and Swarm Intelligence

    M.G. Hinchey;R. Sterritt;C. Rouff

  • An overview of Dynamic Software Product Line architectures and techniques: Observations from research and industry

    Rafael Capilla;Jan Bosch;Pablo Trinidad;Antonio Ruiz-Cortés

  • Fulfilling the Vision of Autonomic Computing

    S. Dobson;R. Sterritt;P. Nixon;M. Hinchey

  • NASA's swarm missions: the challenge of building autonomous software

    W. Truszkowski;M. Hinchey;J. Rash;C. Rouff

  • An Invitation to Formal Methods

    J.P. Bowen;R.W. Butler;D.L. Dill;R.L. Glass

  • Formal Approaches to Agent-Based Systems

    Michael G. Hinchey;James L. Rash;Walter F. Truszkowski;Christopher Rouff

  • Autonomous and autonomic systems: a paradigm for future space exploration missions

    W.F. Truszkowski;M.G. Hinchey;J.L. Rash;C.A. Rouff

  • Ten Commandments of Formal Methods ...Ten Years Later

    J.P. Bowen;M.G. Hinchey

  • Building Dynamic Software Product Lines

    M. Hinchey;Sooyong Park;K. Schmid

  • Understanding Formal Methods

    Jean Francois Monin;Michael G. Hinchey

  • Self-managing software

    M.G. Hinchey;R. Sterritt

  • Provably Correct Systems

    He Jifeng;C. A. R. Hoare;Martin Fränzle;Markus Müller-Olm

  • Formal Versus Agile: Survival of the Fittest

    S. Black;P.P. Boca;J.P. Bowen;J. Gorman

  • Concurrent Systems: Formal Development in CSP

    Michael G. Hinchey;Stephen A. Jarvis

  • Autonomous and Autonomic Systems: With Applications to NASA Intelligent Spacecraft Operations and Exploration Systems

    Walt Truszkowski;Harold Hallock;Christopher Rouff;Jay Karlin

  • ZUM '97: The Z Formal Specification Notation

    Jonathan P. Bowen;Michael G. Hinchey;David Till

  • Dynamic Software Product Lines

    Michael Hinchey;Sooyong Park;Klaus Schmid;Svein Hallsteinsen

  • Proceedings of the 24th Asia-Pacific Software Engineering Conference: APSEC 2017

    Jian Lv;He Zhang;Mike Hinchey;Xiao Liu

  • Seven more myths of formal methods: Dispelling industrial prejudices

    Jonathan P. Bowen;Michael G. Hinchey

Frequent Co-Authors

Jonathan P. Bowen
Jonathan P. Bowen London South Bank University
Tiziana Margaria
Tiziana Margaria University of Limerick
Antonio Ruiz-Cortés
Antonio Ruiz-Cortés University of Seville
Hartmut Schmeck
Hartmut Schmeck Karlsruhe Institute of Technology
Bernhard Steffen
Bernhard Steffen TU Dortmund University
Michael Butler
Michael Butler University of Southampton
Jon Timmis
Jon Timmis University of Sunderland
Jan Bosch
Jan Bosch Chalmers University of Technology
Yuanshun Dai
Yuanshun Dai University of Electronic Science and Technology of China
Simon Dobson
Simon Dobson University of St Andrews

If you think any of the details on this page are incorrect, let us know.

Report an issue

We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below:

Related Online Degrees & Career Pathways

Exploring related degrees can open new doors in technology and science. Alongside computer science, fields such as engineering and physics offer exciting career opportunities—many now accessible through online study options.

A computer science degree online provides a flexible path to in-demand tech skills. For those interested in environmental innovation, pursuing an online environmental engineering degree science and engineering can lead to impactful roles in sustainability.

Engineering-minded students might consider a mechanical engineering degree online cost to compare affordability and program options. If physics is your passion, you may be surprised to learn that you can you get a physics degree online.

These online programs often offer accelerated formats and flexible schedules, making it easier for working professionals or busy students to advance their education. Considering related pathways lets you tailor your education to your career goals within the broad and growing field of STEM.

Best Scientists Citing Mike Hinchey

Trending Scientists