Search research publications and outputs

  1. 2014
  2. CARMEN

    Austin, J., 2014

    Research output: Non-textual formSoftware

  3. 2013
  4. A miniature Biomedical Signal Recorder - Digital Circuit Module

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

    Research output: Non-textual formArtefact

  5. Epsilon

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

    Research output: Non-textual formSoftware

  6. The Epsilon Languages and Tools Framework

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

    Research output: Non-textual formSoftware

  7. 2012
  8. Monte Carlo Tree Search

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

    Research output: Non-textual formSoftware

  9. YORLL: York Reinforcement Learning Library

    Reinforcement Learning Research Group, 2012

    Research output: Non-textual formSoftware

  10. You Share

    Austin, J., 2012

    Research output: Non-textual formSoftware

  11. 2011
  12. Demonstration software for IDS Sensor Placement

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

    Research output: Non-textual formSoftware

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

Previous 1 2 Next