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

  • The University of Kent
   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 80 of 80
Submitting institution
The University of Kent
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.1093/bioinformatics/bty087
Open access status
Compliant
Title of journal
Bioinformatics
Submitting institution
The University of Kent
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2016
DOI
10.1145/2951913.2951924
Open access status
Compliant
Title of conference / published proceedings
Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming - ICFP 2016
Submitting institution
The University of Kent
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2018
DOI
10.1145/3180155.3180157
Title of conference / published proceedings
Proceedings of the 40th International Conference on Software Engineering - ICSE '18
Submitting institution
The University of Kent
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2014
DOI
10.1007/s10723-013-9283-2
Open access status
Out of scope for open access requirements
Title of journal
Journal of Grid Computing
Submitting institution
The University of Kent
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2015
DOI
10.1145/2737924.2737985
Open access status
Out of scope for open access requirements
Title of conference / published proceedings
Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI 2015
Submitting institution
The University of Kent
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2016
DOI
10.1145/2960310.2960317
Title of conference / published proceedings
Proceedings of the 2016 ACM Conference on International Computing Education Research
Submitting institution
The University of Kent
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2015
DOI
10.1016/j.jss.2015.04.065
Open access status
Out of scope for open access requirements
Title of journal
Journal of Systems and Software
Submitting institution
The University of Kent
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2017
DOI
10.1145/3093333.3009838
Open access status
Compliant
Title of conference / published proceedings
Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages - POPL'17
Submitting institution
The University of Kent
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2014
DOI
10.1145/2538862.2538924
Title of conference / published proceedings
Proceedings of the 45th ACM technical symposium on Computer science education - SIGCSE '14
Submitting institution
The University of Kent
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2016
DOI
10.1371/journal.pcbi.1004669
Open access status
Out of scope for open access requirements
Title of journal
PLoS Computational Biology
Submitting institution
The University of Kent
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.1093/brain/awx163
Open access status
Compliant
Title of journal
Brain
Submitting institution
The University of Kent
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2020
DOI
10.1093/brain/awaa146
Open access status
Compliant
Title of journal
Brain
Submitting institution
The University of Kent
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2014
DOI
10.1145/2535838.2535841
Open access status
Out of scope for open access requirements
Title of conference / published proceedings
Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL '14
Submitting institution
The University of Kent
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2019
DOI
10.1145/3314221.3314600
Title of conference / published proceedings
Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI 2019
Submitting institution
The University of Kent
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
Proceedings of the 19th ACM SIGPLAN International Conference on Functional Programming - ICFP '14
Submitting institution
The University of Kent
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.1109/TIP.2018.2875335
Open access status
Compliant
Title of journal
IEEE Transactions on Image Processing
Submitting institution
The University of Kent
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2019
DOI
10.1145/3365664
Open access status
Compliant
Title of journal
ACM Transactions on Software Engineering and Methodology
Submitting institution
The University of Kent
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.1109/MSP.2017.27
Open access status
Compliant
Title of journal
IEEE Security & Privacy
Submitting institution
The University of Kent
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2019
DOI
10.1109/TCSI.2018.2888688
Open access status
Compliant
Title of journal
IEEE Transactions on Circuits and Systems I: Regular Papers
Submitting institution
The University of Kent
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2016
DOI
10.1145/2837614.2837634
Open access status
Out of scope for open access requirements
Title of conference / published proceedings
Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL 2016
Submitting institution
The University of Kent
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2016
DOI
10.1145/2983990.2984001
Open access status
Compliant
Title of conference / published proceedings
Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications - OOPSLA 2016
Submitting institution
The University of Kent
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2017
DOI
10.1145/3133956.3134041
Open access status
Technical exception
Title of conference / published proceedings
Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security
Submitting institution
The University of Kent
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.1109/TETCI.2017.2755691
Open access status
Compliant
Title of journal
IEEE Transactions on Emerging Topics in Computational Intelligence
Submitting institution
The University of Kent
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2014
DOI
10.1371/journal.pone.0101717
Open access status
Out of scope for open access requirements
Title of journal
PLoS ONE
Submitting institution
The University of Kent
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2014
DOI
10.1109/TEVC.2013.2291813
Open access status
Out of scope for open access requirements
Title of journal
IEEE Transactions on Evolutionary Computation
Submitting institution
The University of Kent
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2015
DOI
10.1016/j.jocs.2015.04.018
Open access status
Out of scope for open access requirements
Title of journal
Journal of Computational Science
Submitting institution
The University of Kent
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2016
DOI
10.1016/j.eswa.2016.12.032
Open access status
Compliant
Title of journal
Expert Systems with Applications
Submitting institution
The University of Kent
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2019
DOI
10.1145/3290380
Open access status
Technical exception
Title of conference / published proceedings
Proceedings of the 46th ACM SIGPLAN Symposium on Principles of Programming Languages - POPL 2019
Submitting institution
The University of Kent
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2014
DOI
10.1145/2602988.2602992
Open access status
Out of scope for open access requirements
Title of conference / published proceedings
Proceedings of the 2014 international symposium on Memory management - ISMM '14
Submitting institution
The University of Kent
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2016
DOI
10.1103/PhysRevA.93.032314
Open access status
Out of scope for open access requirements
Title of journal
Physical Review A
Submitting institution
The University of Kent
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2017
DOI
10.1145/3009837.3009847
Open access status
Compliant
Title of conference / published proceedings
Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages - POPL 2017
Submitting institution
The University of Kent
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2015
DOI
10.1145/2676726.2676964
Open access status
Out of scope for open access requirements
Title of conference / published proceedings
Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL '15
Submitting institution
The University of Kent
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2016
DOI
10.1145/2837614.2837633
Open access status
Out of scope for open access requirements
Title of conference / published proceedings
Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL 2016
Submitting institution
The University of Kent
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2015
DOI
10.1145/2694344.2694391
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 - ASPLOS '15
Submitting institution
The University of Kent
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2014
DOI
10.1145/2660267.2660312
Title of conference / published proceedings
Proceedings of the 2014 ACM SIGSAC Conference on Computer and Communications Security - CCS '14
Submitting institution
The University of Kent
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2017
DOI
10.1109/ICSE.2017.55
Open access status
Technical exception
Title of conference / published proceedings
2017 IEEE/ACM 39th International Conference on Software Engineering (ICSE)
Submitting institution
The University of Kent
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
The University of Kent
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2015
DOI
10.1103/PhysRevLett.114.220502
Open access status
Out of scope for open access requirements
Title of journal
Physical Review Letters: Moving Physics Forward
Submitting institution
The University of Kent
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2017
DOI
10.1145/3009837.3009871
Open access status
Compliant
Title of conference / published proceedings
Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages - POPL 2017
Submitting institution
The University of Kent
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2014
DOI
10.1145/2628136.2628143
Open access status
Out of scope for open access requirements
Title of conference / published proceedings
Proceedings of the 19th ACM SIGPLAN international conference on Functional programming - ICFP '14
Submitting institution
The University of Kent
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2014
DOI
10.1103/PhysRevA.90.050303
Open access status
Out of scope for open access requirements
Title of journal
Physical Review A
Submitting institution
The University of Kent
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2014
Title of conference / published proceedings
Proceedings of the 2014 USENIX Conference on USENIX Annual Technical Conference
Submitting institution
The University of Kent
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2019
DOI
10.1103/PhysRevA.100.032331
Open access status
Compliant
Title of journal
Physical Review A
Submitting institution
The University of Kent
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2016
DOI
10.1371/journal.pone.0162959
Open access status
Compliant
Title of journal
PLoS ONE
Submitting institution
The University of Kent
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.1016/j.tcs.2017.02.009
Open access status
Compliant
Title of journal
Theoretical Computer Science
Submitting institution
The University of Kent
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2014
DOI
10.1145/2674005.2674996
Title of conference / published proceedings
Proceedings of the 10th ACM International on Conference on emerging Networking Experiments and Technologies - CoNEXT '14
Submitting institution
The University of Kent
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.1109/TIFS.2017.2718479
Open access status
Compliant
Title of journal
IEEE Transactions on Information Forensics and Security
Submitting institution
The University of Kent
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
1st International Conference on Formal Structures for Computation and Deduction (FSCD 2016)
Submitting institution
The University of Kent
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2014
DOI
10.1145/2594291.2594327
Open access status
Out of scope for open access requirements
Title of conference / published proceedings
Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI '14
Submitting institution
The University of Kent
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2015
DOI
10.1109/TIFS.2015.2421875
Open access status
Out of scope for open access requirements
Title of journal
IEEE Transactions on Information Forensics and Security
Submitting institution
The University of Kent
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2017
DOI
10.1007/978-3-662-54458-7_26
Open access status
Compliant
Title of conference / published proceedings
Proceedings of the International Conference on Foundations of Software Science and Computation Structures - FoSSaCS 2017
Submitting institution
The University of Kent
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2016
DOI
10.1145/2837614.2837637
Open access status
Out of scope for open access requirements
Title of conference / published proceedings
Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL 2016
Submitting institution
The University of Kent
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.1145/3276478
Open access status
Compliant
Title of journal
Proceedings of the ACM on Programming Languages
Submitting institution
The University of Kent
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
43rd International Colloquium on Automata, Languages, and Programming (ICALP 2016)
Submitting institution
The University of Kent
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2019
DOI
10.1145/3341714
Open access status
Compliant
Title of conference / published proceedings
Proceedings of the 24st ACM SIGPLAN International Conference on Functional Programming - ICFP 2019
Submitting institution
The University of Kent
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2019
DOI
10.1186/s40163-019-0097-9
Open access status
Compliant
Title of journal
Crime Science
Submitting institution
The University of Kent
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2019
DOI
10.1145/3360572
Open access status
Compliant
Title of journal
Proceedings of the ACM on Programming Languages
Submitting institution
The University of Kent
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2015
DOI
10.1145/2814270.2814283
Open access status
Out of scope for open access requirements
Title of conference / published proceedings
Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications - OOPSLA 2015
Submitting institution
The University of Kent
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2015
DOI
10.1109/TDSC.2015.2429128
Open access status
Out of scope for open access requirements
Title of journal
IEEE Transactions on Dependable and Secure Computing
Submitting institution
The University of Kent
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2015
DOI
10.1007/978-3-319-18491-3_21
Open access status
Out of scope for open access requirements
Title of conference / published proceedings
Trust Management IX; IFIP Advances in Information and Communication Technology
Submitting institution
The University of Kent
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2014
DOI
10.1371/journal.pcbi.1003887
Open access status
Out of scope for open access requirements
Title of journal
PLoS Computational Biology
Submitting institution
The University of Kent
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2019
DOI
10.1016/j.swevo.2019.01.008
Open access status
Compliant
Title of journal
Swarm and Evolutionary Computation
Submitting institution
The University of Kent
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2016
DOI
10.1038/srep25191
Open access status
Compliant
Title of journal
Scientific Reports
Submitting institution
The University of Kent
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2016
DOI
10.1145/2983990.2983996
Open access status
Compliant
Title of conference / published proceedings
Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications - OOPSLA 2016
Submitting institution
The University of Kent
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2015
DOI
10.1007/978-3-662-46669-8_12
Open access status
Out of scope for open access requirements
Title of conference / published proceedings
Proceedings of the 24th European Symposium on Programming, ESOP 2015
Submitting institution
The University of Kent
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2014
DOI
10.1007/978-3-662-44584-6_29
Open access status
Out of scope for open access requirements
Title of conference / published proceedings
CONCUR 2014 – Concurrency Theory; Lecture Notes in Computer Science
Submitting institution
The University of Kent
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2019
DOI
10.1007/s00034-019-01203-0
Open access status
Compliant
Title of journal
Circuits Systems and Signal Processing
Submitting institution
The University of Kent
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2020
DOI
10.1109/TFUZZ.2020.2969901
Open access status
Compliant
Title of journal
IEEE Transactions on Fuzzy Systems
Submitting institution
The University of Kent
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2015
DOI
10.1145/2814270.2814275
Open access status
Out of scope for open access requirements
Title of conference / published proceedings
Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications - OOPSLA 2015
Submitting institution
The University of Kent
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.1145/3226225
Open access status
Technical exception
Title of journal
ACM Transactions on Programming Languages and Systems
Submitting institution
The University of Kent
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2014
DOI
10.1002/embj.201385651
Open access status
Out of scope for open access requirements
Title of journal
EMBO Journal
Submitting institution
The University of Kent
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.1155/2017/6907146
Open access status
Compliant
Title of journal
Security and Communication Networks
Submitting institution
The University of Kent
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2016
DOI
10.1145/2908080.2908115
Open access status
Compliant
Title of conference / published proceedings
Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI 2016
Submitting institution
The University of Kent
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2014
DOI
10.1109/SPW.2014.38
Open access status
Out of scope for open access requirements
Title of conference / published proceedings
2014 IEEE Security and Privacy Workshops
Submitting institution
The University of Kent
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2019
DOI
10.1093/bioinformatics/btz887
Open access status
Compliant
Title of journal
Bioinformatics
Submitting institution
The University of Kent
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2019
DOI
10.1007/978-3-030-25540-4_6
Open access status
Compliant
Title of conference / published proceedings
Proceedings of the 31st International Conference on Computer-Aided Verification - CAV 2019
Submitting institution
The University of Kent
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.1145/3133899
Open access status
Compliant
Title of journal
Proceedings of the ACM on Programming Languages
Submitting institution
The University of Kent
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2015
DOI
10.1145/2810012
Open access status
Out of scope for open access requirements
Title of journal
ACM Transactions on Computer-Human Interaction
Submitting institution
The University of Kent
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2019
DOI
10.1609/aaai.v33i01.33016562
Open access status
Compliant
Title of conference / published proceedings
Proceedings of the AAAI Conference on Artificial Intelligence
Submitting institution
The University of Kent
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2015
DOI
10.1145/2737924.2737963
Open access status
Out of scope for open access requirements
Title of conference / published proceedings
Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI 2015
Showing outputs 1 to 80 of 80

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.