On the Holonomy Decomposition of Transformation Semigroups. - Mike Holcombe (Theor. Comput. Sci., 1982)

X-machines as a basis for dynamic system specification. - Mike Holcombe (Softw. Eng. J., 1988)

An Integrated Methodology for the Specification, Verification and Testing of Systems. - Mike Holcombe (Softw. Test. Verification Reliab., 1993)

Another Look at Computability. - Florentin Ipate; Mike Holcombe (Informatica (Slovenia), 1996)

Graphical Z Specification. - Nam Yap; Mike Holcombe (PPIG, 1997)

An integration testing method that is proved to find all faults. - Florentin Ipate; Mike Holcombe (Int. J. Comput. Math., 1997)

Correct systems - building a business process solution. - Mike Holcombe; Florentin Ipate (Springer, 1998)

Automated Test Set Generation for Statecharts. - Kirill Bogdanov 002; Mike Holcombe; Harbhajan Singh (FM-Trends, 1998)

A method for refining and testing generalised machine specifications. - Florentin Ipate; Mike Holcombe (Int. J. Comput. Math., 1998)

Specification and Testing Using Generalised Machines: A Presentation and a Case Study. - Florentin Ipate; Mike Holcombe (Softw. Test. Verification Reliab., 1998)

A Visual Representation of Mathematical Expressions. - Nam Yap; Mike Holcombe (Visual Representations and Interpretations, 1999)

Campus-based industrial software projects: risks and rewards. - Helen Parker; Mike Holcombe (ITiCSE, 1999)

Keeping Our Customers Happy: Myths and Management Issues in "Client-Led" Student Software Projects. - Helen Parker; Mike Holcombe; Alex Bell (Comput. Sci. Educ., 1999)

Communicating Stream X-Machines Systems are no more than X-Machines. - Tudor Balanescu; Anthony J. Cowling; Horia Georgescu; Marian Gheorghe 001; Mike Holcombe; Cristina Vertan (J. Univers. Comput. Sci., 1999)

On Testing Generalized Stream X-Machines. - Mike Holcombe; Tudor Balanescu; Marian Gheorghe 001; Paul Radovici-Marculescu (Recent Topics in Mathematical and Computational Linguistics, 2000)

What are X-Machines? - Mike Holcombe (Formal Aspects Comput., 2000)

Generating Test Sets from Non-Deterministic Stream X-Machines. - Florentin Ipate; Mike Holcombe (Formal Aspects Comput., 2000)

Deterministic stream X-machines based on grammar systems. - Tudor Balanescu; Marian Gheorghe 001; Mike Holcombe (Where Mathematics, Computer Science, Linguistics and Biology Meet, 2001)

Testing Using X-Machine Translations. - Florentin Ipate; Marian Gheorghe 001; Mike Holcombe; Tudor Balanescu (Words, Semigroups, and Transductions, 2001)

Testing Collaborative Agents Defined as Stream X-Machines with Distributed Grammars. - Tudor Balanescu; Marian Gheorghe 001; Mike Holcombe; Florentin Ipate (ECAL, 2001)

Ranging schemes for fast dynamic recovery of DOCSIS networks. - Vaia Sdralia; Mike Holcombe (ICON, 2001)

Computational Models of Cells and Tissues: Machines, Agents and Fungal Infection. - Mike Holcombe (Briefings Bioinform., 2001)

Introducing X-machine models to verify PLC ladder diagrams. - Colin Chambers; Mike Holcombe; Judith Barnard (Comput. Ind., 2001)

Statechart testing method for aircraft control systems. - Kirill Bogdanov 002; Mike Holcombe (Softw. Test. Verification Reliab., 2001)

Eilenberg P Systems. - Tudor Balanescu; Marian Gheorghe 001; Mike Holcombe; Florentin Ipate (WMC-CdeA, 2002)

An Integrated Refinement and Testing Method for Stream X-machines. - Florentin Ipate; Mike Holcombe (Appl. Algebra Eng. Commun. Comput., 2002)

Testing Conditions for Communicating Stream X-machine Systems. - Florentin Ipate; Mike Holcombe (Formal Aspects Comput., 2002)

P Systems with Replicated Rewriting and Stream X-Machines (Eilenberg Machines). - Joaquín Aguado; Tudor Balanescu; Anthony J. Cowling; Marian Gheorghe 001; Mike Holcombe; Florentin Ipate (Fundam. Informaticae, 2002)

Testing Non-Deterministic X-Machines. - Florentin Ipate; Mike Holcombe (Grammars and Automata for String Processing, 2003)

A Formal Experiment Comparing Extreme Programming with Traditional Software Construction. - Francisco Javier Macias; Mike Holcombe; Marian Gheorghe 001 (ENC, 2003)

