Outputs (REF2)
11 - Computer Science and Informatics
University of Edinburgh
Output type
E - Conference contribution
Volume title
High Performance Computer Architecture (HPCA), 2012 IEEE 18th International Symposium on
Year
2012
Output type
E - Conference contribution
Volume title
Proceedings of the 21st International Conference on Automated Planning and Scheduling, ICAPS 2011, Freiburg, Germany June 11-16, 2011
Year
2011
DOI
Output title
Output type
E - Conference contribution
Volume title
Revisiting Turing and his Test: Comprehensiveness, Qualia, and the Real World (AISB/IACAP Symposium)
Year
2012
DOI
Output title
Output type
E - Conference contribution
Volume title
Proceedings of the twenty-seventh ACM SIGMOD-SIGACT-SIGART symposium on Principles Of Database Systems (PODS '08)
Year
2008
Output type
E - Conference contribution
Volume title
International Conference on Embedded Computer Systems: Architectures, Modeling and Simulation (SAMOS 2010)
Year
2010
Output title
Output type
E - Conference contribution
Volume title
Proceedings of the 2011 ACM SIGMOD International Conference on Management of data
Year
2011
Output title
Output type
D - Journal article
Volume title
Logical Methods in Computer Science
Year
2009
Output title
Output type
E - Conference contribution
Volume title
Logic in Computer Science (LICS), 2013 28th Annual IEEE/ACM Symposium on
Year
2013
Output title
Output type
E - Conference contribution
Volume title
Foundations of Software Science and Computational Structures : 12th International Conference, FOSSACS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings
Year
2009
Output type
D - Journal article
Volume title
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Year
2009
Output title
Output type
D - Journal article
Volume title
ACM Transactions on Database Systems
Year
2012
Output type
E - Conference contribution
Volume title
Proceedings of the sixteenth annual international conference on Mobile computing and networking
Year
2010
Output title
Output type
E - Conference contribution
Volume title
ISCA '09 Proceedings of the 36th annual international symposium on Computer architecture
Year
2009
Output type
E - Conference contribution
Volume title
Robotics and Automation (ICRA), 2011 IEEE International Conference on
Year
2011
Output type
E - Conference contribution
Volume title
Robotics and Automation (ICRA), 2012 IEEE International Conference on
Year
2012
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
Proceedings of the seventeenth international conference on Architectural Support for Programming Languages and Operating Systems
Year
2012
Output title
Output type
E - Conference contribution
Volume title
Proceedings of the 13th International Conference on Artificial Intelligence and Statistics (AISTATS)
Year
2010
DOI
Output title
Output type
E - Conference contribution
Volume title
Proceeding of the twenty-sixth annual SIGCHI conference on Human factors in computing systems
Year
2008
Output title
Output type
E - Conference contribution
Volume title
Fundamental Approaches to Software Engineering : 16th International Conference, FASE 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings
Year
2013
Output type
E - Conference contribution
Volume title
Advances in Neural Information Processing Systems 24
Year
2011
DOI
Output type
D - Journal article
Volume title
ACM Transactions on Accessible Computing (TACCESS)
Year
2009
Output type
E - Conference contribution
Volume title
Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: volume 1 - Volume 1
Year
2010
DOI
Output type
D - Journal article
Volume title
ACM Transactions on Embedded Computing Systems
Year
2012
Output title
Output type
D - Journal article
Volume title
Asian-European Journal of Mathematics
Year
2009
Output type
E - Conference contribution
Volume title
Automata, Languages and Programming - 38th International Colloquium, ICALP 2011, Proceedings, Part I
Year
2011
Output title
Output type
E - Conference contribution
Volume title
High Performance Computer Architecture, 2009. HPCA 2009. IEEE 15th International Symposium on
Year
2009