Outputs (REF2)
5 - Biological Sciences
University of Bath
Output type
E - Conference contribution
Volume title
Similarity search and applications : 5th international conference, SISAP 2012 proceedings
Year
2012
Output title
Output type
E - Conference contribution
Volume title
Graph-theoretic concepts in computer science : 37th International Workshop, WG 2011Teplá Monastery, Czech Republic, June 21-24, 2011 Revised Papers
Year
2011
Output type
E - Conference contribution
Volume title
IEEE Symposium Computational Intelligence and Games, 2008 : CIG '09
Year
2008
Output type
D - Journal article
Volume title
Journal of the American Society for Information Science and Technology
Year
2012
Output type
D - Journal article
Volume title
International Journal of Human Computer Studies
Year
2012
Output title
Output type
E - Conference contribution
Volume title
Proceedings of the Sixth International Conference on Tangible, Embedded and Embodied Interaction : TEI'12
Year
2012
Output title
Output type
E - Conference contribution
Volume title
Proceedings of the 2010 Edbt/Icdt Workshops
Year
2010
DOI
Output type
E - Conference contribution
Volume title
Proceedings of the ACM 2008 Conference on Computer Supported Cooperative Work
Year
2008
Output type
D - Journal article
Volume title
Journal of the Association for Information Systems
Year
2008
DOI
Output type
D - Journal article
Volume title
Journal of Software: Evolution and Process
Year
2013
DOI
Output title
Output type
D - Journal article
Volume title
Logical Methods in Computer Science
Year
2012
Output title
Output type
D - Journal article
Volume title
Discrete Mathematics and Theoretical Computer Science
Year
2010
DOI
Output title
Output type
D - Journal article
Volume title
IEEE Transactions on Knowledge and Data Engineering
Year
2008
Output type
D - Journal article
Volume title
International Journal of Web Information Systems
Year
2010
Output type
E - Conference contribution
Volume title
Pervasive 2009 : proceedings of the 7th international conference on pervasive computing
Year
2009
Output type
E - Conference contribution
Volume title
Proceedings of the 11th Annual conference on Genetic and evolutionary computation (GECCO '09)
Year
2009
Output title
Output type
D - Journal article
Volume title
ACM Transactions on Information Systems
Year
2008
Output title
Output type
D - Journal article
Volume title
Logical Methods in Computer Science
Year
2011
Output title
Output type
E - Conference contribution
Volume title
Computer Science Logic : 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010. Proceedings
Year
2010
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
E - Conference contribution
Volume title
Proceedings of the 35th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2008
Year
2008
Output type
D - Journal article
Volume title
Annals of Mathematics and Artificial Intelligence
Year
2009
Output type
E - Conference contribution
Volume title
Proceedings from the IEEE International Conference on Software Testing Verification and Validation Workshop, 2008. ICSTW '08
Year
2008
Output title
Output type
E - Conference contribution
Volume title
Proceedings of the 2010 conference on ECAI 2010 : 19th European Conference on Artificial Intelligence
Year
2010
Output type
E - Conference contribution
Volume title
Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
Year
2012
Output title
Output type
D - Journal article
Volume title
Proceedings of the American Mathematical Society
Year
2011
Output type
D - Journal article
Volume title
Proceedings of the American Mathematical Society
Year
2009
Output type
E - Conference contribution
Volume title
Proceedings of the 6th ACM SIGPLAN workshop on Generic programming
Year
2010