Outputs (REF2)
11 - Computer Science and Informatics
University of Cambridge
Output type
E - Conference contribution
Volume title
13th IEEE Intelligent Transportation Systems Conference
Year
2010
Output title
Output type
D - Journal article
Volume title
Journal of Economic Perspectives
Year
2009
Output title
Output type
E - Conference contribution
Volume title
Advances in Neural Information Processing Systems 20
Year
2009
DOI
Output title
Output type
C - Chapter in book
Volume title
Managing Information Risk and the Economics of Security
Year
2008
Output type
E - Conference contribution
Volume title
2012 IEEE SYMPOSIUM ON SECURITY AND PRIVACY (SP)
Year
2012
Output title
Output type
E - Conference contribution
Volume title
2012 27TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS)
Year
2012
Output type
E - Conference contribution
Volume title
Proceedings of the 53rd IEEE Symposium on Foundations of Computer Science (FOCS’12)
Year
2012
Output title
Output type
E - Conference contribution
Volume title
PLDI: 34th annual ACM SIGPLAN conference on Programming Language Design and Implementation
Year
2013
Output title
Output type
E - Conference contribution
Volume title
Proceedings of the 23rd ACM Symposium on Discrete Algorithms (SODA’12)
Year
2012
DOI
Output title
Output type
E - Conference contribution
Volume title
PLDI 11: PROCEEDINGS OF THE 2011 ACM CONFERENCE ON PROGRAMMING LANGUAGE DESIGN AND IMPLEMENTATION
Year
2011
DOI
Output type
E - Conference contribution
Volume title
Fortieth ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2013)
Year
2013
Output title
Output type
E - Conference contribution
Volume title
POPL'10: PROCEEDINGS OF THE 37TH ANNUAL ACM SIGPLAN-SIGACT SYMPOSIUM ON PRINCIPLES OF PROGRAMMING LANGUAGES
Year
2010
Output type
E - Conference contribution
Volume title
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Year
2009
Output title
Output type
E - Conference contribution
Volume title
Internet Measurement Comference
Year
2008