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 Leicester
   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 49 of 49
Submitting institution
The University of Leicester
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2016
DOI
10.1109/TNNLS.2016.2586194
Open access status
Compliant
Title of journal
IEEE Transactions on Neural Networks and Learning Systems
Submitting institution
The University of Leicester
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.1016/j.trc.2018.04.020
Open access status
Compliant
Title of journal
Transportation Research Part C: Emerging Technologies
Submitting institution
The University of Leicester
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.1016/j.ejor.2017.08.033
Open access status
Compliant
Title of journal
European Journal of Operational Research
Submitting institution
The University of Leicester
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2014
DOI
10.1007/s10951-013-0323-3
Open access status
Out of scope for open access requirements
Title of journal
Journal of Scheduling
Submitting institution
The University of Leicester
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2020
DOI
10.1109/TCSS.2019.2938954
Open access status
Compliant
Title of journal
IEEE Transactions on Computational Social Systems
Submitting institution
The University of Leicester
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2014
DOI
10.1109/tc.2014.2378273
Open access status
Out of scope for open access requirements
Title of journal
IEEE Transactions on Computers
Submitting institution
The University of Leicester
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.1109/tetc.2018.2794328
Open access status
Compliant
Title of journal
IEEE Transactions on Emerging Topics in Computing
Submitting institution
The University of Leicester
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.1145/3012939
Open access status
Compliant
Title of journal
ACM Transactions on Algorithms
Submitting institution
The University of Leicester
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2016
DOI
10.1109/TAES.2016.140914
Open access status
Out of scope for open access requirements
Title of journal
IEEE Transactions on Aerospace and Electronic Systems
Submitting institution
The University of Leicester
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2017
DOI
10.1109/ICSE.2017.68
Open access status
Technical exception
Title of conference / published proceedings
Proceedings of the 39th International Conference on Software Engineering, ICSE 2017, Buenos Aires, Argentina, May 20-28, 2017
Submitting institution
The University of Leicester
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 Leicester
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2020
DOI
10.1016/j.ijhcs.2020.102558
Open access status
Compliant
Title of journal
International Journal of Human-Computer Studies
Submitting institution
The University of Leicester
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.1145/3177881
Open access status
Compliant
Title of journal
ACM Transactions on Computer - Human Interaction
Submitting institution
The University of Leicester
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2015
DOI
10.1109/ASE.2015.86
Title of conference / published proceedings
30th IEEE/ACM International Conference on Automated Software Engineering, ASE 2015, Lincoln, NE, USA, November 9-13, 2015
Submitting institution
The University of Leicester
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2015
DOI
10.1109/TSE.2015.2512266
Open access status
Out of scope for open access requirements
Title of journal
IEEE Transactions on Software Engineering
Submitting institution
The University of Leicester
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.1016/j.tcs.2017.02.017
Open access status
Compliant
Title of journal
Theoretical Computer Science
Submitting institution
The University of Leicester
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2014
DOI
10.1098/rsta.2013.0131
Open access status
Out of scope for open access requirements
Title of journal
Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences
Submitting institution
The University of Leicester
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.1145/3243650
Open access status
Exception within 3 months of publication
Title of journal
Journal of the ACM
Submitting institution
The University of Leicester
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
POPL '15: Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
Submitting institution
The University of Leicester
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2020
DOI
10.1007/s10009-020-00583-y
Open access status
Compliant
Title of journal
International Journal on Software Tools for Technology Transfer
Submitting institution
The University of Leicester
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2015
DOI
10.1007/s10664-015-9367-7
Open access status
Out of scope for open access requirements
Title of journal
Empirical Software Engineering: an international journal
Submitting institution
The University of Leicester
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.1007/s10515-018-0242-9
Open access status
Compliant
Title of journal
Automated Software Engineering
Submitting institution
The University of Leicester
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2016
DOI
10.1016/j.jlamp.2016.09.007
Open access status
Compliant
Title of journal
Journal of Logical and Algebraic Methods in Programming
Submitting institution
The University of Leicester
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2019
DOI
10.1109/TSE.2019.2911076
Open access status
Compliant
Title of journal
IEEE Transactions on Software Engineering
Submitting institution
The University of Leicester
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
ICFP '14: Proceedings of the 19th ACM SIGPLAN international conference on Functional programming
Submitting institution
The University of Leicester
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2020
DOI
10.4230/LIPIcs.ICALP.2020.130
Open access status
Compliant
Title of conference / published proceedings
The 47th International Colloquium on Automata, Languages and Programming (ICALP 2020)
Submitting institution
The University of Leicester
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.1109/TKDE.2017.2702162
Open access status
Compliant
Title of journal
IEEE Transactions on Knowledge and Data Engineering
Submitting institution
The University of Leicester
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2019
DOI
10.1016/j.ejor.2019.02.002
Open access status
Compliant
Title of journal
European Journal of Operational Research
Submitting institution
The University of Leicester
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2014
DOI
10.1016/j.ejor.2014.01.039
Open access status
Out of scope for open access requirements
Title of journal
European Journal of Operational Research
Submitting institution
The University of Leicester
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2015
DOI
10.1007/978-3-662-47672-7_36
Open access status
Out of scope for open access requirements
Title of conference / published proceedings
Proceedings of the 42nd International Colloquium on Automata, Languages, and Programming
Submitting institution
The University of Leicester
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2016
DOI
10.1109/TKDE.2016.2526675
Open access status
Out of scope for open access requirements
Title of journal
IEEE Transactions on Knowledge and Data Engineering
Submitting institution
The University of Leicester
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.1145/3051121
Open access status
Compliant
Title of journal
ACM Transactions on Software Engineering and Methodology
Submitting institution
The University of Leicester
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.1287/trsc.2016.0733
Open access status
Compliant
Title of journal
Transportation Science
Submitting institution
The University of Leicester
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2017
DOI
10.1007/978-3-319-63390-9_19
Open access status
Deposit exception
Title of conference / published proceedings
Computer Aided Verification - 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II
Submitting institution
The University of Leicester
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2020
DOI
10.1109/TCC.2020.2991748
Open access status
Compliant
Title of journal
IEEE Transactions on Cloud Computing
Submitting institution
The University of Leicester
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2020
DOI
10.23638/LMCS-16(4:5)2020
Open access status
Exception within 3 months of publication
Title of journal
Logical Methods in Computer Science
Submitting institution
The University of Leicester
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.1109/TSP.2018.2862407
Open access status
Compliant
Title of journal
IEEE Transactions on Signal Processing
Submitting institution
The University of Leicester
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2015
DOI
10.1145/2815400.2815411
Title of conference / published proceedings
SOSP '15: Proceedings of the 25th Symposium on Operating Systems Principles
Submitting institution
The University of Leicester
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.1016/j.scico.2017.07.002
Open access status
Compliant
Title of journal
Science of Computer Programming
Submitting institution
The University of Leicester
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2015
DOI
10.1007/978-3-319-21690-4_38
Open access status
Out of scope for open access requirements
Title of conference / published proceedings
27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015
Submitting institution
The University of Leicester
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2015
DOI
10.1017/S096012951500033X
Open access status
Out of scope for open access requirements
Title of journal
Mathematical Structures in Computer Science
Submitting institution
The University of Leicester
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2016
DOI
10.1016/j.ejor.2016.07.012
Open access status
Technical exception
Title of journal
European Journal of Operational Research
Submitting institution
The University of Leicester
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2014
DOI
10.1137/1.9781611973730.94
Title of conference / published proceedings
Proceedings of the Twenty-Sixth Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2015, San Diego, CA, USA, January 4-6, 2015
Submitting institution
The University of Leicester
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2015
DOI
10.1109/TRO.2015.2414134
Open access status
Out of scope for open access requirements
Title of journal
IEEE Transactions on Robotics
Submitting institution
The University of Leicester
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2016
DOI
10.1145/2858036.2858511
Title of conference / published proceedings
ACM Proceedings of Conference on Human Factors in Computing Systems (CHI)
Submitting institution
The University of Leicester
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2018
DOI
10.4230/LIPIcs.CONCUR.2018.27
Open access status
Compliant
Title of conference / published proceedings
29th International Conference on Concurrency Theory (CONCUR 2018)
Submitting institution
The University of Leicester
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2014
DOI
10.1145/2568225.2568237
Open access status
Out of scope for open access requirements
Title of conference / published proceedings
36th International Conference on Software Engineering, ICSE ’14, Hyderabad, India - May 31 - June 07, 2014
Submitting institution
The University of Leicester
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.1145/3060257
Open access status
Compliant
Title of journal
Journal of the ACM
Submitting institution
The University of Leicester
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2016
DOI
10.1109/TCC.2016.2517653
Open access status
Out of scope for open access requirements
Title of journal
IEEE Transactions on Cloud Computing
Showing outputs 1 to 49 of 49

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.