Outputs (REF2)
11 - Computer Science and Informatics
Royal Holloway, University of London
Output title
Output type
D - Journal article
Volume title
European Journal of Combinatorics
Year
2008
Output title
Output type
D - Journal article
Volume title
Journal of Mathematical Cryptology
Year
2008
Output type
E - Conference contribution
Volume title
Artificial Intelligence Applications and Innovations : Proceedings of the 9th IFIP WG 12.5 International Conference, AIAI 2013, Paphos, Cyprus, September 30 – October 2, 2013
Year
2013
Output title
Output type
E - Conference contribution
Volume title
Fast Software Encryption: 16th International Workshop, FSE 2009 Leuven, Belgium, February 22-25, 2009: Revised Selected Papers
Year
2009
Output type
E - Conference contribution
Volume title
Computer Security – ESORICS 2010: 15th European Symposium on Research in Computer Security, Athens, Greece, September 20-22, 2010: Proceedings
Year
2010
Output title
Output type
D - Journal article
Volume title
ACM Transactions on Information and System Security
Year
2011
Output type
E - Conference contribution
Volume title
CSE '09: International Conference on Computational Science and Engineering, 2009
Year
2009
Output title
Output type
D - Journal article
Volume title
Journal of Computer and System Sciences
Year
2010
Output title
Output type
D - Journal article
Volume title
Annals of Pure and Applied Logic
Year
2010
Output type
D - Journal article
Volume title
Statistical Applications in Genetics and Molecular Biology
Year
2008
Output title
Output type
D - Journal article
Volume title
Mathematical Structures in Computer Science
Year
2008
Output title
Output type
E - Conference contribution
Volume title
LICS '08: 23rd Annual IEEE Symposium on Logic in Computer Science
Year
2008
Output type
D - Journal article
Volume title
Journal of Ambient Intelligence and Smart Environments
Year
2013
Output title
Output type
D - Journal article
Volume title
Journal of Artificial Intelligence Research
Year
2008
Output type
E - Conference contribution
Volume title
Computer Aided Verification : Proceedings of the 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012
Year
2012
Output type
E - Conference contribution
Volume title
EuroSys '10 Proceedings of the 5th European conference on Computer systems
Year
2010
Output title
Output type
E - Conference contribution
Volume title
Proc. 33rd Conf. Programming Language Design and Implementation (PLDI 2012)
Year
2012
Output type
E - Conference contribution
Volume title
Cryptography and Coding: 12th IMA International Conference, Cryptography and Coding 2009, Cirencester, UK, December 15-17, 2009: Proceedings
Year
2009