Mike Holcombe
Publications by Year
Research Areas
Software Testing and Debugging Techniques, Software Engineering Techniques and Practices, Software Engineering Research, Software Reliability and Analysis Research, Formal Methods in Verification
Most-Cited Works
- → ‘No entry’ signal in ant foraging(2005)173 cited
- → The epitheliome: agent-based modelling of the social behaviour of cells(2004)170 cited
- → Formal agent-based modelling of intracellular chemical interactions(2006)159 cited
- → Trail geometry gives polarity to ant foraging networks(2004)158 cited
- Correct Systems: Building a Business Process Solution(1998)
- → Modelling the Transport of Nanoparticles under Blood Flow using an Agent-based Approach(2015)133 cited
- → X-machines as a basis for dynamic system specification(1988)132 cited
- → The State Problem for Evolutionary Testing(2003)112 cited
- → Development of a Three Dimensional Multiscale Computational Model of the Human Epidermis(2010)106 cited
- → An integration testing method that is proved to find all faults(1997)98 cited