Outputs (REF2)
11 - Computer Science and Informatics
University of Birmingham
Output type
D - Journal article
Volume title
The International Journal of Robotics Research
Year
2008
Output title
Output type
E - Conference contribution
Volume title
Privacy Enhancing Technologies : 11th International Symposium, PETS 2011, Waterloo, ON, Canada, July 27-29, 2011. Proceedings
Year
2011
Output title
Output type
E - Conference contribution
Volume title
Human-Computer Interaction – INTERACT 2011: 13th IFIP TC 13 International Conference
Year
2011
Output title
Output type
E - Conference contribution
Volume title
Proceedings of the 24th Conference on the Mathematical Foundations of Programming Semantics (MFPSXXIV)
Year
2008
Output title
Output type
D - Journal article
Volume title
IEEE Transactions on Neural Networks
Year
2009
Output type
E - Conference contribution
Volume title
Proceedings of the 24th Conference on the Mathematical Foundations of Programming Semantics (MFPSXXIV)
Year
2008
Output type
D - Journal article
Volume title
IEEE Transactions on Autonomous Mental Development
Year
2010
Output title
Output type
E - Conference contribution
Volume title
Foundations of Software Science and Computational Structures : 14th International Conference, FOSSACS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany. Proceedings
Year
2011
Output type
E - Conference contribution
Volume title
IEEE Conference on Computer Vision and Pattern Recognition, 2008. CVPR 2008.
Year
2008
Output type
E - Conference contribution
Volume title
Proceedings of the 17th Annual International Conference on Mobile Computing and Networking (MobiCom '11)
Year
2011
Output type
D - Journal article
Volume title
IEEE Journal on Selected Areas in Communications
Year
2008
Output type
E - Conference contribution
Volume title
Network and System Security : 7th International Conference, NSS 2013, Madrid, Spain, June 3-4, 2013, Proceedings
Year
2013
Output title
Output type
E - Conference contribution
Volume title
Tools and Algorithms for the Construction and Analysis of Systems : 16th International Conference, TACAS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings
Year
2010
Output title
Output type
E - Conference contribution
Volume title
Proceedings of the 24th IEEE Computer Security Foundations Symposium (CSF 2011)
Year
2011
Output type
D - Journal article
Volume title
International Journal of Mobile Human Computer Interaction
Year
2008
Output title
Output type
E - Conference contribution
Volume title
Journal of Computer Security
Year
2010
Output title
Output type
E - Conference contribution
Volume title
Intelligent Computer Mathematics : 10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM 2010, Paris, France, July 5-10, 2010. Proceedings
Year
2010
Output type
E - Conference contribution
Volume title
POPL '12 -The 39th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
Year
2012
Output type
C - Chapter in book
Volume title
Proceedings of the 13th Conference of the European Chapter of the Association for Computational Linguistics
Year
2012
DOI
Output type
E - Conference contribution
Volume title
Privacy Enhancing Technologies : 10th International Symposium, PETS 2010, Berlin, Germany, July 21-23, 2010. Proceedings
Year
2010
Output title
Output type
D - Journal article
Volume title
Annals of Pure and Applied Logic
Year
2012
Output type
E - Conference contribution
Volume title
The 27th Annual SIGCHI Conference on Human Factors in Computing Systems (CHI '09)
Year
2009
Output type
E - Conference contribution
Volume title
Security and Privacy in Communication Networks : 8th International ICST Conference, SecureComm 2012, Padua, Italy, September 3-5, 2012. Revised Selected Papers
Year
2012
Output type
C - Chapter in book
Volume title
Proceedings of the National Conference on Artificial Intelligence
Year
2012
DOI
Output type
D - Journal article
Volume title
Journal of Multiple-Valued Logic and Soft Computing
Year
2010
DOI
Output type
E - Conference contribution
Volume title
Proceedings of 23rd Annual IEEE Symposium on Logic in Computer Science (LICS 2008)
Year
2008
Output title
Output type
E - Conference contribution
Volume title
2011 26th Annual IEEE Symposium on Logic in Computer Science (LICS 2011)
Year
2011
Output title
Output type
E - Conference contribution
Volume title
the 40th annual ACM SIGPLAN-SIGACT symposium
Year
2013
