Outputs (REF2)
11 - Computer Science and Informatics
University of Manchester
Output title
Output type
D - Journal article
Volume title
Concurrency and Computation: Practice and Experience
Year
2008
DOI
Output title
Output type
D - Journal article
Volume title
Computing in Science & Engineering
Year
2010
Output title
Output type
D - Journal article
Volume title
Journal of Artificial Intelligence Research
Year
2008
Output type
D - Journal article
Volume title
Annals of the British Machine Vision Association
Year
2008
DOI
Output type
D - Journal article
Volume title
ACM Transactions on Architecture and Code Optimization
Year
2013
Output type
D - Journal article
Volume title
ACM Transactions on Architecture and Code Optimization
Year
2013
Output type
E - Conference contribution
Volume title
Tools and Algorithms for the Construction and Analysis of Systems
Year
2009
Output title
Output type
E - Conference contribution
Volume title
POPL '12 : Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Year
2012
Output type
D - Journal article
Volume title
ACM Transactions on Computer-Human Interaction
Year
2013
Output type
D - Journal article
Volume title
IEEE Transactions on Pattern Analysis and Machine Intelligence
Year
2012
Output type
E - Conference contribution
Volume title
Formal Methods, 18th International Symposium
Year
2012
Output type
D - Journal article
Volume title
Transactions on High-Performance Embedded Architectures and Compilers III
Year
2011
Output type
E - Conference contribution
Volume title
Data Engineering, 2008. ICDE 2008. IEEE 24th International Conference on
Year
2008
Output type
D - Journal article
Volume title
Journal of Parallel and Distributed Computing
Year
2012
Output type
D - Journal article
Volume title
IEEE Transactions on Pattern Analysis and Machine Intelligence
Year
2011
Output title
Output type
E - Conference contribution
Volume title
Automated Deduction - CADE-23 - 23rd International Conference on Automated Deduction
Year
2011
Output title
Output type
D - Journal article
Volume title
Distributed and Parallel Databases
Year
2010
Output type
E - Conference contribution
Volume title
CADE-23 - 23rd International Conference on Automated Deduction, Wroclaw, Poland July 31 -- August 5, 2011
Year
2011
Output title
Output type
D - Journal article
Volume title
IEEE Transactions on Pattern Analysis and Machine Intelligence
Year
2011
Output type
D - Journal article
Volume title
ACM Journal on Emerging Technologies in Computing Systems
Year
2011
Output type
E - Conference contribution
Volume title
High Performance Embedded Architectures and Compilers
Year
2009