Mike Holcombe
Mike Holcombe
University of Sheffield
Verified email at epigenesys.co.uk
Title
Cited by
Cited by
Year
Algebraic automata theory
M Holcombe, WML Holcombe
Cambridge University Press, 2004
3192004
Correct systems: building a business process solution
M Holcombe, F Ipate
Springer Science & Business Media, 2012
2682012
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
2202004
Formal agent-based modelling of intracellular chemical interactions
M Pogson, R Smallwood, E Qwarnstrom, M Holcombe
Biosystems 85 (1), 37-45, 2006
2132006
Trail geometry gives polarity to ant foraging networks
DE Jackson, M Holcombe, FLW Ratnieks
Nature 432 (7019), 907-909, 2004
2102004
X-machines as a basis for dynamic system specification
M Holcombe
Software Engineering Journal 3 (2), 69-76, 1988
2051988
‘No entry’signal in ant foraging
EJH Robinson, DE Jackson, M Holcombe, FLW Ratnieks
Nature 438 (7067), 442-442, 2005
1532005
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
1451997
The state problem for evolutionary testing
P McMinn, M Holcombe
Genetic and Evolutionary Computation Conference, 2488-2498, 2003
1312003
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
1272010
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
1102010
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
1062012
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
1051999
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
962007
Modelling the transport of nanoparticles under blood flow using an agent-based approach
G Fullstone, J Wood, M Holcombe, G Battaglia
Scientific reports 5, 10649, 2015
872015
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
872006
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
812008
Empirical investigation towards the effectiveness of Test First programming
L Huang, M Holcombe
Information and Software Technology 51 (1), 182-194, 2009
802009
Evolutionary testing using an extended chaining approach
P McMinn, M Holcombe
Evolutionary Computation 14 (1), 41-64, 2006
772006
Modelling complex biological systems using an agent-based approach
M Holcombe, S Adra, M Bicak, S Chin, S Coakley, AI Graham, J Green, ...
Integrative Biology 4 (1), 53-64, 2012
762012
The system can't perform the operation now. Try again later.
Articles 1–20