Outputs (REF2)
11 - Computer Science and Informatics
University of Bath
Output type
E - Conference contribution
Volume title
CHI '11 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
Year
2011
Output type
E - Conference contribution
Volume title
Intelligent Computer Mathematics: 16th Symposium, Calculemus 2009, 8th International Conference, MKM 2009 Held as Part of CICM 2009, Grand Bend, Canada, July 6-12, 2009. Proceedings
Year
2009
Output type
E - Conference contribution
Volume title
2011 IEEE International Conference on Computer Vision (ICCV)
Year
2011
Output title
Output type
D - Journal article
Volume title
Logical Methods in Computer Science
Year
2010
Output type
E - Conference contribution
Volume title
Logic for programming, artificial intelligence, and reasoning: 16th International Conference, LPAR-16, Dakar, Senegal, April 25–May 1, 2010, revised selected papers
Year
2010
Output title
Output type
D - Journal article
Volume title
IEEE Transactions on Visualization and Computer Graphics
Year
2013
Output type
D - Journal article
Volume title
Intelligent Systems in Accounting, Finance and Management
Year
2011
DOI
Output type
D - Journal article
Volume title
International Journal of Human-Computer Interaction
Year
2008
Output type
E - Conference contribution
Volume title
2011 IEEE Conference on Computer Vision and Pattern Recognition (CVPR)
Year
2011
Output type
D - Journal article
Volume title
IEEE Transactions on Systems Man and Cybernetics Part A - Systems and Humans
Year
2010
Output title
Output type
E - Conference contribution
Volume title
CHI '12 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
Year
2012
Output title
Output type
E - Conference contribution
Volume title
2010 25th Annual IEEE Symposium on Logic in Computer Science, LICS
Year
2010
Output type
D - Journal article
Volume title
ACM Transactions on Computer-Human Interaction
Year
2010
Output title
Output type
E - Conference contribution
Volume title
Cryptography and Coding: 12th IMA International Conference, Cryptography and Coding 2009, Cirencester, UK, December 15-17, 2009. Proceedings
Year
2009
Output title
Output type
D - Journal article
Volume title
Annals of Pure and Applied Logic
Year
2010
Output type
E - Conference contribution
Volume title
Algebra and Coalgebra in Computer Science: 4th International Conference, CALCO 2011, Winchetser, UK, August 30 - September 2, 2011. Proceedings
Year
2011
Output type
E - Conference contribution
Volume title
ISSAC '11 Proceedings of the 36th International Symposium on Symbolic and Algebraic Computation
Year
2011
Output type
D - Journal article
Volume title
The Journal of Virtual Reality and Broadcasting
Year
2012
DOI
Output title
Output type
E - Conference contribution
Volume title
CHI '11 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
Year
2011
Output type
E - Conference contribution
Volume title
ISSAC '13: Proceedings of the 38th International Symposium on Symbolic and Algebraic Computation
Year
2013
Output type
E - Conference contribution
Volume title
CHI '12 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
Year
2012
Output title
Output type
D - Journal article
Volume title
IEEE Transactions on Pattern Analysis and Machine Intelligence
Year
2011
Output type
D - Journal article
Volume title
Philosophical Transactions of the Royal Society A - Mathematical Physical and Engineering Sciences
Year
2009
Output type
E - Conference contribution
Volume title
SOUPS '10 Proceedings of the Sixth Symposium on Usable Privacy and Security
Year
2010
Output type
E - Conference contribution
Volume title
Computer Vision, ECCV 2010: 11th European Conference on Computer Vision, Heraklion, Crete, Greece, September 5-11, 2010, Proceedings, Part IV
Year
2010
Output type
E - Conference contribution
Volume title
Proceedings of COOP 2010: Proceedings of the 9th International Conference on Designing Cooperative Systems, May, 18-21, 2010, Aix-en-Provence
Year
2010
DOI
Output title
Output type
E - Conference contribution
Volume title
26th Annual IEEE Symposium on Logic in Computer Science (LICS) 2011
Year
2011
Output title
Output type
D - Journal article
Volume title
IEEE Transactions on Image Processing
Year
2011
Output title
Output type
C - Chapter in book
Volume title
Models, Logics and Higher-Dimensional Categories: A Tribute to the Work of Mihály Makkai
Year
2011
DOI
Output type
D - Journal article
Volume title
International Journal of Human-Computer Studies
Year
2013
