Outputs (REF2)
11 - Computer Science and Informatics
University of Cambridge
Output title
Output type
E - Conference contribution
Volume title
Proceedings - International Conference on Network Protocols, ICNP
Year
2010
Output title
Output type
E - Conference contribution
Volume title
POPL'10: PROCEEDINGS OF THE 37TH ANNUAL ACM SIGPLAN-SIGACT SYMPOSIUM ON PRINCIPLES OF PROGRAMMING LANGUAGES
Year
2010
Output title
Output type
E - Conference contribution
Volume title
25TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS 2010)
Year
2010
Output title
Output type
E - Conference contribution
Volume title
Proceedings of the 7th Conference on Emerging Networking EXperiments and Technologies, CoNEXT'11
Year
2011
Output title
Output type
D - Journal article
Volume title
Logical Methods in Computer Science
Year
2011
DOI
Output type
E - Conference contribution
Volume title
Record - IEEE PLANS, Position Location and Navigation Symposium
Year
2012
Output title
Output type
E - Conference contribution
Volume title
Proceedings of the North American Conference of the Association for Computational Computational Linguistics
Year
2013
DOI
Output title
Output type
E - Conference contribution
Volume title
Security Protocols Workshop
Year
2011
Output type
E - Conference contribution
Volume title
Proceedings of the 42nd Annual IEEE/ACM International Symposium on Microarchitecture
Year
2009
Output type
D - Journal article
Volume title
IEEE TRANSACTIONS ON VERY LARGE SCALE INTEGRATION (VLSI) SYSTEMS
Year
2013
Output type
E - Conference contribution
Volume title
22nd International World Wide Web Conference
Year
2013
DOI
Output title
Output type
E - Conference contribution
Volume title
PACT 2010: PROCEEDINGS OF THE NINETEENTH INTERNATIONAL CONFERENCE ON PARALLEL ARCHITECTURES AND COMPILATION TECHNIQUES
Year
2010
Output title
Output type
E - Conference contribution
Volume title
Proceedings of the 19th ACM-SIAM Symposium on Discrete Algorithms (SODA’08)
Year
2008
DOI
Output type
E - Conference contribution
Volume title
2011 OPTICAL FIBER COMMUNICATION CONFERENCE AND EXPOSITION (OFC/NFOEC) AND THE NATIONAL FIBER OPTIC ENGINEERS CONFERENCE
Year
2011
DOI
Output type
E - Conference contribution
Volume title
Proceedings of the 7th International Conference on Pervasive Computing
Year
2009
Output title
Output type
E - Conference contribution
Volume title
Advances in Neural Information Processing Systems 20
Year
2009
DOI
Output title
Output type
E - Conference contribution
Volume title
The 19th International Symposium on Mathematical Theory of Networks and Systems
Year
2010
DOI
Output title
Output type
E - Conference contribution
Volume title
USENIX Annual Technical Conference
Year
2009
DOI
Output title
Output type
E - Conference contribution
Volume title
Twenty-Third Annual IEEE Symposium on Logic in Computer Science
Year
2008
Output type
D - Journal article
Volume title
Artificial Intelligence for Engineering Design, Analysis and Manufacturing
Year
2012
Output type
C - Chapter in book
Volume title
Design and Verification of Microprocessor Systems for High-Assurance Applications
Year
2010