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

First <
1 2 3 4
> Last
Showing outputs 51 - 100 of 184
Output title
Enforcing End-to-End Application Security in the Cloud - (Big ...
Output type
E - Conference contribution
Volume title
Middleware
Year
2010
DOI
10.1007/978-3-642-16955-7_15
Output title
EpiChIP: gene-by-gene quantification of epigenetic modification ...
Output type
D - Journal article
Volume title
Nucleic Acids Res
Year
2011
DOI
10.1093/nar/gkq1226
Output title
Events, Causality and Symmetry
Output type
D - Journal article
Volume title
COMPUT J
Year
2011
DOI
10.1093/comjnl/bxp052
Output title
Evolution and sustainability of a wildlife monitoring sensor ...
Output type
E - Conference contribution
Volume title
SenSys
Year
2010
DOI
10.1145/1869983.1869997
Output title
Exact and asymptotic outage probability analysis for decode-and-forward ...
Output type
D - Journal article
Volume title
IEEE Transactions on Communications
Year
2011
DOI
10.1109/TCOMM.2010.102910.090133
Output title
Exploiting place features in link prediction on location-based ...
Output type
E - Conference contribution
Volume title
KDD
Year
2011
DOI
10.1145/2020408.2020575
Output title
Exploiting Tightly-Coupled Cores
Output type
E - Conference contribution
Volume title
International Conference on Embedded Computer Systems: Architectures, Modelling and Simulation
Year
2013
DOI
10.1109/SAMOS.2013.6621138
Output title
Exploring violin sound quality: Investigating English timbre ...
Output type
D - Journal article
Volume title
J ACOUST SOC AM
Year
2012
DOI
10.1121/1.3651790
Output title
Failures of Tamper-Proofing in PIN Entry Devices.
Output type
D - Journal article
Volume title
IEEE Security & Privacy
Year
2009
DOI
10.1109/MSP.2009.187
Output title
Foot Contact Detection for Sprint Training.
Output type
D - Journal article
Volume title
ACCV Workshops (1)
Year
2011
DOI
10.1007/978-3-642-22822-3_30
Output title
Forward with Hoare
Output type
C - Chapter in book
Volume title
Reflections on the Work of C.A.R. Hoare
Year
2010
DOI
10.1007/978-1-84882-912-1_5
Output title
Free Lunch: Exploiting Renewable Energy For Computing
Output type
E - Conference contribution
Volume title
The 13th Workshop on Hot Topics in Operating Systems (HOTOS'XIII)
Year
2011
DOI
Output title
Full Abstraction for Nominal Scott Domains
Output type
E - Conference contribution
Volume title
40th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages (POPL 2013), Rome, Italy
Year
2013
DOI
10.1145/2429069.2429073
Output title
General structural operational semantics through categorical ...
Output type
E - Conference contribution
Volume title
TWENTY-THIRD ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS
Year
2008
DOI
10.1109/LICS.2008.43
Output title
GENERATIVE UNBINDING OF NAMES
Output type
D - Journal article
Volume title
LOG METH COMPUT SCI
Year
2008
DOI
10.2168/LMCS-4(1:4)2008
Output title
Graphs, Rewriting and Pathway Reconstruction for Rule-Based ...
Output type
E - Conference contribution
Volume title
Leibniz International Proceedings in Informatics (LIPIcs)
Year
2012
DOI
10.4230/LIPIcs.FSTTCS.2012.276
Output title
Green Wave Sleep Scheduling: Optimizing Latency and Throughput ...
Output type
D - Journal article
Volume title
IEEE Journal on Selected Areas in Communications
Year
2011
DOI
10.1109/JSAC.2011.110909
Output title
Handling Goal Utility Dependencies in a Satisfiability Frame ...
Output type
E - Conference contribution
Volume title
ICAPS
Year
2010
DOI
Output title
Hardware-software co-design of an iris recognition algorithm
Output type
D - Journal article
Volume title
IET Information Security
Year
2011
DOI
10.1049/iet-ifs.2009.0267
Output title
HELIX: Automatic Parallelization of Irregular Programs for Chip ...
Output type
E - Conference contribution
Volume title
Code Generation and Optimization (CGO), 2012 10th Annual IEEE/ACM International Symposium on
Year
2012
DOI
10.1145/2259016.2259028
Output title
Hematopoietic stem cells reversibly switch from dormancy to self-renewal ...
Output type
D - Journal article
Volume title
Cell
Year
2008
DOI
10.1016/j.cell.2008.10.048
Output title
How do we program the home? Gender, attention investment, and ...
Output type
D - Journal article
Volume title
INT J HUM-COMPUT ST
Year
2009
DOI
10.1016/j.ijhcs.2008.09.011
Output title
How Smart is Your Smartcard? Measuring Travel Behaviours, Perceptions, ...
Output type
E - Conference contribution
Volume title
13th ACM International Conference on Ubiquitous Computing
Year
2011
DOI
10.1145/2030112.2030152
Output title
I did that!: measuring users' experience of agency in their own ...
Output type
E - Conference contribution
Volume title
CHI
Year
2012
DOI
10.1145/2207676.2208350
Output title
Impact of directional transmission in large-scale multi-hop wireless ...
Output type
E - Conference contribution
Volume title
INFOCOM
Year
2012
DOI
10.1109/INFCOM.2012.6195793
Output title
Impact of Hot-Potato Routing Changes in IP Networks
Output type
D - Journal article
Volume title
IEEE ACM T NETWORK
Year
2008
DOI
10.1109/TNET.2008.919333
Output title
Implications of Electronics Technology Trends for Algorithm ...
Output type
D - Journal article
Volume title
The Computer Journal
Year
2009
DOI
10.1093/comjnl/bxp013
Output title
Improved Information Structure Analysis of Scientific Documents ...
Output type
E - Conference contribution
Volume title
http://aclweb.org/anthology/N/N13/
Year
2013
DOI
Output title
Improved Lexical Acquisition through DPP-based Verb Clusteri ...
Output type
E - Conference contribution
Volume title
Association for Computational Linguistics
Year
2013
DOI
Output title
Improving Xen security through disaggregation.
Output type
E - Conference contribution
Volume title
VEE
Year
2008
DOI
10.1145/1346256.1346278
Output title
INDEPENDENCE AND CONCURRENT SEPARATION LOGIC
Output type
D - Journal article
Volume title
LOG METH COMPUT SCI
Year
2008
DOI
10.2168/LMCS-4(1:6)2008
Output title
Inertial sensor-based knee flexion/extension angle estimatio ...
Output type
D - Journal article
Volume title
Journal of Biomechanics
Year
2009
DOI
10.1016/j.jbiomech.2009.08.004
Output title
Instances of computational effects: an algebraic perspective
Output type
E - Conference contribution
Volume title
28TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS 2013)
Year
2013
DOI
10.1109/LICS.2013.58
Output title
Intra- and inter-chromosomal interactions correlate with CTCF ...
Output type
D - Journal article
Volume title
Mol Syst Biol
Year
2010
DOI
10.1038/msb.2010.79
Output title
ISO/IEC 19794-6:2011 International Standard for Information Technology: ...
Output type
T - Other form of assessable output
Volume title
Year
2011
DOI
Output title
Joint Word Segmentation and POS Tagging Using a Single Perce ...
Output type
E - Conference contribution
Volume title
ACL
Year
2008
DOI
Output title
Kilim: Isolation-typed actors for Java (a million actors, safe ...
Output type
E - Conference contribution
Volume title
ECOOP 2008 - OBJECT-ORIENTED PROGRAMMING, PROCEEDINGS
Year
2008
DOI
10.1007/978-3-540-70592-5_6
Output title
Language-Based Optimisation of Sensor-Driven Distributed Computing ...
Output type
E - Conference contribution
Volume title
FASE
Year
2008
DOI
10.1007/978-3-540-78743-3_30
Output title
Learning syntactic verb frames using graphical models
Output type
E - Conference contribution
Volume title
50th Annual Meeting of the Association for Computational Linguistics, ACL 2012 - Proceedings of the Conference
Year
2012
DOI
Output title
Lightweight relevance filtering for machine-generated resolution ...
Output type
D - Journal article
Volume title
J APPL LOGIC
Year
2009
DOI
10.1016/j.jal.2007.07.004
Output title
Liveness-Based Pointer Analysis.
Output type
E - Conference contribution
Volume title
SAS
Year
2012
DOI
10.1007/978-3-642-33125-1_19
Output title
Logics with Rank Operators
Output type
E - Conference contribution
Volume title
24TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS
Year
2009
DOI
10.1109/LICS.2009.24
Output title
Mathematizing C plus plus Concurrency
Output type
E - Conference contribution
Volume title
POPL 11: PROCEEDINGS OF THE 38TH ANNUAL ACM SIGPLAN-SIGACT SYMPOSIUM ON PRINCIPLES OF PROGRAMMING LANGUAGES
Year
2011
DOI
10.1145/1926385.1926394
Output title
Measuring the Cost of Cybercrime
Output type
E - Conference contribution
Volume title
11th Annual Workshop on the Economics of Information Security
Year
2012
DOI
Output title
MetiTarski: An Automatic Theorem Prover for Real-Valued Special ...
Output type
D - Journal article
Volume title
J AUTOM REASONING
Year
2010
DOI
10.1007/s10817-009-9149-2
Output title
Metrics for Security and Performance in Low-Latency Anonymity ...
Output type
E - Conference contribution
Volume title
Privacy Enhancing Technologies
Year
2008
DOI
10.1007/978-3-540-70630-4_8
Output title
Mining Mobility Data to Minimise Travellers' Spending on Public ...
Output type
E - Conference contribution
Volume title
ACM SIGKDD 2011 Conference on Knowledge Discovery and Data Mining
Year
2011
DOI
10.1145/2020408.2020590
Output title
MockDroid: trading privacy for application functionality on ...
Output type
E - Conference contribution
Volume title
In the Proceedings of the 11th Workshop on Mobile Computing Systems and Applications (HotMobile)
Year
2011
DOI
10.1145/2184489.2184500
Output title
Modal characterisation theorems over special classes of fram ...
Output type
D - Journal article
Volume title
ANN PURE APPL LOGIC
Year
2009
DOI
10.1016/j.apal.2009.04.002
Output title
Multiple Kernel Learning for Drug Discovery
Output type
D - Journal article
Volume title
Molecular Informatics
Year
2012
DOI
10.1002/minf.201100146
First <
1 2 3 4
> Last
Showing outputs 51 - 100 of 184