Outputs (REF2)
29 - English Language and Literature
Bath Spa University
Output title
Output type
D - Journal article
Volume title
Annals of Pure and Applied Logic
Year
2008
Output title
Output type
D - Journal article
Volume title
International Journal of Human-Computer Studies
Year
2013
Output title
Output type
D - Journal article
Volume title
IEEE Transactions on Visualization and Computer Graphics
Year
2009
Output title
Output type
D - Journal article
Volume title
IEEE Transactions on Visualization and Computer Graphics
Year
2008
Output title
Output type
D - Journal article
Volume title
IEEE Transactions on Pattern Analysis and Machine Intelligence
Year
2012
Output title
Output type
E - Conference contribution
Volume title
Electronic Notes in Theoretical Computer Science
Year
2012
Output title
Output type
E - Conference contribution
Volume title
Logic in Computer Science (LICS), 2013 28th Annual IEEE/ACM Symposium on
Year
2013
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
Annals of Pure and Applied Logic
Year
2009
Output title
Output type
E - Conference contribution
Volume title
CHI '13 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
Year
2013
Output type
E - Conference contribution
Volume title
Software Engineering and Formal Methods, 2008. SEFM '08. Sixth IEEE International Conference on
Year
2008