Outputs (REF2)
10 - Mathematical Sciences
University of Kent
Output type
E - Conference contribution
Volume title
CSCW '08: Proceedings of the 2008 ACM Conference on Computer Supported Cooperative Work
Year
2008
Output type
E - Conference contribution
Volume title
CHI '13 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems, April 27–May 2, 2013, Paris, France
Year
2013
Output type
E - Conference contribution
Volume title
CHI '12: Proceedings of the SIGCHI Conference on Human Factors in Computing Systems, Austin, May 5-12, ACM
Year
2012
Output type
D - Journal article
Volume title
Journal of the American Society for Information Science and Technology
Year
2013
Output type
E - Conference contribution
Volume title
CHI '13: Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
Year
2013
Output type
D - Journal article
Volume title
IEEE Transactions on Pattern Analysis and Machine Intelligence
Year
2011
Output title
Output type
E - Conference contribution
Volume title
21st International Joint Conference on Artificial Intelligence (IJCAI-09)
Year
2009
DOI
Output title
Output type
C - Chapter in book
Volume title
Theorem proving in higher order logics: 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008
Year
2008
Output type
D - Journal article
Volume title
IEEE Transactions on Knowledge and Data Engineering
Year
2011
Output type
D - Journal article
Volume title
IEEE Transactions on Evolutionary Computation
Year
2009
Output type
D - Journal article
Volume title
IEEE Transactions on Systems, Man and Cybernetics, Part B: Cybernetics
Year
2012
Output type
E - Conference contribution
Volume title
Human-Computer Interaction--INTERACT 2011 (Lecture Notes in Computer Science, v. 6946)
Year
2011
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
CHI '11: proceedings of the SIGCHI Conference on Human Factors in Computing Systems
Year
2011
Output title
Output type
D - Journal article
Volume title
Journal of Functional Programming
Year
2009
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
CHI '13 Proceedings of the ACM SIGCHI Conference on Human Factors in Computing Systems, April 27–May 2, 2013, Paris, France
Year
2013
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 type
C - Chapter in book
Volume title
Trends in functional programming. Volume 10
Year
2010
DOI
Output type
E - Conference contribution
Volume title
CHI '13: Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
Year
2013
Output title
Output type
D - Journal article
Volume title
Expert Systems with Applications
Year
2013
Output type
C - Chapter in book
Volume title
Formal methods: foundations and applications: 12th Brazilian Symposium on Formal Methods, SBMF 2009, Gramado, Brazil, August 19-21, 2009
Year
2009
Output type
D - Journal article
Volume title
ACM Transactions on Computer-Human Interaction
Year
2011