Outputs (REF2)
11 - Computer Science and Informatics
University of Birmingham
Output type
E - Conference contribution
Volume title
Proceedings of the 2nd Workshop on Sentiment Analysis where AI meets Psychology , SAAIP 2012. : COLING 2012 Workshop
Year
2012
DOI
Output title
Output type
E - Conference contribution
Volume title
International Conference on Computational Science (ICCS) on the Ascent of Computational Excellence, 2011. Singapore, Singapore
Year
2011
Output type
E - Conference contribution
Volume title
Intelligent Computer Mathematics : 16th Symposium, Calculemus 2009, 8th International Conference, MKM 2009, Held as Part of CICM 2009, Grand Bend, Canada, July 6-12, 2009. Proceedings
Year
2009
Output type
E - Conference contribution
Volume title
Proceedings of the 2011 IEEE 24th Computer Security Foundations Symposium (CSF)
Year
2011
Output type
E - Conference contribution
Volume title
Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence (AAAI-11)
Year
2011
DOI
Output title
Output type
E - Conference contribution
Volume title
Financial Cryptography and Data Security : 14th International Conference, FC 2010, Tenerife, Canary Islands, January 25-28, 2010, Revised Selected Papers
Year
2010
Output type
E - Conference contribution
Volume title
Association for Computational Linguistics : Joint Conference on Empirical Methods in Natural Language Processing and Computational Natural Language Learning
Year
2012
DOI
Output type
D - Journal article
Volume title
Annals of Mathematics and Artificial Intelligence
Year
2012
Output title
Output type
D - Journal article
Volume title
International Journal of Continuing Engineering Education and Life-Long Learning
Year
2008
Output type
C - Chapter in book
Volume title
Affective Computing and Sentiment Analysis : Emotion, Metaphor and Terminology
Year
2011
Output type
E - Conference contribution
Volume title
Proceedings of the IEEE International Conference on Computer Vision (ICCV 2011)
Year
2011
Output title
Output type
E - Conference contribution
Volume title
Recent Advances in Intrusion Detection : 13th International Symposium, RAID 2010, Ottawa, Ontario, Canada, September 15-17, 2010. Proceedings
Year
2010
Output type
E - Conference contribution
Volume title
Twenty-Third International Conference on Automated Planning and Scheduling
Year
2013
DOI
Output type
E - Conference contribution
Volume title
10th IEEE International Conference on Computer and Information Technology (CIT 2010)
Year
2010
Output title
Output type
E - Conference contribution
Volume title
Automata, Languages, and Programming : 39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012, Proceedings, Part II
Year
2012
Output type
E - Conference contribution
Volume title
Seventh Working Ieee/Ifip Conference on Software Architecture, Proceedings
Year
2008
Output type
E - Conference contribution
Volume title
Proceedings of the 23rd IEEE Computer Security Foundations Symposium (CSF 2010)
Year
2010
Output type
D - Journal article
Volume title
IEEE Transactions on Evolutionary Computation
Year
2010
Output type
D - Journal article
Volume title
Transactions of the Institute of Measurement and Control
Year
2012
Output type
E - Conference contribution
Volume title
Tools and Algorithms for the Construction and Analysis of Systems : 6th 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 type
E - Conference contribution
Volume title
Formal Aspects in Security and Trust : 6th International Workshop, FAST 2009, Eindhoven, The Netherlands, November 5-6, 2009, Revised Selected Papers
Year
2010
Output type
E - Conference contribution
Volume title
29th Conference on Mathematical Foundations of Programming Semantics (MFPS XXIX)
Year
2013
Output type
E - Conference contribution
Volume title
Proceedings of the 19th USENIX Security Symposium 2010
Year
2010
DOI
Output type
E - Conference contribution
Volume title
Proceedings of SPIE - The International Society for Optical Engineering
Year
2012
Output type
D - Journal article
Volume title
Commentationes Mathematicae Universitatis Carolinae
Year
2008
DOI
Output type
E - Conference contribution
Volume title
Proceedings of 24th Annual IEEE Symposium on Logic In Computer Science (LICS 2009)
Year
2009
Output type
E - Conference contribution
Volume title
Proceedings of the 11th International Conference on Document Analysis and Recognition (ICDAR 2011)
Year
2011
Output type
E - Conference contribution
Volume title
Proceedings of the 16th ACM SIGKDD International Conference on Knowledge Discovery and Data Mining (KDD 2010)
Year
2010
Output type
E - Conference contribution
Volume title
Programs, Proofs, Processes : 6th Conference on Computability in Europe, CiE 2010, Ponta Delgada, Azores, Portugal, June 30 – July 4, 2010. Proceedings
Year
2010
Output title
Output type
E - Conference contribution
Volume title
Proceedings of the 2009 International Symposium on Symbolic and Algebraic Computation (ISSAC2009)
Year
2009
Output type
E - Conference contribution
Volume title
Proceedings of the 9th International Conference on Interaction Design and Children (IDC '10)
Year
2010
Output title
Output type
D - Journal article
Volume title
Journal of Functional Programming
Year
2009
Output title
Output type
E - Conference contribution
Volume title
2012 27th Annual IEEE Symposium on Logic in Computer Science (LICS 2012)
Year
2012
