Outputs (REF2)
11 - Computer Science and Informatics
Imperial College London
Output title
Output type
D - Journal article
Volume title
Mathematical Structures in Computer Science
Year
2008
Output title
Output type
D - Journal article
Volume title
Journal of Artificial Intelligence Research
Year
2008
Output title
Output type
E - Conference contribution
Volume title
24th European Conference on Object-Oriented Programming (ECOOP 2010)
Year
2010
Output type
D - Journal article
Volume title
IEEE Transactions on Pattern Analysis and Machine Intelligence
Year
2013
Output type
E - Conference contribution
Volume title
35th ACM-SIGPLAN-SIGACT Symposium on Principles of Programming Languages
Year
2008
Output title
Output type
E - Conference contribution
Volume title
17 ACM International Conference on Functional Programming (ICFP'12)
Year
2012
Output type
E - Conference contribution
Volume title
USENIX Annual Technical Conference (ATC'10)
Year
2010
DOI
Output type
E - Conference contribution
Volume title
4th ACM/SPEC International Conference on Performance Engineering (ICPE 2013)
Year
2013
Output type
D - Journal article
Volume title
IEEE Transactions on Very Large Scale Integration (VLSI) Systems
Year
2012
Output type
E - Conference contribution
Volume title
11th International Middleware Conference
Year
2010
Output title
Output type
E - Conference contribution
Volume title
13th International Conference on Computer Vision (ICCV'11)
Year
2011
Output title
Output type
E - Conference contribution
Volume title
38th Symposium on Principles of Programming Languages
Year
2011
Output type
D - Journal article
Volume title
Future Generation Computer Systems-the International Journal of Grid Computing and Escience
Year
2012
Output title
Output type
D - Journal article
Volume title
International Journal of Computer Vision
Year
2013
Output title
Output type
D - Journal article
Volume title
Mathematical Structures in Computer Science
Year
2013
Output title
Output type
D - Journal article
Volume title
ACM Transactions on Information and System Security
Year
2008
Output type
E - Conference contribution
Volume title
ASIAN ACM Symposium on Information, Computer and Communications Security (ASIACCS 09)
Year
2009
Output title
Output type
E - Conference contribution
Volume title
18th Annual Conference on Computer Science Logic (EACSL’09)
Year
2009
Output type
E - Conference contribution
Volume title
31st IEEE International Symposium on Reliable Distributed Systems (SRDS)
Year
2012
Output type
D - Journal article
Volume title
IEEE Transactions on Very Large Scale Integration (VLSI) Systems
Year
2012
Output type
E - Conference contribution
Volume title
2nd ACM/SPEC International Conference on Performance Engineering
Year
2011
Output title
Output type
E - Conference contribution
Volume title
IEEE Symposium on Security and Privacy 2012
Year
2012
Output type
E - Conference contribution
Volume title
30th International Conference on Software Engineering
Year
2008
Output title
Output type
E - Conference contribution
Volume title
Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of Programming Languages (POPL 2012)
Year
2012
Output type
E - Conference contribution
Volume title
34th International Conference on Software Engineering
Year
2012
Output title
Output type
E - Conference contribution
Volume title
International Symposium on Software Testing and Analysis
Year
2011
Output type
E - Conference contribution
Volume title
ACM International Conference on Management of Data (SIGMOD)
Year
2013