Outputs (REF2)
11 - Computer Science and Informatics
University of Birmingham
Output title
Output type
D - Journal article
Volume title
Annals of Pure and Applied Logic
Year
2012
Output type
E - Conference contribution
Volume title
Biomedical Topical Meeting, 16-20 March 2008. St Petersburg, Fl
Year
2009
Output type
E - Conference contribution
Volume title
Proceedings of the 19th International Conference on World Wide Web (WWW 2010)
Year
2010
Output title
Output type
E - Conference contribution
Volume title
Computer Security - ESORICS 2008 : 13th European Symposium on Research in Computer Security, Málaga, Spain, October 6-8, 2008. Proceedings
Year
2008
Output title
Output type
E - Conference contribution
Volume title
The 17th ACM Conference on Computer and Communications Security
Year
2010
Output type
E - Conference contribution
Volume title
the 12th ACM international conference
Year
2010
Output type
E - Conference contribution
Volume title
Proceedings of the 14th ACM Symposium on Access Control Models and Technologies (SACMAT'09)
Year
2009
Output title
Output type
E - Conference contribution
Volume title
Intelligent Computer Mathematics : 18th Symposium, Calculemus 2011, and 10th International Conference, MKM 2011, Bertinoro, Italy, July 18-23, 2011. Proceedings
Year
2011
Output type
E - Conference contribution
Volume title
Proceedings of the 9th Working IEEE/IFTP Conference on Software Architecture (WICSA 2011)
Year
2011
Output title
Output type
D - Journal article
Volume title
Logical Methods in Computer Science
Year
2008
Output type
E - Conference contribution
Volume title
Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence (IJCAI-11)
Year
2011
Output type
E - Conference contribution
Volume title
Computer Vision Systems : 6th International Conference, ICVS 2008 Santorini, Greece, May 12-15, 2008 Proceedings
Year
2008
Output type
E - Conference contribution
Volume title
Joint Conference on Empirical Methods in Natural Language Processing and Computational Natural Language Learning - Proceedings
Year
2012
DOI
Output type
E - Conference contribution
Volume title
Proceedings of the 38th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
Year
2011
Output title
Output type
E - Conference contribution
Volume title
Proceedings of the 21st USENIX Security Symposium (USENIX Security 2012)
Year
2012
DOI
Output type
D - Journal article
Volume title
IEEE Transactions on Evolutionary Computation
Year
2009
Output title
Output type
E - Conference contribution
Volume title
28th Annual ACM/IEEE Symposium on Logic in Computer Science
Year
2013
Output type
E - Conference contribution
Volume title
Proceedings of the 2011 IEEE International Conference on Robotics and Automation (ICRA)
Year
2011
Output type
D - Journal article
Volume title
The International Journal of Robotics Research
Year
2011
Output type
D - Journal article
Volume title
IEEE Transactions on Evolutionary Computation
Year
2008
Output type
C - Chapter in book
Volume title
The Cambridge Handbook of Metaphor and Thought
Year
2008
DOI
Output title
Output type
D - Journal article
Volume title
IEEE Transactions on Neural Networks
Year
2011
Output type
E - Conference contribution
Volume title
Tools and Algorithms for the Construction and Analysis of Systems : 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings
Year
2013
Output type
D - Journal article
Volume title
Communications in Numerical Methods in Engineering
Year
2009
DOI
Output type
E - Conference contribution
Volume title
Proceedings of the 14th IEEE International Enterprise Distributed Object Computing Conference (EDOC 2010)
Year
2010
Output title
Output type
E - Conference contribution
Volume title
CONCUR 2010 - Concurrency Theory : 21th International Conference, CONCUR 2010, Paris, France, August 31-September 3, 2010. Proceedings
Year
2010
