default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMike Holcombe
Person information
- affiliation: University of Sheffield, UK
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2010 – 2019
- 2016
[j36]David M. Rhodes, Mike Holcombe, Eva E. Qwarnstrom:
Reducing complexity in an agent based reaction model - Benefits and limitations of simplifications in relation to run time and system level output. Biosyst. 147: 21-27 (2016)- 2014
- [j35]Hao Bai, Matthew D. Rolfe, Wenjing Jia, Simon Coakley, Robert K. Poole, Jeffrey Green, Mike Holcombe:
Agent-Based Modeling of Oxygen-Responsive Transcription Factors in Escherichia coli. PLoS Comput. Biol. 10(4) (2014) - 2013
- [j34]Mike Holcombe
, Simon Coakley, Mariam Kiran, Lee Shawn Chin, Chris Greenough, David Worth, Silvano Cincotti, Marco Raberto, Andrea Teglio, Christophe Deissenberg, Sander van der Hoog, Herbert Dawid, Simon Gemkow, Philipp Harting, Michael Neugart:
Large-Scale Modeling of Economic Systems. Complex Syst. 22(2) (2013) - 2012
- [c43]Simon Coakley, Marian Gheorghe, Mike Holcombe, Lee Shawn Chin, David Worth, Chris Greenough:
Exploitation of High Performance Computing in the FLAME Agent-Based Simulation Framework. HPCC-ICESS 2012: 538-545 - [e2]George Eleftherakis, Mike Hinchey, Mike Holcombe:
Software Engineering and Formal Methods - 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings. Lecture Notes in Computer Science 7504, Springer 2012, ISBN 978-3-642-33825-0 [contents] - 2011
- [j33]Duncan Jackson, Mesude Bicak, Mike Holcombe:
Decentralized communication, trail connectivity and emergent benefits of ant pheromone trail networks. Memetic Comput. 3(1): 25-32 (2011) - 2010
- [j32]Hong-Bum Kim, Iona Evans, Rod H. Smallwood, Mike Holcombe, Eva E. Qwarnstrom:
NIK and IKKbeta interdependence in NF-kappaB signalling - Flux analysis of regulation through metabolites. Biosyst. 99(2): 140-149 (2010) - [c42]Mariam Kiran, Paul Richmond, Mike Holcombe, Lee Shawn Chin, David Worth, Chris Greenough:
FLAME: simulating large populations of agents on parallel hardware architectures. AAMAS 2010: 1633-1636 - [i2]Chris Greenough, Lee Shawn Chin, David Worth, Simon Coakley, Mike Holcombe, Mariam Kiran:
An Approach to the Parallelisation of Agent-Based Applications. ERCIM News 2010(81) (2010)
2000 – 2009
- 2009
- [j31]Liang Huang, Mike Holcombe:
Empirical investigation towards the effectiveness of Test First programming. Inf. Softw. Technol. 51(1): 182-194 (2009) - [c41]Chris Thomson, Mike Holcombe:
Factors Explaining External Quality in 54 Case Studies of Software Development Projects. EASE 2009 - 2008
- [j30]Mariam Kiran, Simon Coakley, Neil Walkinshaw, Phil McMinn, Mike Holcombe:
Validation and discovery from computational biology models. Biosyst. 93(1-2): 141-150 (2008) - [j29]Neil Walkinshaw, Kirill Bogdanov, Mike Holcombe, Sarah Salahuddin:
Improving dynamic software analysis by applying grammar inference principles. J. Softw. Maintenance Res. Pract. 20(4): 269-290 (2008) - [j28]Neil Walkinshaw, Kirill Bogdanov, Shaukat Ali, Mike Holcombe:
Automated discovery of state transitions and their functions in source code. Softw. Test. Verification Reliab. 18(2): 99-121 (2008) - [j27]Florentin Ipate, Mike Holcombe:
Testing data processing-oriented systems from stream X-machine models. Theor. Comput. Sci. 403(2-3): 176-191 (2008) - [c40]Christopher Thomson, Mike Holcombe, Tony Cowling, Tony Simons, George Michaelides:
A pilot study of comparative customer comprehension between extreme x-machine and uml models. ESEM 2008: 270-272 - [c39]Christopher Thomson, Mike Holcombe:
Correctness of data mined from CVS. MSR 2008: 117-120 - [c38]Duncan Jackson, Mesude Bicak, Mike Holcombe:
Decentralised Communication and Connectivity in Ant Trail Networks. NICSO 2008: 25-36 - [c37]Mike Holcombe, Chris Thomson:
Seven Years of XP - 50 Customers, 100 Projects and 500 Programmers - Lessons Learnt and Ideas for Improvement. XP 2008: 104-113 - 2007
- [j26]J. S. Karn, S. Syed-Abdullah, Anthony J. Cowling, Mike Holcombe:
A study into the effects of personality type and methodology on cohesion in software engineering teams. Behav. Inf. Technol. 26(2): 99-111 (2007) - [c36]Neil Walkinshaw, Kirill Bogdanov, Mike Holcombe, Sarah Salahuddin:
Reverse Engineering State Machines by Interactive Grammar Inference. WCRE 2007: 209-218 - [i1]Mike Holcombe:
Delving Beneath the Skin. ERCIM News 2007(69) (2007) - 2006
- [j25]Phil McMinn, Mike Holcombe:
Evolutionary Testing Using an Extended Chaining Approach. Evol. Comput. 14(1): 41-64 (2006) - [j24]Sharifah Lailee Syed-Abdullah, Mike Holcombe, Marian Gheorghe:
The Impact of an Agile Methodology on the Well Being of Development Teams. Empir. Softw. Eng. 11(1): 143-167 (2006) - [j23]Kirill Bogdanov, Mike Holcombe, Florentin Ipate, L. Seed, Salim K. Vanak:
Testing methods for X-machines: a review. Formal Aspects Comput. 18(1): 3-30 (2006) - [c35]Rod H. Smallwood, Mike Holcombe:
The Epitheliome Project: multiscale agent-based modeling of epithelial cells. ISBI 2006: 816-819 - [c34]Neil Walkinshaw, Kirill Bogdanov, Mike Holcombe:
Identifying State Transitions and their Functions in Source Code. TAIC PART 2006: 49-58 - [c33]Liang Huang, Mike Holcombe:
Empirical Assessment of Test-First Approach. TAIC PART 2006: 197-202 - [c32]Andres Baravalle, Sarah Chambers, Siobhán North, Mike Holcombe:
Open Source Software in the Desktop: The Perspective of the Public Administrations in UK. WEBIST (2) 2006: 39-44 - 2005
- [j22]Florentin Ipate, Mike Holcombe:
Complete Testing from a Stream X-Machine Specification. Fundam. Informaticae 64(1-4): 205-216 (2005) - [c31]Phil McMinn, Mike Holcombe:
Evolutionary testing of state-based programs. GECCO 2005: 1013-1020 - [c30]Florentin Ipate, Mike Holcombe:
Using State Diagrams to Generate Unit Tests for Object-Oriented Systems. XP 2005: 214-217 - [c29]Sharifah Lailee Syed-Abdullah, John Karn, Mike Holcombe, Anthony J. Cowling, Marian Gheorghe:
The Positive Affect of the XP Methodology. XP 2005: 218-221 - [c28]John Karn, Anthony J. Cowling, Sharifah Lailee Syed-Abdullah, Mike Holcombe:
Adjusting to XP: Observational Studies of Inexperienced Developers. XP 2005: 222-225 - [c27]Mike Holcombe, Bhavnidhi Kalra:
Agile Development Environment for Programming and Testing (ADEPT) - Eclipse Makes Project Management eXtreme. XP 2005: 255-258 - [c26]Angela Martin, Steven Fraser, Rachel Davies, Mike Holcombe, Rick Mugridge, Duncan Pierce, Tom Poppendieck, Giancarlo Succi:
XP/Agile Education and Training. XP 2005: 263-266 - [c25]Bhavnidhi Kalra, Chris Thomson, Mike Holcombe:
The Software Hut - A Student Experience of eXtreme Programming with Real Commercial Clients. XP 2005: 323-324 - [c24]Susheel Varma, Mike Holcombe:
Extreme Programming: The Genesys Experience. XP 2005: 327-328 - [c23]Susheel Varma, Mike Holcombe:
Shared Code Repository: A Narrative. XP 2005: 329-330 - [e1]Hubert Baumeister, Michele Marchesi, Mike Holcombe:
Extreme Programming and Agile Processes in Software Engineering, 6th International Conference, XP 2005, Sheffield, UK, June 18-23, 2005, Proceedings. Lecture Notes in Computer Science 3556, Springer 2005, ISBN 3-540-26277-6 [contents] - [r1]Petros Kefalas, Mike Holcombe, George Eleftherakis, Marian Gheorghe:
Formal Development of Reactive Agent-Based Systems. Encyclopedia of Information Science and Technology (II) 2005: 1201-1204 - 2004
- [j21]Eleni Berki, Elli Georgiadou, Mike Holcombe:
Requirements Engineering and Process Modelling in Software Quality Management- Towards a Generic Process Metamodel. Softw. Qual. J. 12(3): 265-283 (2004) - [j20]Kirill Bogdanov, Mike Holcombe:
Refinement in statechart testing. Softw. Test. Verification Reliab. 14(3): 189-211 (2004) - [c22]Francesco Bernardini, Marian Gheorghe, Mike Holcombe:
Eilenberg P Systems with Symbol-Objects. Aspects of Molecular Computing 2004: 49-60 - [c21]Phil McMinn, Mike Holcombe:
Hybridizing Evolutionary Testing with the Chaining Approach. GECCO (2) 2004: 1363-1374 - [c20]David W. Bustard, Mike Holcombe, Ian Sommerville:
BoF: New Directions in UK Software Engineering Research. ICSE 2004: 693-694 - [c19]Marian Gheorghe, Ioanna Stamatopoulou, Mike Holcombe, Petros Kefalas:
Modelling Dynamically Organised Colonies of Bio-entities. UPP 2004: 207-224 - [c18]Mike Holcombe, Florentin Ipate:
Complete Test Generation for Extreme Programming. XP 2004: 274-277 - 2003
- [j19]Florentin Ipate, Marian Gheorghe, Mike Holcombe:
Testing (Stream) X-machines. Appl. Algebra Eng. Commun. Comput. 14(3): 217-237 (2003) - [j18]Francesco Bernardini, Marian Gheorghe, Mike Holcombe:
P X systems = P systems + X machines. Nat. Comput. 2(3): 201-213 (2003) - [c17]Florentin Ipate, Mike Holcombe:
Testing Non-Deterministic X-Machines. Grammars and Automata for String Processing 2003: 151-162 - [c16]Francisco Javier Macias, Mike Holcombe, Marian Gheorghe:
A Formal Experiment Comparing Extreme Programming with Traditional Software Construction. ENC 2003: 73-80 - [c15]Phil McMinn, Mike Holcombe:
The State Problem for Evolutionary Testing. GECCO 2003: 2488-2498 - [c14]Duncan Jackson, Marian Gheorghe, Mike Holcombe, Francesco Bernardini:
An Agent-Based Behavioural Model of Monomorium Pharaonis Colonies. Workshop on Membrane Computing 2003: 232-239 - [c13]Mike Holcombe:
XP after Enron-Can It Survive? XP 2003: 1-8 - [c12]Jing Yuan, Mike Holcombe, Marian Gheorghe:
Where Do Unit Tests Come from? XP 2003: 161-169 - [c11]Sharifah Lailee Syed-Abdullah, Mike Holcombe, Marian Gheorghe:
Practice Makes Perfect. XP 2003: 354-356 - [c10]Francisco Javier Macias, Mike Holcombe, Marian Gheorghe:
Design-led & Design-less: One Experiment and Two Approaches. XP 2003: 394-401 - 2002
- [j17]Florentin Ipate, Mike Holcombe:
An Integrated Refinement and Testing Method for Stream X-machines. Appl. Algebra Eng. Commun. Comput. 13(2): 67-91 (2002) - [j16]Florentin Ipate, Mike Holcombe:
Testing Conditions for Communicating Stream X-machine Systems. Formal Aspects Comput. 13(6): 431-446 (2002) - [j15]Joaquín Aguado, Tudor Balanescu, Anthony J. Cowling, Marian Gheorghe, Mike Holcombe, Florentin Ipate:
P Systems with Replicated Rewriting and Stream X-Machines (Eilenberg Machines). Fundam. Informaticae 49(1-3): 17-33 (2002) - [c9]Tudor Balanescu, Marian Gheorghe, Mike Holcombe, Florentin Ipate:
Eilenberg P Systems. WMC-CdeA 2002: 43-57 - 2001
- [j14]Mike Holcombe:
Computational Models of Cells and Tissues: Machines, Agents and Fungal Infection. Briefings Bioinform. 2(3): 271-278 (2001) - [j13]Colin Chambers, Mike Holcombe, Judith Barnard:
Introducing X-machine models to verify PLC ladder diagrams. Comput. Ind. 45(3): 277-290 (2001) - [j12]Kirill Bogdanov, Mike Holcombe:
Statechart testing method for aircraft control systems. Softw. Test. Verification Reliab. 11(1): 39-54 (2001) - [c8]Tudor Balanescu, Marian Gheorghe, Mike Holcombe:
Deterministic stream X-machines based on grammar systems. Where Mathematics, Computer Science, Linguistics and Biology Meet 2001: 13-23 - [c7]Florentin Ipate, Marian Gheorghe, Mike Holcombe, Tudor Balanescu:
Testing Using X-Machine Translations. Words, Semigroups, and Transductions 2001: 211-229 - [c6]Tudor Balanescu, Marian Gheorghe, Mike Holcombe, Florentin Ipate:
Testing Collaborative Agents Defined as Stream X-Machines with Distributed Grammars. ECAL 2001: 296-305 - [c5]Vaia Sdralia, Mike Holcombe:
Ranging schemes for fast dynamic recovery of DOCSIS networks. ICON 2001: 154-159 - 2000
- [j11]Mike Holcombe:
What are X-Machines? Formal Aspects Comput. 12(6): 418-422 (2000) - [j10]Florentin Ipate, Mike Holcombe:
Generating Test Sets from Non-Deterministic Stream X-Machines. Formal Aspects Comput. 12(6): 443-458 (2000) - [c4]Mike Holcombe, Tudor Balanescu, Marian Gheorghe, Paul Radovici-Marculescu:
On Testing Generalized Stream X-Machines. Recent Topics in Mathematical and Computational Linguistics 2000: 130-141
1990 – 1999
- 1999
- [j9]Helen Parker, Mike Holcombe, Alex Bell:
Keeping Our Customers Happy: Myths and Management Issues in "Client-Led" Student Software Projects. Comput. Sci. Educ. 9(3): 230-241 (1999) - [j8]Tudor Balanescu, Anthony J. Cowling, Horia Georgescu, Marian Gheorghe, Mike Holcombe, Cristina Vertan:
Communicating Stream X-Machines Systems are no more than X-Machines. J. Univers. Comput. Sci. 5(9): 494-507 (1999) - [c3]Helen Parker, Mike Holcombe:
Campus-based industrial software projects: risks and rewards. ITiCSE 1999: 189 - [p1]Nam Yap, Mike Holcombe:
A Visual Representation of Mathematical Expressions. Visual Representations and Interpretations 1999: 357-366 - 1998
- [b1]Mike Holcombe, Florentin Ipate:
Correct systems - building a business process solution. Applied computing, Springer 1998, ISBN 978-3-540-76246-1, pp. I-XX, 1-206 - [j7]Florentin Ipate, Mike Holcombe:
A method for refining and testing generalised machine specifications. Int. J. Comput. Math. 68(3-4): 197-219 (1998) - [j6]Florentin Ipate, Mike Holcombe:
Specification and Testing Using Generalised Machines: A Presentation and a Case Study. Softw. Test. Verification Reliab. 8(2): 61-81 (1998) - [c2]Kirill Bogdanov, Mike Holcombe, Harbhajan Singh:
Automated Test Set Generation for Statecharts. FM-Trends 1998: 107-121 - 1997
- [j5]Florentin Ipate, Mike Holcombe:
An integration testing method that is proved to find all faults. Int. J. Comput. Math. 63(3-4): 159-178 (1997) - [c1]Nam Yap, Mike Holcombe:
Graphical Z Specification. PPIG 1997: 6 - 1996
- [j4]Florentin Ipate, Mike Holcombe:
Another Look at Computability. Informatica (Slovenia) 20(3) (1996) - 1993
- [j3]Mike Holcombe:
An Integrated Methodology for the Specification, Verification and Testing of Systems. Softw. Test. Verification Reliab. 3(3/4): 149-163 (1993)
1980 – 1989
- 1988
- [j2]Mike Holcombe:
X-machines as a basis for dynamic system specification. Softw. Eng. J. 3(2): 69-76 (1988) - 1982
- [j1]Mike Holcombe:
On the Holonomy Decomposition of Transformation Semigroups. Theor. Comput. Sci. 19: 99-104 (1982)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 21:26 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
