Outputs (REF2)
11 - Computer Science and Informatics
University of Edinburgh
Output type
E - Conference contribution
Volume title
Proceedings of the 18th ACM conference on Computer and communications security
Year
2011
Output type
E - Conference contribution
Volume title
LISA'10 Proceedings of the 24th international conference on Large installation system administration
Year
2010
DOI
Output type
E - Conference contribution
Volume title
Proceedings of the 19th ACM international conference on Information and knowledge management (CIKM '10)
Year
2010
Output title
Output type
E - Conference contribution
Volume title
Proceedings of the 34th ACM SIGPLAN conference on Programming language design and implementation
Year
2013
Output type
E - Conference contribution
Volume title
Annual IEEE Symposium on Foundations of Computer Science
Year
2010
Output type
E - Conference contribution
Volume title
Proceedings of the Sixth Workshop on Statistical Machine Translation
Year
2011
DOI
Output type
E - Conference contribution
Volume title
Proceedings of the ACM SIGMETRICS joint international conference on Measurement and modeling of computer systems
Year
2011
Output type
D - Journal article
Volume title
Journal of Parallel and Distributed Computing
Year
2010
Output title
Output type
D - Journal article
Volume title
Proceedings of the VLDB Endowment
Year
2008
DOI
Output title
Output type
E - Conference contribution
Volume title
CONCUR 2012 – Concurrency Theory : 23rd International Conference, CONCUR 2012, Newcastle upon Tyne, UK, September 4-7, 2012. Proceedings
Year
2012
Output title
Output type
D - Journal article
Volume title
IEEE Transactions on Software Engineering
Year
2012
Output title
Output type
E - Conference contribution
Volume title
Proceedings of the 13th ACM SIGPLAN international conference on Functional programming
Year
2008
Output type
E - Conference contribution
Volume title
2011 IEEE Ninth European Conference on Web Services
Year
2011
Output title
Output type
D - Journal article
Volume title
Synthesis Lectures on Data Management
Year
2012
Output type
E - Conference contribution
Volume title
Logic for Programming, Artificial Intelligence, and Reasoning : 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedings
Year
2008
Output type
E - Conference contribution
Volume title
Proceedings of the 32nd ACM SIGPLAN conference on Programming Language Design and Implementation (PLDI '11)
Year
2011
Output title
Output type
E - Conference contribution
Volume title
IEEE 26th International Conference on Data Engineering (ICDE 2010)
Year
2010
Output type
E - Conference contribution
Volume title
Proceedings of the Joint Conference of the 47th Annual Meeting of the ACL and the 4th International Joint Conference on Natural Language Processing of the AFNLP: Volume 2 - Volume 2
Year
2009
DOI
Output title
Output type
D - Journal article
Volume title
IEEE Transactions on Pattern Analysis and Machine Intelligence
Year
2011
Output type
E - Conference contribution
Volume title
Proceedings of the 2009 International Conference on Information Processing in Sensor Networks
Year
2009
DOI
Output type
E - Conference contribution
Volume title
Decision Procedures in Software, Hardware and Bioware
Year
2010
DOI
Output title
Output type
E - Conference contribution
Volume title
Programming Languages and Systems : 18th European Symposium on Programming, ESOP 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 title
Output type
D - Journal article
Volume title
ACM Transactions on Graphics
Year
2013
DOI
Output type
E - Conference contribution
Volume title
Intelligent Virtual Agents : 13th International Conference, IVA 2013, Edinburgh, UK, August 29-31, 2013. Proceedings
Year
2013
Output title
Output type
C - Chapter in book
Volume title
In Search of Elegance in the Theory and Practice of Computation : Essays Dedicated to Peter Buneman
Year
2013
Output type
D - Journal article
Volume title
IEEE Transactions on Audio, Speech and Language Processing
Year
2011
Output type
E - Conference contribution
Volume title
Intelligent Robots and Systems (IROS), 2010 IEEE/RSJ International Conference on
Year
2010
Output title
Output type
E - Conference contribution
Volume title
Quantitative Evaluation of Systems (QEST), 2010 Seventh International Conference on the
Year
2010
Output type
E - Conference contribution
Volume title
Information Processing in Sensor Networks (IPSN), 2011 10th International Conference on
Year
2011
DOI
Output type
E - Conference contribution
Volume title
Proceedings of Human Language Technologies: The 2009 Annual Conference of the North American Chapter of the Association for Computational Linguistics
Year
2009
DOI
Output type
E - Conference contribution
Volume title
Proceedings of the Conference on Empirical Methods in Natural Language Processing
Year
2010
DOI
Output type
E - Conference contribution
Volume title
Proceedings of the 8th annual IEEE/ACM international symposium on Code Generation and Optimization (CGO '10)
Year
2010
Output type
D - Journal article
Volume title
IEEE Transactions on Audio, Speech and Language Processing
Year
2009
Output type
D - Journal article
Volume title
Philosophical Transactions of the Royal Society A: Mathematical, Physical & Engineering Sciences
Year
2010
Output title
Output type
D - Journal article
Volume title
Proceedings of the National Academy of Sciences of the United States of America - PNAS
Year
2009
Output type
E - Conference contribution
Volume title
Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
Year
2012
