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 Cambridge
   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 202
Submitting institution
University of Cambridge
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2017
DOI
10.1109/ECRIME.2017.7945057
Open access status
Compliant
Title of conference / published proceedings
eCrime Researchers Summit, eCrime
Submitting institution
University of Cambridge
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2016
DOI
10.1145/2837614.2837616
Open access status
Out of scope for open access requirements
Title of journal
ACM SIGPLAN Notices
Submitting institution
University of Cambridge
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.1109/TPDS.2017.2697382
Open access status
Compliant
Title of journal
IEEE Transactions on Parallel and Distributed Systems
Submitting institution
University of Cambridge
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2019
DOI
10.1109/icra.2019.8794445
Title of conference / published proceedings
2019 International Conference on Robotics and Automation (ICRA)
Submitting institution
University of Cambridge
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2015
DOI
10.7873/date.2015.1104
Open access status
Out of scope for open access requirements
Title of conference / published proceedings
Design, Automation & Test in Europe Conference & Exhibition (DATE), 2015
Submitting institution
University of Cambridge
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2015
DOI
10.1007/s10817-015-9322-8
Open access status
Out of scope for open access requirements
Title of journal
Journal of Automated Reasoning
Submitting institution
University of Cambridge
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2015
DOI
10.1145/2816795.2818086
Open access status
Out of scope for open access requirements
Title of conference / published proceedings
ACM Transactions on Graphics
Submitting institution
University of Cambridge
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.1016/j.scico.2017.04.002
Open access status
Compliant
Title of journal
Science of Computer Programming
Submitting institution
University of Cambridge
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2018
DOI
10.1007/978-3-319-89884-1_13
Open access status
Compliant
Title of conference / published proceedings
LNCS 10801
Submitting institution
University of Cambridge
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2014
DOI
10.1162/ling_a_00153
Open access status
Out of scope for open access requirements
Title of journal
Linguistic Inquiry
Submitting institution
University of Cambridge
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2016
DOI
10.1145/2837614.2837652
Title of conference / published proceedings
Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
Submitting institution
University of Cambridge
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2019
DOI
10.1109/LICS.2019.8785708
Open access status
Compliant
Title of conference / published proceedings
2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)
Submitting institution
University of Cambridge
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2019
DOI
10.1145/3314221.3314625
Title of conference / published proceedings
Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation
Submitting institution
University of Cambridge
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2020
Title of conference / published proceedings
ICLR
Submitting institution
University of Cambridge
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2019
DOI
10.18653/v1/N19-1221
Title of conference / published proceedings
Proceedings of the 2019 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies
Submitting institution
University of Cambridge
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2017
DOI
10.1145/3081333.3081358
Title of conference / published proceedings
MobiSys 2017 - Proceedings of the 15th Annual International Conference on Mobile Systems, Applications, and Services
Submitting institution
University of Cambridge
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2017
DOI
10.1145/3109761.3109804
Title of conference / published proceedings
IML '17 Proceedings of the 1st International Conference on Internet of Things and Machine Learning
Submitting institution
University of Cambridge
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2015
DOI
10.1371/journal.pone.0128254
Open access status
Out of scope for open access requirements
Title of journal
PLoS One
Submitting institution
University of Cambridge
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2014
DOI
10.1007/978-3-319-10175-0_16
Open access status
Out of scope for open access requirements
Title of conference / published proceedings
Lecture Notes in Computer Science
Submitting institution
University of Cambridge
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2020
DOI
10.1007/978-3-030-51054-1_12
Open access status
Compliant
Title of conference / published proceedings
Automated Reasoning—10th International Joint Conference, IJCAR 2020
Submitting institution
University of Cambridge
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2019
DOI
10.1145/3321509
Open access status
Compliant
Title of journal
ACM Transactions on Multimedia Computing, Communications and Applications
Submitting institution
University of Cambridge
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2014
Title of conference / published proceedings
27th International Technical Meeting of the Satellite Division of the Institute of Navigation, ION GNSS 2014
Submitting institution
University of Cambridge
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2018
DOI
10.1145/3173162.3173189
Open access status
Compliant
Title of conference / published proceedings
ACM SIGPLAN Notices
Submitting institution
University of Cambridge
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2020
DOI
10.1007/978-3-030-44914-8_23
Open access status
Compliant
Title of conference / published proceedings
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Submitting institution
University of Cambridge
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2018
DOI
10.1145/3230543.3230561
Title of conference / published proceedings
SIGCOMM 2018 - Proceedings of the 2018 Conference of the ACM Special Interest Group on Data Communication
Submitting institution
University of Cambridge
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2020
DOI
10.18653/v1/2020.acl-main.367
Open access status
Compliant
Title of conference / published proceedings
Proceedings of the 58th Annual Meeting of the Association for Computational Linguistics
Submitting institution
University of Cambridge
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2017
DOI
10.18653/v1/P17-1074
Title of conference / published proceedings
Proceedings of the 55th Annual Meeting of the Association for Computational Linguistics
Submitting institution
University of Cambridge
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2014
DOI
10.1016/j.imavis.2014.06.001
Open access status
Out of scope for open access requirements
Title of journal
Image and Vision Computing
Submitting institution
University of Cambridge
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2020
DOI
10.1109/FG47880.2020.00032
Title of conference / published proceedings
Proceedings - 2020 15th IEEE International Conference on Automatic Face and Gesture Recognition, FG 2020
Submitting institution
University of Cambridge
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2016
DOI
10.4230/LIPIcs.CSL.2016.24
Open access status
Compliant
Title of conference / published proceedings
Leibniz International Proceedings in Informatics, LIPIcs
Submitting institution
University of Cambridge
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2018
DOI
10.1109/PERCOM.2018.8444603
Title of conference / published proceedings
2018 IEEE International Conference on Pervasive Computing and Communications, PerCom 2018
Submitting institution
University of Cambridge
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2015
DOI
10.1145/2694344.2694367
Open access status
Out of scope for open access requirements
Title of conference / published proceedings
Proceedings of the Twentieth International Conference on Architectural Support for Programming Languages and Operating Systems
Submitting institution
University of Cambridge
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2016
DOI
10.1145/2988336.2988349
Title of conference / published proceedings
ACM 17th ACM/IFIP/Usenix Middleware
Submitting institution
University of Cambridge
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2017
DOI
10.1145/3038912.3052662
Title of conference / published proceedings
26th International World Wide Web Conference, WWW 2017
Submitting institution
University of Cambridge
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2018
DOI
10.1145/3192366.3192421
Open access status
Compliant
Title of conference / published proceedings
ACM SIGPLAN Notices
Submitting institution
University of Cambridge
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2020
DOI
10.1109/tbiom.2020.2993225
Open access status
Compliant
Title of journal
IEEE Transactions on Biometrics, Behavior, and Identity Science
Submitting institution
University of Cambridge
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2014
DOI
10.1145/2639108.2639131
Title of conference / published proceedings
Proceedings of the 20th annual international conference on Mobile computing and networking
Submitting institution
University of Cambridge
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2016
Title of conference / published proceedings
BEA@NAACL-HLT
Submitting institution
University of Cambridge
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2019
DOI
10.1109/TC.2019.2914037
Open access status
Compliant
Title of journal
IEEE TRANSACTIONS ON COMPUTERS
Submitting institution
University of Cambridge
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2017
DOI
10.1145/3037697.3037725
Open access status
Compliant
Title of conference / published proceedings
OPERATING SYSTEMS REVIEW
Submitting institution
University of Cambridge
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2019
DOI
10.1145/3297858.3304042
Title of conference / published proceedings
International Conference on Architectural Support for Programming Languages and Operating Systems - ASPLOS
Submitting institution
University of Cambridge
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2019
DOI
10.1145/3352460.3358288
Open access status
Compliant
Title of conference / published proceedings
Proceedings of the Annual International Symposium on Microarchitecture, MICRO
Submitting institution
University of Cambridge
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2014
DOI
10.1109/SP.2014.11
Open access status
Out of scope for open access requirements
Title of journal
Proceedings - IEEE Symposium on Security and Privacy
Submitting institution
University of Cambridge
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2015
DOI
10.1109/ICCV.2015.27
Open access status
Out of scope for open access requirements
Title of conference / published proceedings
Proceedings of the IEEE International Conference on Computer Vision
Submitting institution
University of Cambridge
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2015
Title of conference / published proceedings
Uncertainty in Artificial Intelligence - Proceedings of the 31st Conference, UAI 2015
Submitting institution
University of Cambridge
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2014
DOI
10.1145/2628136.2628160
Open access status
Out of scope for open access requirements
Title of conference / published proceedings
ACM SIGPLAN Notices
Submitting institution
University of Cambridge
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2020
DOI
10.1145/3373718.3394769
Title of conference / published proceedings
Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science
Submitting institution
University of Cambridge
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2018
DOI
10.1145/3158140
Open access status
Compliant
Title of conference / published proceedings
Proceedings of the ACM on Programming Languages
Submitting institution
University of Cambridge
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2016
DOI
10.18653/v1/p16-1075
Title of conference / published proceedings
54th Annual Meeting of the Association for Computational Linguistics, ACL 2016 - Long Papers
Submitting institution
University of Cambridge
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2014
DOI
10.1007/978-3-319-10593-2_39
Open access status
Out of scope for open access requirements
Title of journal
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Submitting institution
University of Cambridge
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2015
DOI
10.1016/j.cad.2014.08.028
Open access status
Out of scope for open access requirements
Title of journal
CAD Computer Aided Design
Submitting institution
University of Cambridge
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2014
DOI
10.1016/j.cagd.2014.06.004
Open access status
Out of scope for open access requirements
Title of journal
Computer Aided Geometric Design
Submitting institution
University of Cambridge
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2016
DOI
10.1109/TSP.2016.2521608
Open access status
Out of scope for open access requirements
Title of journal
IEEE Transactions on Signal Processing
Submitting institution
University of Cambridge
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2018
DOI
10.1145/3178876.3186178
Title of conference / published proceedings
The Web Conference 2018 - Proceedings of the World Wide Web Conference, WWW 2018
Submitting institution
University of Cambridge
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2016
DOI
10.18653/v1/p16-1092
Title of conference / published proceedings
Proceedings of the 54th Annual Meeting of the Association for Computational Linguistics
Submitting institution
University of Cambridge
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2016
DOI
10.1145/2951913.2951948
Open access status
Technical exception
Title of conference / published proceedings
Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming
Submitting institution
University of Cambridge
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.1145/3196493
Open access status
Compliant
Title of journal
ACM Transactions on Graphics
Submitting institution
University of Cambridge
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.1007/s10817-017-9424-6
Open access status
Compliant
Title of journal
Journal of Automated Reasoning
Submitting institution
University of Cambridge
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2016
DOI
10.1109/IPSN.2016.7460664
Title of conference / published proceedings
2016 15th ACM/IEEE International Conference on Information Processing in Sensor Networks, IPSN 2016 - Proceedings
Submitting institution
University of Cambridge
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2017
DOI
10.1109/LICS.2017.8005108
Open access status
Compliant
Title of conference / published proceedings
32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2017
Submitting institution
University of Cambridge
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2019
DOI
10.1093/logcom/exz022
Open access status
Compliant
Title of journal
Journal of Logic and Computation
Submitting institution
University of Cambridge
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2017
DOI
10.1145/3025453.3025730
Title of conference / published proceedings
Conference on Human Factors in Computing Systems - Proceedings
Submitting institution
University of Cambridge
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2020
DOI
10.1364/JOSAA.384022
Open access status
Compliant
Title of journal
J Opt Soc Am A Opt Image Sci Vis
Submitting institution
University of Cambridge
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2014
DOI
10.1145/2629529
Open access status
Out of scope for open access requirements
Title of journal
Journal of the ACM
Submitting institution
University of Cambridge
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2017
DOI
10.1145/3055031.3055081
Title of conference / published proceedings
Proceedings of the 16th ACM/IEEE International Conference on Information Processing in Sensor Networks
Submitting institution
University of Cambridge
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2020
DOI
10.1093/CYBSEC/TYAA010
Open access status
Compliant
Title of journal
Journal of Cybersecurity
Submitting institution
University of Cambridge
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.1145/3133928
Open access status
Compliant
Title of journal
Proceedings of the ACM on Programming Languages
Submitting institution
University of Cambridge
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2019
DOI
10.17863/CAM.35755
Title of conference / published proceedings
ICSE '19: 41st International Conference on Software Engineering
Submitting institution
University of Cambridge
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.1080/08957347.2018.1464447
Open access status
Not compliant
Title of journal
Applied Measurement in Education
Submitting institution
University of Cambridge
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2018
Open access status
Compliant
Title of conference / published proceedings
32nd AAAI Conference on Artificial Intelligence, AAAI 2018
Submitting institution
University of Cambridge
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2019
DOI
10.1145/3355089.3356513
Open access status
Deposit exception
Title of journal
ACM Transactions on Graphics
Submitting institution
University of Cambridge
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2019
DOI
10.18653/v1/D19-1090
Title of conference / published proceedings
Proceedings of the 2019 Conference on Empirical Methods in Natural Language Processing and the 9th International Joint Conference on Natural Language Processing
Submitting institution
University of Cambridge
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.1109/TIFS.2017.2757440
Open access status
Compliant
Title of journal
IEEE Transactions on Information Forensics and Security
Submitting institution
University of Cambridge
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2017
DOI
10.17863/CAM.13009
Title of conference / published proceedings
Proceedings of the 2017 USENIX Annual Technical Conference, USENIX ATC 2017
Submitting institution
University of Cambridge
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2020
DOI
10.1145/3394486.3412865
Title of conference / published proceedings
Proceedings of the 26th ACM SIGKDD International Conference on Knowledge Discovery & Data Mining
Submitting institution
University of Cambridge
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2019
DOI
10.1145/3290380
Open access status
Compliant
Title of journal
Proceedings of the ACM on Programming Languages
Submitting institution
University of Cambridge
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2019
DOI
10.1007/978-3-030-17184-1_9
Open access status
Compliant
Title of conference / published proceedings
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Submitting institution
University of Cambridge
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2019
DOI
10.1109/BLOC.2019.8751452
Title of conference / published proceedings
ICBC 2019 - IEEE International Conference on Blockchain and Cryptocurrency
Submitting institution
University of Cambridge
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2018
DOI
10.18653/v1/n18-1074
Title of conference / published proceedings
NAACL HLT 2018 - 2018 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies - Proceedings of the Conference
Submitting institution
University of Cambridge
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2016
Title of conference / published proceedings
Symposium on Operating Systems Design and Implementation
Submitting institution
University of Cambridge
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2019
Open access status
Compliant
Title of conference / published proceedings
Advances in Neural Information Processing Systems
Submitting institution
University of Cambridge
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2014
DOI
10.1145/2535838.2535842
Open access status
Out of scope for open access requirements
Title of conference / published proceedings
Conference Record of the Annual ACM Symposium on Principles of Programming Languages
Submitting institution
University of Cambridge
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.1109/ACCESS.2016.2614525
Open access status
Compliant
Title of journal
IEEE Access
Submitting institution
University of Cambridge
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2019
DOI
10.1145/3290345
Open access status
Compliant
Title of journal
Proceedings of the ACM on Programming Languages
Submitting institution
University of Cambridge
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2018
DOI
10.1111/cgf.13355
Open access status
Compliant
Title of conference / published proceedings
Computer Graphics Forum
Submitting institution
University of Cambridge
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.23638/LMCS-14(1:8)2018
Open access status
Compliant
Title of journal
Proceedings of the 1st International Conference on Formal Structures for Computation and Deduction (FSCD 2016). Kesner, D. & Pientka, B. (eds.). Schloss Dagstuhl, p. 34:1-34:11 11 p. (Leibniz International Proceedings in Informatics (LIPIcs); vol. 52).
Submitting institution
University of Cambridge
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2014
DOI
10.3115/v1/w14-1702
Title of conference / published proceedings
CoNLL 2014 - 18th Conference on Computational Natural Language Learning, Proceedings of the Shared Task
Submitting institution
University of Cambridge
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2016
DOI
10.18653/v1/n16-1042
Title of conference / published proceedings
2016 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies, NAACL HLT 2016 - Proceedings of the Conference
Submitting institution
University of Cambridge
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.1371/journal.pone.0160589
Open access status
Compliant
Title of journal
PLoS One
Submitting institution
University of Cambridge
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.1145/3130800.3130816
Open access status
Compliant
Title of journal
ACM Transactions on Graphics
Submitting institution
University of Cambridge
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2014
DOI
10.1109/ISCA.2014.6853215
Open access status
Out of scope for open access requirements
Title of journal
Proceedings - International Symposium on Computer Architecture
Submitting institution
University of Cambridge
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2019
DOI
10.1109/lics.2019.8785895
Title of conference / published proceedings
2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)
Submitting institution
University of Cambridge
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.1007/s11192-018-2718-6
Open access status
Compliant
Title of journal
Scientometrics
Submitting institution
University of Cambridge
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2016
DOI
10.1109/TIFS.2015.2500196
Open access status
Out of scope for open access requirements
Title of journal
IEEE Transactions on Information Forensics and Security
Submitting institution
University of Cambridge
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2016
DOI
10.1007/978-3-319-46484-8_13
Open access status
Out of scope for open access requirements
Title of conference / published proceedings
14th European Conference, Amsterdam, The Netherlands, October 11-14, 2016, Proceedings, Part VIII
Submitting institution
University of Cambridge
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2018
DOI
10.4230/LIPIcs.FSCD.2018.22
Open access status
Compliant
Title of conference / published proceedings
Leibniz International Proceedings in Informatics (LIPIcs), Vol. 108
Submitting institution
University of Cambridge
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2016
DOI
10.1145/2908080.2908081
Open access status
Compliant
Title of conference / published proceedings
Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)
Submitting institution
University of Cambridge
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2019
DOI
10.1145/3290384
Open access status
Compliant
Title of conference / published proceedings
Proceedings of the ACM on Programming Languages
Submitting institution
University of Cambridge
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2015
Title of conference / published proceedings
Proceedings of the 12th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2015
Submitting institution
University of Cambridge
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2015
DOI
10.1093/cybsec/tyv009
Open access status
Out of scope for open access requirements
Title of journal
Journal of Cybersecurity
Showing outputs 1 to 100 of 202

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.