Outputs (REF2)
5 - Biological Sciences
University of St Andrews
Output type
D - Journal article
Volume title
Computer Methods in Applied Mechanics and Engineering
Year
2009
Output type
E - Conference contribution
Volume title
11th International Conference on Principles of Knowledge Representation and Reasoning / Proceedings of the 11th International Conference on Principles of Knowledge Representation and Reasoning, Proceedings
Year
2008
DOI
Output title
Output type
D - Journal article
Volume title
International Journal of Parallel, Emergent and Distributed Systems
Year
2010
Output type
E - Conference contribution
Volume title
7th IEEE International Symposium of Service-Oriented System Engineering (SOSE)
Year
2013
Output title
Output type
D - Journal article
Volume title
Journal of Computer and System Sciences
Year
2010
Output type
D - Journal article
Volume title
Concurrency and Computation: Practice and Experience
Year
2011
DOI
Output type
E - Conference contribution
Volume title
Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence
Year
2011
Output type
E - Conference contribution
Volume title
Proceedings of the 2013 ACM SIGPLAN symposium on Haskell
Year
2013
Output type
E - Conference contribution
Volume title
21ST INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE (IJCAI-09), PROCEEDINGS
Year
2009
DOI
Output title
Output type
E - Conference contribution
Volume title
Lecture Notes in Computer Science: 20th Annual European Symposium on Algorithms (ESA 2012)
Year
2012
Output title
Output type
D - Journal article
Volume title
Journal of Combinatorial Theory, Series B
Year
2012
Output title
Output type
D - Journal article
Volume title
Language Resources and Evaluation
Year
2009
Output type
D - Journal article
Volume title
IEEE Transactions on Pattern Analysis and Machine Intelligence
Year
2012
Output title
Output type
D - Journal article
Volume title
IEEE Transactions on Visualization and Computer Graphics
Year
2010
Output title
Output type
D - Journal article
Volume title
Journal of Computational Physics
Year
2008
Output title
Output type
E - Conference contribution
Volume title
Frontiers in Artificial Intelligence and Applications
Year
2010
Output type
E - Conference contribution
Volume title
Lecture Notes in Computer Science - Proceedings of the 16th Annual European Symposium on Algorithms (ESA 2008)
Year
2008