Search research publications and outputs

  1. Conference article › Research › Peer-reviewed
  2. Other chapter contribution › Research
  3. Evolution of Cooperation in an Incentive Based Business Game Environment

    Bista, S. K., Dahal, K. P. & Cowling, P. I., 2008, Global Design to Gain a Competitive Edge. Springer London, p. 875-882 8 p.

    Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

  4. Hyperheuristics: recent developments

    Chakhlevitch, K. & Cowling, P., 2008, Adaptive and multilevel metaheuristics. Springer Berlin/Heidelberg, p. 3-29 27 p.

    Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

  5. Conference contribution › Research
  6. 3D Facial Landmark Localisation by Matching Simple Descriptors

    Romero-Huertas, M. & Pears, N., 2008, 2008 IEEE SECOND INTERNATIONAL CONFERENCE ON BIOMETRICS: THEORY, APPLICATIONS AND SYSTEMS (BTAS). NEW YORK: IEEE, p. 346-351 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  7. 3D Object Recognition Using Hyper-Graphs and Ranked Local Invariant Features

    Xia, S. & Hancock, E. R., 2008, STRUCTURAL, SYNTACTIC, AND STATISTICAL PATTERN RECOGNITION. DaVitoria Lobo, N., Kasparis, T., Roli, F., Kwok, JT., Georgiopoulos, M., Anagnostopoulos, GC. & Loog, M. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 5342 LNCS. p. 117-126 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  8. A Model-Driven Approach to Assuring Process Reliability

    Habli, I. & Kelly, T., 1 Nov 2008, 19th International Symposium on Software Reliability Engineering, 2008. . p. 7 -16

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  9. A Neuro-Immune inspired robust real time visual tracking system

    Liu, Y., Timmis, J. & Clarke, T., 2008, Artificial Immune Systems : 7th International Conference, ICARIS 2008, Phuket, Thailand, August 10-13, 2008. Proceedings. Springer, p. 188-199 12 p. (Lecture Notes in Computer Science ; vol. 5132).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  10. A Simplified Executable Model to Evaluate Latency and Throughput of Networks-on-Chip

    Ost, L., Moraes, F. G., Moller, L., Indrusiak, L. S., Glesner, M., Maatta, S. & Nurmi, J., 2008, Proc 21st Symposium on Integrated Circuits and Systems Design (SBCCI). New York: Association for Computing Machinery (ACM), p. 170-175 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  11. A Supercompiler for Core Haskell

    Mitchell, N. & Runciman, C., 2008, Implementation and Application of Functional Languages: 19th International Workshop, IFL 2007, Freiburg, Germany, September 27-29, 2007. Revised Selected Papers. Springer, Vol. 5083. p. 147-164 (Lecture Notes in Computer Science; vol. 5083).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  12. A comparison of state-based modelling tools for model validation

    Aydal, E. G., Utting, M. & Woodcock, J., 2008, OBJECTS, COMPONENTS, MODELS AND PATTERNS. Paige, RF. & Meyer, B. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 278-296 19 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  13. A supercompiler for core Haskell

    Mitchell, N. & Runciman, C., 2008, Springer Lectures Notes in Computer Science: Implementation and Application of Functional Languages. Springer, Vol. 5083. p. 147-164 18 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  14. ABZ2008 VSR-Net Workshop

    Woodcock, J. & Boca, P., 2008, ABSTRACT STATE MACHINES, B AND Z, PROCEEDINGS. Borger, E., Butler, M., Bowen, JP. & Boca, P. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 5238 LNCS. p. 378-379 2 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  15. ARTOO: adaptive random testing for object-oriented software

    Ciupa, I., Leitner, A., Oriol, M. & Meyer, B., 2008, ICSE '08 : Proceedings of the 30th international conference on Software engineering . p. 71-80

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  16. Adaptable lymphocytes for artificial immune systems

    Andrews, P. S. & Timmis, J., 2008, ARTIFICIAL IMMUNE SYSTEMS, PROCEEDINGS. Bentley, PJ., Lee, D. & Jung, S. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 5132 LNCS. p. 376-386 11 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  17. Adjusting Analogy Software Effort Estimation Based on Fuzzy Logic.

    Azzeh, M., Neagu, D. & Cowling, P. I., 2008, ICSOFT (SE/MUSE/GSDCA). p. 127-132 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  18. An Artificial Lymph Node Architecture for Homeostasis in Collective Robotic Systems

    Mokhtar, M., Timmis, J., Tyrrell, A. M. & Bi, R., 2008, SASOW 2008: SECOND IEEE INTERNATIONAL CONFERENCE ON SELF-ADAPTIVE AND SELF-ORGANIZING SYSTEMS WORKSHOPS, PROCEEDINGS. LOS ALAMITOS: IEEE COMPUTER SOC, p. 126-131 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  19. An Investigation into Server Parameter Selection for Hierarchical Fixed Priority Pre-emptive Systems

    Davis, R. I. & Burns, A., Oct 2008, International conference on Real-Time and Network Systems. p. 19-28

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  20. An efficient and predictable implementation of asynchronous event handling in the RTSJ

    Kim, M. & Wellings, A. J., 2008, Proceedings of the 6th International Workshop on Java Technologies for Real-time and Embedded Systems, JTRES 2008, 24-26 September 2008, Santa Clara, California, USA. Bollella, G. & Locke, C. D. (eds.). ACM, Vol. 343. p. 48-57 10 p. (ACM International Conference Proceeding Series).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  21. Analogue circuit control through gene expression

    Clegg, K. & Stepney, S., 2008, APPLICATIONS OF EVOLUTIONARY COMPUTING, PROCEEDINGS. Giacobini, M. (ed.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 4974 LNCS. p. 154-163 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  22. Application of HTK to the Polish language

    Zi'olko, B., Manandhar, S., Wilson, R. C., Zi'olko, M. & Galka, J., 2008, 2008 INTERNATIONAL CONFERENCE ON AUDIO, LANGUAGE AND IMAGE PROCESSING, VOLS 1 AND 2, PROCEEDINGS. Wan, WG., Luo, FL. & Yu, XQ. (eds.). NEW YORK: IEEE, p. 1759-1764 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  23. Application-Defined Virtualisation for Embedded Real-Time Software on Complex Architectures

    Gray, I. & Audsley, N. C., 2008, 2nd Junior Researcher Workshop on Real-Time Computing, in conjunction with RTNS.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  24. Autonomous and/or interactive constraints-based software reconfiguration for planetary rover

    Montano, G. & McDermid, J. A., 2008, Proceedings of the 10th European Space Agency Workshop on Advanced Space Technologies for Robotics and Automation (ASTRA 2008). Noordwijk (The Netherlands). 11-13 November 2008. EUROPEAN SPACE AGENCY

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  25. Belief Propagation with Directional Statistics for Solving the Shape-from-Shading Problem

    Haines, T. S. F. & Wilson, R. C., 12 Oct 2008, COMPUTER VISION - ECCV 2008, PT III, PROCEEDINGS. Forsyth, D., Torr, P. & Zisserman, A. (eds.). PART 3 ed. BERLIN: SPRINGER-VERLAG BERLIN, Vol. 5304 LNCS. p. 780-791 12 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  26. Birkhoff Polytopes, Heat Kernels and Graph Complexity

    Escolano, F., Hancock, E. R. & Lozano, M. A., 2008, 19TH INTERNATIONAL CONFERENCE ON PATTERN RECOGNITION, VOLS 1-6. NEW YORK: IEEE, p. 2572-2576 5 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  27. Blocking time monitoring in the real-time specification for Java

    Santos, O. M. D. & Wellings, A. J., 2008, Proceedings of the 6th International Workshop on Java Technologies for Real-time and Embedded Systems, JTRES 2008, 24-26 September 2008, Santa Clara, California, USA. Bollella, G. & Locke, C. D. (eds.). ACM, Vol. 343. p. 135-143 9 p. (ACM International Conference Proceeding Series).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  28. Can opponent models aid poker player evolution?

    Baker, R. JS., Cowling, P. I., Randall, T. WG. & Jiang, P., 2008, Computational Intelligence and Games, 2008. CIG'08. IEEE Symposium On. p. 23-30 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  29. Can process-based and product-based approaches to software safety certification be reconciled?

    Kelly, T. P., 2008, IMPROVEMENTS IN SYSTEM SAFETY. Redmill, F. & Anderson, T. (eds.). GODALMING: SPRINGER-VERLAG LONDON LTD, p. 312 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  30. Challenges in Relational Learning for Real-Time Systems Applications

    Bartlett, M., Bate, I. & Kazakov, D., 2008, INDUCTIVE LOGIC PROGRAMMING, ILP 2008. Zelezny, F. & Lavrac, N. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 5194 LNAI. p. 42-58 17 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  31. Clustering Using Class Specific Hyper Graphs

    Xia, S. & Hancock, E. R., 2008, STRUCTURAL, SYNTACTIC, AND STATISTICAL PATTERN RECOGNITION. DaVitoria Lobo, N., Kasparis, T., Roli, F., Kwok, JT., Georgiopoulos, M., Anagnostopoulos, GC. & Loog, M. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 5342 LNCS. p. 318-328 11 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  32. Combining Shape-from-Shading and Stereo using Gaussian-Markov Random Fields

    Haines, T. S. F. & Wilson, R. C., 2008, 19TH INTERNATIONAL CONFERENCE ON PATTERN RECOGNITION, VOLS 1-6. NEW YORK: IEEE, p. 1064-1067 4 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  33. Combining reinforcement learning with symbolic planning

    Grounds, M. & Kudenko, D., 2008, ADAPTIVE AGENTS AND MULTI-AGENT SYSTEMS. Tuyls, K., Nowe, A., Guessoum, Z. & Kudenko, D. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 4865 LNAI. p. 75-86 12 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  34. Complex Systems Models: Engineering Simulations

    Polack, F. A. C., Hoverd, T., Sampson, A. T., Stepney, S. & Timmis, J., 2008, Proceedings of the Eleventh International Conference on the Simulation and Synthesis of Living Systems. MIT Press, Cambridge, MA., p. 482-489

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  35. Constructing Models with the Human-Usable Textual Notation

    Rose, L. M., Paige, R. F., Kolovos, D. S. & Polack, F. A. C., 2008, MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS, PROCEEDINGS. Czarnecki, K., Ober, I., Bruel, JM. & Volter, M. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 5301 LNCS. p. 249-263 15 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  36. Determining Whether a Problem Characteristic Affects Heuristic Performance

    Ridge, E., Kudenko, D., Cotta, C. (ed.) & Hemert, J. I. V. (ed.), 2008, Recent Advances in Evolutionary Computation for Combinatorial Optimization. Springer, Vol. 153. p. 21-35 15 p. (Studies in Computational Intelligence).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  37. Determining Whether a Problem Characteristic Affects Heuristic Performance A Rigorous Design of Experiments Approach

    Ridge, E. & Kudenko, D., 2008, RECENT ADVANCES IN EVOLUTIONARY COMPUTATION FOR COMBINATORIAL OPTIMIZATION. Cotta, C. & VanHemert, J. (eds.). NEW YORK: Springer, p. 21-35 15 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  38. Display registration for device interaction - A proof of principle prototype

    Pears, N., Olivier, P. & Jackson, D., 2008, VISAPP 2008: PROCEEDINGS OF THE THIRD INTERNATIONAL CONFERENCE ON COMPUTER VISION THEORY AND APPLICATIONS, VOL 1. Araujo, HJ. (ed.). SETUBAL: INSTICC-INST SYST TECHNOLOGIES INFORMATION CONTROL & COMMUNICATION, Vol. 1. p. 446-451 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  39. Empirical investigation of an Artificial Cytokine Network

    Read, M., Timmis, J. & Andrews, P. S., 2008, ARTIFICIAL IMMUNE SYSTEMS, PROCEEDINGS. Bentley, PJ., Lee, D. & Jung, S. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 5132 LNCS. p. 340-351 12 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  40. Enabling Self-Reconfiguration on a Video Processing Platform

    Ackermann, K. F., Hoffmann, B., Indrusiak, L. S. & Glesner, M., 2008, Proc Int Symposiun on Industrial Embedded Systems (SIES). IEEE, p. 19-26 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  41. Enforcing Image Consistency in Multiple 3-D Object Modelling

    Grum, M. & Bors, A. G., 2008, 19TH INTERNATIONAL CONFERENCE ON PATTERN RECOGNITION, VOLS 1-6. NEW YORK: IEEE, p. 132-135 4 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  42. Engineering Safety-Critical Complex Systems

    Alexander, R., Kelly, T. & Alexander-Bown, R., Sep 2008, CoSMoS 2008: Proceedings of the 2008 Workshop on Complex Systems Modelling and Simulation. Luniver Press, p. 33-62

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  43. Evaluation and Comparison of Inferred Regular Grammars

    Walkinshaw, N., Bogdanov, K. & Johnson, K. H. A., 2008, Grammatical Inference: Algorithms and Applications . Vol. 5278/2008. p. 252 265 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  44. Evaluation of OCL for large-scale modelling: A different view of the Mondex purse

    Aydal, E. G., Paige, R. F. & Woodcock, J., 2008, MODELS IN SOFTWARE ENGINEERING. Giese, H. (ed.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 5002 LNCS. p. 194-205 12 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  45. Evolving Intrusion Detection Rules on Mobile Ad Hoc Networks

    Sen, S. & Clark, J. A., 2008, PRICAI 2008: TRENDS IN ARTIFICIAL INTELLIGENCE. Ho, TB. & Zhou, ZH. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 5351 LNAI. p. 1053-1058 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  46. Exact Scheduling Analysis of Accumulatively Monotonic Multiframe Tasks Subjected to Release Jitter and Arbitrary Deadlines

    Zuhily, A. & Burns, A., 2008, 2008 IEEE INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION, PROCEEDINGS. Fay, IA. (ed.). NEW YORK: IEEE, p. 600-607 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  47. Exact response time scheduling analysis of Accumulatively Monotonic multiframe real time tasks

    Zuhily, A. & Burns, A., 2008, THEORETICAL ASPECTS OF COMPUTING - ICTAC 2008, PROCEEDINGS. Fitzgerald, JS., Haxthausen, AE. & Yenigun, H. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 5160 LNCS. p. 410-424 15 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  48. Extending A Task Allocation Algorithm For Graceful Degradation Of Real-Time Distributed Embedded Systems

    Emberson, P. & Bate, I., 2008, RTSS: 2008 REAL-TIME SYSTEMS SYMPOSIUM, PROCEEDINGS. LOS ALAMITOS: IEEE COMPUTER SOC, p. 270-279 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  49. Extending A Task Allocation Algorithm For Graceful Degradation Of Real-Time Distributed Embedded Systems

    Emberson, P. & Bate, I., 1 Nov 2008, Proceedings 29th Real-Time Systems Symposium (RTSS 08). p. 270-279 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  50. Facial gender classification using shape from shading and weighted principal geodesic analysis

    Wu, J., Smith, W. A. P. & Hancock, E. R., 2008, IMAGE ANALYSIS AND RECOGNITION, PROCEEDINGS. Campilho, A. & Kamel, M. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 5112 LNCS. p. 925-934 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  51. Finding Faults: Manual Testing vs. Random+ Testing vs. User Reports

    Ciupa, I., Meyer, B., Oriol, M. & Pretschner, A., Nov 2008, 19th International Symposium on Software Reliability Engineering, 2008. ISSRE 2008. . p. 157-166 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  52. Forming Virtual Traces for WCET Analysis and Reduction

    Whitham, J. & Audsley, N., 2008, RTCSA 2008: 14TH IEEE INTERNATIONAL CONFERENCE ON EMBEDDED AND REAL-TIME COMPUTING SYSTEMS AND APPLICATIONS - PROCEEDINGS. LOS ALAMITOS: IEEE COMPUTER SOC, p. 377-386 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  53. From Separation Logic to Hyperedge Replacement and Back

    Dodds, M., 2008, Graph Transformations: 4th International Conference, ICGT 2008, Leicester, United Kingdom, September 7-13, 2008. Proceedings. Springer, Vol. 5214 LNCS. p. 484-486 3 p. (Lecture Notes in Computer Science; vol. 5214).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  54. Gender Classification based on Facial Surface Normals

    Wu, J., Smith, W. A. P. & Hancock, E. R., 2008, 19TH INTERNATIONAL CONFERENCE ON PATTERN RECOGNITION, VOLS 1-6. NEW YORK: IEEE, p. 476-479 4 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  55. Generation of Dilemma-Based Narratives: Method and Turing Test Evaluation

    Barber, H. & Kudenko, D., 2008, INTERACTIVE STORYTELLING, PROCEEDINGS. Spierling, U. & Szilas, N. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 5334 LNCS. p. 214-217 4 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  56. Generation of Sierpinski Triangles: A Case Study for Graph Transformation Tools

    Plump, D., Taentzer, G., Biermann, E., Bisztray, D., Bohnet, B., Boneva, I., Boronat, A., Geiger, L., Geiß, R., Horvath, Á., Kniemeyer, O., Mens, T., Ness, B. & Vajk, T., 2008, Applications of Graph Transformation with Industrial Relevance (AGTIVE 2007): Revised Selected and Invited Papers. Springer, p. 514-539 (Lecture Notes in Computer Science; vol. 5088).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  57. Graph Characteristic from the Gauss-Bonnet Theorem

    ElGhawalby, H. & Hancock, E. R., 2008, STRUCTURAL, SYNTACTIC, AND STATISTICAL PATTERN RECOGNITION. DaVitoria Lobo, N., Kasparis, T., Roli, F., Kwok, JT., Georgiopoulos, M., Anagnostopoulos, GC. & Loog, M. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 5342 LNCS. p. 207-216 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  58. Graph Characteristics from the Ihara Zeta Function

    Ren, P., Wilson, R. C. & Hancock, E. R., 2008, STRUCTURAL, SYNTACTIC, AND STATISTICAL PATTERN RECOGNITION. DaVitoria Lobo, N., Kasparis, T., Roli, F., Kwok, JT., Georgiopoulos, M., Anagnostopoulos, GC. & Loog, M. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 5342 LNCS. p. 257-266 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  59. Graph Edit Distance without Correspondence from Continuous-Time Quantum Walks

    Emms, D., Wilson, R. C. & Hancock, E. R., 2008, STRUCTURAL, SYNTACTIC, AND STATISTICAL PATTERN RECOGNITION. DaVitoria Lobo, N., Kasparis, T., Roli, F., Kwok, JT., Georgiopoulos, M., Anagnostopoulos, GC. & Loog, M. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 5342 LNCS. p. 514 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  60. Human Involvement in the Dynamic Reconfiguration Process of Integrated Modular Avionics

    Montano, G. & McDermid, J., 9 Dec 2008, Digital Avionics Systems Conference (DASC): 2008 IEEE/AIAA : 27TH DIGITAL AVIONICS SYSTEMS CONFERENCE. NEW YORK: IEEE, p. 775-787 13 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  61. Immune systems and computation: An interdisciplinary adventure

    Timmis, J., Andrews, P., Owens, N. & Clark, E., 2008, UNCONVENTIONAL COMPUTATION, PROCEEDINGS. Calude, CS., Costa, JF., Freund, R., Oswald, M. & Rozenberg, G. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 5204 LNCS. p. 818 11 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  62. Immuno-engineering

    Timmis, J., Hart, E., Hone, A., Neal, M., Robins, A., Stepney, S. & Tyrrell, A., 2008, BIOLOGICALLY-INSPIRED COLLABORATIVE COMPUTING. Hinchey, M., Pagnoni, A., Rammig, FJ. & Schmeck, H. (eds.). NEW YORK: Springer, p. 317 15 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  63. Implementation of a generic autonomic framework

    Calinescu, R., 29 Aug 2008, Proceedings - 4th International Conference on Autonomic and Autonomous Systems, ICAS 2008. p. 124-129 6 p. 4488333

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  64. Improving analogy software effort estimation using fuzzy feature subset selection algorithm

    Azzeh, M., Neagu, D. & Cowling, P., 2008, Proceedings of the 4th international workshop on Predictor models in software engineering. p. 71-78 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  65. Improving metaheuristic performance by evolving a variable fitness function

    Dahal, K., Remde, S., Cowling, P. & Colledge, N., 2008, European Conference on Evolutionary Computation in Combinatorial Optimization. p. 170-181 12 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  66. Investigating the Use of Argument Modularity to Optimise Through-Life System Safety Assurance

    Despotou, G. & Kelly, T., 2008, System Safety, 2008 3rd IET International Conference on. 542 CP ed. p. 1-6 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  67. Kernel Bandwidth Estimation in Methods based on Probability Density Function Modelling

    Bors, A. G. & Nasios, N., 2008, 19TH INTERNATIONAL CONFERENCE ON PATTERN RECOGNITION, VOLS 1-6. NEW YORK: IEEE, p. 3354-3357 4 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  68. LOGITBOOST WEKA CLASSIFIER SPEECH SEGMENTATION

    Ziolko, B., Manandhar, S., Wilson, R. C. & Ziolko, M., 2008, 2008 IEEE INTERNATIONAL CONFERENCE ON MULTIMEDIA AND EXPO, VOLS 1-4. NEW YORK: IEEE, p. 1297-1300 4 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  69. Language model based on POS tagger

    Ziolko, B., Manandhar, S., Wilson, R. C. & Ziolko, M., 26 Jul 2008, SIGMAP 2008: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON SIGNAL PROCESSING AND MULTIMEDIA APPLICATIONS. Assuncao, P. & Faria, S. (eds.). SETUBAL: INSTICC-INST SYST TECHNOLOGIES INFORMATION CONTROL & COMMUNICATION, p. 177-180 4 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  70. Linking VDM and Z

    Woodcock, J. & Freitas, L., 2008, ICECCS 2008: THIRTEENTH IEEE INTERNATIONAL CONFERENCE ON THE ENGINEERING OF COMPLEX COMPUTER SYSTEMS, PROCEEDINGS. Breitman, K., Woodcock, J., Sterritt, R. & Hinchey, MG. (eds.). LOS ALAMITOS: IEEE COMPUTER SOC, p. 143-152 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  71. Measuring Skin Reflectance Parameters

    Dickens, M. P., Smith, W. A. P., Ragheb, H. & Hancock, E. R., 2008, 19TH INTERNATIONAL CONFERENCE ON PATTERN RECOGNITION, VOLS 1-6. NEW YORK: IEEE, p. 2921-2924 4 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  72. Measuring graph similarity using spectral geometry

    ElGhawalby, H. & Hancock, E. R., 2008, IMAGE ANALYSIS AND RECOGNITION, PROCEEDINGS. Campilho, A. & Kamel, M. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 5112 LNCS. p. 517-526 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  73. Metamodel-based generation of WSRF-compliant SOA for collaborative cancer research

    Zang, T., Calinescu, R., Harris, S., Tsui, A., Crichton, C., Kwiatkowska, M., Gibbons, J., Davies, J., Brenton, J. & Caldas, C., 1 Dec 2008, Proceedings - 4th IEEE International Conference on eScience, eScience 2008. p. 406-407 2 p. 4736819

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  74. Methodology for the model-driven development of self-managing systems

    Calinescu, R., 1 Dec 2008, Conference on Computing Frontiers - Proceedings of the 2008 Conference on Computing Frontiers, CF'08.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  75. Modelling User-Phishing Interaction

    Dong, X., Clark, J. A. & Jacob, J., 2008, 2008 CONFERENCE ON HUMAN SYSTEM INTERACTIONS, VOLS 1 AND 2. NEW YORK: IEEE, p. 633-638 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  76. Multi-Agent Reinforcement Learning for Intrusion Detection: A Case Study and Evaluation

    Servin, A. & Kudenko, D., 2008, MULTIAGENT SYSTEM TECHNOLOGIES, PROCEEDINGS. Bergmann, R., Lindemann, G., Kirn, S. & Pechoucek, M. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 5244 LNAI. p. 159-170 12 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  77. Multi-agent reinforcement learning for intrusion detection

    Servin, A. & Kudenko, D., 2008, ADAPTIVE AGENTS AND MULTI-AGENT SYSTEMS. Tuyls, K., Nowe, A., Guessoum, Z. & Kudenko, D. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 211-223 13 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  78. Multigrid Reinforcement Learning with Reward Shaping

    Grzes, M. & Kudenko, D., 2008, ARTIFICIAL NEURAL NETWORKS - ICANN 2008, PT I. Kurkova, V., Neruda, R. & Koutnik, J. (eds.). PART 1 ed. BERLIN: SPRINGER-VERLAG BERLIN, Vol. 5163 LNCS. p. 357-366 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  79. Multiprocessors and the Real-time Specification for Java

    Wellings, A. J., 2008, ISORC 2008: 11TH IEEE SYMPOSIUM ON OBJECT/COMPONENT/SERVICE-ORIENTED REAL-TIME DISTRIBUTED COMPUTING - PROCEEDINGS. LOS ALAMITOS: IEEE COMPUTER SOC, p. 255-261 7 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  80. New Directions in Worst-Case Execution Time Analysis

    Bate, I. & Kazakov, D., 2008, 2008 IEEE CONGRESS ON EVOLUTIONARY COMPUTATION, VOLS 1-8. NEW YORK: IEEE, p. 3545-3552 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  81. New Directions in Worst-Case Execution Time Analysis

    Bate, I. & Kazakov, D., 2008, IEEE Congress on Evolutionary Computation (IEEE CEC 2008) within.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  82. No Going Back: An Interactive Visualization Application for Trailblazing on the Web

    Power, C., McQuillan, I., Petrie, H., Kennaugh, P., Daley, M. & Wozniak, G., 1 Jul 2008, Information Visualisation, 2008. IV '08. 12th International Conference . I E E E, p. 133 -142

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  83. No going back: An interactive visualization application for trailblazing on the web

    Power, C., McQuillan, I., Petrie, H., Kennaugh, P., Daley, M. & Wozniak, G., 2008, PROCEEDINGS OF THE 12TH INTERNATIONAL INFORMATION VISUALISATION. Banissi, E., Stuart, L., Jern, M., Andrienko, G., Marchese, FT., Memon, N., Alhajj, R., Wyeld, TG., Burkhard, RA., Grinstein, G., Groth, D., Ursyn, A., Maple, C., Faiola, A. & Craft, B. (eds.). LOS ALAMITOS: IEEE COMPUTER SOC, p. 133-142 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  84. Novel features in languages of the epsilon model management platform

    Kolovos, D. S., Paige, R. F. & Polack, F. A. C., 1 Dec 2008, 30th International Conference on Software Engineering, ICSE 2008 Co-located Workshops - Proceedings of the 2008 International Workshop on Models in Software Engineering, MiSE'08. p. 69-73 5 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  85. On the formal development of safety-critical software

    Galloway, A., Iwu, F., McDermid, J. & Toyn, I., 2008, VSTTE: Verified Software Theories, Tools, Experiments: First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised. Meyer, B. & Woodcock, J. (eds.). Zurich, Switzerland: SPRINGER-VERLAG BERLIN, Vol. LNCS 4171. p. 362-373 12 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  86. POSIX and the Verification Grand Challenge: a roadmap

    Freitas, L., Woodcock, J. & Butterfield, A., 2008, ICECCS 2008: THIRTEENTH IEEE INTERNATIONAL CONFERENCE ON THE ENGINEERING OF COMPLEX COMPUTER SYSTEMS, PROCEEDINGS. Breitman, K., Woodcock, J., Sterritt, R. & Hinchey, MG. (eds.). LOS ALAMITOS: IEEE COMPUTER SOC, p. 153-162 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  87. PRINCIPAL COMPONENT ANALYSIS OF SPECTRAL COEFFICIENTS FOR MESH WATERMARKING

    Luo, M. & Bors, A. G., 2008, 2008 IEEE INTERNATIONAL CONFERENCE ON IMAGE PROCESSING, PROCEEDINGS. NEW YORK: IEEE, p. 441-444 4 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  88. Parallel reinforcement learning with linear function approximation

    Grounds, M. & Kudenko, D., 2008, ADAPTIVE AGENTS AND MULTI-AGENT SYSTEMS. Tuyls, K., Nowe, A., Guessoum, Z. & Kudenko, D. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 4865 LNAI. p. 60-74 15 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  89. Parts Based Generative Models for Graphs

    White, D. & Wilson, R. C., 2008, 19TH INTERNATIONAL CONFERENCE ON PATTERN RECOGNITION, VOLS 1-6. NEW YORK: IEEE, p. 3318-3321 4 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  90. Pattern Vectors from the Ihara Zeta Function

    Ren, P., Wilson, R. C. & Hancock, E. R., 2008, 19TH INTERNATIONAL CONFERENCE ON PATTERN RECOGNITION, VOLS 1-6. NEW YORK: IEEE, p. 2495-2498 4 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  91. Plan-based Reward Shaping for Reinforcement Learning

    Grzes, M. & Kudenko, D., 2008, 2008 4TH INTERNATIONAL IEEE CONFERENCE INTELLIGENT SYSTEMS, VOLS 1 AND 2. NEW YORK: IEEE, Vol. 3. p. 416-423 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  92. Policy Evolution with Genetic Programming: a Comparison of Three Approaches

    Lim, Y. T., Cheng, P. C., Clark, J. A. & Rohatgi, P., 2008, 2008 IEEE CONGRESS ON EVOLUTIONARY COMPUTATION, VOLS 1-8. NEW YORK: IEEE, p. 1792-1800 9 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  93. Policy Evolution with Grammatical Evolution

    Linn, Y. T., Cheng, P. C., Clark, J. A. & Rohatgi, P., 2008, SIMULATED EVOLUTION AND LEARNING, PROCEEDINGS. Li, X., Kirley, M., Zhang, M., Green, D., Ciesielski, V., Abbass, H., Michalewicz, Z., Hendtlass, T., Deb, K., Tan, KC., Branke, J. & Shi, Y. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 5361 LNAI. p. 71-80 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  94. Polytopal Graph Complexity, Matrix Permanents, and Embedding

    Escolano, F., Hancock, E. R. & Lozano, M. A., 2008, STRUCTURAL, SYNTACTIC, AND STATISTICAL PATTERN RECOGNITION. DaVitoria Lobo, N., Kasparis, T., Roli, F., Kwok, JT., Georgiopoulos, M., Anagnostopoulos, GC. & Loog, M. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 5342 LNCS. p. 237-246 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  95. Predictable Out-of-order Execution Using Virtual Traces

    Whitham, J. & Audsley, N., 2008, RTSS: 2008 REAL-TIME SYSTEMS SYMPOSIUM, PROCEEDINGS. LOS ALAMITOS: IEEE COMPUTER SOC, p. 445-455 11 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  96. Priority Assignment for Real-Time Wormhole Communication in On-Chip Networks

    Shi, Z. & Burns, A., 2008, RTSS: 2008 REAL-TIME SYSTEMS SYMPOSIUM, PROCEEDINGS. LOS ALAMITOS: IEEE COMPUTER SOC, p. 421-430 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  97. Processing group parameters in the real-time specification for Java

    Wellings, A. J. & Kim, M. S., 2008, Proceedings of the 6th International Workshop on Java Technologies for Real-time and Embedded Systems, JTRES 2008, 24-26 September 2008, Santa Clara, California, USA. Bollella, G. & Locke, C. D. (eds.). ACM, Vol. 343. p. 3-9 7 p. (ACM International Conference Proceeding Series).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  98. Quantitative Evaluation on Heat Kernel Permutation Invariants

    Xiao, B., Wilson, R. C. & Hancock, E. R., 2008, STRUCTURAL, SYNTACTIC, AND STATISTICAL PATTERN RECOGNITION. DaVitoria Lobo, N., Kasparis, T., Roli, F., Kwok, JT., Georgiopoulos, M., Anagnostopoulos, GC. & Loog, M. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 5342 LNCS. p. 217-226 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  99. Ranking the Local Invariant Features for the Robust Visual Saliencies

    Xia, S., Ren, P. & Hancock, E. R., 2008, 19TH INTERNATIONAL CONFERENCE ON PATTERN RECOGNITION, VOLS 1-6. NEW YORK: IEEE, p. 3173-3176 4 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  100. Recognising Facial Expressions Using Spherical Harmonics

    Sharpe, J. & Hancock, E. R., 2008, STRUCTURAL, SYNTACTIC, AND STATISTICAL PATTERN RECOGNITION. DaVitoria Lobo, N., Kasparis, T., Roli, F., Kwok, JT., Georgiopoulos, M., Anagnostopoulos, GC. & Loog, M. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 5342 LNCS. p. 157-166 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  101. Recovering Face Shape and Reflectance Properties from Single Images

    Smith, W. A. P. & Hancock, E. R., 2008, 2008 8TH IEEE INTERNATIONAL CONFERENCE ON AUTOMATIC FACE & GESTURE RECOGNITION (FG 2008), VOLS 1 AND 2. NEW YORK: IEEE, p. 178-185 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  102. Response Time Upper Bounds for Fixed Priority Real-Time Systems.

    Davis, R. I. & Burns, A., Dec 2008, IEEE Real-Time Systems Symposium. p. 407-418 12 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  103. Reviewing and evaluating Automatic Term Recognition techniques

    Korkontzelos, I., Klapaftis, L. P. & Manandhar, S., 2008, ADVANCES IN NATURAL LANGUAGE PROCESSING, PROCEEDINGS. Nordstrom, B. & Ranta, A. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 5221 LNAI. p. 248-259 12 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  104. Robustness analysis of SARSA(lambda): Different models of reward and initialisation

    Grzes, M. & Kudenko, D., 2008, ARTIFICIAL INTELLIGENCE: METHODOLOGY, SYSTEMS, AND APPLICATIONS. Dochev, D., Pistore, M. & Traverso, P. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 144-156 13 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  105. Run Time Detection of Blocking Time Violations in Real-Time Systems

    dos Santos, O. M. & Wellings, A., 2008, RTCSA 2008: 14TH IEEE INTERNATIONAL CONFERENCE ON EMBEDDED AND REAL-TIME COMPUTING SYSTEMS AND APPLICATIONS - PROCEEDINGS. LOS ALAMITOS: IEEE COMPUTER SOC, p. 347-356 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  106. Schemas in Directed Emergent Drama

    Arinbjarnar, M. & Kudenko, D., 2008, INTERACTIVE STORYTELLING, PROCEEDINGS. Spierling, U. & Szilas, N. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 5334 LNCS. p. 180-185 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  107. SmallCheck and Lazy SmallCheck automatic exhaustive testing for small values

    Runciman, C., Naylor, M. & Lindblad, F., 2008, HASKELL'08: PROCEEDINGS OF THE ACM SIGPLAN 2008 HASKELL SYMPOSIUM. NEW YORK: ASSOC COMPUTING MACHINERY, p. 37-48 12 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  108. Software project similarity measurement based on fuzzy C-means

    Azzeh, M., Neagu, D. & Cowling, P., 2008, International Conference on software process. p. 123-134 12 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  109. Spectral Embedding of Feature Hypergraphs

    Ren, P., Wilson, R. C. & Hancock, E. R., 2008, STRUCTURAL, SYNTACTIC, AND STATISTICAL PATTERN RECOGNITION. DaVitoria Lobo, N., Kasparis, T., Roli, F., Kwok, JT., Georgiopoulos, M., Anagnostopoulos, GC. & Loog, M. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 5342 LNCS. p. 308-317 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  110. Supervised Principal Geodesic Analysis on Facial Surface Normals for Gender Classification

    Wu, J., Smith, W. A. P. & Hancock, E. R., 2008, STRUCTURAL, SYNTACTIC, AND STATISTICAL PATTERN RECOGNITION. DaVitoria Lobo, N., Kasparis, T., Roli, F., Kwok, JT., Georgiopoulos, M., Anagnostopoulos, GC. & Loog, M. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 5342 LNCS. p. 664-673 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  111. Supporting the support workers: training and supporting support workers for students with disabilities through e-learning, online resources and communication

    Sannia, M., Petrie, H., Power, C. D. & Swallow, D., 2008, Conference on Interactive Computer Aided Learning 2008. Kassel University Press

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  112. Survivability Management for Integrated Modular Safety-Critical Space Systems

    Montano, G. & McDermid, J. A., 2008, Proceedings of the 3rd International Association for the Advancement of Space Safety (IAASS 2008). Roma (Italy). 21-23 October 2008. International Association for the Advancement of Space Safety

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  113. The Epsilon Generation Language

    Rose, L. M., Paige, R. F., Kolovos, D. S. & Polack, F. A. C., 2008, MODEL DRIVEN ARCHITECTURE - FOUNDATIONS AND APPLICATIONS, PROCEEDINGS. Schieferdecker, I. & Hartman, A. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 5095 LNCS. p. 116 16 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  114. The Epsilon Transformation Language

    Kolovos, D. S., Paige, R. F. & Polack, F., 2008, Theory and Practice of Model Transformations : First International Conference, ICMT 2008, Zürich, Switzerland, July 1-2, 2008 Proceedings. Springer, p. 46-60 (Lecture Notes in Computer Science; vol. 5063).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  115. The Epsilon Transformation Language

    Kolovos, D. S., Paige, R. F. & Polack, F. A. C., 2008, THEORY AND PRACTICE OF MODEL TRANSFORMATIONS. Vallecillo, A., Gray, J. & Pierantonio, A. (eds.). NEW YORK: Springer, Vol. 5063 LNCS. p. 46-60 15 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  116. The GP Programming System

    Manning, G. & Plump, D., 2008, Proceedings of the Seventh International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2008). p. 1-13 (Electronic Communications of the EASST; vol. 10).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  117. The Reduceron: Widening the von Neumann bottleneck for graph reduction using an FPGA

    Naylor, M. & Runciman, C., 2008, IMPLEMENTATION AND APPLICATION OF FUNCTIONAL LANGUAGES. Chitil, O., Horvath, Z. & Zsok, V. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 5083 LNCS. p. 129-146 18 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  118. The pathways of complement

    Aitken, J. M., Clarke, T. & Timmis, J. I., 2008, Lecture Notes in Computer Science: Artificial Immune Systems. Springer Berlin / Heidelberg, Vol. 5132. p. 364-375 12 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  119. There's always one! Modelling outlying user performance

    Schiller, J. & Cairns, P., 2008, Conference on Human Factors in Computing Systems - Proceedings. p. 3513-3518 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  120. Threat Modelling in User Performed Authentication

    Dong, X., Clark, J. A. & Jacob, J. L., 2008, INFORMATION AND COMMUNICATIONS SECURITY, PROCEEDINGS. Chen, L., Ryan, MD. & Wang, G. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 5308 LNCS. p. 49-64 16 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  121. TinyOS extensions for a wireless sensor network node based on a dynamically reconfigurable processor

    Ochirsuren, E., Hinkelmann, H., Indrusiak, L. S. & Glesner, M., 2008, Distributed Embedded Systems: Design, Middleware and Resources. LAXENBURG: IFIP - International Federation for Information Processing, Vol. 271. p. 161-170 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  122. Towards Agile Engineering of High-Integrity Systems

    Paige, R. F., Charalambous, R., Ge, X. & Brooke, P. J., 2008, COMPUTER SAFETY, RELIABILITY, AND SECURITY, PROCEEDINGS. Harrison, MD. & Sujan, MA. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 5219 LNCS. p. 30-43 14 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  123. Towards a generic autonomic architecture for legacy resource management

    Calinescu, R., 1 Dec 2008, Innovations and Advanced Techniques in Systems, Computing Sciences and Software Engineering. p. 410-415 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  124. Traces as a Solution to Pessimism and Modeling Costs in WCET Analysis

    Whitham, J. & Audsley, N. C., 2008, 8th International Workshop on Worst-Case Execution Time (WCET) Analysis: Prague, Czech Republic, July 1, 2008. Kirner, R. (ed.). Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, Vol. 8. (OASICS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  125. Tuning Protocols To Improve The Energy Efficiency Of Sensornets

    Tate, J., Bate, I. & Poulding, S., 1 Sep 2008, Fourth UK Embedded Forum.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  126. User Behaviour Based Phishing Websites Detection

    Dong, X., Clark, J. A. & Jacob, J. L., 2008, 2008 INTERNATIONAL MULTICONFERENCE ON COMPUTER SCIENCE AND INFORMATION TECHNOLOGY (IMCSIT), VOLS 1 AND 2. Ganzha, M., Paprzycki, M. & PelechPilichowski, T. (eds.). NEW YORK: IEEE, Vol. 3. p. 728-735 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  127. Using Bayes Theorem for Path Prediction

    Baker, R., Cowling, P., Randall, T. & Jiang, P., 2008, 9th Informatics Research Workshop for Research Students, University of Bradford, UK.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  128. Using trace scratchpads to reduce execution times in predictable real-time architectures

    Whitham, J. & Audsley, N., 2008, PROCEEDINGS OF THE 14TH IEEE REAL-TIME AND EMBEDDED TECHNOLOGY AND APPLICATIONS SYMPOSIUM. LOS ALAMITOS: IEEE COMPUTER SOC, p. 305-316 12 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  129. Utilising Application Flexibility in Energy Aware Computing

    Bate, I., 2008, RTCSA 2008: 14TH IEEE INTERNATIONAL CONFERENCE ON EMBEDDED AND REAL-TIME COMPUTING SYSTEMS AND APPLICATIONS - PROCEEDINGS. LOS ALAMITOS: IEEE COMPUTER SOC, p. 285-290 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  130. Utilising Application Flexibility in Energy Aware Computing

    Bate, I., 2008, 14th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications. p. 285-290 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  131. Validation of Executable Application Models Mapped onto Network-on-Chip Platforms

    Määttä, S., Indrusiak, L. S., Ost, L., Moller, L., Nurmi, J., Glesner, M. & Moraes, F., 2008, Int Symposium on Industrial Embedded Systems. New York: IEEE, p. 118-125 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  132. WSRF-based modeling of clinical trial information for collaborative cancer research

    Zang, T., Calinescu, R., Harris, S., Tsui, A., Kwiatkowska, M., Gibbons, J., Davies, J., Maccallum, P. & Caldas, C., 5 Sep 2008, Proceedings CCGRID 2008 - 8th IEEE International Symposium on Cluster Computing and the Grid. p. 73-81 9 p. 4534204

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  133. Web accessibility - Automatic/manual evaluation and authoring tools - Introduction to the special thematic session

    Petrie, H., Power, C. & Weber, G., 2008, COMPUTERS HELPING PEOPLE WITH SPECIAL NEEDS, PROCEEDINGS. Miesenberger, K., Klaus, J., Zagler, W. & Karshmer, A. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 5105 LNCS. p. 334-337 4 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  134. Who Supports the Support Workers? e-Learning for Support Workers of Students With Disabilities

    Power, C., Petrie, H., Swallow, D. & Sannia, M., 2008, 7TH EUROPEAN CONFERENCE ON E-LEARNING, VOL 2. Willimas, R. & Remenyi, D. (eds.). NR READING: ACADEMIC CONFERENCES LTD, p. 304-312 9 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  135. Word Sense Induction Using Graphs of Collocations

    Klapaftis, I. P. & Manandhar, S., 2008, Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence . Amsterdam: IOS Press, p. 298-302 4 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  136. YASS: a Scaleable Sensornet Simulator for Large Scale Experimentation

    Tate, J. & Bate, I., 1 Sep 2008, Communicating Process Architectures 2008. Welch, PH., Stepney, S., Polack, FAC., Barnes, FRM., McEwan, AA. & Stiles, GS. (eds.). AMSTERDAM: I O S PRESS, p. 411-430 20 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  137. Chapter › Research
  138. CLP(BN ): constraint logic programming for probabilistic knowledge

    Santos Costa, V., Page, D. & Cussens, J., 2008, Probabilistic Inductive Logic Programming: Theory and Applications. De Raedt, L., Frasconi, P., Kersting, K. & Muggleton, S. (eds.). Berlin: Springer, p. 156-188 32 p. (Lecture Notes in Artificial Intelligence; vol. 4911).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  139. From immersion to addiction in videogames

    Seah, M. & Cairns, P., 2008, Proceedings of the 22nd British HCI Group Annual. British Computer Society Swinton, UK, UK, Vol. 1. p. 55-63

    Research output: Chapter in Book/Report/Conference proceedingChapter

  140. Other contribution › Research
  141. The Data Type of Spatial Objects

    Johnson, K. H. A. & Tucker, J. V., 2008, (Unpublished) 39 p.

    Research output: Other contribution

  142. Other › Research › Not peer-reviewed
  143. Special track on Coordination Models, Languages and Architectures: editorial message

    Schumacher, M. I. & Wood, A., 2008, p. 80-81.

    Research output: Contribution to conferenceOther

  144. Paper › Research › Peer-reviewed
  145. A Comparison of State-Based Modelling Tools for Model Validation

    Aydal, E. G., Utting, M. & Woodcock, J., 2008, p. 278-296.

    Research output: Contribution to conferencePaperpeer-review

  146. A New Paradigm for SpeckNets: Inspiration from Fungal Colonies

    Falconer, R., Bown, J., Hart, E. & Timmis, J., 2008, p. 90-95.

    Research output: Contribution to conferencePaperpeer-review

  147. A Note on Traces Refinement and the it onf Relation in the Unifying Theories of Programming

    Cavalcanti, A. & Gaudel, M-C., 2008, p. 42-61.

    Research output: Contribution to conferencePaperpeer-review

  148. A Theory of Pointers for the UTP

    Harwood, W., Cavalcanti, A. & Woodcock, J., 2008, p. 141-155.

    Research output: Contribution to conferencePaperpeer-review

  149. ABZ2008 VSR-Net Workshop

    Woodcock, J. & Boca, P., 2008, p. 378-379.

    Research output: Contribution to conferencePaperpeer-review

  150. Adaptable Lymphocytes for Artificial Immune Systems

    Andrews, P. S. & Timmis, J., 2008, p. 376-386.

    Research output: Contribution to conferencePaperpeer-review

  151. An Actor-Oriented Group Mobility Model for Wireless Ad Hoc Sensor Networks

    Ochirsuren, E., Indrusiak, L. S. & Glesner, M., 1 Jun 2008, p. 174 -179.

    Research output: Contribution to conferencePaperpeer-review

  152. An Artificial Immune System for Evolving Amino Acid Clusters Tailored to Protein Function Prediction

    Secker, A., Davies, M. N., Freitas, A. A., Timmis, J., Clark, E. & Flower, D. R., 2008, p. 242-253.

    Research output: Contribution to conferencePaperpeer-review

  153. An Empirical Analysis of the Impact of Prioritised Sweeping on the DynaQ's Performance

    Grzes, M. & Kudenko, D., 2008, p. 1041-1051.

    Research output: Contribution to conferencePaperpeer-review

  154. Applying UML Interactions and Actor-Oriented Simulation to the Design Space Exploration of Network-on-Chip Interconnects

    Indrusiak, L. S., Ost, L., Moller, L., Moraes, F. & Glesner, M., 1 Apr 2008, p. 491 -494.

    Research output: Contribution to conferencePaperpeer-review

  155. Automatic extraction of notions from course material

    Pedroni, M., Oriol, M., Meyer, B. & Angerer, L., 2008, p. 251.

    Research output: Contribution to conferencePaperpeer-review

  156. Automorphisms of transition graphs for a linear cellular automaton

    Powley, E. J. & Stepney, S., 2008, p. 55-68.

    Research output: Contribution to conferencePaperpeer-review

  157. Combining shape-from-shading and stereo using Gaussian-Markov random fields

    Haines, T. S. F. & Wilson, R. C., 8 Dec 2008, p. 1-4. 4 p.

    Research output: Contribution to conferencePaperpeer-review

  158. Constructing Models with the Human-Usable Textual Notation

    Rose, L. M., Paige, R. F., Kolovos, D. S. & Polack, F. A. C., 2008, p. 249-263.

    Research output: Contribution to conferencePaperpeer-review

  159. Course management with TrucStudio

    Pedroni, M., Oriol, M., Meyer, B., Albonico, E. & Angerer, L., 1 Aug 2008, p. 260.

    Research output: Contribution to conferencePaperpeer-review

  160. Detecting and Repairing Inconsistencies across Heterogeneous Models

    Kolovos, D., Paige, R. & Polack, F., 2008, p. 356--364.

    Research output: Contribution to conferencePaperpeer-review

  161. Directions for Methodological Research in Information Visualization

    Craft, B. & Cairns, P. A., 2008, p. 44-50.

    Research output: Contribution to conferencePaperpeer-review

  162. Display Registration for Device Interaction: a Proof of Principle Prototype

    Pears, N., Olivier, P. & Jackson, D., 2008, p. 446-451.

    Research output: Contribution to conferencePaperpeer-review

  163. Empirical Investigation of an Artificial Cytokine Network

    Read, M., Timmis, J. & Andrews, P. S., 2008, p. 340-351.

    Research output: Contribution to conferencePaperpeer-review

  164. Encoding it ircus Programs in ProofPowerZ

    Zeyda, F. & Cavalcanti, A., 2008, p. 218-237.

    Research output: Contribution to conferencePaperpeer-review

  165. Exact Response Time Scheduling Analysis of Accumulatively Monotonic Multiframe Real Time Tasks

    Zuhily, A. & Burns, A., 2008, p. 410-424.

    Research output: Contribution to conferencePaperpeer-review

  166. Exact scheduling analysis of accumulatively monotonic multiframe tasks subjected to release jitter and arbitrary deadlines

    Zuhily, A. & Burns, A., 2008, p. 600-607.

    Research output: Contribution to conferencePaperpeer-review

  167. Generation of Dilemma-Based Narratives: Method and Turing Test Evaluation

    Barber, H. & Kudenko, D., 2008, p. 214-217.

    Research output: Contribution to conferencePaperpeer-review

  168. Getting Farther on Software Evolution via AOP and Reflection

    Oriol, M., Cazzola, W., Chiba, S. & Saake, G., 2008, p. 63-69.

    Research output: Contribution to conferencePaperpeer-review

  169. Grand Challenge 7: Journeys in Non-Classical Computation

    Stepney, S., Abramsky, S., Adamatzky, A., Johnson, C. G., Timmis, J., Gelenbe, E., Abramsky, S. & Sassone, V., 2008, p. 407-421.

    Research output: Contribution to conferencePaperpeer-review

  170. Graph Characteristic from the Gauss-Bonnet Theorem

    ElGhawalby, H. & Hancock, E. R., 2008, p. 207-216.

    Research output: Contribution to conferencePaperpeer-review

  171. Graph Drawing using Quantum Commute Time

    Emms, D., Hancock, E. & Wilson, R., 2008, p. 3743-3746. 4 p.

    Research output: Contribution to conferencePaperpeer-review

  172. Immune Systems and Computation: An Interdisciplinary Adventure

    Timmis, J., Andrews, P. S., Owens, N. D. L. & Clark, E., 2008, p. 8-18.

    Research output: Contribution to conferencePaperpeer-review

  173. Immuno-Engineering

    Timmis, J., Hart, E., Hone, A., Neal, M., Robins, A., Stepney, S. & Tyrrell, A., 2008.

    Research output: Contribution to conferencePaperpeer-review

  174. Implementation and Application of Functional Languages

    Mitchell, N., Runciman, C., Chitil, O., Horváth, Z. & Zsók, V., 2008, p. 147-164. 18 p.

    Research output: Contribution to conferencePaperpeer-review

  175. Innovations in measuring accessibility: theoretical and practical perspectives

    Petrie, H., Power, C., Adams, R., Hwang, F., Weber, G., Darzentas, J. S. & Velasco, C. A., 2008, p. 197-198.

    Research output: Contribution to conferencePaperpeer-review

  176. Linking VDM and Z

    Woodcock, J. & Freitas, L., 2008, p. 143-152.

    Research output: Contribution to conferencePaperpeer-review

  177. Logitboost weka classifier speech segmentation

    Ziólko, B., Manandhar, S., Wilson, R. C. & Ziólko, M., 23 Jun 2008, p. 1297-1300. 4 p.

    Research output: Contribution to conferencePaperpeer-review

  178. Multi-Agent Reinforcement Learning for Intrusion Detection: A case study and evaluation

    Servin, A. & Kudenko, D., 2008, p. 873-874.

    Research output: Contribution to conferencePaperpeer-review

  179. Multigrid Reinforcement Learning with Reward Shaping

    Grzes, M. & Kudenko, D., 2008, p. 357-366.

    Research output: Contribution to conferencePaperpeer-review

  180. Multiple image disparity correction for 3-D scene representation

    Grum, M. & Bors, A. G., Oct 2008, p. 209-212. 4 p.

    Research output: Contribution to conferencePaperpeer-review

  181. On the Predictability of Random Tests for Object-Oriented Software

    Ciupa, I., Pretschner, A., Leitner, A., Oriol, M. & Meyer, B., 1 Apr 2008, p. 72--81.

    Research output: Contribution to conferencePaperpeer-review

  182. On the meaning of modes in uniprocessor real-time systems

    Martins, P. & Burns, A., 2008, p. 324-325.

    Research output: Contribution to conferencePaperpeer-review

  183. POSIX and the Verification Grand Challenge: A Roadmap

    Freitas, L., Woodcock, J. & Butterfield, A., 2008, p. 153-162.

    Research output: Contribution to conferencePaperpeer-review

  184. Parts based generative models for graphs

    White, D. & Wilson, R. C., 8 Dec 2008, p. 1-4.

    Research output: Contribution to conferencePaperpeer-review

  185. Priority Assignment for Real-Time Wormhole Communication in On-Chip Networks

    Shi, Z. & Burns, A., 2008, p. 421-430.

    Research output: Contribution to conferencePaperpeer-review

  186. RBF shape histograms and their application to 3D face processing

    Pears, N., 2008, p. 1-8.

    Research output: Contribution to conferencePaperpeer-review

  187. Real-Time Communication Analysis for On-Chip Networks with Wormhole Switching

    Shi, Z. & Burns, A., 1 Apr 2008, p. 161 -170.

    Research output: Contribution to conferencePaperpeer-review

  188. Recognising Facial Expressions Using Spherical Harmonics

    Sharpe, J. & Hancock, E. R., 2008, p. 157-166.

    Research output: Contribution to conferencePaperpeer-review

  189. Reputation Attacks in Mediated and Automated Systems

    Rabaiotti, JR., Chivers, H. & Clark, J. A., 2008.

    Research output: Contribution to conferencePaperpeer-review

  190. Research methods for HCI

    Cox, A. L., Cairns, P. A., Thimbleby, H. W. & Webb, N., 2008, p. 221-222.

    Research output: Contribution to conferencePaperpeer-review

  191. Reviewing and Evaluating Automatic Term Recognition Techniques

    Korkontzelos, I., Klapaftis, I. P. & Manandhar, S., 2008, p. 248-259.

    Research output: Contribution to conferencePaperpeer-review

  192. Robustness Analysis of SARSA(lambda): Different Models of Reward and Initialisation

    Grzes, M. & Kudenko, D., 2008, p. 144-156.

    Research output: Contribution to conferencePaperpeer-review

  193. Schemas in Directed Emergent Drama

    Arinbjarnar, M. & Kudenko, D., 2008, p. 180-185.

    Research output: Contribution to conferencePaperpeer-review

  194. Searching for resource-efficient programs: low-power pseudorandom number generators

    White, D. R., Clark, J. A., Jacob, J. & Poulding, S. M., 2008, p. 1775-1782.

    Research output: Contribution to conferencePaperpeer-review

  195. Security of two-way quantum cryptography against asymmetric attacks - art. no. 709215

    Pirandola, S., Mancini, S., Lloyd, S. & Braunstein, S. L., 2008, p. 9215.

    Research output: Contribution to conferencePaperpeer-review

  196. Segmentation of Biological Cell Images for Sonification

    Edwards, A. D. N., Hines, G. & Hunt, A., 1 May 2008, p. 128 -132.

    Research output: Contribution to conferencePaperpeer-review

  197. Strengthening inferred specifications using search based testing

    Ghani, K. & Clark, JA., 2008.

    Research output: Contribution to conferencePaperpeer-review

  198. The Epsilon Generation Language

    Rose, L. M., Paige, R. F., Kolovos, D. S. & Polack, F. A. C., 2008, p. 1--16.

    Research output: Contribution to conferencePaperpeer-review

  199. The Grand Challenge of Scalability for Model Driven Engineering

    Kolovos, D. S., Paige, R. F. & Polack, F., 2008, p. 48-53.

    Research output: Contribution to conferencePaperpeer-review

  200. The Miracle of Reactive Programming

    Woodcock, J., 2008, p. 202-217.

    Research output: Contribution to conferencePaperpeer-review

  201. The Role of Dependency Links in Ensuring Architectural View Consistency

    Radjenovic, A. & Paige, R. F., 2008, p. 199-208. 9 p.

    Research output: Contribution to conferencePaperpeer-review

  202. The challenges faced by academia preparing students for industry: what we teach and what we do

    Oshlyansky, L., Cairns, P. A., Sasse, A. & Harrison, C., 2008, p. 203-204.

    Research output: Contribution to conferencePaperpeer-review

  203. There's always one! modelling outlying user performance

    Schiller, J. & Cairns, P. A., 2008, p. 3513-3518.

    Research output: Contribution to conferencePaperpeer-review

  204. Towards Agile Engineering of High-Integrity Systems

    Paige, R. F., Charalambous, R., Ge, X. & Brooke, P. J., 2008, p. 30-43. 13 p.

    Research output: Contribution to conferencePaperpeer-review

  205. UTP Semantics for Handel-C

    Perna, J. I. & Woodcock, J., 2008, p. 142-160.

    Research output: Contribution to conferencePaperpeer-review

  206. Unifying Theories of Interrupts

    McEwan, A. A. & Woodcock, J., 2008, p. 122-141.

    Research output: Contribution to conferencePaperpeer-review

  207. Unit Testing Model Management Operations

    Kolovos, D. S., Paige, R. F., Rose, L. M. & Polack, F. A. C., 2008.

    Research output: Contribution to conferencePaperpeer-review

  208. WHERE? Through Life Safety Management: Some Concepts and Issues: Some Concepts and Issues

    McDermid, J. A., 2008.

    Research output: Contribution to conferencePaperpeer-review

  209. Web Accessibility: Automatic/Manual Evaluation and Authoring Tools

    Petrie, H., Power, C. & Weber, G., 2008, p. 334-337.

    Research output: Contribution to conferencePaperpeer-review

  210. Paper › Research › Not peer-reviewed
  211. Adaptive Circuit Control through Gene Expression

    Clegg, K. & Stepney, S., 2008, p. 154-163.

    Research output: Contribution to conferencePaper

  212. Analogue Circuit Control through Gene Expression

    Clegg, K. & Stepney, S., 2008, p. 154-163.

    Research output: Contribution to conferencePaper

  213. Autonomous Objects and Bottom-Up Composition in ZOO Applied to a Case Study of Biological Reactivity

    Amálio, N., Polack, F. & Zhang, J., 2008, p. 323-336.

    Research output: Contribution to conferencePaper

  214. Enforcing Behaviour with Anonymity

    Wright, J. & Stepney, S., 2008.

    Research output: Contribution to conferencePaper

  215. Experience Report: Visualizing Data through Functional Pipelines

    Duke, D., Borgo, R., Runciman, C. & Wallace, M., 1 Sep 2008, p. 379--382.

    Research output: Contribution to conferencePaper

  216. From immersion to addiction in videogames

    Seah, M. & Cairns, P. A., 2008, p. 55-63.

    Research output: Contribution to conferencePaper

  217. Internalization, qualitative methods, and evaluation

    Faisal, S., Craft, B., Cairns, P. & Blandford, A., 2008, p. 1-8.

    Research output: Contribution to conferencePaper

  218. Investigating Patterns for the Process-Oriented Modelling and Simulation of Space in Complex Systems

    Andrews, P. S., Sampson, A. T., Bjørndalen, J. M., Stepney, S., Timmis, J., Warren, D. N. & Welch, P. H., 2008, p. 17-24.

    Research output: Contribution to conferencePaper

  219. Investigating emergence by coarse graining Elementary Cellular Automata

    Weeks, A., Polack, F. & Stepney, S., 2008, p. 686-693.

    Research output: Contribution to conferencePaper

  220. Not all patterns, but enough: an automatic verifier for partial but sufficient pattern matching

    Mitchell, N. & Runciman, C., 2008, p. 49--60.

    Research output: Contribution to conferencePaper

  221. Policy evolution with genetic programming

    Lim, YT., Cheng, PC. & Clark, J. A., 2008.

    Research output: Contribution to conferencePaper

  222. Protein folding with stochastic L-Systems

    Danks, G., Stepney, S. & Caves, L., 2008, p. 150-157.

    Research output: Contribution to conferencePaper

  223. Simulating biology: towards understanding what the simulation shows

    Andrews, P. S., Polack, F., Sampson, A. T., Timmis, J. & Coles, M., 2008, p. 93-123.

    Research output: Contribution to conferencePaper

  224. Simulation and Prediction in Safety Case Evidence

    Alexander, R. & Kelly, T., 2008.

    Research output: Contribution to conferencePaper

  225. Structuring Safety Cases for Autonomous Systems

    Alexander, R., Herbert, N. & Kelly, T., 2008.

    Research output: Contribution to conferencePaper

  226. The Reduceron: Widening the von Neumann Bottleneck for Graph Reduction using an FPGA

    Naylor, M. & Runciman, C., 2008, p. 129-146.

    Research output: Contribution to conferencePaper

  227. Towards an Executable Model of Auxin Transport Canalisation

    Garnett, P., Stepney, S. & Leyser, O., 2008, p. 63-91.

    Research output: Contribution to conferencePaper

  228. WHERE? Risk, Uncertainty and Software Safety

    McDermid, J. A., 2008.

    Research output: Contribution to conferencePaper

  229. Book › Research
  230. Communicating Process Architectures 2008

    Welch, P. H. (ed.), Stepney, S. (ed.), Polack, F. (ed.), Barnes, F. R. M. (ed.), McEwan, A. A. (ed.), Stiles, G. S. (ed.), Broenink, J. F. (ed.) & Sampson, A. T. (ed.), 2008, IOS Press. (Concurrent Systems Engineering Series; vol. 66)

    Research output: Book/ReportBook

  231. Objects, Components, Models and Patterns: 46th International Conference, TOOLS EUROPE 2008, Zurich, Switzerland, June 30 - July 4, 2008. Proceedings

    Paige, R. F. (ed.) & Meyer, B. (ed.), 2008, Springer. (Lecture notes in Business Information Processing; vol. 11)

    Research output: Book/ReportBook

  232. Practical Distributed Processing

    Brooke, P. J. & Paige, R. F., 2008, Springer. 262 p. (Undergraduate Topics in Computer Science)

    Research output: Book/ReportBook

  233. Remove this!

    Nasios, N. & Bors, AG., 2008, en.scientificcommons.org.

    Research output: Book/ReportBook

  234. Research Method for Human-Computer Interaction

    Cairns, P. A. (ed.) & Cox, A. L. (ed.), 2008, Cambridge University Press. 264 p.

    Research output: Book/ReportBook

  235. Verified Software: Theories, Tools, Experiments: Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008. Proceedings

    Shankar, N. (ed.) & Woodcock, J. (ed.), 2008, Springer. (Lecture Notes in Computer Science; vol. 5295)

    Research output: Book/ReportBook

  236. Doctoral Thesis › Research
  237. Editorial › Research › Peer-reviewed
  238. Guest Editorial

    Barkaoui, K., Broy, M., Cavalcanti, A. & Cerone, A., 2008

    Editorial in Formal Asp. Comput.

  239. Untitled

    Barkaoui, K., Broy, M., Cavalcanti, A. & Cerone, A., Jul 2008

    Editorial in Formal Aspects of Computing

  240. Literature review › Research › Peer-reviewed
  241. Book/Film/Article review › Research › Peer-reviewed
  242. Comment/debate › Research › Peer-reviewed
  243. Letter › Research › Peer-reviewed
  244. Quantum Illumination with Gaussian States

    Tan, S-H., Erkmen, B. I., Giovannetti, V., Guha, S., Lloyd, S., Maccone, L., Pirandola, S. & Shapiro, J. H., 18 Dec 2008

    Letter in Physical Review Letters

  245. Article › Research › Peer-reviewed
  246. A constraint language for specifying combinatorial problems

    Frisch, A., Harvey, W., Jefferson, C., Martínez-Hernández, B. & Miguel, I., Sep 2008

    Article in Journal of Constraints

  247. An analogue sum and threshold neuron based on the quantum tunnelling amplification of electrical pulses

    Samardak, A., Nogaret, A., Taylor, S., Austin, J., Farrer, I. & Ritchie, D. A., 7 Aug 2008

    Article in New Journal of Physics

  248. Association between macro and micro mineral composition, and intrinsic mechanical properties, DXA, and cortical thickness, in human femurs and deer antler bone

    Landete-Castillejos, T., Currey, J. D., Estevez, J. A., Gonzalez, B., Insausti, R., Garcia, A., Martinez, A., Ceacero, F., Garcia, A. J. & Gallego, L., 2008

    Article in Calcified tissue international

  249. Characterising intrusion detection sensors

    Shaikh, SA., Chivers, H., Nobles, P. & Clark, J. A., 2008

    Article in Network Security

  250. ESSENCE: A constraint language for specifying combinatorial problems

    Frisch, A. M., Harvey, W., Jefferson, C., Hernández, B. M. & Miguel, I., Sep 2008

    Article in Journal of Constraints

  251. Extremism propagation in social networks with hubs

    Franks, D. W., Noble, J., Kaufmann, P. & Stagl, S., Aug 2008

    Article in Adaptive behavior

  252. Hybrid quantum computation in quantum optics

    van Loock, P., Munro, W. J., Nemoto, K., Spiller, T. P., Ladd, T. D., Braunstein, S. L. & Milburn, G. J., 1 Aug 2008

    Article in Physical Review A

  253. Measuring and defining the experience of immersion in games

    Jennett, C., Cox, A. L., Cairns, P., Dhoparee, S., Epps, A., Tijs, T. & Walton, A., Sep 2008

    Article in International Journal of Human-Computer Studies

  254. Molecular resonances and the Jacobi shape transition in 48Cr

    Salsac, M. D., Haas, F., Courtin, S., Algora, A., Beck, C., Beghini, S., Behera, B. R., Chapman, R., Corradi, L., Dombradi, Z., Farnea, E., Fioretto, E., Gadea, A., Jenkins, D. G., Latina, A., Lebhertz, D., Lenzi, S., Liang, X., Marginean, N., Montagnoli, G. & 16 others, Napoli, D., Papka, P., Pokrovski, I., Pollarolo, G., Rousseau, M., Sahin, E., Sanchez, A. S. I., Scarlassara, F., Sohler, D., Stefanini, M., Szilner, S., Trotta, M., Ur, C., Della Vedova, F., Wang, Z. M. & Wiedemann, K. T., 1 May 2008

    Article in Journal of Physics: Conference Series

  255. Optimizing amino acid groupings for GPCR classification

    Davies, M. N., Secker, A., Freitas, A. A., Clark, E., Timmis, J. & Flower, D. R., 15 Sep 2008

    Article in Bioinformatics

  256. Solving quantified constraint satisfaction problems

    Gent, I. P., Nightingale, P., Rowley, A. & Stergiou, K., 1 Apr 2008

    Article in Artificial Intelligence

  257. The insecticidal activity of recombinant garlic lectins towards aphids

    Fitches, E., Wiles, D., Douglas, A. E., Hinchliffe, G., Audsley, N. & Gatehouse, J. A., Oct 2008

    Article in Insect Biochemistry and Molecular Biology

  258. Article › Research › Not peer-reviewed
  259. Editorial

    Jones, C. B. & Woodcock, J., 2008

    Article in Formal Asp. Comput.