Outputs (REF2)
17 - Geography, Environmental Studies and Archaeology
Loughborough University
Output title
Output type
E - Conference contribution
Volume title
Proceedings of the Twenty-Third Annual ACM-SIAM Symposium on Discrete Algorithms
Year
2012
DOI
Output title
Output type
E - Conference contribution
Volume title
Proceedings of the 28th Annual IEEE/ACM Symposium on Logic in Computer Science (LICS
Year
2013
Output type
D - Journal article
Volume title
Journal of the European Mathematical Society
Year
2010
DOI
Output type
E - Conference contribution
Volume title
(IEEE TrustCom ’13) Proceedings of the 12th IEEE International Conference on Trust, Security and Privacy in Computing and Communications
Year
2013
DOI
Output title
Output type
D - Journal article
Volume title
Journal of Functional Programming
Year
2009
Output title
Output type
D - Journal article
Volume title
Philos Trans A Math Phys Eng Sci
Year
2008
Output type
D - Journal article
Volume title
International Journal of High Performance Computing Applications
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
(IEEE TrustCom ’13) Proceedings of the 12th International Conference on Trust, Security and Privacy in Computing and Communications
Year
2013
DOI
Output type
E - Conference contribution
Volume title
Proceedings of the 2010 25th Annual IEEE Symposium on Logic in Computer Science (LICS
Year
2010
Output title
Output type
E - Conference contribution
Volume title
Proceedings - Symposium on Logic in Computer Science
Year
2008
Output title
Output type
D - Journal article
Volume title
Journal of Logic and Computation
Year
2010
Output title
Output type
D - Journal article
Volume title
ACM Transactions on Computational Logic
Year
2013
Output title
Output type
D - Journal article
Volume title
Journal of Functional Programming
Year
2010
Output title
Output type
D - Journal article
Volume title
Proceedings of the VLDB Endowment
Year
2008
Output type
E - Conference contribution
Volume title
(ICFEM 2011) Proceedings of the 13th International Conference on Formal Engineering Methods and Software Engineering
Year
2011
Output title
Output type
E - Conference contribution
Volume title
(ICML ‘13) Proceedings of the 30th International Conference on Machine Learning
Year
2013
DOI
Output title
Output type
D - Journal article
Volume title
Journal of Artificial Intelligence Research (JAIR)
Year
2010
Output title
Output type
D - Journal article
Volume title
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Year
2009
Output type
E - Conference contribution
Volume title
Proceedings of the 2012 IEEE Symposium on Security and Privacy
Year
2012
Output title
Output type
C - Chapter in book
Volume title
Quantum Physics and Linguistics: A Compositional, Diagrammatic Discourse
Year
2013
DOI
Output type
D - Journal article
Volume title
Journal of Software Maintenance and Evolution
Year
2011
DOI
Output type
D - Journal article
Volume title
IEEE Transactions on Intelligent Transportation Systems
Year
2011
Output type
D - Journal article
Volume title
ACM TRANSACTIONS ON COMPUTER-HUMAN INTERACTION
Year
2013