Refine your results

Easily toggle selected advanced search features:

Search research publications and outputs

  1. Software › Research
  2. 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

  3. Interactive Reverberation Modelling System

    Wells, J., 19 Mar 2019

    Research output: Non-textual formSoftware

  4. Java Bread Board

    Crispin-Bailey, C. & Freeman, M., 2010

    Research output: Non-textual formSoftware

  5. Monte Carlo Tree Search

    Cowling, P. I., Powley, E. J. & Whitehouse, D., 2012

    Research output: Non-textual formSoftware

  6. NAUTILUS

    Cowtan, K. D., Nov 2010

    Research output: Non-textual formSoftware

  7. Nautilus version 0.4

    Cowtan, K. D., 7 Mar 2014

    Research output: Non-textual formSoftware

  8. Quantum Information Mathematica package

    Colbeck, R. A., 5 Jan 2019

    Research output: Non-textual formSoftware

  9. RoboTool

    Miyazawa, A. H., De Oliveira Salazar Ribeiro, P. F., Li, W., Cavalcanti, A. L. C. & Timmis, J. I., 20 May 2016

    Research output: Non-textual formSoftware

  10. STDetect: Spectrogram Track Detection

    Lampert, T., 20 Dec 2010

    Research output: Non-textual formSoftware

  11. Smart Contract for Anonymous Voting over Ethereum

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

    Research output: Non-textual formSoftware

  12. The Epsilon Languages and Tools Framework

    Kolovos, D., Rose, L. M. & Paige, R. F., 2013

    Research output: Non-textual formSoftware

  13. UniversalQCompiler

    Iten, R., Reardon-Smith, O. O. D., Mondata, L., Redmond, E., Singh Kohli, R. & Colbeck, R. A., 3 Apr 2019

    Research output: Non-textual formSoftware

  14. YORLL: York Reinforcement Learning Library

    Reinforcement Learning Research Group, 2012

    Research output: Non-textual formSoftware

  15. You Share

    Austin, J., 2012

    Research output: Non-textual formSoftware

  16. jStar: Bringing separation logic to Java

    Distefano, D., Parkinson, M. J., Dodds, M., Grigore, R., Petersen, R., Botincan, M., Gabi, D., Turk, T., Naudziuniene, D., van Staden, S. & Wright, A., 2011

    Research output: Non-textual formSoftware

  17. public beta version of interactive ternary graph tool

    Sebald, A. A-M., Tomasello, L. & Mitchell, D. A., 28 Jun 2017

    Research output: Non-textual formSoftware

  18. public beta version of maxfacts.uk

    Sebald, A. A-M., Tomasello, L. & Mitchell, D. A., 28 Jun 2017

    Research output: Non-textual formSoftware

  19. wdsCarve

    Chivers, H. R. & Hargreaves, C., 2011

    Research output: Non-textual formSoftware

  20. Data set/Database › Research
  21. Burial Spaces Research Database (Live Prototype)

    Pillatt, T., Beale, N. E. & Beale, G., 25 Nov 2019

    Research output: Non-textual formData set/Database

  22. Intonational Variation in Arabic Corpus

    Hellmuth, S. & Alhussein Almbark, R., 30 Dec 2017

    Research output: Non-textual formData set/Database

  23. Digital or Visual Products › Research
  24. A Brief History of Time (documentary)

    Hickman, D., Morris, E. & Hawking, S., 1 Oct 1991

    Research output: Non-textual formDigital or Visual Products

  25. A Hundred Years of British Piano Miniatures

    Wells, J., Power, D., Reynolds, P. & Honeybourne, D., Oct 2018

    Research output: Non-textual formDigital or Visual Products

  26. A Sentimental Picture

    Mee, J. A., Thurston, N., Klaces, C. & Wildgust, P., 8 Jun 2018

    Research output: Non-textual formDigital or Visual Products

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