Outputs (REF2)
29 - English Language and Literature
University of Southampton
Output title
Output type
D - Journal article
Volume title
IEEE Transactions on Software Engineering
Year
2013
Output title
Output type
E - Conference contribution
Volume title
Proceedings of the WebSci10: Extending the Frontiers of Society On-Line
Year
2010
DOI
Output type
D - Journal article
Volume title
ACM Transactions on Internet Technology (TOIT)
Year
2009
Output type
E - Conference contribution
Volume title
The Tenth International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2011)
Year
2011
DOI
Output type
D - Journal article
Volume title
ACM Transactions on Intelligent Systems and Technology
Year
2011
Output title
Output type
E - Conference contribution
Volume title
IJCAI'11. Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence - Volume Three
Year
2011
Output type
D - Journal article
Volume title
Journal of Artificial Intelligence Research
Year
2013
DOI
Output type
E - Conference contribution
Volume title
PLDI '09. Proceedings of the 2009 ACM SIGPLAN conference on Programming Language Design and Implementation
Year
2009
Output title
Output type
D - Journal article
Volume title
International Journal of Semantic Computing
Year
2012
Output type
D - Journal article
Volume title
Journal of Computing and Information Science in Engineering
Year
2012
Output title
Output type
D - Journal article
Volume title
Logical Methods in Computer Science
Year
2011
Output type
D - Journal article
Volume title
IEEE Transactions on Evolutionary Computation
Year
2010
Output title
Output type
D - Journal article
Volume title
Journal of Artificial Intelligence Research
Year
2012
Output title
Output type
D - Journal article
Volume title
JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING
Year
2008
Output type
E - Conference contribution
Volume title
Proc. 23rd International Joint Conference on AI (IJCAI)
Year
2013
DOI
Output title
Output type
D - Journal article
Volume title
Logical Methods in Computer Science
Year
2013
Output title
Output type
D - Journal article
Volume title
Journal of Artificial Intelligence Research
Year
2010
DOI