Outputs (REF2)
8 - Chemistry
University of Bristol
Output type
E - Conference contribution
Volume title
Proceedings of the 2013 International Conference on Autonomous Agents and Multi-Agent Systems
Year
2013
DOI
Output type
D - Journal article
Volume title
IEEE Transactions on Knowledge and Data Engineering
Year
2013
Output type
E - Conference contribution
Volume title
International Conference on Autonomous Agents and Multiagent Systems
Year
2012
DOI
Output type
D - Journal article
Volume title
International Journal of Foundations of Computer Science
Year
2010
Output title
Output type
E - Conference contribution
Volume title
SODA '10 Proceedings of the Twenty-First Annual ACM-SIAM Symposium on Discrete Algorithms
Year
2010
DOI
Output type
E - Conference contribution
Volume title
Proceedings of the 39th International Colloquium on Automata, Languages, and Programming
Year
2012
Output type
E - Conference contribution
Volume title
Proceedings of the 15th ACM international conference on Hybrid Systems: Computation and Control
Year
2012
Output title
Output type
E - Conference contribution
Volume title
The 40th International Colloquium on Automata, Languages, and Programming
Year
2013
Output title
Output type
D - Journal article
Volume title
Journal of Logic and Computation
Year
2009
Output title
Output type
D - Journal article
Volume title
Journal of Artificial Intelligence Research
Year
2010
Output title
Output type
E - Conference contribution
Volume title
Proceedings of the Twelfth International Conference on the Principles of Knowledge Representation and Reasoning
Year
2010
DOI
Output type
D - Journal article
Volume title
ACM Transactions on Economics and Computation
Year
2013
Output type
E - Conference contribution
Volume title
Proceedings of the 18th Annual European Symposium on Algorithms
Year
2010