Outputs (REF2)
1 - Clinical Medicine
University of Bristol
Output type
D - Journal article
Volume title
IEEE Transactions on Audio, Speech, and Language Processing
Year
2008
Output type
D - Journal article
Volume title
Cognitive, Affective, & Behavioral Neuroscience
Year
2013
Output title
Output type
E - Conference contribution
Volume title
Computer Vision and Pattern Recognition
Year
2011
Output type
E - Conference contribution
Volume title
14th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI)
Year
2013
Output title
Output type
E - Conference contribution
Volume title
Twenty-Sixth Annual Computer Security Applications Conference, ACSAC 2010
Year
2010
Output title
Output type
D - Journal article
Volume title
IEEE Transactions on Pattern Analysis and Machine Intelligence
Year
2013
Output title
Output type
E - Conference contribution
Volume title
Computer Aided Verification, 20th International Conference, CAV
Year
2008
Output title
Output type
D - Journal article
Volume title
Proceedings of the Royal Society A
Year
2011
Output type
E - Conference contribution
Volume title
Proceedings of 22nd European Symposium on Programming
Year
2013
Output type
D - Journal article
Volume title
International Journal of Human Computer Studies
Year
2008
Output type
D - Journal article
Volume title
Innovations in Systems and Software Engineering
Year
2013
Output title
Output type
D - Journal article
Volume title
IEEE Transactions on Audio, Speech, and Language Processing
Year
2010
Output title
Output type
E - Conference contribution
Volume title
33rd Annual Meeting of the Cognitive Science Society
Year
2011
DOI
Output type
E - Conference contribution
Volume title
32nd Annual Conference of the Cognitive Science Society
Year
2010
DOI
Output type
D - Journal article
Volume title
Innovations in Systems and Software Engineering
Year
2013
Output type
E - Conference contribution
Volume title
Proceedings of the 5th ACM SIGCHI Symposium on Engineering Interactive Computing Systems, EICS'13
Year
2013
Output type
D - Journal article
Volume title
Formal Aspects of Computing: applicable formal methods
Year
2009
Output title
Output type
D - Journal article
Volume title
IEEE Transactions on Pattern Analysis and Machine Intelligence
Year
2008
Output title
Output type
D - Journal article
Volume title
International Journal of Computer Vision
Year
2012