Outputs (REF2)
26 - Sport and Exercise Sciences, Leisure and Tourism
Cardiff Metropolitan University (joint submission with Bangor University)
Output title
Output type
D - Journal article
Volume title
International Journal of Computer Vision
Year
2010
Output type
E - Conference contribution
Volume title
ACM/IFIP/USENIX 12th International Middleware Conference
Year
2011
Output type
D - Journal article
Volume title
IEEE Transactions on Pattern Analysis and Machine Intelligence
Year
2010
Output title
Output type
E - Conference contribution
Volume title
16th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS)
Year
2013
Output title
Output type
D - Journal article
Volume title
IEEE Transactions on Network and Service Management
Year
2009
Output type
E - Conference contribution
Volume title
20th International Conference on Concurrency Theory (CONCUR'09)
Year
2009
Output type
E - Conference contribution
Volume title
4th International Conference on Virtual Execution Environments
Year
2008
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
6th International Conference on the Quantitative Evaluation of Systems
Year
2009
Output type
E - Conference contribution
Volume title
ACM International Conference on Measurement and Modeling of Computer Systems (SIGMETRICS'10)
Year
2010
Output type
D - Journal article
Volume title
Annals of Mathematics and Artificial Intelligence
Year
2011
Output type
D - Journal article
Volume title
ACM Transactions on Information and System Security
Year
2011
Output title
Output type
E - Conference contribution
Volume title
22nd IEEE Computer Security Foundations Symposium
Year
2009
Output type
E - Conference contribution
Volume title
20th European Conference on Artificial Intelligence (ECAI 2012)
Year
2012
Output type
D - Journal article
Volume title
Journal of Optimization Theory and Applications
Year
2009
Output type
E - Conference contribution
Volume title
15th European Symposium on Research in Computer Security (ESORICS 2010)
Year
2010
Output type
E - Conference contribution
Volume title
5th ACM Symposium on Information, Computer and Communications Security
Year
2010
Output type
E - Conference contribution
Volume title
20th European Conference on Artificial Intelligence (ECAI'12)
Year
2012
Output title
Output type
D - Journal article
Volume title
IEEE Transactions on Software Engineering
Year
2012
Output type
E - Conference contribution
Volume title
USENIX Symposium on Networked Systems Design and Implementation NSDI 12
Year
2012
DOI
Output type
E - Conference contribution
Volume title
Neural Information Processing Systems (NIPS) 2013
Year
2013
DOI
Output type
D - Journal article
Volume title
Proceedings of the National Academy of Sciences of the United States of America
Year
2008
Output title
Output type
D - Journal article
Volume title
Logical Methods in Computer Science
Year
2010
Output type
D - Journal article
Volume title
IEEE Journal of Selected Topics in Signal Processing
Year
2010