Search research publications and outputs

  1. 2016
  2. A Java-Based Real-Time Reactive Stream Framework

    Gray, I. & Wellings, A., 2016, Proceedings of the 19th IEEE International Symposium on Real-Time Computing.

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

  3. A Lightweight Hat: simple type-preserving instrumentation for self-tracing lazy functional programs

    Chitil, O., Faddegon, M. & Runciman, C., 2016, Proceedings of 28th Symposium on Implementation and Application of Functional Languages. ASSOC COMPUTING MACHINERY, 10

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

  4. A Stepwise Approach to Linking Theories

    De Oliveira Salazar Ribeiro, P. F., Cavalcanti, A. L. C. & Woodcock, J., 2016, Unifying Theories of Programming. Springer, (Lecture Notes in Computer Science).

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

  5. Addressing the 4+1 Software Safety Assurance Principles within Scrum

    Doss, O. & Kelly, T., 2016, Proceedings of the Scientific Workshop Proceedings of XP2016, Edinburgh, Scotland, UK, May 24, 2016. New York: ACM: New York, p. 17 1 p.

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

  6. Augmenting Live Coding with Evolved Patterns

    Hickinbotham, S. J. & Stepney, S., 2016, International Conference on Evolutionary and Biologically Inspired Music and Art; EvoMusArt 2016. Springer, Vol. 9596. p. 31–46 (Lecture Notes in Computer Science (LNCS)).

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

  7. Automatic Improvement of Apache Spark Queries using Semantics-preserving Program Reduction

    Kocsis, Z. A., Drake, J. H., Carson, D. & Swan, J., 2016, Genetic and Evolutionary Computation Conference, GECCO 2016, Denver, USA, July 20-24, 2016, Companion Material Proceedings.

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

  8. Behavioural Models for FMI Co-simulations

    Cavalcanti, A. L. C., Woodcock, J. C. P. & Amalio, N., 2016, International Colloquium on Theoretical Aspects of Computing. Sampaio, A. C. A. & Wang, F. (eds.). Springer, Vol. 9965. p. 255-273 19 p. (Lecture Notes in Computer Science).

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

  9. Bio-Reflective Architectures for Evolutionary Innovation

    Hickinbotham, S. J. & Stepney, S., 2016, Proceedings of the Artificial Life Conference 2016. MIT Press, p. 192–199

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

  10. Checking SysML Models for Co-Simulation

    Amálio, N., Payne, R., Cavalcanti, A. L. C. & Woodcock, J., 2016, International Conference on Formal Engineering Methods. Springer, (Lecture Notes in Computer Science).

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

  11. Compiling Graph Programs to C

    Bak, C. P. & Plump, D., 2016, Proceedings 9th International Conference on Graph Transformation (ICGT 2016). Echahed, R. & Minas, M. (eds.). Springer, p. 102-117 15 p. (Lecture Notes in Computer Science; vol. 9761).

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

  12. DRE-ip: A Verifiable E-Voting Scheme without Tallying Authorities

    Shahandashti, S. F. & Hao, F., 2016, ESORICS 2016: Computer Security – ESORICS 2016. Switzerland, Vol. 9879. p. 223-240 13 p.

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

  13. Design Frictions for Mindful Interactions: The Case for Microboundaries

    Cox, A. L., Gould, S. J. J., Cecchinato, M. E., Iacovides, I. & Renfree, I., 2016, CHI'16 Extended Abstracts on Human Factors in Computing Systems - CHI EA '16. ACM, p. 1389-1397 9 p.

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

  14. EMG: A domain-specific transformation language for synthetic model generation

    Popoola, S., Kolovos, D. S. & Rodriguez, H. H., 2016, Theory and Practice of Model Transformations - 9th International Conference, ICMT 2016 Held as Part of STAF 2016, Proceedings. Springer-Verlag, Vol. 9765. p. 36-51 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9765).

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

  15. Efficient large-scale road inspection routing

    Chen, Y., Cowling, P. I., Remde, S. & Polack, F. A. C., 2016, Proceedings, ICORES. SciTePress

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

  16. Emergent Bonding Properties in the Spiky RBN AChem

    Krastev, M. S., Sebald, A. A-M. & Stepney, S., 2016, Proceedings of the Artificial Life Conference 2016. MIT Press, p. 600–607

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

  17. Experimental methods in Human-Computer Interaction

    Cairns, P. A., 2016, Encylopedia of Human-Computer Interaction, 2nd edn. Soedergaard, M. & Dam, R. (eds.). Interaction Design Foundation, 34

    Research output: Chapter in Book/Report/Conference proceedingChapter

  18. FACT: A Probabilistic Model Checker for Formal Verification with Confidence Intervals

    Calinescu, R. C., Johnson, K. H. A. & Paterson, C. A., 2016, Tools and Algorithms for the Construction and Analysis of Systems: 22nd International Conference, TACAS 2016. Springer Berlin / Heidelberg, p. 540-546 7 p. (Lecture Notes in Computer Science (LNCS); vol. 9636).

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

  19. FitSpec: refining property sets for functional testing

    Runciman, C. & Braquehais, R., 2016, Proceedings of 9th International Symposium on Haskell. Nara, Japan: ASSOC COMPUTING MACHINERY, p. 1-12 12 p.

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

  20. Identifying usage anomalies for ECG-based sensor nodes

    Chen, L. & Bate, I. J., 2016, IEEE 13th International Conference on Wearable and Implantable Body Sensor Networks (BSN). IEEE, p. 77-82 6 p. (Wearable and Implantable Body Sensor Networks (BSN), IEEE International Conference on).

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

  21. Improving Measurement-Based Timing Analysis through Randomisation and Probabilistic Analysis

    Cazorla, F. J., Abella, J., Andersson, J., Vardanega, T., Vatrinet, F., Bate, I., Broster, I., Azkarate-Askasua, M., Wartel, F., Cucu, L., Cros, F., Farrall, G., Gogonel, A., Gianarro, A., Triquet, B., Hernández, C., Lo, C., Maxim, C., Morales, D., Quiñones, E. & 7 others, Mezzetti, E., Kosmidis, L., Agirre, I., Fernández, M., Slijepcevic, M., Conmy, P. & Talaboulma, W., 2016, Digital System Design (DSD), 2016 Euromicro Conference on. IEEE, p. 276-285 10 p.

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

  22. Jordan Algebra AChems: Exploiting Mathematical Richness for Open Ended Design

    Faulkner, P. S. M., Sebald, A. A-M. & Stepney, S., 2016, Proceedings of the Artificial Life Conference 2016. MIT Press, p. 582–589

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

  23. Learning Predictive Categories Using Lifted Relational Neural Networks

    Sourek, G., Manandhar, S., Zelezny, F., Schockaert, S. & Kuzelka, O., 2016, Inductive Logic Programming: 26th International Conference, ILP 2016, London, UK, September 4-6, 2016, Revised Selected Papers. Springer International Publishing, Vol. 10326. (Lecture Notes in Artificial Intelligence).

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

  24. Local Livelock Analysis of Component-Based Models

    Conserva Filho, M., Oliveira, M. V. M., Sampaio, A. C. A. & Cavalcanti, A. L. C., 2016, International Conference on Formal Engineering Methods. Springer, (Lecture Notes in Computer Science).

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

  25. Mobile CSP

    Woodcock, J. C. P., Cavalcanti, A. L. C. & Wellings, A. J., 2016, Formal Methods: Foundations and Applications : 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Revised Selected Papers. Cornélio, M. & Roscoe, B. (eds.). Springer-Verlag, p. 39-55 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9526).

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

  26. Modelling and Verifying a Priority Scheduler for an SCJ Runtime Environment

    Freitas, L., Baxter, J., Cavalcanti, A. L. C. & Wellings, A. J., 2016, Integrated Formal Methods: 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings. Springer, p. 63-78 (Lecture Notes in Computer Science; vol. 9681).

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

  27. Multi-objective co-optimization of FlexRay-based distributed control systems

    Roy, D., Zhang, L., Chang, W., Goswami, D. & Chakraborty, S., 2016, IEEE Real-Time Embedded Technology & Applications Symposium (RTAS).

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

  28. Preemptive uniprocessor scheduling of dual-criticality implicit-deadline sporadic tasks

    Burns, A., Baruah, S. & Guo, Z., 2016, Proc of ECRTS. p. 1-8 8 p.

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

  29. Reasoning about Graph Programs

    Plump, D., 2016, Proceedings 9th International Workshop on Computing with Terms and Graphs (TERMGRAPH 2016). Corradini, A. & Zantema, H. (eds.). p. 35-44 9 p. (Electronic Proceedings in Theoretical Computer Science; vol. 225).

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

  30. Refinement strategies for Safety-Critical Java

    Miyazawa, A. & Cavalcanti, A. L. C., 2016, Formal Methods: Foundations and Applications: 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Revised Selected Papers. Cornélio, M. L. & Roscoe, B. (eds.). Springer, (Lecture Notes in Computer Science; vol. 9526).

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

  31. Reservoir Computing in Materio: An Evaluation of Configuration through Evolution

    Dale, M. N., Stepney, S., Miller, J. F. & Trefzer, M. A., 2016, IEEE Symposium Series on Computational Intelligence (SSCI), 2016 . IEEE

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

  32. Risk driven analysis of maintenance for a large-scale drainage system

    Chen, Y., Polack, F. A. C., Cowling, P. I., Mourdjis, P. J. & Remde, S., 2016, Proceedings, ICORES. SciTePress, p. 296-303

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

  33. Selecting Execution-Time Server Parameters for Real-Time Stream Processing Systems

    Gray, I., Wellings, A. J. & Mei, H., 2016, 9th York Doctoral Symposium on Computer Science and Electronics (YDS 2016).

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

  34. SemEval-2016 Task 5: Aspect Based Sentiment Analysis

    Pontiki, M., Galanis, D., Papageorgiou, H., Androutsopoulos, I., Manandhar, S., Al-Smadi, M., Al-Ayyoub, M., Zhao, Y., Qin, B., Clercq, O. D., Hoste, V., Apidianaki, M., Tannier, X., Loukachevitch, N. V., Kotelnikov, E., Bel, N., Zafra, S. M. J. & Eryigit, G., 2016, Proceedings of the 10th International Workshop on Semantic Evaluation, SemEval@NAACL-HLT 2016, San Diego, CA, USA, June 16-17, 2016. p. 19-30 12 p.

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

  35. Structured Generative Models of Continuous Features for Word Sense Induction

    Komninos, A. & Manandhar, S., 2016, COLING 2016, 26th International Conference on Computational Linguistics, Proceedings of the Conference: Technical Papers, December 11-16, 2016, Osaka, Japan. p. 3577-3587 11 p.

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

  36. Synthetic workload generation of broadcast related HEVC stream decoding for resource constrained systems

    Mendis, H. R. & Indrusiak, L. S., 2016, ICETE 2016 - Proceedings of the 13th International Joint Conference on e-Business and Telecommunications. SciTePress, Vol. 5. p. 52-64 13 p.

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

  37. Systematic Maintenance of Safety Cases to Reduce Risk

    Jaradat, O. & Bate, I., 2016, Computer Safety, Reliability, and Security: SAFECOMP 2016 Workshops, ASSURE, DECSoS, SASSUR, and TIPS, Trondheim, Norway, September 20, 2016, Proceedings. Springer, p. 17-29 (Lecture Notes in Computer Science; vol. 9923).

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

  38. The Art of Penrose Life

    Stepney, S., 2016, Designing Beauty: The Art of Cellular Automata. Adamatzky, A. & Martinez, G. J. (eds.). Springer, p. 103-109 7 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  39. The Chordal Graph Polytope for Learning Decomposable Models

    Studeny´, M. & Cussens, J., 2016, Proceedings of the Eighth International Conference on Probabilistic Graphical Models. Antonucci, A., Corani, G. & Polpo de Campos, C. (eds.). Vol. 52. p. 499-510 12 p. (Journal of Machine Learning Research: Workshop and Conference Proceedings).

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

  40. The Notion of Controllability in an Autonomous Vehicle Context

    Habli, I., McDermid, J. A. & Monkhouse, H., 2016, CARS Workshop Critical Automotive Applications: Robustness & Safety.

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

  41. The effect of cooperation in pickup and multiple delivery problems

    Mourdjis, P. J., Polack, F. A. C., Cowling, P. I., Chen, Y. & Robinson, M., 2016, Proceedings, ICORES. SciTePress, p. 287-295

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

  42. Towards Platform Independent Database Modelling in Enterprise Systems

    Ellison, M. H., Calinescu, R. C. & Paige, R. F., 2016, STAF 2016: Software Technologies: Applications and Foundations. Springer, p. 42-50 9 p. (Lecture Notes in Computer Science (LNCS); vol. 9946).

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

  43. Using Process Models in System Assurance

    Hawkins, R., Richardson, T. & Kelly, T., 2016, Computer Safety, Reliability, and Security - 35th International Conference, SAFECOMP 2016, Proceedings. Skavhaug, A., Guiochet, J. & Bitsch, F. (eds.). p. 27-38 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9922 LNCS).

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

  44. Variable Neighbourhood Descent with Memory: A Hybrid Metaheuristic for Supermarket Resupply

    Mourdjis, P., Chen, Y., Polack, F., Cowling, P. & Robinson, M., 2016, Hybrid Metaheuristics - 10th International Workshop, HM 2016, Proceedings: 10th International Workshop, HM 2016, Plymouth, UK, June 8-10, 2016, Proceedings. Cangelosi, A., Talbi, E-G., Blum, C., Cutello, V., Pavone, M., Blesa, M. J. & di Nuovo, A. (eds.). Springer-Verlag, Vol. 9668. p. 32-46 15 p. (Lecture Notes in Computer Science; vol. 9668).

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

  45. Benchmarking, System Design and Case-studies for Multi-core based Embedded Automotive Systems

    Dziurzanski, P., Singh, A. K., Indrusiak, L. S. & Saballus, B., Jan 2016, Proc. 2nd Int Workshop on Dynamic Resource Allocation and Management in Embedded, High Performance and Cloud Computing (DREAMCloud) - HiPEAC Conference. Arxiv (Cornell University), 6 p.

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

  46. Bidding policies for market-based HPC workflow scheduling

    Burkimsher, A. & Indrusiak, L. S., Jan 2016, Proc. 2nd Int Workshop on Dynamic Resource Allocation and Management in Embedded, High Performance and Cloud Computing (DREAMCloud) - HiPEAC Conference. Arxiv (Cornell University), 7 p.

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

  47. Design space exploration for complex automotive applications: An engine control system case study

    Latif, K., Selva, M., Effiong, C., Ursu, R., Gamatie, A., Sassatelli, G., Zordan, L., Ost, L., Dziurzanski, P. & Indrusiak, L. S., 18 Jan 2016, ACM International Conference Proceeding Series. Association for Computing Machinery (ACM), Vol. 18-January-2016. a2

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

  48. Reducing the Implementation Overheads of IPCP and DFP

    Almatary, H., Audsley, N. C. & Burns, A., 18 Jan 2016, Proceedings - Real-Time Systems Symposium. Institute of Electrical and Electronics Engineers Inc., Vol. 2016-January. p. 295-304 10 p. 7383586

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

  49. POSE: A mathematical and visual modelling tool to guide energy aware code optimisation

    Roberts, S., Wright, S., Lecomber, D., January, C., Byrd, J., Oro, X. & Jarvis, S. A., 26 Jan 2016, 2015 6th International Green and Sustainable Computing Conference. Institute of Electrical and Electronics Engineers Inc., 7393705

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

  50. A Multiresolution 3D Morphable Face Model and Fitting Framework

    Huber, P., Hu, G., Tena, R., Mortazavian, P., Koppen, W. P., Christmas, W., Rätsch, M. & Kittler, J., Feb 2016, Proceedings of the 11th Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications. SciTePress, Vol. 4. p. 79-86

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

  51. Value and energy optimizing dynamic resource allocation in many-core HPC systems

    Singh, A. K., Dziurzanski, P. & Indrusiak, L. S., 1 Feb 2016, 2015 IEEE 7th International Conference on Cloud Computing Technology and Science (CloudCom). Institute of Electrical and Electronics Engineers Inc., p. 180-185 6 p. 7396154

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

  52. Secure high capacity data hiding for 3D meshes

    Itier, V., Bors, A. G., Puech, W. & Pedeboy, J-P., 14 Feb 2016, Proc. IS&T Inter. Symposium on Electronic Imaging, Vol. 3D Image Processing, Measurement (3DIPM). IS&T, p. 1-7 7 p.

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

  53. Impact of temporal and spatial application modeling on event-triggered wireless sensor network evaluation

    Brisolara, L., Ferreira, P. R. & Indrusiak, L. S., 1 Mar 2016, Proceedings - 2015 Brazilian Symposium on Computing Systems Engineering, SBESC 2015. Institute of Electrical and Electronics Engineers Inc., p. 30-35 6 p. 7423208

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

  54. Evaluating hyperheuristics and local search operators for periodic routing problems

    Chen, Y., Mourdjis, P., Polack, F., Cowling, P. & Remde, S., 15 Mar 2016, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer-Verlag, Vol. 9595. p. 104-120 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9595).

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

  55. Feedback-based admission control for hard real-time task allocation under dynamic workload on many-core systems

    Dziurzanski, P., Singh, A. K. & Indrusiak, L. S., 26 Mar 2016, Architecture of Computing Systems -- ARCS 2016: 29th International Conference, Nuremberg, Germany, April 4-7, 2016, Proceedings. Springer-Verlag, p. 157-169 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9637).

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

  56. 3D Mesh Steganalysis using local shape features

    Li, Z. & Bors, A. G., May 2016, Proc. IEEE Int. Conf. on Acoustics, Speech and Signal Processing (ICASSP). IEEE, p. 2144-2148 5 p.

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

  57. Technology for disabled and older people: what have we achieve, where are we going?

    Petrie, H. & Weber, G., 7 May 2016, Proceedings of the 2016 CHI Conference Extended Abstracts on Human Factors in Computing Systems (CHI EA '16). . ACM, p. 1-3 3 p.

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

  58. Multi-Objective Dynamic Dispatch Optimisation using Multi-Agent Reinforcement Learning: (Extended Abstract)

    Mannion, P., Mason, K., Devlin, S., Duggan, J. & Howley, E., 9 May 2016, Proceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems. International Foundation for Autonomous Agents and Multiagent Systems , p. 1345-1346 2 p.

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

  59. A constructive task mapping algorithm for hard real-time embedded NoCs

    Sayuti, M. N. S. M. & Indrusiak, L. S., 18 May 2016, Proceedings - 2015 IEEE Conference on System, Process and Control, ICSPC 2015. Institute of Electrical and Electronics Engineers Inc., p. 123-128 6 p. 7473571

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

  60. Integrating Time Series with Social Media Data in an Ontology for the Modelling of Extreme Financial Events

    Qu, H., Sardelich Nascimento, M., Qomariyah, N. N. & Kazakov, D. L., 23 May 2016, LREC 2016 Proceedings. Khan, F., Vintar, Š., Araúz, P. L., Faber, P., Frontini, F., Parvizi, A., Simeunović, L. G. & Unger, C. (eds.). European Language Resources Association (ELRA), Vol. Joint Second Workshop on Language and Ontology & Terminology and Knowledge Structures. p. 57-63

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

  61. A Formal Model of the Safety-Critical Java Level 2 Paradigm

    Luckcuck, M. S., Cavalcanti, A. L. C. & Wellings, A. J., 24 May 2016, Integrated Formal Methods. Springer, p. 226-241 (Lecture Notes in Computer Science; vol. 9681).

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

  62. Flow, Intrinsic Motivation, and Developer Experience in Software Engineering

    Kuusinen, K., Petrie, H., Fagerholm, F. & Mikkonen, T., 24 May 2016, Proceedings of the International Conference on Agile Software Development: Agile Processes in Software Engineering and Extreme Programming (XP 2016). Springer, (Lecture Notes in Business Information Processing ; vol. 251).

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

  63. Real-Time Stream Processing in Java

    Gray, I., Wellings, A. J. & Mei, H., 31 May 2016, 21st Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2016. Springer, p. 44-57 14 p. ( Lecture Notes in Computer Science).

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

  64. A Maturity Model for Integrating Agile Processes and User Centred Design

    Paige, R. F., Mostafa, D. S. E. D. N. & Cairns, P. A., Jun 2016, Software Process Improvement and Capability Determination (SPICE). 16th International Conference ed. p. 109-122 14 p.

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

  65. Engagement in digital games

    Cairns, P. A., Jun 2016, Why Engagement Matters: Cross-disciplinary perspectives of user engagement in digital media. O'Brien, H. & Cairns, P. (eds.). Springer, p. 81-104 4

    Research output: Chapter in Book/Report/Conference proceedingChapter

  66. Iterative Cartesian Genetic Programming: Creating general algorithms for solving Travelling Salesman Problems

    Ryser-Welch, P., Miller, J. F., Swan, J. & Trefzer, M. A., 1 Jun 2016, EuroGP 2016: Proceedings of the 19th European Conference on Genetic Programming. Heywood, M. I., McDermott, J., Castelli, M., Costa, E. & Sim, K. (eds.). Porto, Portugal: Springer-Verlag, Vol. 9594. p. 294-310 17 p. (LNCS).

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

  67. Gamification design for motivating and measuring modal shift

    Minear, M., Deterding, C. S. & Devlin, S., 6 Jun 2016, 11th ITS European Congress. Glasgow, EU-TP0275

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

  68. Evolving Carbon Nanotube Reservoir Computers

    Dale, M. N., Miller, J. F., Stepney, S. & Trefzer, M. A., 15 Jun 2016, Unconventional Computation and Natural Computation: 15th International Conference, UCNC 2016, Manchester, UK, July 11-15, 2016, Proceedings. Amos, M. & Condon, A. (eds.). Springer, p. 49-61 13 p. (Lecture Notes in Computer Science; vol. 9726).

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

  69. Integrated tool chain for model-based design of Cyber-Physical Systems: The INTO-CPS project

    Larsen, P. G., Fitzgerald, J., Woodcock, J., Fritzson, P., Brauer, J., Kleijn, C., Lecomte, T., Pfeil, M., Green, O., Basagiannis, S. & Sadovykh, A., 20 Jun 2016, 2016 2nd International Workshop on Modelling, Analysis, and Control of Complex CPS, CPS Data 2016. Institute of Electrical and Electronics Engineers Inc., 7496424

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

  70. Language engineering: Challenges, opportunities and potential disasters for interactive systems

    Paige, R. F., 21 Jun 2016, EICS 2016 - 8th ACM SIGCHI Symposium on Engineering Interactive Computing Systems. Association for Computing Machinery, Inc, p. 3 1 p.

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

  71. A Suspension-Trace Semantics for CSP

    Cavalcanti, A. L. C., Hierons, R. M., Nogueira, S. & Sampaio, A. C. A., 1 Jul 2016, International Symposium on Theoretical Aspects of Software Engineering. IEEE, p. 3-13 11 p.

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

  72. Discovering Relational Structure in Program Synthesis Problems with Analogical Reasoning

    Swan, J. & Krawiec, K., 1 Jul 2016, Genetic Programming Theory and Practice XIV. Riolo, R., Tozier, B. & Goldman, B. (eds.). Ann Arbor, USA: Springer, (Genetic and Evolutionary Computation).

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

  73. Types of problems elicited by verbal protocols for blind and sighted participants

    Savva, A., Petrie, H. & Power, C. D., 13 Jul 2016, Proceedings of the 15th International Conference on Computers Helping People with Special Needs. Springer, (Lecture Notes in Computer Science; vol. 9758).

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

  74. Energy-aware resource allocation in multi-mode automotive applications with hard real-time constraints

    Dziurzanski, P., Singh, A. K. & Indrusiak, L. S., 18 Jul 2016, Proceedings - 2016 IEEE 19th International Symposium on Real-Time Distributed Computing, ISORC 2016. Institute of Electrical and Electronics Engineers Inc., p. 100-107 8 p. 7515617

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

  75. Value and energy aware adaptive resource allocation of soft real-time jobs on many-core HPC data centers

    Singh, A. K., Dziurzanski, P. & Indrusiak, L. S., 18 Jul 2016, Proceedings - 2016 IEEE 19th International Symposium on Real-Time Distributed Computing, ISORC 2016. Institute of Electrical and Electronics Engineers Inc., p. 190-197 8 p. 7515628

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

  76. Hardware-accelerated parallel genetic algorithm for fitness functions with variable execution times

    Ma, Y. & Indrusiak, L. S., 20 Jul 2016, GECCO 2016 - Proceedings of the 2016 Genetic and Evolutionary Computation Conference. Association for Computing Machinery, Inc, p. 829-836 8 p.

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

  77. Group Activity Recognition on Outdoor Scenes

    Stephens, K. & Bors, A. G., Aug 2016, IEEE International Conference on Advanced Video and Signal-based Surveillance (AVSS). IEEE, p. 59-65 7 p.

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

  78. Co-Motion: Mobility and wellbeing in later life

    Bevan, M. A., Petrie, H., Cambridge, H. M., Cinderby, S., Croucher, K. L., Swallow, D. M., Gilroy, R. & Attuyer, K., 21 Aug 2016, Universal Design 2016: Learning from the past, designing for the future (Proceedings of the 3rd International Conference on Universal Design, UD2016). . Amsterdam: IOS Press, Vol. 229. p. 627 - 629 2 p.

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

  79. Exploring intrinsic and extrinsic motivations to participate in a crowdsourcing project to support blind and partially sighted students

    Layas, F. A. M. & Petrie, H., 21 Aug 2016, Universal Design 2016: Learning from the past, designing for the future (Proceedings of the 3rd International Conference on Universal Design, UD2016). . Amsterdam: IOS Press, Vol. 229. p. 545 - 556 11 p.

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

  80. Three case studies on methods of working with older people in the design of new technologies

    Petrie, H., Abdullah Sani, Z. H., Swallow, D. M. & Lewis, A. W., 21 Aug 2016, Universal Design 2016: Learning from the past, designing for the future (Proceedings of the 3rd International Conference on Universal Design, UD2016). Amsterdam: IOS Press, Vol. 229. p. 1-12 12 p.

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

  81. Understanding and supporting web developers: design and evaluation of a web accessibility information resource (WebAIR)

    Swallow, D. M., Petrie, H. & Power, C. D., 21 Aug 2016, Universal Design 2016: Learning from the past, designing for the future (Proceedings of the 3rd International Conference on Universal Design, UD2016). Amsterdam: IOS Press, Vol. 229. p. 482-491 10 p.

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

  82. Understanding the lived experience of five individuals with mobility aids

    Walsh, T. & Petrie, H., 21 Aug 2016, Universal Design 2016: Learning from the past, designing for the future (Proceedings of the 3rd International Conference on Universal Design, UD2016). Petrie, H., Darzentas, J., Walsh, T., Swallow, D., Sandoval, L., Lewis, A. & Power, C. (eds.). Amsterdam: IOS Press, p. 582 - 593 12 p. (Studies in Health Technology and Informatics; vol. 229).

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

  83. Achieving Appropriate Test Coverage for Reliable Measurement-Based Timing Analysis

    Law, S. A. & Bate, I., 1 Sep 2016, Proceedings - 28th Euromicro Conference on Real-Time Systems, ECRTS 2016. Vol. 2016-August. p. 189-199 11 p. 7557880. (Real-Time Systems (ECRTS), Euromicro Conference on).

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

  84. Exploiting short supports for improved encoding of arbitrary constraints into SAT

    Akgün, Ö., Gent, I. P., Jefferson, C. A., Miguel, I. J. & Nightingale, P. W., 5 Sep 2016, Principles and Practice of Constraint Programming: 22nd International Conference, CP 2016, Toulouse, France, September 5-9, 2016, Proceedings. Rueher, M. (ed.). Netherlands: Springer, p. 3-12 10 p. (Lecture Notes in Computer Science).

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

  85. Using association rule mining to predict opponent deck content in android: Netrunner

    Sephton, N., Cowling, P. I., Devlin, S., Hodge, V. J. & Slaven, N. H., 20 Sep 2016, 2016 IEEE Conference on Computational Intelligence and Games, CIG 2016. IEEE Computer Society Press, 7860399

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

  86. On Routing Flexibility of Wormhole-Switched Priority-Preemptive NoCs

    Nikolic, B., Pinho, L. M. & Indrusiak, L. S., 29 Sep 2016, Proceedings - 2016 IEEE 22nd International Conference on Embedded and Real-Time Computing Systems and Applications, RTCSA 2016. Institute of Electrical and Electronics Engineers Inc., p. 120-129 10 p. 7579947

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

  87. A Practical Message ID Assignment Policy for Controller Area Network that Maximizes Extensibility

    Pölzlbauer, F., Davis, R. I. & Bate, I. J., Oct 2016, Proceedings of 24th International Conference on Real-Time Networks and Systems: RTNS16. ACM Digital Library, p. 45-54

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

  88. Towards Semantically Integrated Models and Tools for Cyber-Physical Systems Design

    Larsen, P. G., Fitzgerald, J., Woodcock, J., Nilsson, R., Gamble, C. & Foster, S. D., Oct 2016, 7th International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation. p. 171-186 16 p.

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

  89. Squeezy Green Balls: Promoting Environmental Awareness through Playful Interactions

    Jennett, C., Iacovides, I., Cox, A. L., Vikhanova, A., Weigold, E., Mostaghimi, L., Jones, G., Jenkins, J., Gallacher, S. & Rogers, Y., 1 Oct 2016, Proceedings of the 2016 Annual Symposium on Computer-Human Interaction in Play - CHI PLAY '16. p. 389-400 12 p.

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

  90. Integration of a graph-based model indexer in commercial modelling tools

    Garcia-Dominguez, A., Barmpis, K., Kolovos, D. S., Da Silva, M. A. A., Abherve, A. & Bagnato, A., 2 Oct 2016, Proceedings - 19th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2016. Association for Computing Machinery, Inc, p. 340-350 11 p.

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

  91. Models from code or code as a model?

    Garcia-Dominguez, A. & Kolovos, D. S., 2 Oct 2016, Proceedings of the 16th International Workshop on OCL and Textual Modelling: CEUR Workshop Proceedings. Vol. 1756. p. 137-148 12 p.

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

  92. Partial loading of XMI models

    Wei, R., Kolovos, D. S., Garcia-Dominguez, A., Barmpis, K. & Paige, R. F., 2 Oct 2016, Proceedings - 19th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2016. Association for Computing Machinery, Inc, p. 329-339 11 p.

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

  93. Towards flexible parsing of structured textual model representations

    Kolovos, D. S., Matragkas, N. & Garcia-Dominguez, A., 2 Oct 2016, Proceedings of the 2nd Workshop on Flexible Model Driven Engineering: CEUR Workshop Proceedings. Vol. 1694. p. 22-31 10 p.

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

  94. Collaborative modeling and simulation for cyber-physical systems

    Larsen, P. G., Fitzgerald, J., Woodcock, J. & Lecomte, T., 3 Oct 2016, Trustworthy Cyber-Physical Systems Engineering. CRC Press, p. 177-198 22 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  95. Heterogeneous semantics and unifying theories

    Woodcock, J., Foster, S. & Butterfield, A., 5 Oct 2016, Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques - 7th International Symposium, ISoLA 2016, Proceedings. Margaria, T. & Steffen, B. (eds.). Springer-Verlag, p. 374-394 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9952 LNCS).

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

  96. The convergence of player experience questionnaires

    Denisova, A., Nordin, A. I. & Cairns, P., 16 Oct 2016, CHI PLAY 2016 - Proceedings of the 2016 Annual Symposium on Computer-Human Interaction in Play. Association for Computing Machinery, Inc, p. 33-37 5 p.

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

  97. Cultural and Gender Differences in Password Behaviors: Evidence from China, Turkey and the UK

    Petrie, H. & Merdenyan, B., 23 Oct 2016, Proceedings of the 9th Nordic Conference on Human-Computer Interaction. ACM, 10 p. 9

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

  98. Robot-assisted smart firefighting and interdisciplinary perspectives

    Liu, P., Yu, H., Cang, S. & Vladareanu, L., 24 Oct 2016, 2016 22nd International Conference on Automation and Computing (ICAC). p. 395-401 7 p.

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

  99. Unifying heterogeneous state-spaces with lenses

    Foster, S., Zeyda, F. & Woodcock, J., 24 Oct 2016, Theoretical Aspects of Computing - ICTAC 2016, 13th International Colloquium, Proceedings. Wang, F. & Sampaio, A. (eds.). Springer-Verlag, p. 295-314 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9965 LNCS).

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

  100. SBCCI 2016 Foreword

    Monteiro, D. W. D. L., Torres, F. S. & Indrusiak, L. S., 27 Oct 2016, Proceedings of the 29th Symposium on Integrated Circuits and Systems Design. Institute of Electrical and Electronics Engineers Inc., 11 p.

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

  101. Model-based design of resource-efficient automotive control software

    Chang, W., Roy, D., Zhang, L. & Chakraborty, S., Nov 2016, International Conference on Computer-Aided Design (ICCAD). 9 p.

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

  102. Eboracum: An extensible framework for high-level modeling and evaluation of reactive and adaptable WSNs

    Marques, M. R. S., Brisolara, L., Ferreira, P. R. & Indrusiak, L. S., 3 Nov 2016, IEEE International Conference on Emerging Technologies and Factory Automation, ETFA. Institute of Electrical and Electronics Engineers Inc., Vol. 2016-November. 7733569

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

  103. A Jensen-Shannon Divergence Kernel for Directed Graphs

    Ye, C., Wilson, R. C. & Hancock, E. R., 8 Nov 2016, Structural, Syntactic, and Statistical Pattern Recognition - Joint IAPR International Workshop, S+SSPR 2016, Mérida, Mexico, November 29 - December 2, 2016, Proceedings. p. 196-206 11 p. (Lecture Notes in Computer Science (LNCS); vol. 10029).

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

  104. Commute Times in Dense Graphs

    Escolano, F., Curado, M. & Hancock, E. R., 8 Nov 2016, Structural, Syntactic, and Statistical Pattern Recognition - Joint IAPR International Workshop, S+SSPR 2016, Mérida, Mexico, November 29 - December 2, 2016, Proceedings. p. 241-251 11 p. (Lecture Notes in Computer Science ; vol. 10029).

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

  105. Correlation Network Evolution Using Mean Reversion Autoregression

    Ye, C., Wilson, R. C. & Hancock, E. R., 8 Nov 2016, Structural, Syntactic, and Statistical Pattern Recognition - Joint IAPR International Workshop, S+SSPR 2016, Mérida, Mexico, November 29 - December 2, 2016, Proceedings. p. 163-173 11 p. (Lecture Notes in Computer Science; vol. 10029).

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

  106. Dirichlet Graph Densifiers

    Escolano, F., Curado, M., Lozano, M. A. & Hancock, E. R., 8 Nov 2016, Structural, Syntactic, and Statistical Pattern Recognition - Joint IAPR International Workshop, S+SSPR 2016, Mérida, Mexico, November 29 - December 2, 2016, Proceedings. Springer International Publishing, p. 185-195 11 p. (Lecture Notes in Computer Science; vol. 10029).

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

  107. Graph Entropy from Closed Walk and Cycle Functionals

    Aziz, F., Hancock, E. R. & Wilson, R. C., 8 Nov 2016, Structural, Syntactic, and Statistical Pattern Recognition - Joint IAPR International Workshop, S+SSPR 2016, Mérida, Mexico, November 29 - December 2, 2016, Proceedings. Springer International Publishing, p. 174-184 11 p. (Lecture Notes in Computer Science; vol. 10029).

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

  108. P2P Lending Analysis Using the Most Relevant Graph-Based Features

    Cui, L., Bai, L., Wang, Y., Bai, X., Zhang, Z. & Hancock, E. R., 8 Nov 2016, Structural, Syntactic, and Statistical Pattern Recognition - Joint IAPR International Workshop, S+SSPR 2016, Mérida, Mexico, November 29 - December 2, 2016, Proceedings. Springer International Publishing, p. 3-14 12 p. (Lecture Notes in Computer Science; vol. 10029).

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

  109. Thermodynamic Characterization of Temporal Networks

    Minello, G., Torsello, A. & Hancock, E. R., 8 Nov 2016, Structural, Syntactic, and Statistical Pattern Recognition - Joint IAPR International Workshop, S+SSPR 2016, Merida, Mexico, Nov 30- Dec 2, 2016. Proceedings. Springer International Publishing, p. 49-59 11 p. (Lecture Notes in Computer Science; vol. 10029).

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

  110. Thermodynamic Network Analysis with Quantum Spin Statistics

    Wang, J., Wilson, R. C. & Hancock, E. R., 8 Nov 2016, Structural, Syntactic, and Statistical Pattern Recognition - Joint IAPR International Workshop, S+SSPR 2016, Mérida, Mexico, November 29 - December 2, 2016, Proceedings. Springer International Publishing, p. 153-162 10 p. (Lecture Notes in Computer Science; vol. 10029).

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

  111. fMRI Activation Network Analysis Using Bose-Einstein Entropy

    Wang, J., Wilson, R. C. & Hancock, E. R., 8 Nov 2016, Structural, Syntactic, and Statistical Pattern Recognition - Joint IAPR International Workshop, S+SSPR 2016, Mérida, Mexico, November 29 - December 2, 2016, Proceedings. Springer International Publishing, p. 218-228 11 p. (Lecture Notes in Computer Science; vol. 10029).

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

  112. Probabilistic Analysis for Mixed Criticality Scheduling with SMC and AMC

    Maxim, D., Davis, R. I., Cucu-Grosjean, L. & Easwaran, A., Dec 2016, Proceedings Workshop on Mixed Criticality systems (WMC) 2016. 6 p.

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

  113. Selection of robust features for the Cover Source Mismatch problem in 3D steganalysis

    Li, Z. & Bors, A. G., Dec 2016, Proc. of International Conference on Pattern Recognition (ICPR). IEEE, p. 4251-4256 6 p.

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

  114. A novel entropy-based graph signature from the average mixing matrix

    Bai, L., Rossi, L., Cui, L. & Hancock, E. R., 1 Dec 2016, 2016 23rd International Conference on Pattern Recognition (ICPR). Davis, L., Bimbo, A. D. & Lovell, B. (eds.). Los Alamitos, CA, USA: IEEE Computer Society Press, p. 1339-1344 6 p.

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

  115. A transitive aligned Weisfeiler-Lehman subtree kernel

    Bai, L., Rossi, L., Cui, L. & Hancock, E. R., 1 Dec 2016, 2016 23rd International Conference on Pattern Recognition (ICPR). Davis, L., Bimbo, A. D. & Lovell, B. (eds.). Los Alamitos, CA, USA: IEEE Computer Society Press, p. 396-401 6 p.

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

  116. Absorptive scattering model for rough laminar surfaces

    Dahlan, H. A. & Hancock, E. R., 1 Dec 2016, 2016 23rd International Conference on Pattern Recognition (ICPR). Davis, L., Bimbo, A. D. & Lovell, B. (eds.). Los Alamitos, CA, USA: IEEE Computer Society Press, p. 1905-1910 6 p.

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

  117. An edge-based matching kernel on commute-time spanning trees

    Bai, L., Cui, L., Escolano, F. & Hancock, E. R., 1 Dec 2016, 2016 23rd International Conference on Pattern Recognition (ICPR). Davis, L., Bimbo, A. D. & Lovell, B. (eds.). Los Alamitos, CA, USA: IEEE Computer Society Press, p. 2103-2108 6 p.

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

  118. Analyzing graph time series using a generative model

    Ye, C., Wilson, R. C. & Hancock, E. R., 1 Dec 2016, 2016 23rd International Conference on Pattern Recognition (ICPR). Davis, L., Bimbo, A. D. & Lovell, B. (eds.). Los Alamitos, CA, USA: IEEE Computer Society Press, p. 3338-3343 6 p.

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

  119. Face image super-resolution via weighted patches regression

    Zhang, Y., Zhang, Z., Hu, G. & Hancock, E. R., 1 Dec 2016, 2016 23rd International Conference on Pattern Recognition (ICPR). Davis, L., Bimbo, A. D. & Lovell, B. (eds.). Los Alamitos, CA, USA: IEEE Computer Society Press, p. 3892-3897 6 p.

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

  120. Modelling and dynamic analysis of underactuated capsule systems with friction-induced hysteresis

    Liu, P., Yu, H. & Cang, S., 1 Dec 2016, 2016 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS). p. 549-554 6 p.

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

  121. Network entropy analysis using the Maxwell-Boltzmann partition function

    Wang, J., Wilson, R. C. & Hancock, E. R., 1 Dec 2016, 2016 23rd International Conference on Pattern Recognition (ICPR). Davis, L., Bimbo, A. D. & Lovell, B. (eds.). Los Alamitos, CA, USA: IEEE Computer Society Press, p. 1321-1326 6 p.

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

  122. Non-Rigid Dense Bijective Maps

    Gasparetto, A., Cosmo, L., Torsello, A. & Wilson, R. C., 1 Dec 2016, International Conference on Pattern Recognition. IEEE Computer Society, 6 p.

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

  123. Quantum thermodynamics of time evolving networks

    Minello, G., Torsello, A. & Hancock, E. R., 1 Dec 2016, 2016 23rd International Conference on Pattern Recognition (ICPR). Davis, L., Bimbo, A. D. & Lovell, B. (eds.). Los Alamitos, CA, USA: IEEE Computer Society Press, p. 1536-1541 6 p.

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

  124. Reflectance-aware optical flow

    Dahlan, H. A., Hancock, E. R. & Smith, W. A. P., 1 Dec 2016, 2016 23rd International Conference on Pattern Recognition (ICPR). Davis, L., Bimbo, A. D. & Lovell, B. (eds.). Los Alamitos, CA, USA: IEEE Computer Society Press, p. 2860-2865 6 p.

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

  125. Shape classification with a vertex clustering graph kernel

    Bai, L., Cui, L., Wang, Y., Jin, X., Bai, X. & Hancock, E. R., 1 Dec 2016, 2016 23rd International Conference on Pattern Recognition (ICPR). Davis, L., Bimbo, A. D. & Lovell, B. (eds.). Los Alamitos, CA, USA: IEEE Computer Society Press, p. 2634-2639 6 p.

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

  126. Attributed Graph Transformation via Rule Schemata: Church-Rosser Theorem

    Plump, D. & Hristakiev, I., 3 Dec 2016, Software Technologies: Applications and Foundations : STAF 2016 Collocated Workshops, Revised Selected Papers. Milazzo, P., Wimmer, M. & Varró, D. (eds.). Springer, Vol. 9946. p. 145-160 16 p. (Lecture Notes in Computer Science; vol. 9946).

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

  127. Eager recirculating memory to alleviate the von Neumann Bottleneck

    O'Keefe, S. E. M. & Edwards, J., 6 Dec 2016, 2016 IEEE Symposium Series on Computational Intelligence (SSCI). IEEE, p. 1-5 5 p.

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

  128. On Valid Optimal Assignment Kernels and Applications to Graph Classification

    Kriege, N., Giscard, P-L. & Wilson, R. C., 6 Dec 2016, Advances in Neural Information Processing Systems 29 (NIPS 2016). Lee, D. D., von Luxburg, U., Garnett, R., Sugiyama, M. & Guyon, I. (eds.). Curran Associates Inc., p. 1623-1631 9 p. (Advances in Neural Information Processing Systems).

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

  129. Electoral Systems Used around the World

    Shahandashti, S. F., 13 Dec 2016, Real-World Electronic Voting: Design, Analysis and Deployment. Hao, F. & Ryan, P. Y. A. (eds.). CRC Press, (Series in Security, Privacy and Trust).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  130. Optimisation of a Molecular Dynamics Simulation of Chromosome Condensation

    Law, T. R., Hancox, J., Cheng, T. M. K., Chaleil, R. A. G., Wright, S. A., Bates, P. A. & Jarvis, S. A., 16 Dec 2016, Proceedings - 28th IEEE International Symposium on Computer Architecture and High Performance Computing, SBAC-PAD 2016. IEEE Computer Society Press, p. 126-133 8 p. 7789332

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

  131. V2V Channel allocation method based on SWM communication demand matrix

    Ye, L., Peng, C., Han, Q., Zeng, L., Chen, L., Liu, X. & Xu, Y., 22 Dec 2016, 2016 IEEE 19th International Conference on Intelligent Transportation Systems, ITSC 2016. Institute of Electrical and Electronics Engineers Inc., p. 2095-2100 6 p. 7795895

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