Search research publications and outputs

  1. 2015
  2. 2nd International Workshop on Software Engineering Methods in Spreadsheets (SEMS 2015)

    Hermans, F., Paige, R. F. & Sestoft, P., 2015, 37th IEEE/ACM International Conference on Software Engineering, ICSE 2015, Florence, Italy, May 16-24, 2015, Volume 2. Bertolino, A. (ed.). IEEE, Vol. 2. p. 1005-1006 2 p.

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

  3. 7th International Workshop on Modeling in Software Engineering (MiSE 2015)

    Gray, J., Chechik, M., Kulkarni, V. & Paige, R. F., 2015, 37th IEEE/ACM International Conference on Software Engineering, ICSE 2015, Florence, Italy, May 16-24, 2015, Volume 2. Bertolino, A. (ed.). IEEE, Vol. 2. p. 985-986 2 p.

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

  4. A Cross-Cultural Study of Motivations to Participate in a Crowdsourcing Project to Support People with Disabilities

    Layas, F., Petrie, H. & Power, C. D., 2015, Third AAAI Conference on Human Computation and Crowdsourcing.

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

  5. A High-Order Depth-Based Graph Matching Method

    Bai, L., Zhang, Z., Ren, P. & Hancock, E. R., 2015, Computer Analysis of Images and Patterns :16th International Conference, CAIP 2015, Valletta, Malta, September 2-4, 2015 Proceedings, Part I. Azzopardi, G. & Petkov, N. (eds.). SPRINGER, Vol. 9256. p. 465-476 12 p. (Lecture Notes in Computer Science; vol. 9256).

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

  6. A Quantum Jensen-Shannon Graph Kernel Using Discrete-Time Quantum Walks

    Bai, L., Rossi, L., Ren, P., Zhang, Z. & Hancock, E. R., 2015, Graph-Based Representations in Pattern Recognition :10th IAPR-TC-15 International Workshop, GbRPR 2015, Beijing, China, May 13-15, 2015. Proceedings. Liu, C-L., Luo, B., Kropatsch, W. G. & Cheng, J. (eds.). SPRINGER, p. 252-261 10 p. (Lecture Notes in Computer Science; vol. 9069).

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

  7. A Reference Interpreter for the Graph Programming Language GP 2

    Bak, C., Faulkner, G., Plump, D. & Runciman, C., 2015, Proceedings 1st Workshop Graphs as Models (GaM 2015). Rensink, A. & Zambon, E. (eds.). Electronic Proceedings in Theoretical Computer Science, Vol. 181. p. 48-64 17 p. (Electronic Proceedings in Theoretical Computer Science; vol. 181).

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

  8. A function for hard real-time system search-based task mapping optimisation

    Sayuti, M. N. S. M. & Indrusiak, L. S., 2015, Real-Time Distributed Computing (ISORC): 2015 IEEE 18th International Symposium on Real-Time Distributed Computing. Institute of Electrical and Electronics Engineers Inc., p. 66-73 8 p.

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

  9. A practical evaluation of synchronicity in action potentials with noise

    Edwards, J. & O'Keefe, S., 2015, CF '15 Proceedings of the 12th ACM International Conference on Computing . ACM, 2 p. 42

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

  10. Adaptive Graph Learning for Unsupervised Feature Selection

    Zhang, Z., Bai, L., Liang, Y. & Hancock, E. R., 2015, Computer Analysis of Images and Patterns :16th International Conference, CAIP 2015, Valletta, Malta, September 2-4, 2015 Proceedings, Part I. Azzopardi, G. & Petkov, N. (eds.). SPRINGER, Vol. 9256. p. 790-800 11 p. (Lecture Notes in Computer Science; vol. 9256).

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

  11. An Edge-Based Matching Kernel Through Discrete-Time Quantum Walks

    Bai, L., Zhang, Z., Ren, P., Rossi, L. & Hancock, E. R., 2015, Image Analysis and Processing — ICIAP 2015 : 18th International Conference, Genoa, Italy, September 7-11, 2015, Proceedings, Part I. Murino, V. & Puppo, E. (eds.). SPRINGER, p. 27-38 12 p. (Lecture Notes in Computer Science; vol. 9279).

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

  12. An Edge-Based Matching Kernel for Graphs Through the Directed Line Graphs

    Bai, L., Zhang, Z., Wang, C. & Hancock, E. R., 2015, Computer Analysis of Images and Patterns : 16th International Conference, CAIP 2015, Valletta, Malta, September 2-4, 2015, Proceedings, Part II. Azzopardi, G. & Petkov, N. (eds.). SPRINGER, p. 85-95 11 p. (Lecture Notes in Computer Science; vol. 9257).

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

  13. An Entropic Edge Assortativity Measure

    Ye, C., Wilson, R. C. & Hancock, E. R., 2015, Graph-Based Representations in Pattern Recognition :10th IAPR-TC-15 International Workshop, GbRPR 2015, Beijing, China, May 13-15, 2015. Proceedings. Liu, C-L., Luo, B., Kropatsch, W. G. & Cheng, J. (eds.). SPRINGER, p. 23-33 11 p. (Lecture Notes in Computer Science; vol. 9069).

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

  14. An OCL-based Bridge from Concrete to Abstract Syntax

    Herrera, A. S-B., Willink, E. D. & Paige, R. F., 2015, Proceedings of the 15th International Workshop on OCL and Textual Modeling co-located with 18th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2015): Ottawa, Canada, September 28, 2015.. Brucker, A. D., Egea, M., Gogolla, M. & Tuong, F. (eds.). CEUR-WS.org, p. 19-34 16 p. (CEUR Workshop Proceedings; vol. 1512).

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

  15. An Opportunistic Transmission Protocol for Body Sensor Networks using RSSI and On-board Accelerometer

    Lim, T. H. & Bate, I., 2015, Intelligent Sensors, Sensor Networks and Information Processing (ISSNIP): 2015 IEEE 10th International Conference on Intelligent Sensors, Sensor Networks and Information Processing (ISSNIP). IEEE, p. 1-6 7 p.

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

  16. Angelicism in the theory of reactive processes

    De Oliveira Salazar Ribeiro, P. F. & Cavalcanti, A. L. C., 2015, Unifying Theories of Programming: 5th International Symposium, UTP 2014, Singapore, May 13, 2014, Revised Selected Papers. SPRINGER, p. 42-61 20 p. (Lecture Notes in Computer Science; vol. 8963).

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

  17. Assessing the Use of Eclipse MDE Technologies in Open-Source Software Projects

    Kolovos, D. S., Matragkas, N. D., Korkontzelos, I., Ananiadou, S. & Paige, R. F., 2015, Proceedings of the International Workshop on Open Source Software for Model Driven Engineering co-located with ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS 2015) : Ottawa, Canada, September 29, 2015. CEUR-WS.org, p. 20-29 10 p. (CEUR Workshop Proceedings; vol. 1541).

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

  18. Behavioral Program Synthesis: Insights and Prospects

    Krawiec, K., Swan, J. & O'Reilly, U-M., 2015, Genetic Programming Theory and Practice XIII : GPTP 2015, University of Michigan, Ann Arbor. Riolo, R., Worzel, B., Kotanchek, M. & Kordon, A. (eds.). Springer, p. 191-209 19 p. (Genetic and Evolutionary Computation).

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

  19. CSP and Kripke Structures

    Cavalcanti, A. L. C., Huang, W-L., Peleska, J. & Woodcock, J. C. P., 2015, Theoretical Aspects of Computing - ICTAC 2015. Leucker, M., Rueda, C. & Valencia, F. D. (eds.). SPRINGER, p. 505-523 19 p. (Lecture Notes in Computer Science; vol. 9399).

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

  20. Combined Security and Safety Risk Analysis: What needs to be done for ICS and the IoT

    McDermid, J. A., StJohn-Green, M., Piggin, R. & Oates, R., 2015, 10th IET System Safety and Cyber Security Conference . IET, p. 63-69 7 p.

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

  21. Coupled-Feature Hypergraph Representation for Feature Selection

    Zhang, Z., Xiahou, J., Bai, L. & Hancock, E. R., 2015, Graph-Based Representations in Pattern Recognition :10th IAPR-TC-15 International Workshop, GbRPR 2015, Beijing, China, May 13-15, 2015. Proceedings. Liu, C-L., Luo, B., Kropatsch, W. G. & Cheng, J. (eds.). SPRINGER, p. 44-53 10 p. (Lecture Notes in Computer Science; vol. 9069).

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

  22. Disruption to UK Air Traffic Management on 12th December 2014: Analysis and Lessons Learnt

    McDermid, J. A. & Whysall, P., 2015, 10th IET System Safety and Cyber Security Conference 2015. IET, p. 108-113 6 p.

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

  23. Efficient and Secure Delegation of Group Exponentiation to a Single Server

    Kahrobaei, D., Di Crescenzo, G., Shpilrain, V. & Cavallo, B., 2015, Efficient and Secure Delegation of Group Exponentiation to a Single Server. Springer, p. 156-173 18 p. (Lecture Notes in Computer Science).

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

  24. Emergent bluffing and inference with Monte Carlo Tree Search

    Cowling, P. I., Whitehouse, D. & Powley, E. J., 2015, 2015 IEEE Conference on Computational Intelligence and Games (CIG). IEEE, p. 114-121 8 p.

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

  25. Evaluating Mixed Criticality Scheduling Algorithms with Realistic Workloads

    Griffin, D., Bate, I., Lesage, B. & Soboczenski, F., 2015, Proc. 3rd Workshop on Mixed Criticality (WMC).

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

  26. Evaluating Student Work in Modelling Courses

    Paige, R. F., Kolovos, D. S., Polack, F. A. C. & Rose, L. M., 2015, EduSymp 2015 MODELS Educators Symposium 2015: Proceedings of the MODELS Educators Symposium 2015 co-located with the ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS 2015). Sturm, A. & Clark, T. (eds.). CEUR-WS.org, p. 68-76 9 p. (CEUR Workshop Proceedings; vol. 1555).

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

Previous 1 2 3 4 5 Next