Search research publications and outputs

  1. Software › Research
  2. The Epsilon Languages and Tools Framework

    Kolovos, D., Rose, L. M. & Paige, R. F., 2013

    Research output: Non-textual formSoftware

  3. Article › Research › Peer-reviewed
  4. Parallel file system analysis through application I/O Tracing

    Wright, S. A., Hammond, S. D., Pennycook, S. J., Bird, R. F., Herdman, J. A., Miller, I., Vadgama, A., Bhalerao, A. & Jarvis, S. A., 1 Feb 2013

    Article in Computer Journal

  5. Paper › Research › Peer-reviewed
  6. Using Mutation Analysis to Evolve Subdomains for Random Testing

    Patrick, M. T., Alexander, R., Oriol, M. Y. A. & Clark, J. A., Mar 2013, p. 53-62. 10 p.

    Research output: Contribution to conferencePaper

  7. Other contribution › Research
  8. A HADOOP-Based Framework for Parallel and Distributed Feature Selection

    Hodge, V. J., Jackson, T. & Austin, J., 1 Sep 2013, Department of Computer Science, University of York, UK

    Research output: Other contribution

  9. Conference contribution › Research
  10. A Verified Protocol to Implement Multi-way Synchronisation and Interleaving in CSP

    Oliveira, M. V. M., Júnior, I. S. D. M. & Woodcock, J., 2013, Software Engineering and Formal Methods : 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedings. Hierons, R. M., Merayo, M. G. & Bravetti, M. (eds.). SPRINGER, Vol. 8137. p. 46-60 15 p. (Lecture Notes in Computer Science).

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

  11. An incremental verification framework for component-based software systems

    Johnson, K. H. A., Calinescu, R. C. & Kikuchi, S., 2013, CBSE '13 : Proceedings of the 16th International ACM Sigsoft symposium on Component-based software engineering. New York: ACM, p. 33-42 10 p.

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

  12. Do games attract or sustain engagement in citizen science? A study of volunteer motivations

    Iacovides, I., Jennett, C., Cornish-Trestrail, C. & Cox, A. L., 1 Apr 2013, CHI '13 Extended Abstracts on Human Factors in Computing Systems. New York, USA: ACM, p. 1101-1106 6 p.

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

  13. Extending the Associative Rule Chaining Architecture for Multiple Arity Rules

    Burles, N. J., Austin, J. & O'Keefe, S., 2013, Proceedings of the Ninth International Workshop on Neural-Symbolic Learning and Reasoning. p. 47-51 5 p.

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

  14. Learning by volunteer computing, thinking and gaming: What and how are volunteers learning by participating in Virtual Citizen Science?

    Kloetzer, L., Scheider, D., Jennett, C., Iacovides, I., Eveleigh, A., Cox, A. L. & Gold, M., 2013, Changing Configurations of Adult Education in Transitional Times: Conference Proceedings. ESREA: European Society for Research on the Education of Adults, p. 73-92

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

  15. Performance modelling of magnetohydrodynamics codes

    Bird, R. F., Wright, S. A., Beckingsale, D. A. & Jarvis, S. A., 1 Mar 2013, Computer Performance Engineering - 9th European Workshop, EPEW 2012, Revised Selected Papers. Vol. 7587 LNCS. p. 197-209 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7587 LNCS).

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

  16. Selecting Highly Efficient Sets of Subdomains for Mutation Adequacy

    Patrick, M., Alexander, R., Oriol, M. & Clark, J. A., 1 Dec 2013, Software Engineering Conference (APSEC, 2013 20th Asia-Pacific). Vol. 1. p. 91-98 8 p.

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

  17. Supporting Learning Within the Workplace: Device Training in Healthcare

    Iacovides, I., Cox, A. L. & Blandford, A., 2013, Proceedings of the 31st European Conference on Cognitive Ergonomics. New York, NY, USA: ACM, p. 30:1-30:4 (ECCE '13).

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

  18. Testing Autonomous Robot Control Software Using Procedural Content Generation

    Arnold, J. & Alexander, R., 2013, Computer Safety, Reliability, and Security. Springer, Vol. 8153 LNCS. p. 33-44 12 p. (Lecture Notes in Computer Science; vol. 8153).

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

  19. Unifying Theories of Programming in Isabelle

    Foster, S. & Woodcock, J., 2013, Unifying Theories of Programming and Formal Engineering Methods - International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures. Liu, Z., Woodcock, J. & Zhu, H. (eds.). SPRINGER, Vol. 8050. p. 109-155 47 p. (Lecture Notes in Computer Science).

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

  20. Working paper › Research
  21. Co-evolution of networks and quantum dynamics: a generalization of the Barabási-Albert model of preferential attachment

    Hancock, E., Konno, N., Latora, V., Machida, T., Nicosia, V., Severini, S. & Wilson, R., 4 Feb 2013, Arxiv (Cornell University), 10 p.

    Research output: Working paper

  22. Chapter (peer-reviewed) › Research › Not peer-reviewed
  23. Improving the associative rule chaining architecture

    Burles, N. J., O'Keefe, S. & Austin, J., 2013, Artificial Neural Networks and Machine Learning - ICANN 2013: 23rd International Conference on Artificial Neural Networks, Sofia, Bulgaria, September 2013. Proceedings.. Mladenov, V., Palm, G., Appollini, B., Koprinkova-Hristova, P., Villa, A. & Kasabov, N. (eds.). Berlin: Springer-Verlag, Vol. 8131 LNCS. p. 98-105 8 p. (Lecture Notes in Computer Science; vol. 8131).

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)