Outputs (REF2)
17 - Geography, Environmental Studies and Archaeology
Loughborough University
Output type
E - Conference contribution
Volume title
((ICML ‘12) Proceedings of the 29th International Conference on Machine Learning
Year
2012
DOI
Output title
Output type
E - Conference contribution
Volume title
2013 28th Annual IEEE/ACM Symposium on Logic in Computer Science (LICS)
Year
2013
Output title
Output type
D - Journal article
Volume title
Journal of Artificial Intelligence Research (JAIR)
Year
2011
Output type
E - Conference contribution
Volume title
2008 IEEE 24TH INTERNATIONAL CONFERENCE ON DATA ENGINEERING, VOLS 1-3
Year
2008
Output type
E - Conference contribution
Volume title
Proceedings of the ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems
Year
2013
Output type
E - Conference contribution
Volume title
FMCAD 2013: Formal Methods in Computer-Aided Design
Year
2013
DOI
Output title
Output type
D - Journal article
Volume title
IEEE Transactions on Information Forensics and Security
Year
2012
Output title
Output type
D - Journal article
Volume title
ACM Transactions on Database Systems
Year
2009
Output title
Output type
D - Journal article
Volume title
Philos Trans A Math Phys Eng Sci
Year
2010
Output type
E - Conference contribution
Volume title
Twenty-Eighth Conference on Uncertainty in Artificial Intelligence
Year
2012
DOI
Output title
Output type
E - Conference contribution
Volume title
(LICS ’12) The 27th Annual IEEE Symposium on Logic in Computer Science,
Year
2012
Output title
Output type
E - Conference contribution
Volume title
ASE'10 - Proceedings of the IEEE/ACM International Conference on Automated Software Engineering
Year
2010
Output title
Output type
D - Journal article
Volume title
Journal of Artificial Intelligence Research
Year
2009
DOI
Output title
Output type
D - Journal article
Volume title
Journal of Machine Learning Research
Year
2010
DOI
Output type
D - Journal article
Volume title
PRESENCE-TELEOPERATORS AND VIRTUAL ENVIRONMENTS
Year
2011
Output title
Output type
E - Conference contribution
Volume title
Proceedings of the ACM SIGPLAN International Conference on Functional Programming, ICFP
Year
2011
Output title
Output type
D - Journal article
Volume title
JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH
Year
2012
Output type
D - Journal article
Volume title
Lambek Festschirft, special issue of Linguistic Analysis, 2010.
Year
2010
DOI
Output title
Output type
E - Conference contribution
Volume title
(ICALP ’11) Proceedings of the 38th International Colloquium on Automata, Languages and Programming: Part II
Year
2011
Output title
Output type
E - Conference contribution
Volume title
(ICALP ’12) Proceedings of the 39th international colloquium conference on Automata, Languages, and Programming
Year
2012
Output title
Output type
E - Conference contribution
Volume title
International Conference Recent Advances in Natural Language Processing, RANLP
Year
2009
DOI