The State Problem for Evolutionary Testing. - Phil McMinn; Mike Holcombe (GECCO, 2003)

An Agent-Based Behavioural Model of Monomorium Pharaonis Colonies. - Duncan Jackson; Marian Gheorghe 001; Mike Holcombe; Francesco Bernardini (Workshop on Membrane Computing, 2003)

XP after Enron-Can It Survive? - Mike Holcombe (XP, 2003)

Design-led & Design-less: One Experiment and Two Approaches. - Francisco Javier Macias; Mike Holcombe; Marian Gheorghe 001 (XP, 2003)

Practice Makes Perfect. - Sharifah Lailee Syed-Abdullah; Mike Holcombe; Marian Gheorghe 001 (XP, 2003)

Where Do Unit Tests Come from? - Jing Yuan; Mike Holcombe; Marian Gheorghe 001 (XP, 2003)

Testing (Stream) X-machines. - Florentin Ipate; Marian Gheorghe 001; Mike Holcombe (Appl. Algebra Eng. Commun. Comput., 2003)

P X systems = P systems + X machines. - Francesco Bernardini; Marian Gheorghe 001; Mike Holcombe (Nat. Comput., 2003)

Eilenberg P Systems with Symbol-Objects. - Francesco Bernardini; Marian Gheorghe 001; Mike Holcombe (Aspects of Molecular Computing, 2004)

Hybridizing Evolutionary Testing with the Chaining Approach. - Phil McMinn; Mike Holcombe (GECCO (2), 2004)

BoF: New Directions in UK Software Engineering Research. - David W. Bustard; Mike Holcombe; Ian Sommerville (ICSE, 2004)

Modelling Dynamically Organised Colonies of Bio-entities. - Marian Gheorghe 001; Ioanna Stamatopoulou; Mike Holcombe; Petros Kefalas (UPP, 2004)

Complete Test Generation for Extreme Programming. - Mike Holcombe; Florentin Ipate (XP, 2004)

Requirements Engineering and Process Modelling in Software Quality Management- Towards a Generic Process Metamodel. - Eleni Berki; Elli Georgiadou; Mike Holcombe (Softw. Qual. J., 2004)

Refinement in statechart testing. - Kirill Bogdanov 002; Mike Holcombe (Softw. Test. Verification Reliab., 2004)

Formal Development of Reactive Agent-Based Systems. - Petros Kefalas; Mike Holcombe; George Eleftherakis; Marian Gheorghe 001 (Encyclopedia of Information Science and Technology (II), 2005)

Evolutionary testing of state-based programs. - Phil McMinn; Mike Holcombe (GECCO, 2005)

Agile Development Environment for Programming and Testing (ADEPT) - Eclipse Makes Project Management eXtreme. - Mike Holcombe; Bhavnidhi Kalra (XP, 2005)

Using State Diagrams to Generate Unit Tests for Object-Oriented Systems. - Florentin Ipate; Mike Holcombe (XP, 2005)

The Software Hut - A Student Experience of eXtreme Programming with Real Commercial Clients. - Bhavnidhi Kalra; Chris Thomson; Mike Holcombe (XP, 2005)

Adjusting to XP: Observational Studies of Inexperienced Developers. - John Karn; Anthony J. Cowling; Sharifah Lailee Syed-Abdullah; Mike Holcombe (XP, 2005)

XP/Agile Education and Training. - Angela Martin; Steven Fraser 001; Rachel Davies; Mike Holcombe; Rick Mugridge; Duncan Pierce; Tom Poppendieck; Giancarlo Succi (XP, 2005)

The Positive Affect of the XP Methodology. - Sharifah Lailee Syed-Abdullah; John Karn; Mike Holcombe; Anthony J. Cowling; Marian Gheorghe 001 (XP, 2005)

Extreme Programming: The Genesys Experience. - Susheel Varma; Mike Holcombe (XP, 2005)

Shared Code Repository: A Narrative. - Susheel Varma; Mike Holcombe (XP, 2005)

Complete Testing from a Stream X-Machine Specification. - Florentin Ipate; Mike Holcombe (Fundam. Informaticae, 2005)

The Epitheliome Project: multiscale agent-based modeling of epithelial cells. - Rod H. Smallwood; Mike Holcombe (ISBI, 2006)

Empirical Assessment of Test-First Approach. - Liang Huang; Mike Holcombe (TAIC PART, 2006)

Identifying State Transitions and their Functions in Source Code. - Neil Walkinshaw; Kirill Bogdanov 002; Mike Holcombe (TAIC PART, 2006)

