Search research publications and outputs

  1. 2018
  2. Proceedings of the Tenth Workshop on Energy Methods in Computer Vision and Pattern Recognition

    Pelillo, M. (ed.) & Hancock, E. R., Mar 2018, Berlin: Springer. 500 p. (Lecture Notes in Computer Science; vol. 10746)

    Research output: Book/ReportAnthology

  3. Euler Lagrange Network Dynamics

    Wang, J., Wilson, R. C. & Hancock, E. R., 14 Feb 2018, Eleventh International Conference on Energy Minimisation Methods in Computer Vision and Pattern Recognition. Springer, Vol. 10746. p. 399-413 14 p. (Lecture Notes in Computer Science).

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

  4. Modular Termination of Graph Transformation

    Plump, D., Feb 2018, Graph Transformation, Specifications, and Nets: In Memory of Hartmut Ehrig. Heckel, R. & Taentzer, G. (eds.). Springer, p. 231-244 14 p. (Lecture Notes in Computer Science; vol. 10800).

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

  5. Event-Driven Bandwidth Allocation with Formal Guarantees for Camera Networks

    Seetanadi, G. N., Camara Moreno, J., Almeida, L., Arzen, K. E. & Maggio, M., 31 Jan 2018, Proceedings - 2017 IEEE Real-Time Systems Symposium, RTSS 2017. Institute of Electrical and Electronics Engineers Inc., Vol. 2018-January. p. 243-254 12 p.

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

  6. Player Retention in League of Legends: A Study Using Survival Analysis

    Demediuk, S. P., Murrin, A., Bulger, D., Hitchens, M., Drachen, A., Raffe, W. L. & Tamassia, M., 29 Jan 2018, Proceedings of Australian Computer Science Week, Interactive Entertainment. Association for Computing Machinery (ACM), 9 p.

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

  7. Frontlines in Games User Research

    Drachen, A., Nacke, L. E. & Mirza-Babaei, P., 25 Jan 2018, Games User Research. Oxford: Oxford University Press, p. 509-520

    Research output: Chapter in Book/Report/Conference proceedingChapter

  8. Games User Research

    Drachen, A., Nacke, L. E. & Mirza-Babaei, P., 25 Jan 2018, London: Oxford: Oxford University Press. 560 p.

    Research output: Book/ReportBook

  9. BCI for Music Making: Then, Now, and Next

    Williams, D. A. H. & Miranda, E. R., 24 Jan 2018, Brain-Computer Interfaces Handbook: Technological and Theoretical Advances. Nam, C. S., Nijholt, A. & Lotte, F. (eds.). CRC PRESS-TAYLOR & FRANCIS GROUP, p. 191-205 24 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  10. Can Games Be More Than Fun?

    Cairns, P. A., 2018, Funology 2: From Usability to Enjoyment. Blythe, M. & Monk, A. (eds.). 2nd ed. Springer, p. 33-46 14 p. (Human-Computer Interaction Series).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  11. Developer-Centric Knowledge Mining from Large Open-Source Software Repositories (CROSSMINER)

    Bagnato, A., Barmpis, K., Bessis, N., Cabrera-Diego, L. A., Rocco, J. D., Di Ruscio, D., Gergely, T., Hansen, S., Kolovos, D., Krief, P., Korkontzelos, I., Laurière, S., Lopez de la Fuente, J. M., Maló, P., Paige, R. F., Spinellis, D., Thomas, C. & Vinju, J. J., 2018, Software Technologies: Applications and Foundations - STAF 2017 Collocated Workshops, Revised Selected Papers. Springer-Verlag, Vol. 10748 LNCS. p. 375-384 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10748 LNCS).

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

  12. Digital Technology for Older People: A Review of Recent Research

    Petrie, H. & Darzentas, J. S., 2018, (Accepted/In press) The Oxford Handbook of Digital Technology and Society. New York: Oxford: Oxford University Press

    Research output: Chapter in Book/Report/Conference proceedingChapter

  13. Game Analytics for Games User Research

    Drachen, A. & Connor, S., 2018, Games User Research. Oxford: Oxford University Press, p. 333-354

    Research output: Chapter in Book/Report/Conference proceedingChapter

  14. Global thoughts, local designs: INTERACT 2017 IFIP TC 13 Workshops, Mumbai, India, September 25-27, 2017, Revised Selected Papers

    Clemmensen, T. (ed.), Rajamanickam, V. (ed.), Dannenmann, P. (ed.), Petrie, H. (ed.) & Winckler, M. (ed.), 2018, Cham, Switzerland: Springer. 188 p. (Lecture Notes in Computer Science)

    Research output: Book/ReportBook

  15. Graph Time Series Analysis Using Transfer Entropy

    Caglar, I. & Hancock, E. R., 2018, Structural, Syntactic, and Statistical Pattern Recognition - Joint IAPR International Workshop, S+SSPR 2018, Beijing, China, August 17-19, 2018, Proceedings. p. 217-226 10 p.

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

  16. Implementation Code for DOMtegrity: Ensuring Web Page Integrity against Malicious Browser Extensions

    Toreini, E., Mehrnezhad, M., Shahandashti, S. F. & Hao, F., 2018

    Research output: Non-textual formSoftware

  17. Introduction to Games User Research

    Drachen, A., Nacke, L. E. & Mirza-Babaei, P., 2018, Games User Research. Oxford: Oxford University Press, p. 1-12

    Research output: Chapter in Book/Report/Conference proceedingChapter

  18. Issues of culture in designing for accessibility

    Petrie, H., Weber, G., Jadhav, C. & Darzentas, J. S., 2018, Global thoughts, local designs: INTERACT 2017 IFIP TC 13 Workshops, Mumbai, India, September 25-27, 2017, Revised Selected Papers. Clemmensen, T., Rajamanickam, V., Dannemann, P., Petrie, H. & Winckler, M. (eds.). Cham, Switzerland: Springer, Vol. LNCS 10774. p. 55 - 67 13 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  19. Markov Random Field MAP as Set Partitioning

    Cussens, J., 2018, Proceedings of Machine Learning Research: PGM 2018. Vol. 72. p. 85-96 12 p.

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

  20. Narrating Complexity

    Walsh, R. (ed.) & Stepney, S. (ed.), 2018, London: Springer.

    Research output: Book/ReportAnthology

  21. SECT-AIR: Software Engineering Costs and Timescales – Aerospace Initiative for Reduction

    Paige, R. F., Zolotas, A., Kolovos, D. S., McDermid, J. A., Bennett, M., Hutchesson, S. & Hawthorn, A., 2018, Software Technologies: Applications and Foundations - STAF 2017 Collocated Workshops, Revised Selected Papers. Springer-Verlag, Vol. 10748 LNCS. p. 403-408 6 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10748 LNCS).

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

  22. Safety of Artificial Intelligence and its role in Autonomy: A Maritime Perspective

    McDermid, J. A. & Daffey, K., 2018, Safety Critical Systems Symposium.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  23. Search-Based Temporal Testing in an Embedded Multicore Platform

    Srivisut, K., Clark, J. A. & Paige, R. F., 2018, Applications of Evolutionary Computation - 21st International Conference, EvoApplications 2018, Proceedings. Springer-Verlag, Vol. 10784 LNCS. p. 794-809 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10784 LNCS).

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

  24. Structural, Syntactic, and Statistical Pattern Recognition: Joint IAPR International Workshop, S+SSPR 2018, Beijing, China, August 17-19, 2018, Proceedings

    Bai, X., Hancock, E. R. (ed.), Ho, T. K. (ed.), Wilson, R. C. (ed.), Biggio, B. (ed.) & Robles-Kelly, A., 2018, SPRINGER. 540 p. (Lecture Notes in Computer Science)

    Research output: Book/ReportAnthology

  25. Technical Obsolescence Management Strategies for Safety-Related Software for Airborne Systems

    Gerasimou, S., Kolovos, D., Paige, R. & Standish, M., 2018, Software Technologies: Applications and Foundations - STAF 2017 Collocated Workshops, Revised Selected Papers. Springer-Verlag, Vol. 10748 LNCS. p. 385-393 9 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10748 LNCS).

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

  26. Time Evolving Networks in Finance and Medicine

    Hancock, E. R., 2018, Proceedings of the 7th International Conference on Pattern Recognition Applications and Methods, ICPRAM 2018, Funchal, Madeira - Portugal, January 16-18, 2018.. p. 7 1 p.

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

  27. 2017
  28. Fast Quantum Algorithm for Solving Multivariate Quadratic Equations

    Faug`ere, J-C., Horan, K., Kahrobaei, D., Kaplan, M., Kashefi, E. & Perret, L., 19 Dec 2017

    Article in QUANTUM INFORMATION COMPUTATION

  29. Deep Learning of Cell Classification using Microscope Images of Intracellular Microtubule Networks

    Alexei, S., Dmitry, B., Marina, P., Kudenko, D., Burakov, A. & Nadezhdina, E., 18 Dec 2017.

    Research output: Contribution to conferencePaper

  30. Automatic Property Checking of Robotic Applications

    Miyazawa, A., De Oliveira Salazar Ribeiro, P. F., Li, W., Cavalcanti, A. L. C. & Timmis, J., 14 Dec 2017, IEEE/RSJ International Conference on Intelligent Robots and Systems. p. 3869-3876 8 p.

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

  31. Integrated Analysis of Cache Related Preemption Delays and Cache Persistence Reload Overheads

    Rashid, S. A., Nelissen, G., Altmeyer, S., Davis, R. I. & Tovar, E., 6 Dec 2017. 11 p.

    Research output: Contribution to conferencePaper

  32. Performance of a second order electrostatic particle-in-cell algorithm on modern many-core architectures

    Brown, D., Wright, S. A. & Jarvis, S. A., 20 Nov 2017, UK Performance Engineering Workshop (UKPEW'17).

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

  33. Music Genre Classification using Masked Conditional Neural Networks

    Medhat, F., Chesmore, E. D. & Robinson, J. A., 14 Nov 2017, Neural Information Processing: 24th International Conference, ICONIP 2017, Guangzhou, China, November 14-18, 2017, Proceedings, Part II. Springer, (Lecture Notes in Computer Science).

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

  34. Automatic Classification of Music Genre using Masked Conditional Neural Networks

    Medhat, F., Chesmore, E. D. & Robinson, J. A., 11 Nov 2017, 2017 IEEE International Conference on Data Mining (ICDM). IEEE

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

  35. Core outcome domains for clinical trials on somatic symptom disorder, bodily distress disorder and functional somatic syndromes: European Network on Somatic Symptom Disorders Recommendations

    Rief, W., Burton, C., Frostholm, L., Henningsen, P., Kleinstäuber, M., Kop, W. J., Löwe, B., Martin, A., Malt, U. F., Rosmalen, J. G. M., Schröder, A., Shedden-Mora, M., Toussaint, A. & van der Feltz-Cornelis, C. M., 1 Nov 2017

    Article in Psychosomatic medicine

  36. Sound Simulation and Co-simulation for Robotics

    Cavalcanti, A. L. C., Miyazawa, A. & Woodcock, J., Nov 2017, Present and Ulterior Software Engineering. M. M. & B. M. (eds.). Springer International Publishing Switzerland, p. 173-194 22 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  37. Inspired by Nature: Essays Presented to Julian F. Miller on the Occasion of his 60th Birthday

    Stepney, S. (ed.) & Adamatzky, A. (ed.), 31 Oct 2017, SPRINGER. 400 p. (Emergence, Complexity and Computation)

    Research output: Book/ReportBook

  38. Evidence of coupling between magnon excitation and the Gilbert damping in half-metallic oxides

    Lu, X., Atkinson, L. J., Kuerbanjiang, B., Liu, B., Li, G., Wang, Y., Wang, J., Ruan, X., Wu, J., Evans, R. F. L., Lazarov, V. K., Chantrell, R. W. & Xu, Y., 30 Oct 2017, Arxiv (Cornell University).

    Research output: Working paper

  39. Sub-Symbolic Artificial Chemistries

    Faulkner, P. S. M., Krastev, M. S., Sebald, A. A-M. & Stepney, S., 27 Oct 2017, Inspired by Nature. Springer, p. 287-322 36 p.

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

  40. UK Utility Elicitation in Patients with Follicular Lymphoma

    Wang, H., Smith, A., Yu, G., Aas, E., Bagguley, T., Howell, D., Roman, E., Burton, C. & Patmore, R., 20 Oct 2017

    Article in Value in Health

  41. Probabilistic Analysis for Mixed Criticality Systems using Fixed Priority Preemptive Scheduling

    Maxim, D., Davis, R. I., Cucu-Grosjean, L. & Easwaran, A., 4 Oct 2017. 10 p.

    Research output: Contribution to conferencePaper

  42. Predicting Player Experience without the Player

    Guckelsberger, C., Salge, C., Gow, J. & Cairns, P. A., Oct 2017, ACM CHI Play 2017. ACM, p. 305-315

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

  43. Fault-Based Testing for Refinement in CSP

    Cavalcanti, A. L. C. & Simao, A., 30 Sep 2017, 29th IFIP WG 6.1 International Conference on Testing Software and Systems. Yevtushenko, N., Cavalli, A. R. & Yenigun, H. (eds.). Springer, Vol. 10533. p. 21-37 17 p. (Lecture Notes in Computer Science).

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

  44. A re-characterization of hyper-heuristics

    Swan, J., De Causmaecker, P., Martin, S. & Özcan, E., 19 Sep 2017, (Accepted/In press) Recent Developments of Metaheuristics. L. Amodeo E-G. Talbi, F. Y. (ed.). Springer, p. 1-16 16 p.

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

  45. Building Dialectal Arabic Corpora

    Elgabou, H. A. M. & Kazakov, D. L., 7 Sep 2017, The First Workshop on Human-Informed Translation and Interpreting Technology (HiT-IT). p. 52-57 6 p.

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

  46. Abstraction and representation in living organisms: when does a biological system compute?

    Horsman, D., Kendon, V., Stepney, S. & Young, P., 1 Sep 2017, Representation and Reality in Humans, Other Living Organisms and Intelligent Machines. Dodig-Crnkovic, G. & Giovagnoli, R. (eds.). Springer, p. 91-116

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

  47. Challenges of Safety Assurance for Industry 4.0

    Jaradat, O., Šljivo, I., Habli, I. & Hawkins, R. D., Sep 2017, 13th European Dependable Computing Conference (EDCC). p. 103-106

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

  48. Learning Binary Preference Relations: Analysis of Logic-based versus Statistical Approaches

    Qomariyah, N. N. & Kazakov, D. L., 27 Aug 2017, p. 30-34. 5 p.

    Research output: Contribution to conferencePaper

  49. Image Retrieval Based on Query by Saliency Content, Chapter 8

    Bors, A. G. & Papushoy, A., Aug 2017, Visual Content Indexing and Retrieval with Psycho-Visual Models. Benois-Pineau, J. & Le Callet, P. (eds.). Springer, p. 171-209 38 p. (Multimedia Systems and Applications).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  50. Why Functional Safety Experts Worry About Automotive Systems Having Increasing Autonomy

    Monkhouse, H. E., Habli, I., McDermid, J. A., Khastgir, S. & Dhadyalla, G., Aug 2017, International Workshop on Driver and Driverless Cars: Competition or Coexistence.

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

  51. Feature-Rich Networks for Knowledge Base Completion

    Manandhar, S. K. & Komninos, A., 30 Jul 2017, p. 324-329. 6 p.

    Research output: Contribution to conferencePaper

  52. Deep Convolutional Neural Networks for left ventricle segmentation

    Molaei, S., Shiri, M., Horan, K., Kahrobaei, D., Nallamothu, B. & Najarian, K., Jul 2017, 2017 39th Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC). Vol. 2017. p. 668-671 4 p. (Conference proceedings : ... Annual International Conference of the IEEE Engineering in Medicine and Biology Society. IEEE Engineering in Medicine and Biology Society. Annual Conference).

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

  53. Ternary graphs – a new interactive approach to self-assessment

    Sebald, A. A-M., Brown, R., Tomasello, L., Stepney, S. & Mitchell, D. A., 28 Jun 2017.

    Research output: Contribution to conferencePoster

  54. VCDC: The virtualized complicated device controller

    Jiang, Z. & Audsley, N., 1 Jun 2017, 29th Euromicro Conference on Real-Time Systems, ECRTS 2017. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, Vol. 76. p. 51-520 470 p.

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

  55. On the Pitfalls of Resource Augmentation Factors and Utilization Bounds in Real-Time Scheduling

    Chen, J. J., Bruggen, G. V. D., Huang, W-H. & Davis, R. I., Jun 2017, 29th Euromicro Conference on Real-Time Systems (ECRTS 2017). Bertogna, M. (ed.). Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, p. 9:1-9:25 25 p. (LIPIcs – Leibniz International Proceedings in Informatics; vol. 76).

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

  56. Probabilistic Graph Programming

    Plump, D., Atkinson, T. & Stepney, S., Jun 2017, Proceedings 8th International Workshop on Graph Computation Models (GCM 2017). Corradini, A. (ed.). p. 1-16 16 p.

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

  57. A 2D Morphable Model of Craniofacial Profile and its Application to Craniosynostosis

    Dai, H., Pears, N. E. & Duncan, C., 14 May 2017, (Accepted/In press).

    Research output: Contribution to conferencePaper

  58. GPIOCP: Timing-accurate general purpose I/O controller for many-core real-time systems

    Jiang, Z. & Audsley, N. C., 11 May 2017, Proceedings of the 2017 Design, Automation and Test in Europe, DATE 2017. Institute of Electrical and Electronics Engineers Inc., p. 806-811 6 p. 7927099

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

  59. Developing the Safety Case for MediPi: An Open-Source Platform for Self Management

    Habli, I., Carr, A., Murphy, D., Dugdale, I., Dyson, A. & Robinson, R., Apr 2017, Informatics for Health : Connected Citizen-Led Wellness and Population Health. Randell, R., Cornet, R., McCowan, C., Peek, N. & J. Scott, P. (eds.). IOS Press, p. 78-82 5 p. (Studies in Health Technology and Informatics; vol. 235).

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

  60. Exploring the Notion of Hazards for Health IT

    Habli, I., White, S. P., Harrison, S. & Pujara, M., Apr 2017, Informatics for Health 2017.

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

  61. Competition and cooperation in pickup and multiple delivery problems

    Mourdjis, P., Polack, F., Cowling, P., Chen, Y. & Robinson, M., 15 Feb 2017, Operations Research and Enterprise Systems - 5th International Conference, ICORES 2016, Revised Selected Papers. Springer-Verlag, Vol. 695. p. 142-160 19 p. (Communications in Computer and Information Science; vol. 695).

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

  62. Playing Catch-up - The Fate of Safety Engineering?

    McDermid, J. A., Feb 2017, Developments in System Safety Engineering. Parsons, M. & Kelly, T. (eds.). Safety Critical Systems Club, Vol. 25. p. 1-22

    Research output: Chapter in Book/Report/Conference proceedingChapter

  63. Supporting custom quality models to analyse and compare open-source software

    Di Ruscio, D., Kolovos, D. S., Korkontzelos, Y., Matragkas, N. & Vinju, J., 11 Jan 2017, Proceedings - 2016 10th International Conference on the Quality of Information and Communications Technology, QUATIC 2016. Institute of Electrical and Electronics Engineers Inc., p. 94-99 6 p. 7814523

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

  64. A comparison of one-pass and bi-directional approaches applied to large-scale road inspection

    Chen, Y., Polack, F., Cowling, P. & Remde, S., 2017, Operations Research and Enterprise Systems - 5th International Conference, ICORES 2016, Revised Selected Papers. Springer-Verlag, Vol. 695. p. 180-200 21 p. (Communications in Computer and Information Science; vol. 695).

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

  65. Analysis of a statistical regression approach for NO_2 pollution modelling

    Makrai, G. & Bate, I., 2017.

    Research output: Contribution to conferenceOther

  66. Associative Memory in Reaction-Diffusion Chemistry

    Stovold, J. H. & O'Keefe, S. E. M., 2017, Advances in Unconventional Computing: Volume 2: Prototypes, Models and Algorithms. Adamatzky, A. (ed.). 1 ed. SPRINGER-VERLAG BERLIN, Vol. 2. p. 141-165 25 p. (Emergence, Complexity and Computation; vol. 23).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  67. COMMitMDE 2017 - 2nd international workshop on collaborative modelling in MDE

    Bosch, J., Malavolta, I., Gérard, S., Muccini, H. & Kolovos, D., 2017, CEUR Workshop Proceedings: Proceedings of MODELS 2017 Satellite Event: Workshops. Vol. 2019. p. 123-124 2 p.

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

  68. Characterization, Analysis, and Recommendations for Exploiting the Opportunities of Cyber-Physical Systems

    McDermid, J. A., Torngren, M., Asplund, F., Bensalem, S., Passerone, R., Pfeifer, H., Gangiovanni-Vincentelli, A. & Schatz, B., 2017, Cyber-Physical Systems. Song, H., Rawat, D., Jeschke, S. & Brecher, C. (eds.). Cambridge, MA: Elsevier Academic Press, p. 1-14 14 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  69. Code for SPEKE Verification

    Hao, F., Metere, R., Shahandashti, S. F. & Dong, C., 2017

    Research output: Non-textual formSoftware

  70. Curiously Motivated: Profiling Curiosity with Self-Reports and Behaviour Metrics in the Game "Destiny"

    Schaekermann, M., Nacke, L. E., Johnson, D., Drachen, A., Sifa, R., Wallner, G. & Krieglstein, S., 2017, Proceedings of the Annual Symposium on Computer-Human Interaction in Play (CHI-PLAY). p. 143-156

    Research output: Chapter in Book/Report/Conference proceedingChapter

  71. Evaluating the Onboarding Phase of Free-to-Play Mobile Games: A Mixed-Methods Approach

    Thomsen, L. E., Petersen, F. W., Drachen, A. & Mirza-babaei, P., 2017, Proceedings of the Annual Symposium on Computer-Human Interaction in Play (CHI-PLAY). p. 377-388

    Research output: Chapter in Book/Report/Conference proceedingChapter

  72. Graph Transformation: 10th International Conference, ICGT 2017, Held as Part of STAF 2017, Marburg, Germany, July 18-19, 2017, Proceedings

    de Lara, J. (ed.) & Plump, D. (ed.), 2017, (Accepted/In press) Springer. 231 p. (Lecture Notes in Computer Science; vol. 10373)

    Research output: Book/ReportBook

  73. Introduction to Unconventional Computing

    Stepney, S., 2017, Guide to Unconventional Computing for Music. Miranda, E. R. (ed.). Springer, p. 1-21 21 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  74. Memory-Bounded Monte Carlo Tree Search

    Powley, E. J., Cowling, P. I. & Whitehouse, D., 2017, 13th AAAI Conference on Artificial Intelligence and Interactive Digital Entertainment (AIIDE'17), 5-9 October 2017, Snowbird, Utah, USA. .

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

  75. Polyhedral approaches to learning Bayesian networks

    Haws, D., Cussens, J. & Studený, M., 2017, Algebraic and Geometric Methods in Discrete Mathematics: Contemporary Mathematics. Providence, RI: American Mathematical Society, Vol. 685. p. 155-188 34 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  76. Proving Linearizability Using Partial Orders

    Khyzha, A., Dodds, M. D., Gotsman, A. & Parkinson, M. J., 2017, Proceedings of the European Symposium on Programming.

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

  77. Reservoir Computing as a model for in materio computing

    Dale, M. N., Miller, J. F. & Stepney, S., 2017, Advances in Unconventional Computing. Adamatsky, A. (ed.). Springer, Vol. 1. p. 533-571

    Research output: Chapter in Book/Report/Conference proceedingChapter

  78. Reservoir Computing in materio with LEDs

    Dale, M. N., Miller, J. F., Stepney, S. & Trefzer, M. A., 2017.

    Research output: Contribution to conferencePaper

  79. Smart Contract for Anonymous Voting over Ethereum

    McCorry, P., Shahandashti, S. F. & Hao, F., 2017

    Research output: Non-textual formSoftware

  80. Starling: Lightweight Concurrency Verification With Views

    Windsor, M. B., Dodds, M. D., Parkinson, M. J. & Simner, B., 2017, Computer aided verification: 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, proceedings. Majumdar, R. & Kuncak, V. (eds.). Vol. 1. p. 544-569 (Lecture Notes in Computer Science; vol. 10426).

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

  81. Synthesis and Verification of Self-aware Computing Systems

    Calinescu, R. C., Autili, M., Cámara, J., Di Marco, A., Gerasimou, S., Inverardi, P., Perucci, A., Jansen, N., Katoen, J-P., Kwiatkowska, M., Mengshoel, O. J., Spalazzese, R. & Tivoli, M., 2017, Self-Aware Computing Systems. SPRINGER, p. 337-373 37 p.

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

  82. The changing face of model-driven engineering

    Paige, R. F., Zolotas, A. & Kolovos, D., 2017, Present and Ulterior Software Engineering. Springer International Publishing, p. 103-118 16 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  83. The effect of lip and arm synchronization on embodiment: A pilot study

    Collingwoode-Williams, T., Gillies, M., McCall, C. A. & Pan, X., 2017.

    Research output: Contribution to conferencePaper

  84. The perceived assortativity of social networks: Methodological problems and solutions

    Fisher, D., Silk, M. & Franks, D. W., 2017, Trends in Social Network Analysis. p. 1-19

    Research output: Chapter in Book/Report/Conference proceedingChapter

  85. Time-optimal quantum control via differential geometry

    Wang, X., Allegra, M., Jacobs, K., Lloyd, S., Lupo, C. & Mohseni, M., 2017, Advances in Photonics of Quantum Computing, Memory, and Communication X. SPIE, Vol. 10118. 101180F

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

Previous 1 2 3 4 5 6 7 8 ...54 Next