Outputs (REF2)
11 - Computer Science and Informatics
Imperial College London
Output type
E - Conference contribution
Volume title
17th International Conference on Compiler Construction 2008
Year
2008
Output type
E - Conference contribution
Volume title
10th IEEE International Symposium on Mixed and Augmented Reality (ISMAR'11)
Year
2011
Output type
E - Conference contribution
Volume title
8th USENIX Symposium on Operating Systems Design and Implementation
Year
2008
DOI
Output title
Output type
E - Conference contribution
Volume title
31st International Conference on Software Engineering (ICSE 2009)
Year
2009
Output type
E - Conference contribution
Volume title
35th IEEE/ACM International Conference on Software Engineering
Year
2013
Output title
Output type
E - Conference contribution
Volume title
28th IEEE International Conference on Data Engineering (ICDE)
Year
2012
Output type
D - Journal article
Volume title
IEEE Transactions on Pattern Analysis and Machine Intelligence
Year
2013
Output title
Output type
E - Conference contribution
Volume title
27th ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems (PODS 2008)
Year
2008
Output type
D - Journal article
Volume title
IEEE Transactions on Network and Service Management
Year
2009
Output title
Output type
E - Conference contribution
Volume title
European Conference on Object-Oriented Programming
Year
2012
Output type
E - Conference contribution
Volume title
21st International Conference on Computer Aided Verification
Year
2009
Output type
E - Conference contribution
Volume title
Twenty-Third International Joint Conference on Artificial Intelligence (IJCAI'13)
Year
2013
DOI
Output title
Output type
E - Conference contribution
Volume title
ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL'08)
Year
2008
Output type
D - Journal article
Volume title
IEEE Transactions on Intelligent Transportation Systems
Year
2011
Output title
Output type
E - Conference contribution
Volume title
International Conference on Field-Programmable Technology 2008
Year
2008
Output type
D - Journal article
Volume title
Journal of Parallel and Distributed Computing
Year
2008
Output title
Output type
E - Conference contribution
Volume title
IFIPTM 2008/Joint iTrust and PST Conference on Privacy, Trust Management and Security
Year
2008
Output title
Output type
E - Conference contribution
Volume title
IEEE Symposium on Security and Privacy (S&P'08)
Year
2008
Output type
D - Journal article
Volume title
International Journal of Information Security
Year
2011
Output type
D - Journal article
Volume title
IEEE Transactions on Pattern Analysis and Machine Intelligence
Year
2013
Output title
Output type
D - Journal article
Volume title
Journal of Logic and Computation
Year
2010
Output type
D - Journal article
Volume title
Concurrency and Computation-Practice & Experience
Year
2012
DOI