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
Showing outputs 151 - 184 of 184
Output title
Statistical Modelling and Analysis of Sparse Bus Probe Data in ...
Output type
E - Conference contribution
Volume title
13th IEEE Intelligent Transportation Systems Conference
Year
2010
DOI
10.1109/ITSC.2010.5625144
Output title
Syntactic Processing using the Generalized Perceptron and Beam ...
Output type
D - Journal article
Volume title
Computational Linguistics
Year
2011
DOI
10.1162/coli_a_00037
Output title
TCP-Friendly Rate Control (TFRC) for bursty media flows
Output type
D - Journal article
Volume title
Computer Communications
Year
2011
DOI
10.1016/j.comcom.2011.05.003
Output title
Territorial coordination and workspace awareness in remote tabletop ...
Output type
E - Conference contribution
Volume title
CHI
Year
2009
DOI
10.1145/1518701.1519026
Output title
The arrow calculus.
Output type
D - Journal article
Volume title
J. Funct. Program.
Year
2010
DOI
10.1017/S095679680999027X
Output title
The Augmented State Diagram and its Application to Convolutional ...
Output type
D - Journal article
Volume title
IEEE T COMMUN
Year
2009
DOI
10.1109/TCOMM.2009.07.070344
Output title
The cartesian closed bicategory of generalised species of st ...
Output type
D - Journal article
Volume title
J LOND MATH SOC
Year
2008
DOI
10.1112/jlms/jdm096
Output title
The Economics of Online Crime
Output type
D - Journal article
Volume title
Journal of Economic Perspectives
Year
2009
DOI
10.1257/jep.23.3.3
Output title
The Generalized FITC Approximation
Output type
E - Conference contribution
Volume title
Advances in Neural Information Processing Systems 20
Year
2009
DOI
Output title
The Impact of Incentives on Notice and Take-down
Output type
C - Chapter in book
Volume title
Managing Information Risk and the Economics of Security
Year
2008
DOI
10.1007/978-0-387-09762-6_10
Output title
The potential for location-aware power management.
Output type
E - Conference contribution
Volume title
UbiComp
Year
2008
DOI
10.1145/1409635.1409676
Output title
The Quest to Replace Passwords: A Framework for Comparative Evaluation ...
Output type
E - Conference contribution
Volume title
2012 IEEE SYMPOSIUM ON SECURITY AND PRIVACY (SP)
Year
2012
DOI
10.1109/SP.2012.44
Output title
The Right Tools for the Job: Correctness of Cone of Influence ...
Output type
D - Journal article
Volume title
J AUTOM REASONING
Year
2011
DOI
10.1007/s10817-010-9169-y
Output title
The Structure of Scientific Articles: Applications to Citation ...
Output type
A - Authored book
Volume title
Year
2010
DOI
Output title
The Winning Ways of Concurrent Games
Output type
E - Conference contribution
Volume title
2012 27TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS)
Year
2012
DOI
10.1109/LICS.2012.34
Output title
Tight Bounds For Randomized Load Balancing on Arbitrary Network ...
Output type
E - Conference contribution
Volume title
Proceedings of the 53rd IEEE Symposium on Foundations of Computer Science (FOCS’12)
Year
2012
DOI
10.1109/FOCS.2012.86
Output title
Towards Domain-Independent Argumentative Zoning: Evidence from ...
Output type
E - Conference contribution
Volume title
EMNLP
Year
2009
DOI
Output title
Translating higher-order clauses to first-order clauses
Output type
D - Journal article
Volume title
J AUTOM REASONING
Year
2008
DOI
10.1007/s10817-007-9085-y
Output title
Translation Validation for a Verified OS Kernel
Output type
E - Conference contribution
Volume title
PLDI: 34th annual ACM SIGPLAN conference on Programming Language Design and Implementation
Year
2013
DOI
10.1145/2499370.2462183
Output title
Ultra-Fast Rumor Spreading in Social Networks
Output type
E - Conference contribution
Volume title
Proceedings of the 23rd ACM Symposium on Discrete Algorithms (SODA’12)
Year
2012
DOI
Output title
Understanding POWER Multiprocessors
Output type
E - Conference contribution
Volume title
PLDI 11: PROCEEDINGS OF THE 2011 ACM CONFERENCE ON PROGRAMMING LANGUAGE DESIGN AND IMPLEMENTATION
Year
2011
DOI
Output title
Understanding Scam Victims: Seven Principles for Systems Sec ...
Output type
D - Journal article
Volume title
COMMUN ACM
Year
2011
DOI
10.1145/1897852.1897872
Output title
Unikernels: library operating systems for the cloud.
Output type
E - Conference contribution
Volume title
ASPLOS
Year
2013
DOI
10.1145/2451116.2451167
Output title
Universal properties for impure programming languages
Output type
E - Conference contribution
Volume title
Fortieth ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2013)
Year
2013
DOI
10.1145/2429069.2429091
Output title
Using functional programming within an industrial product group: ...
Output type
E - Conference contribution
Volume title
ICFP
Year
2010
DOI
10.1145/1863543.1863557
Output title
Using Lexical and Relational Similarity to Classify Semantic ...
Output type
E - Conference contribution
Volume title
EACL
Year
2009
DOI
Output title
Verified Just-In-Time Compiler on x86
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
DOI
10.1145/1706299.1706313
Output title
Verified LISP implementations on ARM, x86 and PowerPC
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
2009
DOI
10.1007/978-3-642-03359-9_25
Output title
Vigilante: End-to-End Containment of Internet Worm Epidemics
Output type
D - Journal article
Volume title
ACM T COMPUT SYST
Year
2008
DOI
10.1145/1455258.1455259
Output title
Walk detection and step counting on unconstrained smartphone ...
Output type
E - Conference contribution
Volume title
UbiComp '13
Year
2013
DOI
10.1145/2493432.2493449
Output title
Watching television over an IP network.
Output type
E - Conference contribution
Volume title
Internet Measurement Comference
Year
2008
DOI
10.1145/1452520.1452529
Output title
Weighted Spectral Distribution for Internet Topology Analysis: ...
Output type
D - Journal article
Volume title
IEEE ACM T NETWORK
Year
2010
DOI
10.1109/TNET.2009.2022369
Output title
What's in Your Tweets? I Know Who You Supported in the UK 2010 ...
Output type
E - Conference contribution
Volume title
ICWSM
Year
2012
DOI
Output title
XORs in the air: practical wireless network coding
Output type
D - Journal article
Volume title
IEEE/ACM Trans. Netw.
Year
2008
DOI
10.1109/TNET.2008.923722
First <
1 2 3 4
Showing outputs 151 - 184 of 184