Search research publications and outputs

  1. 2007
  2. Unentangling nuclear magnetic resonance computing

    Bechmann, M. W., Clark, J. A., Sebald, A. A-M. & Stepney, S., 2007, Unconventional Computing 2007. Bristol, U.K.: Luniver Press, p. 1-18

    Research output: Chapter in Book/Report/Conference proceedingChapter

  3. 2006
  4. UML + Z: UML augmented with Z

    Amálio, N., Polack, F. & Stepney, S., 2006, Software Specification Methods : an Overview Using a Case Study. Hermes Science Publishing

    Research output: Chapter in Book/Report/Conference proceedingChapter

  5. Z/eyes and the Mondex Electronic Purse

    Woodcock, J. & Reitas, L., 2006, THEORETICAL ASPECTS OF COMPUTING - ICTAC 2006. BERLIN: SPRINGER-VERLAG BERLIN, p. 15-34 20 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  6. 2005
  7. Once More Unto the Breach: Towards Artificial Homeostasis?

    Neal, M. & Timmis, J., 2005, Recent Developments in Biologically Inspired Computing. Idea Group, p. 340-365 26 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  8. Towards a danger theory inspired artificial immune system for web mining

    Secker, A., Freitas, A. & Timmis, J., 2005, Web Mining: applications and techniques. Idea Group, p. 145-168 24 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  9. 2004
  10. An overview of artificial immune systems

    Timmis, J., Knight, T., Castro, L. N. D. & Hart, E., 2004, Computation in Cells and Tissues: Perspectives and Tools for Thought. Springer, p. 51-86 36 p. (Natural Computation).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  11. Improving certification capability through automatic code generation

    Audsley, N. C., Bate, I., Crook-Dawkins, S. & McDermid, J., 2004, Building the Information Society: IFIP 18th World Computer Congress Topical Sessions. Springer Boston, Vol. IFIP Congress Topical Sessions. (IFIP International Federation for Information Processing).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  12. 2003
  13. A Multi-layered Immune Inspired Machine Learning Algorithm

    Knight, T. & Timmis, J., 2003, Applications and Science in Soft Computing. Springer, p. 195-202 8 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  14. 2002
  15. A Search-Based Automated Test-Data Generation Framework for Safety-Critical Systems

    Tracey, N. J., Clark, J. A., McDermid, J. A., Mander, K. C. & Henderson, P. (ed.), 2002, Systems Engineering for Business Process Change: New Directions - Collected Papers from the EPSRC Research Programme. Springer-verlag, p. 174-213 40 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  16. Artificial Immune Systems: A Novel Approach to Pattern Recognition

    Castro, L. N. D. & Timmis, J., 2002, Artificial Neural Networks in Pattern Recognition. University of Paisley, p. 67-84 18 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  17. CONVERSE: A Family Oriented Software Development Process for Engine Controllers

    Buttle, D. L., Clark, J. A., McDermid, J. A., Stephenson, Z. R. & Henderson, P. (ed.), 2002, Systems Engineering for Business Process Change. Springer-verlag, p. 38-73 36 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  18. Issues in learning language in logic

    Cussens, J., 2002, COMPUTATIONAL LOGIC: LOGIC PROGRAMMING AND BEYOND, PT II. BERLIN: SPRINGER-VERLAG BERLIN, p. 491-505 15 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  19. 2001
  20. Artificial immune systems: Using the immune system as inspiration for data mining

    Timmis, J. & Knight, T., 2001, Data Mining: A Heuristic Approach. Idea Group, p. 209-230 22 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  21. Connectionist propositional logic a simple correlation matrix memory based reasoning system

    Kustrin, D. & Austin, J., 2001, EMERGENT NEURAL COMPUTATIONAL ARCHITECTURES BASED ON NEUROSCIENCE: TOWARDS NEUROSCIENCE-INSPIRED COMPUTING. BERLIN: SPRINGER-VERLAG BERLIN, p. 534-546 13 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  22. Scalability in Linda-like Coordination Systems

    Menezes, R., Tolksdorf, R., Wood, A. M., Omicini, A. (ed.), Zambonelli, F. (ed.), Klusch, M. (ed.) & Baldwin, R. T. (ed.), 2001, Coordination of Internet Agents: Models, Technologies and Applications. Springer, p. 299-319 21 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  23. The cost-effectiveness of therapeutics for Alzheimer's disease

    Manca, A., Davies, L. M. & Burns, A., 2001, Neuropsychopharmacology: The fifth Generation of Progress. Lippincott Williams & Wilkins

    Research output: Chapter in Book/Report/Conference proceedingChapter

  24. Towards novel neuroscience-inspired computing

    Wermter, S., Austin, J., Willshaw, D. & Elshaw, M., 2001, EMERGENT NEURAL COMPUTATIONAL ARCHITECTURES BASED ON NEUROSCIENCE: TOWARDS NEUROSCIENCE-INSPIRED COMPUTING. BERLIN: SPRINGER-VERLAG BERLIN, p. 119 19 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  25. 2000
  26. Family diversity and poverty and the mental wellbeing of young people

    Clarke, L., Bradshaw, J. & Williams, J., 2000, Changing Families, Changing Communities: Researching Health and Wellbeing Among Children and Young People, Proceedings of a joint conference held by the HEA Research Directorate and Young People's Health Network. Ryan, H. & Bull, J. (eds.). London: Health Development Agency, p. pp. 39-58 20 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  27. 1999
  28. An Introduction to Inductive Logic Programming and Learning Language in Logic

    Dzeroski, S., Cussens, J. & Manandhar, S., 1999, Learning Language in Logic : Lecture Notes in Artificial Intelligence 1925. Springer, Vol. 1925/2000. p. 3-36 (Lecture Notes in Computer Science/ Lecture Notes in Artificial Intelligence).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  29. Non resident fathers in Britain

    Bradshaw, J., Stimson, C., Skinner, C. & Williams, J., 1999, Changing Britain: families and households in the 1990s. McRae, S. (ed.). Oxford: Oxford University Press, p. pp. 404-426 23 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  30. 1998
  31. An Efficient VLSI Architecture for an Enhanced TSS Algorithm for Video Coding Applications

    Xu, D., Crispin-Bailey, C. & Sotudeh, R., Oct 1998, Recent Advances in Information Science and Technology. World Scientific Publishing, p. 82-86 5 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  32. An Assessment of Technologies for Multimedia Data streaming

    Crispin-Bailey, C., Maierhofer, M. & Sotudeh, R., 1998, Technologies for the Information Society: Developments and Opportunities. Stanford-Smith, B., Kidd, P. & Roger, J-Y. (eds.). IOS Press, p. 514-519 5 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  33. Jisys: Development of an artificial immune system for real world applications

    Hunt, J., Timmis, J., Cooke, D., Neal, M. & King, C., 1998, Artificial Immune Systems and their Applications. Springer, p. 157-186 30 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  34. 1997
  35. Measurement and Assurance

    McDermid, J. A., Redmill, F. (ed.) & Dale, C. (ed.), 1997, Life Cycle Management for Dependability. London: Springer-Verlag, p. 77-104 28 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  36. 1996
  37. Engineering Safety Critical Systems

    McDermid, J. A., 1996, Computing Tomorrow : Future Research Directions in Computer Science. Wand, I. & Milner, R. (eds.). Cambridge: CUP, p. 217-245

    Research output: Chapter in Book/Report/Conference proceedingChapter