Search research publications and outputs

  1. 2014
  2. Indistinguishability Obfuscation and UCEs: The Case of Computationally Unpredictable Sources

    Brzuska, C., Farshim, P. & Mittelbach, A., 2014, Advances in Cryptology – CRYPTO 2014. Vol. 8616. p. 188-205

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

  3. Node centrality for continuous-time quantum walks

    Rossi, L., Torsello, A. & Hancock, E. R., 2014, Structural, Syntactic, and Statistical Pattern Recognition: Joint IAPR International Workshop, S+SSPR 2014, Joensuu, Finland, August 20-22, 2014. Proceedings. Springer-Verlag, Vol. 8621 LNCS. p. 103-112 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8621 LNCS).

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

  4. Probability-based semantic interpretation of mutants

    Patrick, M., Alexander, R., Oriol, M. & Clark, J. A., 2014, Proceedings - IEEE Seventh International Conference on Software Testing, Verification and Validation Workshops: ICSTW 2014. IEEE Computer Society Press, p. 186-195 10 p. 6825657

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

  5. Towards Rigorously Faking Bidirectional Model Transformations

    Poskitt, C., Dodds, M., Paige, R. F. & Rensink, A., 2014, AMT 2014 - Analysis of Model Transformations Workshop Proceedings. Dingel, J., de Lara, J., Lucio, L. & Vangheluwe, H. (eds.). CEUR Workshop Proceedings, Vol. 1277. p. 70-75 (CEUR Workshop Proceedings).

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

  6. Transitive state alignment for the quantum jensen-shannon kernel

    Torsello, A., Gasparetto, A., Rossi, L., Bai, L. & Hancock, E. R., 2014, Structural, Syntactic, and Statistical Pattern Recognition: Joint IAPR International Workshop, S+SSPR 2014, Joensuu, Finland, August 20-22, 2014. Proceedings. Fränti, P., Brown, G., Loog, M., Escolano, F. & Pelillo, M. (eds.). Springer-Verlag, Vol. 8621 LNCS. p. 22-31 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8621 LNCS).

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

  7. 2013
  8. 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

  9. 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

  10. 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

  11. 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

  12. 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