Algebraic automata theory M Holcombe Cambridge University Press, 2004 | 364 | 2004 |
Correct systems: building a business process solution M Holcombe, F Ipate Springer Science & Business Media, 2012 | 287 | 2012 |
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 | 240 | 2004 |
Trail geometry gives polarity to ant foraging networks DE Jackson, M Holcombe, FLW Ratnieks Nature 432 (7019), 907-909, 2004 | 236 | 2004 |
Formal agent-based modelling of intracellular chemical interactions M Pogson, R Smallwood, E Qwarnstrom, M Holcombe Biosystems 85 (1), 37-45, 2006 | 226 | 2006 |
X-machines as a basis for dynamic system specification M Holcombe Software Engineering Journal 3 (2), 69-76, 1988 | 216 | 1988 |
‘No entry’signal in ant foraging EJH Robinson, DE Jackson, M Holcombe, FLW Ratnieks Nature 438 (7067), 442-442, 2005 | 198 | 2005 |
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 | 166 | 1997 |
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 | 156 | 2015 |
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 | 141 | 2010 |
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 | 140 | 2010 |
The state problem for evolutionary testing P McMinn, M Holcombe Genetic and Evolutionary Computation Conference, 2488-2498, 2003 | 140 | 2003 |
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 | 138 | 2012 |
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 | 113 | 1999 |
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 | 110 | 2007 |
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 | 102 | 2006 |
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 | 99 | 2007 |
Empirical investigation towards the effectiveness of test first programming L Huang, M Holcombe Information and Software Technology 51 (1), 182-194, 2009 | 94 | 2009 |
Running an agile software development project M Holcombe John Wiley & Sons, 2008 | 94 | 2008 |
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 | 90 | 2012 |