McMinn P, Holcombe M

Hybridizing evolutionary testing with the chaining approach
LECT NOTES COMPUT SC 3103: 1363-1374 2004

Jackson DE, Holcombe M, Ratnieks FLW

Trail geometry gives polarity to ant foraging networks
NATURE 432 (7019): 907-909 DEC 16 2004

Jackson D, Holcombe M, Ratnieks F

Coupled computational simulation and empirical research into the foraging system of Pharaoh's ant (Monomorium pharaonis)
BIOSYSTEMS 76 (1-3): 101-112 Sp. Iss. SI AUG-OCT 2004

Bogdanov K, Holcombe M

Refinement in statechart testing
SOFTW TEST VERIF REL 14 (3): 189-211 SEP 2004

Berki E, Georgiadou E, Holcombe M

Requirements engineering and process modelling in software quality management - Towards a generic process metamodel
SOFTWARE QUAL J 12 (3): 265-283 SEP 2004

Holcombe M, Ipate F

Complete test generation for extreme programming
LECT NOTES COMPUT SC 3092: 274-277 2004

Jackson D, Gheorghe M, Holcombe M, et al.

An agent-based behavioural model of monomorium pharaonis colonies
LECT NOTES COMPUT SC 2933: 232-239 2004

Bernardini R, Gheorghe M, Holcombe M

Eilenberg P systems with symbol-objects
LECT NOTES COMPUT SC 2950: 49-60 2004


Ipate F, Gheorghe M, Holcombe M

Testing (stream) X-machines
APPL ALGEBR ENG COMM 14 (3): 217-237 OCT 2003


McMinn P, Holcombe M

The state problem for evolutionary testing
LECT NOTES COMPUT SC 2724: 2488-2498 2003

Gheorghe M, Holcombe M

Special issue: Cell computing
BIOSYSTEMS 70 (2): 83-84 JUL 2003

Kefalas P, Eleftherakis G, Holcombe M, et al.

Simulation and verification of P systems through communicating X-machines
BIOSYSTEMS 70 (2): 135-148 JUL 2003

Balanescu T, Gheorghe M, Holcombe M, et al.

Eilenberg P systems
LECT NOTES COMPUT SC 2597: 43-57 2003

Gregson AM, Hart AG, Holcombe M, et al.

Partial nectar loads as a cause of multiple nectar transfer in the honey bee (Apis mellifera): a simulation modePartial nectar loads as a cause of multiple nectar transfer in the honey bee (Apis mellifera): a simulation mode
J THEOR BIOL 222 (1): 1-8 MAY 7 2003

Holcombe M, Holcombe L, Gheorghe M, et al.

A hybrid machine model of rice blast fungus, Magnaporthe grisea
BIOSYSTEMS 68 (2-3): 223-228 FEB-MAR 2003

Aguado J, Balanescu T, Cowling T, et al.

P systems with replicated rewriting and stream X-machines (Eilenberg machines)
FUND INFORM 49 (1-3): 17-33 JAN 2002

Gheorghe M, Holcombe M, Kefalas P

Computational models of collective foraging
BIOSYSTEMS 61 (2-3): 133-141 JUL-AUG 2001

Ipate F, Holcombe M

An integrated refinement and testing method for stream X-machines
APPL ALGEBR ENG COMM 13 (2): 67-91 JUN 2002

Chambers C, Holcombe M, Barnard J

Introducing X-machine models to verify PLC ladder diagrams
COMPUT IND 45 (3): 277-290 JUL 2001


Bogdanov K, Holcombe M

Statechart testing method for aircraft control systems
SOFTW TEST VERIF REL 11 (1): 39-54 MAR 2001

Paton R, Holcombe M

Introduction to IPCAT 99
BIOSYSTEMS 55 (1-3): 1-3 FEB 2000

Duan ZH, Holcombe M, Bell A

A logic for biological systems
BIOSYSTEMS 55 (1-3): 93-105 FEB 2000


Citations.


3 HOLCOMBE M ALGEBRAIC AUTOMATA T 1982

3 ...Holcombe M APPL ALGEBR ENG COMM 13 67 2002

1 HOLCOMBE M BIOSYSTEMS 68 223 2003

7 ...Holcombe M BIOSYSTEMS 61 133 2001

2 ...Holcombe M BIOSYSTEMS 55 93 2000

3 HOLCOMBE M BRIEFINGS BIOINFORMA 2 271 2001

1 HOLCOMBE M FORMAL ASPECTS COMPU 12 418 2000

4 ...Holcombe M FUND INFORM 49 17 2002

1 ...Holcombe M LECT NOTES COMPUT SC 2724 2488 2003

1 ...Holcombe M LECT NOTES COMPUT SC 2597 43 2003

1 ...Holcombe M NATURE 432 907 2004

HOLCOMBE M P 2 INT C EXTR PROGR 14 2001

1 HOLCOMBE M P GRAMM SYST 2000 343 2000

2 HOLCOMBE M P XP2001 109 2001

1 HOLCOMBE M P XP2001 C SARD CAG 2001

6 ...Holcombe M SOFTW TEST VERIF REL 11 39 2001

4 HOLCOMBE M STUD SCI MATH HUNG 17 453 1982

1 HOLCOMBE M XP PERSPECTIVES 251 2002

For more information on abstracts and citations log on to World of Knowledge (World of Science)