Search research publications and outputs

  1. Software › Research
  2. AURA: Advanced Uncertain Reasoning Architecture

    Austin, J., 1995

    Research output: Non-textual formSoftware

  3. CARMEN

    Austin, J., 2014

    Research output: Non-textual formSoftware

  4. Code for SPEKE Verification

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

    Research output: Non-textual formSoftware

  5. Demonstration software for IDS Sensor Placement

    Chen, H., Fuller, R. & Clark, J. A., 31 Mar 2011

    Research output: Non-textual formSoftware

  6. Epsilon

    Kolovos, D., Garcia-Dominguez, A., Rose, L. M. & Bezemer, M., 2013

    Research output: Non-textual formSoftware

  7. FaceEnforce: Facial Biometric System

    Austin, J., 2004

    Research output: Non-textual formSoftware

  8. 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

  9. Java Bread Board

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

    Research output: Non-textual formSoftware

  10. Monte Carlo Tree Search

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

    Research output: Non-textual formSoftware

  11. 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

  12. STDetect: Spectrogram Track Detection

    Lampert, T., 20 Dec 2010

    Research output: Non-textual formSoftware

  13. Smart Contract for Anonymous Voting over Ethereum

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

    Research output: Non-textual formSoftware

  14. The Epsilon Languages and Tools Framework

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

    Research output: Non-textual formSoftware

  15. YORLL: York Reinforcement Learning Library

    Reinforcement Learning Research Group, 2012

    Research output: Non-textual formSoftware

  16. You Share

    Austin, J., 2012

    Research output: Non-textual formSoftware

  17. 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

  18. wdsCarve

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

    Research output: Non-textual formSoftware

  19. Artefact › Research
  20. A miniature Biomedical Signal Recorder - Digital Circuit Module

    Crispin-Bailey, C., Austin, J., Moulds, A. & Lampert, T., 2013

    Research output: Non-textual formArtefact

  21. Article › Research › Not peer-reviewed
  22. Comparison of model and ground observations finds snowpack and blowing snow both contribute to Arctic tropospheric reactive bromine

    Swanson, W. F., Holmes, C. D., Simpson, W. R., Confer, K., Marelle, L., Thomas, J. L., Jaeglé, L., Alexander, B., Zhai, S., Chen, Q., Wang, X. & Sherwen, T., 16 Feb 2022

    Article in Atmospheric Chemistry and Physics Discussions

  23. Editorial

    Jones, C. B. & Woodcock, J., 2008

    Article in Formal Asp. Comput.

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