Outputs (REF2)
11 - Computer Science and Informatics
University of Edinburgh
Output type
D - Journal article
Volume title
Proceedings of the National Academy of Sciences of the United States of America - PNAS
Year
2012
Output type
D - Journal article
Volume title
ACM Transactions on Architecture and Code Optimization
Year
2013
Output type
E - Conference contribution
Volume title
Proceedings of the 19th international conference on Parallel Architectures And Compilation Techniques (PACT '10)
Year
2010
Output type
E - Conference contribution
Volume title
Automata, Languages and Programming : 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011, Proceedings, Part I
Year
2011
Output type
E - Conference contribution
Volume title
Proceedings of the 5th Symposium on Usable Privacy and Security
Year
2009
Output type
E - Conference contribution
Volume title
Proceedings of the 23rd International Conference on Automated Planning and Scheduling (ICAPS 2013), Special Track on Novel Applications
Year
2013
DOI
Output title
Output type
D - Journal article
Volume title
Journal of Logic, Language and Information
Year
2009
Output title
Output type
D - Journal article
Volume title
Proceedings of the National Academy of Sciences of the United States of America - PNAS
Year
2012
Output type
E - Conference contribution
Volume title
Automata, Languages, and Programming : 39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012, Proceedings, Part I
Year
2012
Output type
E - Conference contribution
Volume title
Proceedings of the 44th symposium on Theory of Computing
Year
2012
Output type
E - Conference contribution
Volume title
Proceedings of the 42nd Annual IEEE/ACM International Symposium on Microarchitecture (MICRO 42)
Year
2009
Output type
E - Conference contribution
Volume title
Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
Year
2012
Output title
Output type
D - Journal article
Volume title
Philosophical Transactions of the Royal Society A: Mathematical, Physical & Engineering Sciences
Year
2013
Output type
E - Conference contribution
Volume title
Computer Vision and Pattern Recognition, 2008. CVPR 2008. IEEE Conference on
Year
2008
Output type
E - Conference contribution
Volume title
Automata, Languages, and Programming : 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013, Proceedings, Part II
Year
2013
Output title
Output type
E - Conference contribution
Volume title
ICFP '12 Proceedings of the 17th ACM SIGPLAN international conference on Functional programming
Year
2012
Output title
Output type
E - Conference contribution
Volume title
In Proceedings LFMTP 2010
Year
2010
Output title
Output type
E - Conference contribution
Volume title
Advances in Neural Information Processing Systems 24
Year
2011
DOI
Output title
Output type
E - Conference contribution
Volume title
Proceedings of the 2012 ACM SIGMOD International Conference on Management of Data
Year
2012
Output type
E - Conference contribution
Volume title
Proceedings of the 2009 ACM SIGPLAN/SIGBED conference on Languages, compilers, and tools for embedded systems
Year
2009
Output type
E - Conference contribution
Volume title
The Semantic Web : Joint International Semantic Technology Conference, JIST 2011, Hangzhou, China, December 4-7, 2011. Proceedings
Year
2011
Output type
E - Conference contribution
Volume title
Robotics and Automation (ICRA), 2012 IEEE International Conference on
Year
2012
Output type
D - Journal article
Volume title
IEEE Transactions on Audio, Speech and Language Processing
Year
2008
Output type
E - Conference contribution
Volume title
Fundamental Approaches to Software Engineering : 15th International Conference, FASE 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings
Year
2012
Output title
Output type
D - Journal article
Volume title
ACM Transactions on Programming Languages and Systems
Year
2011
Output type
E - Conference contribution
Volume title
High Performance Computer Architecture, 2008. HPCA 2008. IEEE 14th International Symposium on
Year
2008
Output type
D - Journal article
Volume title
Web Semantics: Science, Services and Agents on the World Wide Web
Year
2011
Output title
Output type
E - Conference contribution
Volume title
Proceedings of the 49th Annual Meeting of the Association for Computational Linguistics: Human Language Technologies
Year
2011
DOI
Output type
E - Conference contribution
Volume title
Proceedings of the 34th international ACM SIGIR conference on Research and development in Information Retrieval
Year
2011
Output type
E - Conference contribution
Volume title
Proceedings of the 12th European Workshop on Natural Language Generation (ENLG '09)
Year
2009
DOI
Output type
E - Conference contribution
Volume title
Formal Methods and Software Engineering
Year
2008
