Outputs (REF2)
11 - Computer Science and Informatics
University of Oxford
Output type
D - Journal article
Volume title
Proceedings of the National Academy of Sciences of the United States of America
Year
2009
Output type
E - Conference contribution
Volume title
Coling 2008 - 22nd International Conference on Computational Linguistics, Proceedings of the Conference
Year
2008
DOI
Output type
E - Conference contribution
Volume title
ACL-08: HLT - 46th Annual Meeting of the Association for Computational Linguistics: Human Language Technologies, Proceedings of the Conference
Year
2008
DOI
Output type
D - Journal article
Volume title
Web Semantics: Science, Services and Agents on the World Wide Web
Year
2012
Output type
E - Conference contribution
Volume title
ACL-HLT 2011 - Proceedings of the 49th Annual Meeting of the Association for Computational Linguistics: Human Language Technologies
Year
2011
DOI
Output type
E - Conference contribution
Volume title
Proceedings of the ACM SIGMOD International Conference on Management of Data
Year
2011
Output type
E - Conference contribution
Volume title
(ESORICS ’11) Proceedings of the 16th European Conference on Research in Computer Security
Year
2011
Output type
E - Conference contribution
Volume title
2008 Formal Methods in Computer-Aided Design
Year
2008
Output title
Output type
D - Journal article
Volume title
Communications in Mathematical Physics
Year
2009
Output type
E - Conference contribution
Volume title
Proceedings - Symposium on Logic in Computer Science
Year
2009
Output type
D - Journal article
Volume title
ACM Transactions on Software Engineering and Methodology
Year
2010
Output title
Output type
E - Conference contribution
Volume title
Conference Record of the Annual ACM Symposium on Principles of Programming Languages
Year
2013
Output title
Output type
D - Journal article
Volume title
IEEE Transactions on Visualization and Computer Graphics
Year
2008
Output title
Output type
E - Conference contribution
Volume title
Proceedings of the ACM SIGMOD International Conference on Management of Data
Year
2008
Output title
Output type
E - Conference contribution
Volume title
25TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS 2010)
Year
2010
Output type
D - Journal article
Volume title
IEEE Transactions on Visualization and Computer Graphics
Year
2012
Output title
Output type
D - Journal article
Volume title
Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences
Year
2011
Output title
Output type
D - Journal article
Volume title
IEEE Transactions on Visualization and Computer Graphics
Year
2010
Output type
E - Conference contribution
Volume title
(ICALP ’08) Proceedings of the 35th International Colloquium on Automata, Languages and Programming
Year
2008
Output type
E - Conference contribution
Volume title
Proceedings of the 9th International Conference: 2009 Formal Methods in Computer-Aided Design (FMCAD 2009)
Year
2009
Output type
E - Conference contribution
Volume title
Proceedings of the Computer Security Foundations Workshop
Year
2012