62
Publications
3K
Citations
32
H-Index
1988
Active since
Affiliations
Mike Holcombe is an author at University of Sheffield specializing in engineering, computer science, and formal methods.
Top concepts
EngineeringFormal MethodsComputer ScienceSoftware TestingFormal VerificationSystems EngineeringSoftware EngineeringProgram AnalysisSoftware AnalysisMedicine
Publications per year
1988–2020
62
62
‘No entry’ signal in ant foraging
Elva J. H. Robinson, Duncan E. Jackson, Mike Holcombe et al. · Nature · 2005 · 172 citations · Full text
The epitheliome: agent-based modelling of the social behaviour of cells
Dawn Walker, Jennifer Southgate, G. Hill et al. · Biosystems · 2004 · 170 citations
Formal agent-based modelling of intracellular chemical interactions
Mark Pogson, R. H. Smallwood, Eva E. Qwarnström et al. · Biosystems · 2006 · 157 citations
Biochemistry, Complex Biological System, Biological Model +3
Rows per page
1–5 of 62