Open Source Software in the Desktop: The Perspective of the Public Administrations in UK. - Andres Baravalle; Sarah Chambers; Siobhán North; Mike Holcombe (WEBIST (2), 2006)

Evolutionary Testing Using an Extended Chaining Approach. - Phil McMinn; Mike Holcombe (Evol. Comput., 2006)

The Impact of an Agile Methodology on the Well Being of Development Teams. - Sharifah Lailee Syed-Abdullah; Mike Holcombe; Marian Gheorghe 001 (Empir. Softw. Eng., 2006)

Testing methods for X-machines: a review. - Kirill Bogdanov 002; Mike Holcombe; Florentin Ipate; L. Seed; Salim K. Vanak (Formal Aspects Comput., 2006)

Reverse Engineering State Machines by Interactive Grammar Inference. - Neil Walkinshaw; Kirill Bogdanov 002; Mike Holcombe; Sarah Salahuddin (WCRE, 2007)

A study into the effects of personality type and methodology on cohesion in software engineering teams. - J. S. Karn; S. Syed-Abdullah; Anthony J. Cowling; Mike Holcombe (Behav. Inf. Technol., 2007)

Delving Beneath the Skin. - Mike Holcombe (ERCIM News, 2007)

A pilot study of comparative customer comprehension between extreme x-machine and uml models. - Christopher Thomson; Mike Holcombe; Tony Cowling; Tony Simons 001; George Michaelides (ESEM, 2008)

Correctness of data mined from CVS. - Christopher Thomson; Mike Holcombe (MSR, 2008)

Decentralised Communication and Connectivity in Ant Trail Networks. - Duncan Jackson; Mesude Bicak; Mike Holcombe (NICSO, 2008)

Seven Years of XP - 50 Customers, 100 Projects and 500 Programmers - Lessons Learnt and Ideas for Improvement. - Mike Holcombe; Chris Thomson (XP, 2008)

Validation and discovery from computational biology models. - Mariam Kiran; Simon Coakley; Neil Walkinshaw; Phil McMinn; Mike Holcombe (Biosyst., 2008)

Improving dynamic software analysis by applying grammar inference principles. - Neil Walkinshaw; Kirill Bogdanov 002; Mike Holcombe; Sarah Salahuddin (J. Softw. Maintenance Res. Pract., 2008)

Automated discovery of state transitions and their functions in source code. - Neil Walkinshaw; Kirill Bogdanov 002; Shaukat Ali 001; Mike Holcombe (Softw. Test. Verification Reliab., 2008)

Testing data processing-oriented systems from stream X-machine models. - Florentin Ipate; Mike Holcombe (Theor. Comput. Sci., 2008)

Factors Explaining External Quality in 54 Case Studies of Software Development Projects. - Chris Thomson; Mike Holcombe (EASE, 2009)

Empirical investigation towards the effectiveness of Test First programming. - Liang Huang; Mike Holcombe (Inf. Softw. Technol., 2009)

FLAME: simulating large populations of agents on parallel hardware architectures. - Mariam Kiran; Paul Richmond; Mike Holcombe; Lee Shawn Chin; David Worth; Chris Greenough (AAMAS, 2010)

NIK and IKKbeta interdependence in NF-kappaB signalling - Flux analysis of regulation through metabolites. - Hong-Bum Kim; Iona Evans; Rod H. Smallwood; Mike Holcombe; Eva E. Qwarnstrom (Biosyst., 2010)

An Approach to the Parallelisation of Agent-Based Applications. - Chris Greenough; Lee Shawn Chin; David Worth; Simon Coakley; Mike Holcombe; Mariam Kiran (ERCIM News, 2010)

Decentralized communication, trail connectivity and emergent benefits of ant pheromone trail networks. - Duncan Jackson; Mesude Bicak; Mike Holcombe (Memetic Comput., 2011)

Exploitation of High Performance Computing in the FLAME Agent-Based Simulation Framework. - Simon Coakley; Marian Gheorghe 001; Mike Holcombe; Lee Shawn Chin; David Worth; Chris Greenough (HPCC-ICESS, 2012)

Large-Scale Modeling of Economic Systems. - 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; et al. (Complex Syst., 2013)

Agent-Based Modeling of Oxygen-Responsive Transcription Factors in Escherichia coli. - Hao Bai; Matthew D. Rolfe; Wenjing Jia; Simon Coakley; Robert K. Poole; Jeffrey Green; Mike Holcombe (PLoS Comput. Biol., 2014)

Reducing complexity in an agent based reaction model - Benefits and limitations of simplifications in relation to run time and system level output. - David M. Rhodes; Mike Holcombe; Eva E. Qwarnstrom (Biosyst., 2016)