Outputs (REF2)
21 - Politics and International Studies
University of Oxford
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
IEEE International Conference on Decision and Control (CDC), 2010.
Year
2010
Output title
Output type
D - Journal article
Volume title
IEEE Transactions on Visualization and Computer Graphics
Year
2012
Output title
Output type
D - Journal article
Volume title
Quality and Safety in Healthcare
Year
2010
Output type
E - Conference contribution
Volume title
ACM Creativity & Cognition Conference'2013
Year
2013
Output type
D - Journal article
Volume title
IEEE Transactions on Visualization and Computer Graphics
Year
2013
Output title
Output type
D - Journal article
Volume title
Software: Practice and Experience
Year
2013
DOI
Output title
Output type
D - Journal article
Volume title
Journal of Functional Programming
Year
2008
Output title
Output type
E - Conference contribution
Volume title
Proceedings of the 2010 IEEE 21st International Symposium on Software Reliability Engineering
Year
2010
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
2011
Output type
D - Journal article
Volume title
International Journal of Computer Assisted Radiology and Surgery
Year
2008
Output type
D - Journal article
Volume title
Journal of the American Society for Information Science and Technology
Year
2009
Output type
E - Conference contribution
Volume title
Proceedings of ISSRE-2008, 18th International Symposium on Software Reliability Engineering, Seattle, WA, USA
Year
2008
Output type
D - Journal article
Volume title
IEEE Transactions on Visualization and Computer Graphics
Year
2009
Output title
Output type
E - Conference contribution
Volume title
International Conference on Mathematics of Program Construction
Year
2012
Output type
E - Conference contribution
Volume title
Proceedings of the ACM/IEEE Joint Conference on Digital Libraries, 2012
Year
2012
Output type
D - Journal article
Volume title
IEEE Transactions on Visualization and Computer Graphics
Year
2013
Output type
E - Conference contribution
Volume title
Third International Conference on Internet Monitoring and Protection (ICIMP 2008)
Year
2008