For the current REF see the REF 2021 website REF 2021 logo
You are in : Home » Results & submissions » Select UOA » 11 - Computer Science and Informatics » View submission: University of Cambridge » Outputs

Outputs (REF2)

11 - Computer Science and Informatics

University of Cambridge

1 2 3 4
> Last
Showing outputs 1 - 50 of 184
Output title
3D Constrained Local Model for rigid and non-rigid facial tr ...
Output type
E - Conference contribution
Volume title
CVPR
Year
2012
DOI
10.1109/CVPR.2012.6247980
Output title
A congruence rule format for name-passing process calculi
Output type
D - Journal article
Volume title
INFORM COMPUT
Year
2009
DOI
10.1016/j.ic.2007.12.005
Output title
A decade of OS access-control extensibility
Output type
D - Journal article
Volume title
Commun. ACM
Year
2013
DOI
10.1145/2408776.2408792
Output title
A fast search algorithm for a large fuzzy database
Output type
D - Journal article
Volume title
IEEE Transactions on Information Forensics and Security
Year
2008
DOI
10.1109/TIFS.2008.920726
Output title
A lightweight in-place implementation for software thread-level ...
Output type
E - Conference contribution
Volume title
SPAA
Year
2009
DOI
10.1145/1583991.1584050
Output title
A Network of Time-Division Multiplexed Wiring for FPGAs
Output type
E - Conference contribution
Volume title
ACM/IEEE International Conference on Networks-on-Chip
Year
2008
DOI
10.1109/NOCS.2008.4492723
Output title
A New Dataset and Method for Automatically Grading ESOL Text ...
Output type
E - Conference contribution
Volume title
ACL
Year
2011
DOI
Output title
A Predictive Model for Dynamic Microarchitectural Adaptivity ...
Output type
E - Conference contribution
Volume title
Proceedings of the 2010 43rd Annual IEEE/ACM International Symposium on Microarchitecture
Year
2010
DOI
10.1109/MICRO.2010.14
Output title
A Tale of Two Parsers: Investigating and Combining Graph-based ...
Output type
E - Conference contribution
Volume title
EMNLP
Year
2008
DOI
Output title
A Tensor-based Factorization Model of Semantic Compositional ...
Output type
E - Conference contribution
Volume title
http://aclweb.org/anthology/N/N13/N13-1.pdf
Year
2013
DOI
Output title
A Trustworthy Monadic Formalization of the ARMv7 Instruction ...
Output type
E - Conference contribution
Volume title
INTERACTIVE THEOREM PROVING, PROCEEDINGS
Year
2010
DOI
10.1007/978-3-642-14052-5_18
Output title
A verified runtime for a verified theorem prover
Output type
D - Journal article
Volume title
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Year
2011
DOI
10.1007/978-3-642-22863-6_20
Output title
Access Denied: The Practice and Policy of Global Internet Fi ...
Output type
A - Authored book
Volume title
Year
2008
DOI
Output title
Activity Based Sector Synchronisation: Efficient Transfer of ...
Output type
E - Conference contribution
Volume title
MASCOTS
Year
2011
DOI
10.1109/MASCOTS.2011.20
Output title
Affine systems of equations and counting infinitary logic
Output type
D - Journal article
Volume title
THEOR COMPUT SCI
Year
2009
DOI
10.1016/j.tcs.2008.12.049
Output title
An Empirical Architecture-Centric Approach to Microarchitectural ...
Output type
D - Journal article
Volume title
IEEE T COMPUT
Year
2011
DOI
10.1109/TC.2010.280
Output title
An Energy and Performance Exploration of Network-on-Chip Arc ...
Output type
E - Conference contribution
Volume title
IEEE TRANSACTIONS ON VERY LARGE SCALE INTEGRATION (VLSI) SYSTEMS
Year
2009
DOI
10.1109/TVLSI.2008.2011232
Output title
Analysis and Design of Punctured Rate-1/2 Turbo Codes Exhibiting ...
Output type
D - Journal article
Volume title
IEEE JOURNAL ON SELECTED AREAS IN COMMUNICATIONS
Year
2009
DOI
10.1109/JSAC.2009.090812
Output title
Automatic evaluation of assistive interfaces.
Output type
E - Conference contribution
Volume title
IUI
Year
2008
DOI
10.1145/1378773.1378806
Output title
Baggy Bounds Checking: An Efficient and Backwards-Compatible ...
Output type
E - Conference contribution
Volume title
USENIX Security Symposium
Year
2009
DOI
Output title
BUBBLE Rap: Social-Based Forwarding in Delay-Tolerant Networ ...
Output type
D - Journal article
Volume title
IEEE T MOBILE COMPUT
Year
2011
DOI
10.1109/TMC.2010.246
Output title
Capsicum: Practical Capabilities for UNIX.
Output type
E - Conference contribution
Volume title
USENIX Security Symposium
Year
2010
DOI
Output title
Cascaded classifiers for confidence-based chemical named entity ...
Output type
E - Conference contribution
Volume title
BMC Bioinformatics
Year
2008
DOI
10.1186/1471-2105-9-S11-S4
Output title
Causal Message Sequence Charts
Output type
D - Journal article
Volume title
Theoretical Computer Science
Year
2009
DOI
Output title
Characterizing and modeling the impact of wireless signal strength ...
Output type
E - Conference contribution
Volume title
Proceedings of the ACM SIGMETRICS/international conference on Measurement and modeling of computer systems
Year
2013
DOI
10.1145/2465529.2466586
Output title
Chip and PIN is Broken
Output type
E - Conference contribution
Volume title
2010 IEEE SYMPOSIUM ON SECURITY AND PRIVACY
Year
2010
DOI
10.1109/SP.2010.33
Output title
CIEL: a universal execution engine for distributed data-flow ...
Output type
E - Conference contribution
Volume title
Proceedings of the 8th USENIX conference on Networked systems design and implementation
Year
2011
DOI
Output title
Classification of Complex Information: Inference of Co-Occurring ...
Output type
D - Journal article
Volume title
IEEE T PATTERN ANAL
Year
2010
DOI
10.1109/TPAMI.2009.107
Output title
Closed choice and a Uniform Low Basis Theorem
Output type
D - Journal article
Volume title
Annals of Pure and Applied Logic
Year
2012
DOI
10.1016/j.apal.2011.12.020
Output title
Coeffects: Unified static analysis of context-dependence
Output type
E - Conference contribution
Volume title
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Year
2013
DOI
10.1007/978-3-642-39212-2_35
Output title
Comparison of opportunistic signals for localisation
Output type
E - Conference contribution
Volume title
IFAC Proceedings Volumes (IFAC-PapersOnline)
Year
2010
DOI
10.3182/20100906-3-IT-2019.00021
Output title
CompCertTSO: A verified compiler for relaxed-memory concurre ...
Output type
D - Journal article
Volume title
Journal of the ACM
Year
2013
DOI
10.1145/2487241.2487248
Output title
Computing for the future of the planet.
Output type
E - Conference contribution
Volume title
Philos Transact A Math Phys Eng Sci
Year
2008
DOI
10.1098/rsta.2008.0124
Output title
Concurrent Strategies
Output type
E - Conference contribution
Volume title
26TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS 2011)
Year
2011
DOI
10.1109/LICS.2011.13
Output title
Constructing Accurate, Space-Efficient, Wireless Coverage Maps ...
Output type
E - Conference contribution
Volume title
The 4th International Wireless Internet Conference, ICST WICON
Year
2008
DOI
10.4108/ICST.WICON2008.4901
Output title
Contextual Dissonance: Design Bias in Sensor-Based Experience ...
Output type
E - Conference contribution
Volume title
ACM International Joint Conference on Pervasive and Ubiquitous Computing
Year
2013
DOI
10.1145/2493432.2493452
Output title
Data, modelling and inference in road traffic networks.
Output type
D - Journal article
Volume title
Philos Transact A Math Phys Eng Sci
Year
2008
DOI
10.1098/rsta.2008.0020
Output title
Database State
Output type
N - Research report for external body
Volume title
Year
2009
DOI
Output title
Decomposing power measurements for mobile devices.
Output type
E - Conference contribution
Volume title
PerCom
Year
2010
DOI
10.1109/PERCOM.2010.5466991
Output title
DEFCon: High-Performance Event Processing with Information S ...
Output type
E - Conference contribution
Volume title
USENIX Annual technical Conference (Usenix ATC ’10)
Year
2010
DOI
Output title
Designing a Physical Locality Aware Coherence Protocol for C ...
Output type
D - Journal article
Volume title
IEEE Transactions on Computers
Year
2013
DOI
10.1109/TC.2012.52
Output title
Diabelli: A Heterogeneous Proof System.
Output type
E - Conference contribution
Volume title
IJCAR
Year
2012
DOI
10.1007/978-3-642-31365-3_44
Output title
Disclosure control in multi-domain publish/subscribe systems
Output type
E - Conference contribution
Volume title
Proceedings DEBS 2011 (Distributed Event-based Systems)
Year
2011
DOI
10.1145/2002259.2002283
Output title
Discriminating graphs through spectral projections
Output type
D - Journal article
Volume title
COMPUT NETW
Year
2011
DOI
10.1016/j.comnet.2011.06.024
Output title
Distributed Middleware Enforcement of Event Flow Security Po ...
Output type
E - Conference contribution
Volume title
In Proceedings ACM/IFIP/Usenix Middleware
Year
2010
DOI
Output title
Effect of severe image compression on iris recognition perfo ...
Output type
D - Journal article
Volume title
IEEE T INF FOREN SEC
Year
2008
DOI
10.1109/TIFS.2007.916009
Output title
Efficient application identification and the temporal and spatial ...
Output type
D - Journal article
Volume title
COMPUT NETW
Year
2009
DOI
10.1016/j.comnet.2008.11.016
Output title
Efficient Maximum-Likelihood Decoding of Spherical Lattice C ...
Output type
D - Journal article
Volume title
IEEE TRANSACTIONS ON COMMUNICATIONS
Year
2009
DOI
10.1109/TCOMM.2009.08.070329
Output title
Efficient Physical Embedding of Topologically Complex Information ...
Output type
D - Journal article
Volume title
PLOS COMPUT BIOL
Year
2010
DOI
10.1371/journal.pcbi.1000748
Output title
EmotionSense: a mobile phones based adaptive platform for experimental ...
Output type
E - Conference contribution
Volume title
UbiComp
Year
2010
DOI
10.1145/1864349.1864393
1 2 3 4
> Last
Showing outputs 1 - 50 of 184