Outputs (REF2)
11 - Computer Science and Informatics
Imperial College London
Output title
Output type
E - Conference contribution
Volume title
13th International Conference on Computer Vision (ICCV'11)
Year
2011
Output type
D - Journal article
Volume title
IEEE Transactions on Pattern Analysis and Machine Intelligence
Year
2010
Output title
Output type
D - Journal article
Volume title
Mathematics of Operations Research
Year
2013
Output title
Output type
E - Conference contribution
Volume title
6th ACM Symposium on Access Control Models and Technologies(SACMAT'11)
Year
2011
Output title
Output type
E - Conference contribution
Volume title
International Conference on Software Engineering (ICSE 2013)
Year
2013
DOI
Output type
D - Journal article
Volume title
IEEE Journal on Selected Areas in Communications
Year
2013
Output type
D - Journal article
Volume title
IEEE Transactions on Biomedical Circuits and Systems
Year
2011
Output type
D - Journal article
Volume title
ACM Transactions on Programming Languages and Systems
Year
2011
Output title
Output type
E - Conference contribution
Volume title
22nd European Conference on Object-Oriented Programming (ECOOP 2008)
Year
2008
Output type
E - Conference contribution
Volume title
IEEE Computer Vision and Pattern Recognition (CVPR 2013)
Year
2013
Output type
D - Journal article
Volume title
IEEE Journal on Selected Areas in Communications
Year
2008
Output type
E - Conference contribution
Volume title
2011 IEEE 19th International Symposium on Modeling, Analysis & Simulation of Computer and Telecommunication Systems (MASCOTS'11)
Year
2011
Output title
Output type
D - Journal article
Volume title
ACM Transactions on Computational Logic
Year
2009
Output title
Output type
E - Conference contribution
Volume title
IEEE 27th International Conference on Data Engineering (ICDE 2011)
Year
2011
Output title
Output type
D - Journal article
Volume title
ACM Transactions on Information and System Security
Year
2008
Output type
D - Journal article
Volume title
ACM Transactions on Programming Languages and Systems
Year
2012
Output title
Output type
D - Journal article
Volume title
IEEE Transactions on Pattern Analysis and Machine Intelligence
Year
2012
Output type
E - Conference contribution
Volume title
6th ACM EuroSys Conference on Computer Systems (EuroSys 2011)
Year
2011
Output type
E - Conference contribution
Volume title
23rd International Joint Conference on Artificial Intelligence (IJCAI 2013)
Year
2013
DOI
Output type
D - Journal article
Volume title
ACM Transactions on Software Engineering and Methodology
Year
2013
Output type
E - Conference contribution
Volume title
6th IEEE Int. Conference on Network and Service Management
Year
2010
Output type
D - Journal article
Volume title
Philosophical Transactions of the Royal Society B: Biological Sciences
Year
2012
Output type
D - Journal article
Volume title
Royal Society of London. Philosophical Transactions A. Mathematical, Physical and Engineering Sciences
Year
2010
Output type
D - Journal article
Volume title
IEEE Transactions on Very Large Scale Integration (VLSI) Systems
Year
2013
Output title
Output type
E - Conference contribution
Volume title
39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL'12)
Year
2012
Output type
E - Conference contribution
Volume title
IFIP/IEEE International Symposium on Integrated Network Management (IM 2009)
Year
2009
Output type
E - Conference contribution
Volume title
40th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2013)
Year
2013
Output title
Output type
D - Journal article
Volume title
ACM Transactions on Software Engineering and Methodology
Year
2012
Output type
D - Journal article
Volume title
IEEE Transactions on Pattern Analysis and Machine Intelligence
Year
2013