Outputs (REF2)
11 - Computer Science and Informatics
University of Oxford
Output title
Output type
D - Journal article
Volume title
ACM Transactions on Internet Technology
Year
2010
Output type
D - Journal article
Volume title
Journal of Web Semantics: Science, Services and Agents on the World Wide Web
Year
2011
Output title
Output type
E - Conference contribution
Volume title
OOPSLA 2008 NASHVILLE, CONFERENCE PROCEEDINGS
Year
2008
Output title
Output type
E - Conference contribution
Volume title
Proceedings - IEEE Computer Security Foundations Symposium
Year
2008
Output title
Output type
E - Conference contribution
Volume title
POPL '11 Proceedings of the 38th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
Year
2011
Output type
D - Journal article
Volume title
Computer Supported Cooperative Work: CSCW: An International Journal
Year
2013
Output type
D - Journal article
Volume title
IEEE Transactions on Visualization and Computer Graphics
Year
2012
Output type
E - Conference contribution
Volume title
Conference on Human Factors in Computing Systems - Proceedings
Year
2010
Output title
Output type
E - Conference contribution
Volume title
(STOC ’13) Proceedings of the 45th Annual ACM Symposium on Theory of Computing
Year
2013
Output type
D - Journal article
Volume title
ACM Transactions on Economics and Computation
Year
2013
Output title
Output type
D - Journal article
Volume title
Discrete & Computational Geometry
Year
2012
Output title
Output type
E - Conference contribution
Volume title
(STOC '13) Proceedings of the 45th Annual ACM Symposium on the Theory of Computing
Year
2013
Output title
Output type
E - Conference contribution
Volume title
(FOCS ’12) Proceedings of the IEEE 53rd Annual Symposium on Foundations of Computer Science
Year
2012
Output type
D - Journal article
Volume title
Annals of Mathematics and Artificial Intelligence
Year
2011
Output title
Output type
E - Conference contribution
Volume title
(LICS ’13) The 28th Annual IEEE/ACM Symposium on Logic in Computer Science
Year
2013
Output title
Output type
D - Journal article
Volume title
Concurrency Computation: Practice and Experience
Year
2010
DOI
Output type
D - Journal article
Volume title
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Year
2011
Output type
E - Conference contribution
Volume title
28th Annual IEEE/ACM Symposium on Ligic in Computer Science
Year
2013
Output type
E - Conference contribution
Volume title
ACM International Conference Proceeding Series
Year
2010
Output type
E - Conference contribution
Volume title
Proceedings - Symposium on Logic in Computer Science
Year
2011
Output type
E - Conference contribution
Volume title
Proceedings of the ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems
Year
2008
Output title
Output type
D - Journal article
Volume title
JOURNAL OF FUNCTIONAL PROGRAMMING
Year
2011