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 Oxford » Outputs

Outputs (REF2)

11 - Computer Science and Informatics

University of Oxford

First <
1 2 3 4 5 6
Showing outputs 251 - 263 of 263
Output title
Unconditionally secure device-independent quantum key distribution ...
Output type
D - Journal article
Volume title
Physical Review A
Year
2012
DOI
10.1103/PhysRevA.86.062326
Output title
Uncoordinated Two-Sided Matching Markets
Output type
D - Journal article
Volume title
SIAM Journal on Computing
Year
2011
DOI
10.1137/090753498
Output title
Understanding Concurrent Systems
Output type
A - Authored book
Volume title
Year
2010
DOI
10.2168/LMCS-9(3:24)2013
Output title
Usability and security of out-of-band channels in secure device ...
Output type
E - Conference contribution
Volume title
SOUPS 2009 - Proceedings of the 5th Symposium On Usable Privacy and Security
Year
2009
DOI
10.1145/1572532.1572547
Output title
Using propositional logic for requirements verification of service ...
Output type
D - Journal article
Volume title
IEEE Transactions on Industrial Informatics
Year
2012
DOI
10.1109/TII.2012.2187908
Output title
Verification of Linear Duration Properties over Continuous Time ...
Output type
D - Journal article
Volume title
ACM Transactions on Computational Logic
Year
2013
DOI
Output title
Verifying higher-order functional programs with pattern-matching ...
Output type
E - Conference contribution
Volume title
Conference Record of the Annual ACM Symposium on Principles of Programming Languages
Year
2011
DOI
10.1145/1926385.1926453
Output title
Virus propagation in heterogeneous Bluetooth networks with human ...
Output type
D - Journal article
Volume title
IEEE Transactions on Dependable and Secure Computing
Year
2012
DOI
10.1109/TDSC.2012.72
Output title
Weighted argument systems: Basic definitions, algorithms, and ...
Output type
D - Journal article
Volume title
Artificial Intelligence
Year
2011
DOI
10.1016/j.artint.2010.09.005
Output title
Well-founded semantics for description logic programs in the ...
Output type
D - Journal article
Volume title
ACM Transactions on Computational Logic
Year
2011
DOI
10.1145/1877714.1877717
Output title
WILDSENSING: Design and Deployment of a Sustainable Sensor Network ...
Output type
D - Journal article
Volume title
ACM TRANSACTIONS ON SENSOR NETWORKS
Year
2012
DOI
10.1145/2240116.2240118
Output title
XPath Leashed
Output type
D - Journal article
Volume title
ACM COMPUTING SURVEYS
Year
2008
DOI
10.1145/1456650.1456653
Output title
XPath satisfiability in the presence of DTDs
Output type
D - Journal article
Volume title
JOURNAL OF THE ACM
Year
2008
DOI
10.1145/1346330.1346333
First <
1 2 3 4 5 6
Showing outputs 251 - 263 of 263