Outputs (REF2)
11 - Computer Science and Informatics
University of Strathclyde
Output title
Output type
D - Journal article
Volume title
The Electronic Journal of Combinatorics
Year
2011
DOI
Output title
Output type
D - Journal article
Volume title
Logical Methods in Computer Science
Year
2012
Output type
E - Conference contribution
Volume title
Automata, languages and programming : 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part II
Year
2010
Output type
E - Conference contribution
Volume title
Logic in Computer Science (LICS), 2012 27th Annual IEEE Symposium on
Year
2012
Output title
Output type
E - Conference contribution
Volume title
CHI '09 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
Year
2009
Output type
E - Conference contribution
Volume title
Formal Methods and Testing : An Outcome of the FORTEST Network, Revised Selected Papers
Year
2008
Output title
Output type
E - Conference contribution
Volume title
ICFP 2010 Proceedings of the 15th ACM SIGPLAN international conference on functional programming
Year
2010
Output title
Output type
D - Journal article
Volume title
International Journal of Information Management
Year
2008
Output title
Output type
D - Journal article
Volume title
International Journal of Information Management
Year
2008
Output title
Output type
D - Journal article
Volume title
The Electronic Journal of Combinatorics
Year
2011
DOI
Output type
E - Conference contribution
Volume title
SISAP '11 Proceedings of the Fourth International Conference on SImilarity Search and APplications
Year
2011
Output title
Output type
C - Chapter in book
Volume title
Artificial and Computational Intelligence in Games
Year
2013
Output type
E - Conference contribution
Volume title
Advances in Information Retrieval Theory : Third International Conference, ICTIR 2011, Bertinoro, Italy, September 12-14, 2011. Proceedings
Year
2011
Output title
Output type
E - Conference contribution
Volume title
ICFP '12 Proceedings of the 17th ACM SIGPLAN international conference on Functional programming
Year
2012
Output type
E - Conference contribution
Volume title
Proceedings of the 2012 ACM Annual Conference on Human Factors in Computing Systems
Year
2012
Output type
E - Conference contribution
Volume title
Proceedings of the 17th IEEE International Requirements Engineering Conference, 2009. RE '09
Year
2009
Output type
E - Conference contribution
Volume title
Data security and security data : 27th British National Conference on Databases, BNCOD 27 Dundee, UK, June 29 – July 1, 2010. Revised Selected Papers
Year
2012
Output type
C - Chapter in book
Volume title
Advances in Information Retrieval : 30th European Conference on IR Research, ECIR 2008, Glasgow, UK, March 30-April 3, 2008. Proceedings
Year
2008
Output type
E - Conference contribution
Volume title
19th Working Conference on Reverse Engineering
Year
2012
Output type
E - Conference contribution
Volume title
2012 IEEE International Conference on Bioinformatics and Biomedicine (BIBM 2012)
Year
2012
Output type
E - Conference contribution
Volume title
Proceedings of the 32nd Symposium on Principles of Database Systems
Year
2013
Output type
E - Conference contribution
Volume title
Proceedings of the 2013 ACM SIGSAC Conference on Computer & Communications Security : CCS '13
Year
2013
