Refine your results

Easily toggle selected advanced search features:

Search research publications and outputs

Advanced search options

Reset

to
1 - 23 out of 23Page size: 25
Sort by: Title

  1. A General Purpose Algorithm for Counting Simple Cycles and Simple Paths of Any Length

    Giscard, P-L., Kriege, N. & Wilson, R. C., 15 Feb 2019

    Article in Algorithmica

  2. A safety-case approach to the ethics of autonomous vehicles

    Menon, C. & Alexander, R. D., 17 Dec 2019

    Article in Safety and Reliability

  3. An Algorithm for Computing Short-Range Forces in Molecular Dynamics Simulations with Non-Uniform Particle Densities

    Law, T. R., Hancox, J., Wright, S. A. & Jarvis, S., 28 Mar 2019

    Article in Journal of Parallel and Distributed Computing

  4. An Improved Sensor Calibration with Anomaly Detection and Removal

    Fang, X. & Bate, I. J., 28 Nov 2019

    Article in SENSORS AND ACTUATORS B-CHEMICAL

  5. Bridging Proprietary Modelling and Open-Source Model Management Tools: The Case of PTC Integrity Modeller and Epsilon

    Zolotas, A., Hoyos Rodriguez, H., Hutchesson, S., Sanchez Pina, B. A., Grigg, A., Mole, L., Kolovos, D. & Paige, R. F., 11 May 2019

    Special issue in Software and Systems Modeling

  6. Cross-modal Hashing with Semantic Deep Embedding

    Yan, C., Bai, X., Wang, S., Zhou, J. & Hancock, E. R., 23 Jan 2019

    Article in Neurocomputing

  7. DOMtegrity: Ensuring Web Page Integrity against Malicious Browser Extensions

    Toreini, E., Mehrnezhad, M., Shahandashti, S. F. & Hao, F., 11 Jun 2019

    Article in International Journal of Information Security

  8. DeepFault: Fault Localization for Deep Neural Networks

    Gerasimou, S., Eniser, H. F. & Sen, A., 15 Feb 2019, 22nd International Conference on Fundamental Approaches to Software Engineering. Springer-Verlag

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  9. Dirichlet Densifiers for Improved Commute Times Estimation

    Curado, M., Escolano, F., Lozano, M. A. & Hancock, E. R., 19 Feb 2019

    Article in Pattern Recognition

  10. Efficient Parametric Model Checking Using Domain Knowledge

    Calinescu, R. C., Paterson, C. & Johnson, K. H. A., 25 Apr 2019

    Article in IEEE Transactions on Software Engineering

  11. Evolving Graphs with Semantic Neutral Drift

    Plump, D., Atkinson, T. & Stepney, S., 29 Oct 2019

    Article in Natural Computing

  12. Fault-based refinement-testing for CSP

    Cavalcanti, A. L. C. & Simao, A., 21 Mar 2019

    Article in Software Quality Journal

  13. Future Design of Accessibility in Games: A Design Vocabulary

    Cairns, P. A., Power, C. D., Barlet, M. & Haynes, G., 18 Jun 2019

    Article in International Journal of Human-Computer Studies

  14. Implementing an intrusion detection and prevention system using software-defined networking: defending against port-scanning and denial-of-service attacks

    Birkinshaw, C., Rouka, E. & Vasilakis, V., 22 Mar 2019

    Article in Journal of Network and Computer Applications

  15. Is real-money video gaming just a form of gambling?

    Zendle, D., 29 Oct 2019

    Article in Gaming Law Review

  16. Isabelle/SACM: Computer-Assisted Assurance Cases with Integrated Formal Methods

    Nemouchi, Y., Foster, S. D., Gleirscher, M. & Kelly, T. P., 22 Nov 2019, Integrated Formal Methods: Proceedings of the 15th International Conference. Springer International Publishing, Vol. 11918. p. 379-398 20 p. (LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  17. Mind the Gaps: Assuring the Safety of Autonomous Systems from an Engineering, Ethical, and Legal Perspective

    Burton, S., Habli, I., Lawton, T., McDermid, J. A., Morgan, P. D. J. & Porter, Z. L. M., 9 Nov 2019

    Article in Artificial Intelligence

  18. Seeking Affinity Structure: Strategies for Improving m-best Graph Matching

    Curado, M., Escolano, F., Lozano, M. A. & Hancock, E. R., 10 Sep 2019

    Article in Information Sciences

  19. Single Image Super Resolution via Neighbor Reconstruction

    Zhang, Z., Xu, C., Zhang, Z., Chen, G., Cai, Y., Wang, Z., Li, H. & Hancock, E. R., 22 Apr 2019

    Article in Pattern Recognition Letters

  20. Structural network inference from time-series data using a generative model and transfer entropy

    Zhang, Z., Zhang, G., Zhang, Z., Chen, G., Zeng, Y., Wang, B. & Hancock, E. R., 25 May 2019

    Article in Pattern Recognition Letters

  21. The low-rank decomposition of correlation-enhanced superpixels for video segmentation

    Xu, H., Hancock, E. R. & Zhou, W., 22 Feb 2019

    Article in Soft Computing - A Fusion of Foundations, Methodologies and Applications

  22. Verified simulation for robotics

    Cavalcanti, A., Sampaio, A., Miyazawa, A., Ribeiro, P., Filho, M. C., Didier, A., Li, W. & Timmis, J., 11 Jan 2019

    Article in Science of Computer Programming

  23. Win Prediction in Multi-Player Esports: Live Professional Match Prediction

    Hodge, V. J., Devlin, S. M., Sephton, N. J., Block, F. O., Cowling, P. I. & Drachen, A., 19 Nov 2019

    Article in IEEE Transactions on Games