T. Balanescu, M. Gheorghe, M. Holcombe, "Deterministic stream X-machines based on grammar systems" in Words, sequences, grammars, languages: where biology, computer science, linguistics and mathematics meet, Volume I, Ed. C. Martin-Vide & V. Mitrana, Kluwer, 2000.
F. Ipate & M. Holcombe, "Testing non-deterministic X-machines", in Words, sequences, grammars, languages: where biology, computer science, linguistics and mathematics meet, Volume II, Ed. C. Martin-Vide & V. Mitrana, Kluwer, 2000.
"X-machines in Computing, Biology and Art". Proceedings, Grammar Systems 2000, ed. R. Freund & A. Kelemenova, Silesian University at Opava, Czech republic, ISBN 80-7248-067-7, 343-346, 2000.
T. Balanescu, M. Gheorghe & M. Holcombe, A subclass of stream X-machines with underlying distributed grammars, Proceedings, Grammar Systems 2000, ed. R. Freund & A. Kelemenova, Silesian University at Opava, Czech republic, ISBN 80-7248-067-7, 93-112, 2000.
Z. Duan, M. Holcombe, A. Bell, "A logic for Biological Systems", Biosystems, 55(1-3), 93-105, 2000.
T. Balaneascu, A. J. Cowling, H. Gheorgescu, M. Gheorghe, M. Holcombe and C. Vertan. "Communicating Stream X-machines Systems are no more than X-machines". Journal of Universal Computer Science, Volume 5, no. 9, 494-507, 1999.
P. Kefalas and E. Kapeti, "A Design Language and Tool for X-Machines Specification" in "Advances in Informatics" edited by D.I. Fotiadis, S.D. Nikolopoulos, World Scientific.
F. Ipate and M. Holcombe, "A method for refining and testing generalised machine specifications." Int. Jour. Comp. Math. 68, 197-219, 1998.
F. Ipate & M. Holcombe. "Specification and testing using generalised machines: a presentation and a case study." Software testing, Verification and Reliability, 8, 61-81, 1998.
K. Bogdanov and M. Holcombe, "Automated Test Set Generation for Statecharts, in Applied Formal Methods FM-Trends 98 (Boppard, Germany), D. Hutter, W. Stephan, P. Traverso & M. Ullmann (Editors), Springer LNCS Series, 1641.
A. Bell and M. Holcombe, "Computational models of immunological systems." In "Information Processing in Cells and Tissues", (eds.) M. Holcombe & R. Paton, 213-226. Plenum Press, 1998.
M. Holcombe and F. Ipate, "Correct systems - building a business process solution." Springer, Applied Computing Series,1998.
K. Bogdanov, M. Fairtlough, M. Holcombe, F. Ipate and C. Jordan, "X-machine Specification and Refinement of Digital Devices." Department of Computer Science Internal report, University of Sheffield.
M. Holcombe, "Notes on Machine-based testing." Department of Computer Science Internal Report, University of Sheffield.
M. Holcombe and Z. Duan, "A hybrid projection temporal logic for hybrid systems." Department of Computer Science Internal Report, 1997.
F.Ipate and M. Holcombe, "An Integration Testing method which is proved to find all faults." Int. Jour. Comp. Math. 63, 159-178, 1997.
M. Holcombe, " When testing is done." Proc. EuroSTAR97, Edinburgh. 1997.
M. Holcombe, "Almost all software testing is futile." Department of Computer Science Internal Report, University of Sheffield.
M. Holcombe, "When Testing is Done." Proc. EuroSTAR'97. Edinburgh, 1997.
Z.H. Duan and M. Holcombe, "From Requirements to Specifications for Hybrid
Systems", Proceedings of the International Symposium on Future Software Technology, pp239--246, Xian, China, Oct 9-11, 1996.
F.Ipate and M. Holcombe. "Another look at computability." Informatica, 20, 359-372, 1996.
Draft version of the above paper.
A. Bell and M. Holcombe. "Computational models of cellular processing." in Computation in Cellular and Molecular Biological Systems. M. Holcombe, R. Paton and R. Cuthbertson (Eds.) , World Scientific Press, Singapore, 1996.
M.Fairtlough, M. Holcombe, F.Ipate, C.Jordan, G.Laycock and Z.Duan. "Using an X-machine to model a video cassette recorder" Current issues in Electronic modelling. 3, 141-151,
Z.Duan, M. Holcombe and D.A. Linkens. "Modelling of a soaking Pit Furnace in Hybrid Machines" Systems Analysis, Modelling, and Simulation. 18, 153-157, 1995.
Z.H Duan, M. Holcombe and D.A. Linkens, `Specification of a Soaking Pit System in Parallel Hybrid Machines', In Proceedings of the 21 Euromicro Conference, IEEE/CS, p241-247,
Como, Italy, Semtember 4-7 , 1995.
M. Holcombe, F.Ipate and A. Grondoudis, "Complete functional testing of safety critical systems. Proc. IFAC Workshop on Emerging Control Technologies. Florida, 1995. Pp. 343-358.
F. Ipate, "Theory of X-machines and Applicartions in Specification and Testing." PhD Thesis, University of Sheffield.
A. Bell and M. Holcombe. "Computational models of cellular processing." Proc. Conf. on Information Processing in Cells and Tissues '95. Liverpool, pp. 171-184. 1995.
F. Ipate, "X-machine based testing." Proc. CSCS, 10(2), Bucharest.
M. Holcombe "From VLSI through machine models to cellular metabolism." in R.Paton, "Computing with biological metaphors" Chapman & Hall, 1994.
M. Holcombe and R.Paton (Liverpool) "Computational models of cellular information systems". IEE Coll. Molecular Bioinformatics, London, 3/1 - 3/5, 1994
R.Paton and M. Holcombe (Liverpool) "Computational models of cellular information systems" in "Advances in Molecular Bioinformatics", ed. S. Schulze-Kremer, IOS Press, 1994.
Z.Duan, M. Holcombe and D.Linkens, "Timed interval temporal logic and the modelling of hybrid systems." Pro. Eur. Simulation Multi-Conference, Barcelona, 1994. Pp. 534-541.
M. Holcombe, "An integrated methodology for the formal specification, verification and testing of systems" Proc. Eurostar 93, London.
G. T. Laycock, "Theory and Practice of Specificatopn-based Testing." PhD thesis, University of Sheffield.
M. Holcombe, "Software engineering." in Trends in Information Technology. Ed. D.Linkens & R. Nicolson. Peregrinus. 1990. pp 17- 36.
M. Holcombe, "X-machines as a basis for dynamic systems specification." Software Engineering Journal, 3(2), 69-76.
M. Holcombe, "Formal methods in the specification of the human-machine interface". International C.I.S. Journal. 1(2),1987,24-34.
M. Holcombe, "Algebraic techniques in system specification". Bull. Irish Math. Soc. 21, 1988, 13-28
M. Holcombe, "Goal-directed task analysis". Int. CIS Journal, 1(4),1987,14-22.
M. Holcombe,"Systems, machines and algebra". BCS-FACS (6). 1984.
S. Eilenberg, "Automata, Languages and machines, Volume A. Academic Press.