Refine your results

Easily toggle selected advanced search features:

Search research publications and outputs

  1. 1995
  2. AURA: Advanced Uncertain Reasoning Architecture

    Austin, J., 1995

    Research output: Non-textual formSoftware

  3. 2004
  4. FaceEnforce: Facial Biometric System

    Austin, J., 2004

    Research output: Non-textual formSoftware

  5. 2008
  6. BOUT++: Plasma simulation code in curvilinear coordinates

    Dudson, B. D., 2008

    Research output: Non-textual formSoftware

  7. 2010
  8. Java Bread Board

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

    Research output: Non-textual formSoftware

  9. EVAN (European Virtual Anthropology Network) toolbox

    Phillips, R., O'Higgins, P., Bookstein, F., Green, B. (ed.), Gunnarson, H. (ed.), Shady, Y. (ed.), Dalge, V. (ed.), Gowigati, R. (ed.) & Ben Ali, O. (ed.), 1 Jan 2010

    Research output: Non-textual formSoftware

  10. BUCCANEER

    Cowtan, K. D., Jun 2010

    Research output: Non-textual formSoftware

  11. NAUTILUS

    Cowtan, K. D., Nov 2010

    Research output: Non-textual formSoftware

  12. STDetect: Spectrogram Track Detection

    Lampert, T., 20 Dec 2010

    Research output: Non-textual formSoftware

  13. 2011
  14. 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

  15. wdsCarve

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

    Research output: Non-textual formSoftware

  16. Demonstration software for IDS Sensor Placement

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

    Research output: Non-textual formSoftware

  17. COOT: Crystallographic Object-Oriented Toolkit

    Cowtan, K. D., Jul 2011

    Research output: Non-textual formSoftware

  18. 2012
  19. Monte Carlo Tree Search

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

    Research output: Non-textual formSoftware

  20. YORLL: York Reinforcement Learning Library

    Reinforcement Learning Research Group, 2012

    Research output: Non-textual formSoftware

  21. You Share

    Austin, J., 2012

    Research output: Non-textual formSoftware

  22. CCP4

    Cowtan, K. D., Jul 2012

    Research output: Non-textual formSoftware

  23. 2013
  24. Epsilon

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

    Research output: Non-textual formSoftware

  25. The Epsilon Languages and Tools Framework

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

    Research output: Non-textual formSoftware

  26. 2014
  27. CARMEN

    Austin, J., 2014

    Research output: Non-textual formSoftware

  28. Nautilus version 0.4

    Cowtan, K. D., 7 Mar 2014

    Research output: Non-textual formSoftware

  29. Buccaneer version 1.6.0

    Cowtan, K. D., 7 May 2014

    Research output: Non-textual formSoftware

  30. AEG Mesher: A structured mesh generator for finite-difference time-domain

    Flintoft, I. D., Dawson, J. F. & Berens, M., 26 Aug 2014

    Research output: Non-textual formSoftware

  31. Coot version 0.8

    Cowtan, K. D., 23 Sep 2014

    Research output: Non-textual formSoftware

  32. 2015
  33. 2016
  34. 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

  35. Edgelands

    Eato, J. E., Worth, P., Burt, T., Scott, S., Bruce, H. & Malham, D., 23 May 2016

    Research output: Non-textual formSoftware

  36. Four Mountains Test App

    Bisby, J., Hartley, T. & Burgess, N., 16 Jul 2016

    Research output: Non-textual formSoftware

  37. AEG electromagnetic power balance toolbox and solver

    Flintoft, I. D., 21 Aug 2016

    Research output: Non-textual formSoftware

  38. 2017
  39. Code for SPEKE Verification

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

    Research output: Non-textual formSoftware

  40. Smart Contract for Anonymous Voting over Ethereum

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

    Research output: Non-textual formSoftware

  41. Complex-Valued Wavelet Lifting for Signal Denoising: CNLTreg

    Nunes, M. A. & Knight, M. I., 4 Mar 2017

    Research output: Non-textual formSoftware

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

  43. public beta version of maxfacts.uk

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

    Research output: Non-textual formSoftware

  44. 2018
  45. 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

  46. CCP-EM stable release versions 1.0.0 to 1.3.0

    Cowtan, K. D. & Hoh, S. W., 9 Apr 2018

    Research output: Non-textual formSoftware

  47. 'Sheetbend' software for model morphing of atomic models. version 0.1

    Cowtan, K. D., 19 Jul 2018

    Research output: Non-textual formSoftware

  48. 2019
  49. Quantum Information Mathematica package

    Colbeck, R. A., 5 Jan 2019

    Research output: Non-textual formSoftware

  50. Interactive Reverberation Modelling System

    Wells, J., 19 Mar 2019

    Research output: Non-textual formSoftware

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

  52. GNAR: Methods for Fitting Network Time Series Models

    Leeming, K., Nason, G. P., Nunes, M. A. & Knight, M. I., 7 Jun 2019

    Research output: Non-textual formSoftware