Mike Holcombe - Concepedia

Author

Mike Holcombe

University of Sheffield

Also Known As

Holcombe, M, Holcombe, M., Holcombe, Mike, M. Holcombe, MIKE HOLCOMBE, Mike Holcombe

201

Publications

Citations

H-Index

172

Concepts

All Affiliations

University of Sheffield University of Pitesti

About

Mike Holcombe is an author at University of Sheffield specializing in engineering, computer science, and formal methods.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	20	34	1.3K
2	Management	4	4	158
3	Business	2	2	102
4	Education	2	2	56
5	Language Studies	2	2	88

Mike Holcombe

Publications

Citations

H-Index

Page 1

	Year	Citations
‘No entry’ signal in ant foraging Elva J. H. Robinson, Duncan E. Jackson, Mike Holcombe, Nature Ant ForagingForagingEvolutionary BiologyEntomologySocial Insect	2005	172
The epitheliome: agent-based modelling of the social behaviour of cells Dawn Walker, Jennifer Southgate, G. Hill, Biosystems Pattern FormationDevelopmental BiologyMedicineSocial BehaviorComplex Biological System	2004	170
Trail geometry gives polarity to ant foraging networks Duncan E. Jackson, Mike Holcombe, Francis L. W. Ratnieks Nature ForagingEvolutionary BiologyEntomologyTrail GeometryAnt Colony Optimization	2004	157
Formal agent-based modelling of intracellular chemical interactions Mark Pogson, R. H. Smallwood, Eva E. Qwarnström, Biosystems BiochemistryComplex Biological SystemBiological ModelFormal Agent-based ModellingMulticellular System	2006	157
X-machines as a basis for dynamic system specification Mike Holcombe Software Engineering Journal Elementary TheoryEngineeringComputational Model TheoryComputer ArchitectureComputational Complexity	1988	132
Modelling the Transport of Nanoparticles under Blood Flow using an Agent-based Approach Gavin Fullstone, Jonathan Wood, Mike Holcombe, Scientific Reports	2015	132
Development of a Three Dimensional Multiscale Computational Model of the Human Epidermis Salem F. Adra, Tao Sun, Sheila MacNeil, PLoS ONE EngineeringCell ProliferationBiomedical EngineeringDermatologyComputational Mechanics	2010	106
An integration testing method that is proved to find all faults Florentin Ipate, Mike Holcombe International Journal of Computer Mathematics EngineeringVerificationSoftware EngineeringSoftware AnalysisFormal Verification	1997	98
Longevity and detection of persistent foraging trails in Pharaoh's ants, Monomorium pharaonis (L.) Duncan E. Jackson, Stephen J. Martin, Mike Holcombe, Animal Behaviour BiologyMonomorium PharaonisForagingEntomologyInterspecific Behavioral Interaction	2006	83
Exploitation of High Performance Computing in the FLAME Agent-Based Simulation Framework Simon Coakley, Marian Gheorghe, Mike Holcombe, Cluster ComputingEngineeringComputer ArchitectureSimulationHigh Performance Computing	2012	81

Page 1