Outputs (REF2)
11 - Computer Science and Informatics
University of Edinburgh
Output type
E - Conference contribution
Volume title
Computer-Based Medical Systems (CBMS), 2012 25th International Symposium on
Year
2012
Output type
D - Journal article
Volume title
IEEE Transactions on Audio, Speech and Language Processing
Year
2009
Output title
Output type
E - Conference contribution
Volume title
Transactions on Computational Systems Biology XI
Year
2009
Output title
Output type
E - Conference contribution
Volume title
Formal Methods in Systems Biology : First International Workshop, FMSB 2008, Cambridge, UK, June 4-5, 2008. Proceedings
Year
2008
Output title
Output type
E - Conference contribution
Volume title
Formal Methods for Components and Objects
Year
2008
Output title
Output type
E - Conference contribution
Volume title
Computer Architecture (ISCA), 2012 39th Annual 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
Year
2011
DOI
Output title
Output type
D - Journal article
Volume title
Proceedings of the VLDB Endowment
Year
2009
DOI
Output title
Output type
E - Conference contribution
Volume title
Advances in Artificial Intelligence : 9th Mexican International Conference on Artificial Intelligence, MICAI 2010, Pachuca, Mexico, November 8-13, 2010, Proceedings, Part I
Year
2010
Output title
Output type
E - Conference contribution
Volume title
Computer Vision - ECCV 2012 : 12th European Conference on Computer Vision, Florence, Italy, October 7-13, 2012, Proceedings, Part VII
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
Artificial Intelligence in Education : 15th International Conference, AIED 2011, Auckland, New Zealand, June 28 – July 2011
Year
2011
Output title
Output type
E - Conference contribution
Volume title
Proceedings of the 50th Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers)
Year
2012
DOI
Output type
D - Journal article
Volume title
IEEE Transactions on Audio, Speech and Language Processing
Year
2009
Output type
E - Conference contribution
Volume title
INTERSPEECH 2008, 9th Annual Conference of the International Speech Communication Association, Brisbane, Australia, September 22-26, 2008
Year
2008
DOI
Output type
E - Conference contribution
Volume title
Proceedings of the 7th International ISCRAM Conference – Seattle, USA, May 2010
Year
2010
DOI
Output title
Output type
E - Conference contribution
Volume title
2011 IEEE 24th Computer Security Foundations Symposium
Year
2011
Output type
E - Conference contribution
Volume title
Proceedings of the sixteenth annual international conference on Mobile computing and networking
Year
2010
Output type
E - Conference contribution
Volume title
Proceedings the Sixth International Workshop on the Practical Application of Stochastic Modelling (PASM) and the Eleventh International Workshop on Parallel and Distributed Methods in Verification (PDMC).
Year
2012
Output type
E - Conference contribution
Volume title
Human Language Technologies: The 2010 Annual Conference of the North American Chapter of the Association for Computational Linguistics
Year
2010
DOI
Output type
E - Conference contribution
Volume title
Human Language Technologies: The 2010 Annual Conference of the North American Chapter of the Association for Computational Linguistics (HLT '10)
Year
2010
DOI
Output type
E - Conference contribution
Volume title
Proceedings of the Sixteenth International Conference on Artificial Intelligence and Statistics (AIStats), Scottsdale, AZ, USA
Year
2013
DOI
Output type
E - Conference contribution
Volume title
Formal Methods for Industrial Critical Systems
Year
2011
Output type
D - Journal article
Volume title
IEEE Transactions on Pattern Analysis and Machine Intelligence
Year
2008
Output title
Output type
E - Conference contribution
Volume title
Proceedings of the nineteenth annual ACM-SIAM Symposium on Discrete Algorithms (SODA '08)
Year
2008
DOI
Output type
E - Conference contribution
Volume title
Proceedings of the 11th International Conference on Interaction Design and Children
Year
2012
Output type
E - Conference contribution
Volume title
From Animals to Animats 11 : 11th International Conference on Simulation of Adaptive Behavior, SAB 2010, Paris - Clos Lucé, France, August 25-28, 2010. Proceedings
Year
2010
Output title
Output type
E - Conference contribution
Volume title
Computer Science Logic 2013 (CSL 2013)
Year
2013
Output type
C - Chapter in book
Volume title
Computer-Supported Collaborative Learning at the Workplace : CSCL@Work
Year
2013
Output title
Output type
E - Conference contribution
Volume title
Proceedings of the 2008 ACM workshop on Wireless networks and systems for developing regions
Year
2008
Output title
Output type
E - Conference contribution
Volume title
Vagueness in Communication : International Workshop, ViC 2009, held as part of ESSLLI 2009, Bordeaux, France, July 20-24, 2009. Revised Selected Papers
Year
2011
