Mike Holcombe
Mike Holcombe
University of Sheffield
Verified email at epigenesys.co.uk
TitleCited byYear
Algebraic automata theory
M Holcombe, WML Holcombe
Cambridge University Press, 2004
3082004
Correct systems: building a business process solution
M Holcombe, F Ipate
Springer Science & Business Media, 2012
2612012
The epitheliome: agent-based modelling of the social behaviour of cells
DC Walker, J Southgate, G Hill, M Holcombe, DR Hose, SM Wood, ...
Biosystems 76 (1-3), 89-100, 2004
2082004
Trail geometry gives polarity to ant foraging networks
DE Jackson, M Holcombe, FLW Ratnieks
Nature 432 (7019), 907, 2004
2002004
X-machines as a basis for dynamic system specification
M Holcombe
Software Engineering Journal 3 (2), 69-76, 1988
2001988
Formal agent-based modelling of intracellular chemical interactions
M Pogson, R Smallwood, E Qwarnstrom, M Holcombe
Biosystems 85 (1), 37-45, 2006
1872006
An integration testing method that is proved to find all faults
F Ipate, M Holcombe
International Journal of Computer Mathematics 63 (3-4), 159-178, 1997
1421997
Insect communication:‘no entry’signal in ant foraging
EJH Robinson, DE Jackson, M Holcombe, FLW Ratnieks
Nature 438 (7067), 442, 2005
1352005
The state problem for evolutionary testing
P McMinn, M Holcombe
Genetic and Evolutionary Computation Conference, 2488-2498, 2003
1242003
Development of a three dimensional multiscale computational model of the human epidermis
S Adra, T Sun, S MacNeil, M Holcombe, R Smallwood
PloS one 5 (1), e8511, 2010
1122010
Communicating stream X-machines systems are no more than X-machines
AJ Cowling, H Georgescu, M Gheorghe, M Holcombe, C Vertan
Journal of Universal Computer Science 5 (9), 494-507, 1999
1031999
Exploitation of high performance computing in the FLAME agent-based simulation framework
S Coakley, M Gheorghe, M Holcombe, S Chin, D Worth, C Greenough
2012 IEEE 14th International Conference on High Performance Computing and …, 2012
952012
FLAME: simulating large populations of agents on parallel hardware architectures
M Kiran, P Richmond, M Holcombe, LS Chin, D Worth, C Greenough
Proceedings of the 9th International Conference on Autonomous Agents and …, 2010
912010
Reverse engineering state machines by interactive grammar inference
N Walkinshaw, K Bogdanov, M Holcombe, S Salahuddin
14th Working Conference on Reverse Engineering (WCRE 2007), 209-218, 2007
832007
Longevity and detection of persistent foraging trails in Pharaoh's ants, Monomorium pharaonis (L.)
DE Jackson, SJ Martin, M Holcombe, FLW Ratnieks
Animal Behaviour 71 (2), 351-359, 2006
782006
Statechart testing method for aircraft control systems
K Bogdanov, M Holcombe
Software testing, verification and reliability 11 (1), 39-54, 2001
732001
Empirical investigation towards the effectiveness of Test First programming
L Huang, M Holcombe
Information and Software Technology 51 (1), 182-194, 2009
722009
Introducing spatial information into predictive NF-κB modelling–an agent-based approach
M Pogson, M Holcombe, R Smallwood, E Qwarnstrom
PloS one 3 (6), e2367, 2008
712008
Evolutionary testing using an extended chaining approach
P McMinn, M Holcombe
Evolutionary Computation 14 (1), 41-64, 2006
712006
Evolutionary testing of state-based programs
P McMinn, M Holcombe
Proceedings of the 7th annual conference on Genetic and evolutionary …, 2005
702005
The system can't perform the operation now. Try again later.
Articles 1–20