Outputs (REF2)
11 - Computer Science and Informatics
University of Edinburgh
Output type
E - Conference contribution
Volume title
Financial Cryptography and Data Security : 17th International Conference, FC 2013, Okinawa, Japan, April 1-5, 2013, Revised Selected Papers
Year
2013
Output title
Output type
E - Conference contribution
Volume title
Proceedings of the Twelfth Machine Translation Summit
Year
2009
DOI
Output title
Output type
E - Conference contribution
Volume title
Intelligent Computer Mathematics
Year
2012
Output type
E - Conference contribution
Volume title
Proceedings of the 46th Annual Meeting of the Association for Computational Linguistics (ACL 2008) : Human Language Technologies
Year
2008
DOI
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
E - Conference contribution
Volume title
Generative and Transformational Techniques in Software Engineering II
Year
2008
Output type
E - Conference contribution
Volume title
Transactions on Computational Systems Biology XII : Special Issue on Modeling Methodologies
Year
2010
Output type
E - Conference contribution
Volume title
Proceedings of the 17th IEEE International Conference on Network Protocols (ICNP 2009)
Year
2009
Output type
E - Conference contribution
Volume title
Types for Proofs and Programs : International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers
Year
2009
Output title
Output type
D - Journal article
Volume title
Logical Methods in Computer Science
Year
2010
Output title
Output type
E - Conference contribution
Volume title
Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Year
2013
Output type
E - Conference contribution
Volume title
Proceedings of the 2010 43rd Annual IEEE/ACM International Symposium on Microarchitecture (MICRO '43)
Year
2010
Output type
E - Conference contribution
Volume title
Proceedings of the 13th Conference of the European Chapter of the Association for Computational Linguistics
Year
2012
DOI
Output type
E - Conference contribution
Volume title
Advances in Neural Information Processing Systems 21
Year
2009
DOI
Output type
E - Conference contribution
Volume title
Proceedings of the 12th ACM SIGMETRICS/PERFORMANCE joint international conference on Measurement and Modeling of Computer Systems
Year
2012
Output type
E - Conference contribution
Volume title
Automated Reasoning : 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010. Proceedings
Year
2010
Output type
E - Conference contribution
Volume title
Verification, Model Checking, and Abstract Interpretation : 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008. Proceedings
Year
2008
Output type
E - Conference contribution
Volume title
How the World Computes : Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012. Proceedings
Year
2012
Output title
Output type
E - Conference contribution
Volume title
Computer Vision – ECCV 2008 : 10th European Conference on Computer Vision, Marseille, France, October 12-18, 2008, Proceedings, Part I
Year
2008
Output type
D - Journal article
Volume title
Concurrency and Computation: Practice and Experience
Year
2010
DOI
Output title
Output type
E - Conference contribution
Volume title
POPL '13 Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Year
2013
Output title
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
E - Conference contribution
Volume title
Automated Deduction in Geometry : 8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010, Revised Selected Papers
Year
2011
Output type
E - Conference contribution
Volume title
Computer Security Foundations Symposium (CSF), 2010 23rd IEEE
Year
2010
Output type
D - Journal article
Volume title
IEEE Transactions on Audio, Speech and Language Processing
Year
2009