Skip to main

Submitted outputs' details

The submitted outputs' details allows you to browse and search for outputs submitted to the REF 2021. Use the search and filters below to find the outputs you are looking for.

Search and filter

Filter by

  • University of Oxford
   None selected
  • 11 - Computer Science and Informatics
   None selected
   None selected
   None selected
   None selected
Waiting for server
Download output details for outputs in the current view (spreadsheet)
Showing outputs 1 to 100 of 184
Submitting institution
University of Oxford
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2015
DOI
10.1016/j.jcss.2015.11.009
Open access status
Out of scope for open access requirements
Title of journal
Journal of Computer and Systems Sciences International
Submitting institution
University of Oxford
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2019
DOI
10.23638/LMCS-15(3:15)2019
Open access status
Compliant
Title of journal
Logical Methods in Computer Science
Submitting institution
University of Oxford
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2017
DOI
10.1109/LICS.2017.8005137
Open access status
Compliant
Title of conference / published proceedings
Proceedings - Symposium on Logic in Computer Science
Submitting institution
University of Oxford
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2014
DOI
10.3115/v1/p14-1062
Title of conference / published proceedings
52nd Annual Meeting of the Association for Computational Linguistics
Submitting institution
University of Oxford
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2015
DOI
10.1137/14098497X
Open access status
Out of scope for open access requirements
Title of journal
SIAM JOURNAL ON SCIENTIFIC COMPUTING
Submitting institution
University of Oxford
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2019
Open access status
Compliant
Title of journal
Proceedings of the ACM on Programming Languages
Submitting institution
University of Oxford
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2020
DOI
10.1016/j.scico.2020.102426
Open access status
Compliant
Title of journal
Science of Computer Programming
Submitting institution
University of Oxford
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2014
DOI
10.1613/jair.4434
Open access status
Out of scope for open access requirements
Title of journal
Journal of Artificial Intelligence Research
Submitting institution
University of Oxford
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2015
DOI
10.1016/j.artint.2015.09.006
Open access status
Out of scope for open access requirements
Title of journal
ARTIFICIAL INTELLIGENCE
Submitting institution
University of Oxford
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2016
DOI
10.1145/2994551.2994562
Title of conference / published proceedings
Proceedings of the 14th ACM Conference on Embedded Network Sensor Systems CD-ROM
Submitting institution
University of Oxford
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2016
DOI
10.1016/j.ic.2016.02.008
Open access status
Out of scope for open access requirements
Title of journal
INFORMATION AND COMPUTATION
Submitting institution
University of Oxford
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2020
DOI
10.1109/SP40000.2020.00056
Open access status
Compliant
Title of conference / published proceedings
IEEE Symposium on Security and Privacy
Submitting institution
University of Oxford
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2016
Open access status
Compliant
Title of conference / published proceedings
Advances in Neural Information Processing Systems 29 (NIPS 2016)
Submitting institution
University of Oxford
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2014
DOI
10.1145/2629608
Open access status
Out of scope for open access requirements
Title of journal
ACM Transactions on Programming Languages and Systems
Submitting institution
University of Oxford
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2015
DOI
10.1109/TMC.2014.2352262
Open access status
Out of scope for open access requirements
Title of journal
IEEE TRANSACTIONS ON MOBILE COMPUTING
Submitting institution
University of Oxford
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.1137/15M1027267
Open access status
Compliant
Title of journal
SIAM Journal on Computing
Submitting institution
University of Oxford
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2020
Open access status
Compliant
Title of journal
Proceedings of the National Academy of Sciences
Submitting institution
University of Oxford
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.1145/3019609
Open access status
Compliant
Title of journal
Journal of the ACM
Submitting institution
University of Oxford
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2014
DOI
10.1016/j.artint.2014.07.010
Open access status
Out of scope for open access requirements
Title of journal
Artificial Intelligence
Submitting institution
University of Oxford
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.1145/3281745
Open access status
Compliant
Title of journal
ACM Transactions on Privacy and Security
Submitting institution
University of Oxford
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2015
DOI
10.1007/s00453-015-0029-3
Open access status
Out of scope for open access requirements
Title of journal
ALGORITHMICA
Submitting institution
University of Oxford
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2016
DOI
10.1137/15M1020551
Open access status
Out of scope for open access requirements
Title of journal
SIAM Journal on Computing
Submitting institution
University of Oxford
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.1016/j.artint.2018.07.006
Open access status
Compliant
Title of journal
Artificial Intelligence
Submitting institution
University of Oxford
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2019
DOI
10.1137/16M1083906
Open access status
Compliant
Title of journal
SIAM Journal on Computing
Submitting institution
University of Oxford
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2014
DOI
10.1613/jair.4237
Open access status
Out of scope for open access requirements
Title of journal
Journal of Artificial Intelligence Research
Submitting institution
University of Oxford
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2015
DOI
10.1109/JSYST.2015.2438442
Open access status
Out of scope for open access requirements
Title of journal
IEEE SYSTEMS JOURNAL
Submitting institution
University of Oxford
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2020
DOI
10.1016/j.artint.2020.103353
Open access status
Compliant
Title of journal
Artificial Intelligence
Submitting institution
University of Oxford
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.4086/toc.2018.v014a009
Open access status
Compliant
Title of journal
Theory of Computing
Submitting institution
University of Oxford
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2020
DOI
10.1109/sp40000.2020.00093
Open access status
Exception within 3 months of publication
Title of conference / published proceedings
2020 IEEE Symposium on Security and Privacy (SP)
Submitting institution
University of Oxford
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.1137/16M1088107
Open access status
Compliant
Title of journal
SIAM Journal on Discrete Mathematics
Submitting institution
University of Oxford
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.1016/j.ic.2018.09.013
Open access status
Compliant
Title of journal
Information and Computation
Submitting institution
University of Oxford
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.1145/3121136
Open access status
Compliant
Title of journal
ACM Transactions on Programming Languages and Systems
Submitting institution
University of Oxford
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2016
DOI
10.1145/2940716.2940773
Title of conference / published proceedings
EC 2016: 17th ACM Conference on Economics and Computation
Submitting institution
University of Oxford
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2016
DOI
10.1145/2956582
Open access status
Out of scope for open access requirements
Title of journal
ACM Transactions on Economics and Computation
Submitting institution
University of Oxford
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.1613/jair.1.11270
Open access status
Compliant
Title of journal
Journal of Artificial Intelligence Research
Submitting institution
University of Oxford
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
Open access status
Deposit exception
Title of journal
ACM Transactions on Database Systems
Submitting institution
University of Oxford
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2016
Open access status
Compliant
Title of journal
Proceedings of the National Academy of Sciences
Submitting institution
University of Oxford
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2019
DOI
10.1145/3331452
Open access status
Compliant
Title of journal
ACM Transactions on Computational Logic
Submitting institution
University of Oxford
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2020
DOI
10.1103/PhysRevX.10.041048
Open access status
Compliant
Title of journal
Physical Review X
Submitting institution
University of Oxford
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.1016/j.tcs.2017.12.018
Open access status
Exception within 3 months of publication
Title of journal
Theoretical Computer Science
Submitting institution
University of Oxford
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.1007/s00224-017-9802-9
Open access status
Compliant
Title of journal
Theory of Computing Systems
Submitting institution
University of Oxford
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2019
DOI
10.1016/j.artint.2018.12.010
Open access status
Compliant
Title of journal
Artificial Intelligence
Submitting institution
University of Oxford
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2014
Open access status
Out of scope for open access requirements
Title of conference / published proceedings
International Conference on Machine Learning, ICML 2014
Submitting institution
University of Oxford
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.1016/j.ic.2017.09.010
Open access status
Compliant
Title of journal
Information and Computation
Submitting institution
University of Oxford
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2015
DOI
10.1088/1367-2630/17/8/083001
Open access status
Out of scope for open access requirements
Title of journal
NEW JOURNAL OF PHYSICS
Submitting institution
University of Oxford
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2015
DOI
10.1613/jair.4550
Open access status
Out of scope for open access requirements
Title of journal
JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH
Submitting institution
University of Oxford
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2014
DOI
10.1016/j.artint.2014.01.002
Open access status
Out of scope for open access requirements
Title of journal
Artificial Intelligence
Submitting institution
University of Oxford
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.1613/jair.1.11257
Open access status
Compliant
Title of journal
The Journal of Artificial Intelligence Research
Submitting institution
University of Oxford
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2020
DOI
10.1613/jair.1.12222
Open access status
Compliant
Title of journal
Journal of Artificial Intelligence Research
Submitting institution
University of Oxford
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2019
DOI
10.1016/j.artint.2018.11.006
Open access status
Compliant
Title of journal
Artificial Intelligence
Submitting institution
University of Oxford
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2015
DOI
10.1137/140963029
Open access status
Out of scope for open access requirements
Title of journal
SIAM JOURNAL ON COMPUTING
Submitting institution
University of Oxford
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2016
DOI
10.1016/j.artint.2016.03.006
Open access status
Out of scope for open access requirements
Title of journal
Artificial Intelligence
Submitting institution
University of Oxford
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2017
DOI
10.1137/1.9781611974782.12
Title of conference / published proceedings
SODA '17 Proceedings of the Twenty-Eighth Annual ACM-SIAM Symposium on Discrete Algorithms
Submitting institution
University of Oxford
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2019
DOI
10.1145/3290362
Open access status
Compliant
Title of journal
Proceedings of the ACM on Programming Languages
Submitting institution
University of Oxford
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.1145/3132700
Open access status
Compliant
Title of journal
ACM Transactions on Database Systems
Submitting institution
University of Oxford
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2019
DOI
10.1109/tmc.2019.2960780
Open access status
Compliant
Title of journal
IEEE Transactions on Mobile Computing
Submitting institution
University of Oxford
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2019
DOI
10.23638/LMCS-15(3:29)2019
Open access status
Compliant
Title of journal
Logical Methods in Computer Science
Submitting institution
University of Oxford
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.1145/3158148
Open access status
Compliant
Title of journal
Proceedings of the ACM on Programming Languages
Submitting institution
University of Oxford
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.1145/2994593
Open access status
Compliant
Title of journal
Transactions on Programming Languages and Systems
Submitting institution
University of Oxford
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2016
Open access status
Compliant
Title of conference / published proceedings
33rd International Conference on Machine Learning, ICML 2016
Submitting institution
University of Oxford
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.1137/16M1072218
Open access status
Compliant
Title of journal
SIAM Journal on Computing
Submitting institution
University of Oxford
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2019
DOI
10.1145/3300061.3345454
Title of conference / published proceedings
The 25th Annual International Conference on Mobile Computing and Networking
Submitting institution
University of Oxford
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.1016/j.ic.2018.02.012
Open access status
Compliant
Title of journal
Information and Computation
Submitting institution
University of Oxford
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2015
DOI
10.1145/2814570
Open access status
Out of scope for open access requirements
Title of journal
ACM Transactions on Computational Logic
Submitting institution
University of Oxford
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2014
DOI
10.1145/2629599
Open access status
Out of scope for open access requirements
Title of journal
Journal of the ACM
Submitting institution
University of Oxford
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2014
DOI
10.1016/j.artint.2014.04.005
Open access status
Out of scope for open access requirements
Title of journal
Artificial Intelligence
Submitting institution
University of Oxford
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2014
DOI
10.5555/2627435.2670325
Open access status
Out of scope for open access requirements
Title of journal
Journal of Machine Learning Research
Submitting institution
University of Oxford
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2019
DOI
10.1145/3335149
Open access status
Compliant
Title of journal
ACM Transactions on Software Engineering and Methodology
Submitting institution
University of Oxford
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2020
Open access status
Compliant
Title of journal
Journal of Machine Learning Research
Submitting institution
University of Oxford
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.1145/3238304
Open access status
Compliant
Title of journal
ACM Transactions on Database Systems
Submitting institution
University of Oxford
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2020
DOI
10.1016/j.artint.2020.103259
Open access status
Compliant
Title of journal
Artificial Intelligence
Submitting institution
University of Oxford
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.1145/3110249
Open access status
Compliant
Title of journal
Proceedings of the ACM on Programming Languages
Submitting institution
University of Oxford
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2016
Open access status
Compliant
Title of journal
SIAM JOURNAL ON COMPUTING
Submitting institution
University of Oxford
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2014
DOI
10.1007/s00766-014-0217-8
Open access status
Out of scope for open access requirements
Title of journal
REQUIREMENTS ENGINEERING
Submitting institution
University of Oxford
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.1007/s00453-018-0472-z
Open access status
Deposit exception
Title of journal
Algorithmica
Submitting institution
University of Oxford
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2020
DOI
10.1145/3365834
Open access status
Compliant
Title of journal
ACM Transactions on Computational Logic
Submitting institution
University of Oxford
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2017
DOI
10.24963/ijcai.2017/156
Open access status
Compliant
Title of conference / published proceedings
CoRR
Submitting institution
University of Oxford
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2019
DOI
10.1016/j.artint.2019.02.003
Open access status
Compliant
Title of journal
Artificial Intelligence
Submitting institution
University of Oxford
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2014
DOI
10.1007/s10543-014-0484-2
Open access status
Out of scope for open access requirements
Title of journal
BIT NUMERICAL MATHEMATICS
Submitting institution
University of Oxford
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2014
DOI
10.1098/rsif.2014.0352
Open access status
Out of scope for open access requirements
Title of journal
Journal of the Royal Society, Interface
Submitting institution
University of Oxford
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2020
DOI
10.1145/3381881
Open access status
Compliant
Title of journal
Journal of the ACM
Submitting institution
University of Oxford
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2016
DOI
10.1109/TWC.2016.2581165
Open access status
Compliant
Title of journal
IEEE Transactions on Wireless Communications
Submitting institution
University of Oxford
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.1016/j.artint.2017.04.003
Open access status
Compliant
Title of journal
Artificial Intelligence
Submitting institution
University of Oxford
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.1016/j.ic.2018.02.015
Open access status
Not compliant
Title of journal
INFORMATION AND COMPUTATION
Submitting institution
University of Oxford
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2020
DOI
10.1145/3428676
Open access status
Compliant
Title of journal
Journal of the ACM
Submitting institution
University of Oxford
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2016
Open access status
Out of scope for open access requirements
Title of journal
ACM Transactions on Database Systems
Submitting institution
University of Oxford
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2016
DOI
10.1109/TIT.2016.2516564
Open access status
Out of scope for open access requirements
Title of journal
IEEE Transactions on Information Theory
Submitting institution
University of Oxford
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2019
DOI
10.1145/3319535.3354224
Open access status
Compliant
Title of conference / published proceedings
Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security
Submitting institution
University of Oxford
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2015
Open access status
Out of scope for open access requirements
Title of journal
Nature
Submitting institution
University of Oxford
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2018
DOI
10.1109/FOCS.2018.00016
Open access status
Compliant
Title of conference / published proceedings
59th Annual IEEE Symposium on Foundations of Computer Science
Submitting institution
University of Oxford
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2014
DOI
10.1007/s10817-014-9305-1
Open access status
Out of scope for open access requirements
Title of journal
Journal of Automated Reasoning
Submitting institution
University of Oxford
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2019
DOI
10.1145/3321386
Open access status
Compliant
Title of journal
Journal of the ACM
Submitting institution
University of Oxford
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.1145/3158099
Open access status
Compliant
Title of journal
Proceedings of the ACM on Programming Languages
Submitting institution
University of Oxford
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
Open access status
Compliant
Title of journal
Frontiers in Physiology
Submitting institution
University of Oxford
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.1016/j.ic.2018.02.023
Open access status
Compliant
Title of journal
Information and Computation
Submitting institution
University of Oxford
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2015
Open access status
Out of scope for open access requirements
Title of journal
JOURNAL OF THE ACM
Submitting institution
University of Oxford
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2020
DOI
10.1137/18M1184485
Open access status
Compliant
Title of journal
SIAM Journal on Computing
Submitting institution
University of Oxford
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2015
DOI
10.1145/2775051.2676969
Open access status
Out of scope for open access requirements
Title of conference / published proceedings
POPL
Submitting institution
University of Oxford
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2019
DOI
10.1007/978-3-030-25543-5_8
Open access status
Compliant
Title of conference / published proceedings
Computer Aided Verification
Submitting institution
University of Oxford
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2015
DOI
10.1016/j.ic.2015.03.011
Open access status
Out of scope for open access requirements
Title of journal
Information and Computation
Showing outputs 1 to 100 of 184

Filter by higher education institution

UK regions
Select one or more of the following higher education institutions and then click Apply selected filters when you have finished.
No higher education institutions found.
Institutions

Filter by unit of assessment

Main panels
Select one or more of the following units of assessment and then click Apply selected filters when you have finished.
No unit of assessments found.
Units of assessment

Filter by output type

Select one or more of the following output types and then click Apply selected filters when you have finished.

Filter by year

Select one or more of the following years and then click Apply selected filters when you have finished.

Filter by open access status

Select one or more of the following open access statuses and then click Apply selected filters when you have finished.