Outputs (REF2)
11 - Computer Science and Informatics
University of Edinburgh
Output title
Output type
E - Conference contribution
Volume title
Proceedings of the 16th International Conference on Database Theory
Year
2013
Output title
Output type
C - Chapter in book
Volume title
Thinking machines and the philosophy of computer science : Concepts and principles
Year
2010
Output title
Output type
E - Conference contribution
Volume title
Proceedings of the 2013 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies
Year
2013
DOI
Output type
D - Journal article
Volume title
IEEE Transactions on Audio, Speech and Language Processing
Year
2013
Output title
Output type
E - Conference contribution
Volume title
Proceedings of the Pacific Symposium on Biocomputing (Biocomputing 2008)
Year
2008
DOI
Output type
E - Conference contribution
Volume title
Formal Methods for Industrial Critical Systems : 18th International Workshop, FMICS 2013, Madrid, Spain, September 23-24, 2013. Proceedings
Year
2013
Output title
Output type
E - Conference contribution
Volume title
Proceedings of the Twenty-Third International Conference on Automated Planning and Scheduling
Year
2013
DOI
Output title
Output type
E - Conference contribution
Volume title
LISA '11: 25th Large Installation System Administration Conference
Year
2011
DOI
Output title
Output type
D - Journal article
Volume title
IEEE Transactions on Pattern Analysis and Machine Intelligence
Year
2013
Output type
E - Conference contribution
Volume title
Code Generation and Optimization, 2009. CGO 2009. International Symposium on
Year
2009
Output type
E - Conference contribution
Volume title
Robotics and Automation, 2009. ICRA '09. IEEE International Conference on
Year
2009
Output type
D - Journal article
Volume title
IEEE Transactions on Parallel and Distributed Systems
Year
2012
Output type
D - Journal article
Volume title
ACM Transactions on Accessible Computing (TACCESS)
Year
2009
Output type
D - Journal article
Volume title
American Journal of Respiratory and Critical Care Medicine
Year
2010
Output title
Output type
C - Chapter in book
Volume title
Advanced Topics in Bisimulation and Coinduction
Year
2011
Output title
Output type
E - Conference contribution
Volume title
Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of Programming Languages (POPL '11)
Year
2011
Output type
E - Conference contribution
Volume title
Proceedings of the 42nd ACM Symposium on Theory of Computing (STOC '10)
Year
2010
Output title
Output type
E - Conference contribution
Volume title
Computer Vision (ICCV), 2011 IEEE International Conference on
Year
2011
Output type
E - Conference contribution
Volume title
Proceedings of the 11th International Conference on Principles of Knowledge Representation and Reasoning (KR-2008)
Year
2008
DOI
Output title
Output type
C - Chapter in book
Volume title
Logics of Specification Languages
Year
2008
Output type
E - Conference contribution
Volume title
10th Annual IEEE Communications Society Conference on Sensor, Mesh and Ad Hoc Communications and Networks (SECON), 2013
Year
2013
Output title
Output type
D - Journal article
Volume title
IEEE Transactions on Services Computing
Year
2009
Output title
Output type
D - Journal article
Volume title
ACM Transactions on Embedded Computing Systems
Year
2009
Output type
E - Conference contribution
Volume title
Proceedings of the 2010 ACM Conference on Computer Supported Cooperative Working
Year
2010
DOI
Output type
E - Conference contribution
Volume title
Intelligent Computer Mathematics : 16th Symposium, Calculemus 2009, 8th International Conference, MKM 2009, Held as Part of CICM 2009, Grand Bend, Canada, July 6-12, 2009. Proceedings
Year
2009
Output type
E - Conference contribution
Volume title
Proceedings of the 15th International Conference on Database Theory
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
Proceedings of the 33rd ACM SIGPLAN conference on Programming Language Design and Implementation
Year
2012
Output type
E - Conference contribution
Volume title
Proceedings of the Tenth International Symposium on Code Generation and Optimization
Year
2012
Output type
E - Conference contribution
Volume title
26th Annual IEEE Symposium on Logic in Computer Science (LICS 2011)
Year
2011
Output type
E - Conference contribution
Volume title
Sustaining TEL: From Innovation to Learning and Practice : 5th European Conference on Technology Enhanced Learning, EC-TEL 2010, Barcelona, Spain, September 28 - October 1, 2010, Proceedings
Year
2010
Output title
Output type
E - Conference contribution
Volume title
Logic, Language, Information, and Computation : 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013. Proceedings
Year
2013
