Outputs (REF2)
1 - Clinical Medicine
King's College London
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 Visualization and Computer Graphics
Year
2011
Output title
Output type
E - Conference contribution
Volume title
Sixth European Workshop on Multi-Agent Systems - EUMAS
Year
2008
DOI
Output type
E - Conference contribution
Volume title
Proceedings 20th European Symposium on Programming (ESOP 2011), Lecture Notes in Computer Science, Saarbruecken, Germany, March 2011. Springer-Verlag
Year
2011
Output type
E - Conference contribution
Volume title
UbiComp '11 Proceedings of the 13th international conference on Ubiquitous computing
Year
2011
Output type
D - Journal article
Volume title
IEEE Transactions on Visualization and Computer Graphics
Year
2011
Output type
D - Journal article
Volume title
IEEE Transactions on Visualization and Computer Graphics
Year
2012
Output title
Output type
E - Conference contribution
Volume title
Proceedings of the 12th European Conference, ECDL 2008
Year
2008
Output type
E - Conference contribution
Volume title
ACM International Conference on Management of Data (SIGMOD), 2013.
Year
2013
Output type
D - Journal article
Volume title
International Journal of Human-Computer Studies
Year
2009
Output type
D - Journal article
Volume title
IEEE Journal of Selected Topics in Signal Processing
Year
2011
Output type
E - Conference contribution
Volume title
Proceedings 17th European Symposium on Programming (ESOP'08), volume 4960 of Lecture Notes in Computer Science, Budapest, Hungary, March 2008. Springer-Verlag
Year
2008
Output title
Output type
E - Conference contribution
Volume title
CHI 2012: Proceedings of the 2012 ACM annual conference on Human Factors in Computing Systems
Year
2012
Output title
Output type
E - Conference contribution
Volume title
Automated Technology for Verification and Analysis. Lecture Notes in Computer Science
Year
2009
Output type
D - Journal article
Volume title
IEEE Transactions on Systems, Man and Cybernetics, Part A: Systems and Humans
Year
2011
Output type
D - Journal article
Volume title
IEEE Transactions on Instrumentation and Measurement
Year
2011
Output title
Output type
E - Conference contribution
Volume title
17th IEEE Symposium on Computers and Communications (ISCC)
Year
2012
Output type
E - Conference contribution
Volume title
Proceedings 5th International Workshop on Formal Aspects in Security and Trust (FAST2008), Lecture Notes in Computer Science, Malaga, Spain, October 2008. Springer-Verlag
Year
2009
Output title
Output type
E - Conference contribution
Volume title
Proceedings of the 2009 ACM SIGPLAN workshop on Generic programming
Year
2009
Output title
Output type
E - Conference contribution
Volume title
Static Analysis Symposium. Lecture Notes in Computer Science (ARCoSS)
Year
2012
Output title
Output type
E - Conference contribution
Volume title
2010 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS)
Year
2010
Output title
Output type
D - Journal article
Volume title
Journal of Functional Programming
Year
2012
Output title
Output type
D - Journal article
Volume title
Electronic Notes in Theoretical Computer Science
Year
2010
Output type
D - Journal article
Volume title
IEEE Transactions on Visualization and Computer Graphics
Year
2012
Output type
E - Conference contribution
Volume title
Proceedings 18th IEEE International Requirements Engineering Conference
Year
2010
Output title
Output type
D - Journal article
Volume title
IEEE Transactions on Visualization and Computer Graphics
Year
2010
Output type
D - Journal article
Volume title
IEEE Transactions on Visualization and Computer Graphics
Year
2013
Output type
E - Conference contribution
Volume title
ACM International Conference on Autonomic Computing (ICAC), 2009.
Year
2009
Output type
D - Journal article
Volume title
IEEE Transactions on Neural Networks and Learning Systems
Year
2012
Output title
Output type
D - Journal article
Volume title
IEEE Transactions on Visualization and Computer Graphics
Year
2012
Output type
D - Journal article
Volume title
IEEE Transactions on Visualization and Computer Graphics
Year
2010
Output title
Output type
D - Journal article
Volume title
IEEE Transactions on Visualization and Computer Graphics
Year
2008