Mike Holcombe
Orcid: 0000-0002-6028-2551Affiliations:
- University of Sheffield, UK
According to our database1,
Mike Holcombe
authored at least 84 papers
between 1982 and 2016.
Collaborative distances:
Collaborative distances:
Timeline
1985
1990
1995
2000
2005
2010
2015
0
5
10
1
1
1
1
1
1
2
1
4
2
3
1
2
2
3
3
2
2
2
1
1
1
1
1
1
1
1
4
1
4
9
5
8
1
4
1
1
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2016
Reducing complexity in an agent based reaction model - Benefits and limitations of simplifications in relation to run time and system level output.
Biosyst., 2016
2014
Agent-Based Modeling of Oxygen-Responsive Transcription Factors in <i>Escherichia coli</i>.
PLoS Comput. Biol., 2014
2013
2012
Exploitation of High Performance Computing in the FLAME Agent-Based Simulation Framework.
Proceedings of the 14th IEEE International Conference on High Performance Computing and Communication & 9th IEEE International Conference on Embedded Software and Systems, 2012
2011
Decentralized communication, trail connectivity and emergent benefits of ant pheromone trail networks.
Memetic Comput., 2011
2010
NIK and IKKbeta interdependence in NF-kappaB signalling - Flux analysis of regulation through metabolites.
Biosyst., 2010
Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2010), 2010
2009
Inf. Softw. Technol., 2009
Factors Explaining External Quality in 54 Case Studies of Software Development Projects.
Proceedings of the 13th International Conference on Evaluation and Assessment in Software Engineering, 2009
2008
Theor. Comput. Sci., 2008
Softw. Test. Verification Reliab., 2008
J. Softw. Maintenance Res. Pract., 2008
Seven Years of XP - 50 Customers, 100 Projects and 500 Programmers - Lessons Learnt and Ideas for Improvement.
Proceedings of the Agile Processes in Software Engineering and Extreme Programming, 2008
Proceedings of the Nature Inspired Cooperative Strategies for Optimization, 2008
Proceedings of the 2008 International Working Conference on Mining Software Repositories, 2008
A pilot study of comparative customer comprehension between extreme x-machine and uml models.
Proceedings of the Second International Symposium on Empirical Software Engineering and Measurement, 2008
2007
A study into the effects of personality type and methodology on cohesion in software engineering teams.
Behav. Inf. Technol., 2007
Proceedings of the 14th Working Conference on Reverse Engineering (WCRE 2007), 2007
2006
Empir. Softw. Eng., 2006
Open Source Software in the Desktop: The Perspective of the Public Administrations in UK.
Proceedings of the WEBIST 2006, 2006
Proceedings of the Testing: Academia and Industry Conference, 2006
Proceedings of the Testing: Academia and Industry Conference, 2006
Proceedings of the 2006 IEEE International Symposium on Biomedical Imaging: From Nano to Macro, 2006
2005
Proceedings of the Extreme Programming and Agile Processes in Software Engineering, 2005
Proceedings of the Extreme Programming and Agile Processes in Software Engineering, 2005
Proceedings of the Extreme Programming and Agile Processes in Software Engineering, 2005
Proceedings of the Extreme Programming and Agile Processes in Software Engineering, 2005
Proceedings of the Extreme Programming and Agile Processes in Software Engineering, 2005
The Software Hut - A Student Experience of eXtreme Programming with Real Commercial Clients.
Proceedings of the Extreme Programming and Agile Processes in Software Engineering, 2005
Proceedings of the Extreme Programming and Agile Processes in Software Engineering, 2005
Agile Development Environment for Programming and Testing (ADEPT) - Eclipse Makes Project Management eXtreme.
Proceedings of the Extreme Programming and Agile Processes in Software Engineering, 2005
Proceedings of the Genetic and Evolutionary Computation Conference, 2005
Proceedings of the Encyclopedia of Information Science and Technology (5 Volumes), 2005
2004
Requirements Engineering and Process Modelling in Software Quality Management- Towards a Generic Process Metamodel.
Softw. Qual. J., 2004
Proceedings of the Extreme Programming and Agile Processes in Software Engineering, 2004
Proceedings of the Unconventional Programming Paradigms, 2004
Proceedings of the 26th International Conference on Software Engineering (ICSE 2004), 2004
Proceedings of the Genetic and Evolutionary Computation, 2004
Proceedings of the Aspects of Molecular Computing, 2004
2003
Proceedings of the Extreme Programming and Agile Processes in Software Engineering, 2003
Proceedings of the Extreme Programming and Agile Processes in Software Engineering, 2003
Proceedings of the Extreme Programming and Agile Processes in Software Engineering, 2003
Proceedings of the Extreme Programming and Agile Processes in Software Engineering, 2003
Proceedings of the Membrane Computing, International Workshop, 2003
Proceedings of the Genetic and Evolutionary Computation, 2003
A Formal Experiment Comparing Extreme Programming with Traditional Software Construction.
Proceedings of the 4th Mexican International Conference on Computer Science (ENC 2003), 2003
Testing Non-Deterministic X-Machines.
Proceedings of the Grammars and Automata for String Processing: From Mathematics and Computer Science to Biology, 2003
2002
Fundam. Informaticae, 2002
Formal Aspects Comput., 2002
Appl. Algebra Eng. Commun. Comput., 2002
Proceedings of the Membrane Computing, International Workshop, 2002
2001
Softw. Test. Verification Reliab., 2001
Briefings Bioinform., 2001
Proceedings of the Proceedings 9th IEEE International Conference on Networks, 2001
Proceedings of the Advances in Artificial Life, 6th European Conference, 2001
Testing Using X-Machine Translations.
Proceedings of the Words, Semigroups, and Transductions, 2001
Deterministic stream X-machines based on grammar systems.
Proceedings of the Where Mathematics, 2001
2000
Formal Aspects Comput., 2000
On Testing Generalized Stream X-Machines.
Proceedings of the Recent Topics in Mathematical and Computational Linguistics, 2000
1999
J. Univers. Comput. Sci., 1999
Keeping Our Customers Happy: Myths and Management Issues in "Client-Led" Student Software Projects.
Comput. Sci. Educ., 1999
Proceedings of the 4th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 1999
Proceedings of the Visual Representations and Interpretations, 1999
1998
Specification and Testing Using Generalised Machines: A Presentation and a Case Study.
Softw. Test. Verification Reliab., 1998
Int. J. Comput. Math., 1998
Proceedings of the Applied Formal Methods, 1998
Correct systems - building a business process solution.
Applied computing, Springer, ISBN: 978-3-540-76246-1, 1998
1997
Int. J. Comput. Math., 1997
Proceedings of the 9th Annual Workshop of the Psychology of Programming Interest Group, 1997
1996
Another Look at Computability.
Informatica (Slovenia), 1996
1993
An Integrated Methodology for the Specification, Verification and Testing of Systems.
Softw. Test. Verification Reliab., 1993
1988
1982
Theor. Comput. Sci., 1982