Follow
Mike Holcombe
Title
Cited by
Cited by
Year
Algebraic automata theory
M Holcombe
Cambridge University Press, 2004
3572004
Correct systems: building a business process solution
M Holcombe, F Ipate
Springer Science & Business Media, 2012
2802012
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
2372004
Trail geometry gives polarity to ant foraging networks
DE Jackson, M Holcombe, FLW Ratnieks
Nature 432 (7019), 907-909, 2004
2342004
Formal agent-based modelling of intracellular chemical interactions
M Pogson, R Smallwood, E Qwarnstrom, M Holcombe
Biosystems 85 (1), 37-45, 2006
2252006
X-machines as a basis for dynamic system specification
M Holcombe
Software Engineering Journal 3 (2), 69-76, 1988
2091988
‘No entry’signal in ant foraging
EJH Robinson, DE Jackson, M Holcombe, FLW Ratnieks
Nature 438 (7067), 442-442, 2005
1872005
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
1601997
Modelling the transport of nanoparticles under blood flow using an agent-based approach
G Fullstone, J Wood, M Holcombe, G Battaglia
Scientific reports 5 (1), 10649, 2015
1492015
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
1402010
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
1382010
The state problem for evolutionary testing
P McMinn, M Holcombe
Genetic and Evolutionary Computation Conference, 2488-2498, 2003
1382003
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
1342012
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
1111999
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
1092007
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
1022006
A study into the effects of personality type and methodology on cohesion in software engineering teams
JS Karn, S Syed-Abdullah, AJ Cowling, M Holcombe
Behaviour & Information Technology 26 (2), 99-111, 2007
942007
Running an agile software development project
M Holcombe
John Wiley & Sons, 2008
902008
Empirical investigation towards the effectiveness of test first programming
L Huang, M Holcombe
Information and Software Technology 51 (1), 182-194, 2009
892009
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
882012
The system can't perform the operation now. Try again later.
Articles 1–20