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 Liverpool
   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 85 of 85
Submitting institution
The University of Liverpool
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2019
DOI
10.1016/j.tcs.2019.05.046
Open access status
Compliant
Title of journal
Theoretical Computer Science
Submitting institution
The University of Liverpool
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.1016/j.aam.2018.07.004
Open access status
Compliant
Title of journal
Advances in Applied Mathematics
Submitting institution
The University of Liverpool
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2020
DOI
10.1137/1.9781611975994.162
Title of conference / published proceedings
SODA '20: Proceedings of the Thirty-First Annual ACM-SIAM Symposium on Discrete Algorithms
Submitting institution
The University of Liverpool
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2015
DOI
10.1109/TPAMI.2015.2470671
Open access status
Out of scope for open access requirements
Title of journal
IEEE Transactions on Pattern Analysis and Machine Intelligence
Submitting institution
The University of Liverpool
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2019
DOI
10.1145/3290365
Open access status
Compliant
Title of journal
Proceedings of the ACM on Programming Languages
Submitting institution
The University of Liverpool
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.1145/3210257
Open access status
Technical exception
Title of journal
ACM Transactions on Programming Languages and Systems
Submitting institution
The University of Liverpool
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2019
DOI
10.1145/3323165.3323178
Title of conference / published proceedings
The 31st ACM Symposium on Parallelism in Algorithms and Architectures
Submitting institution
The University of Liverpool
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.1145/3233769
Open access status
Compliant
Title of journal
ACM Transactions on Computational Logic
Submitting institution
The University of Liverpool
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2019
DOI
10.1007/s10009-019-00509-3
Open access status
Compliant
Title of journal
International Journal on Software Tools for Technology Transfer
Submitting institution
The University of Liverpool
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2015
DOI
10.1007/s00453-015-0041-7
Open access status
Out of scope for open access requirements
Title of journal
Algorithmica: an international journal in computer science
Submitting institution
The University of Liverpool
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2014
DOI
10.1007/s00453-014-9953-x
Open access status
Out of scope for open access requirements
Title of journal
Algorithmica: an international journal in computer science
Submitting institution
The University of Liverpool
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2015
DOI
10.1145/2629340
Open access status
Out of scope for open access requirements
Title of journal
ACM Transactions on Algorithms
Submitting institution
The University of Liverpool
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2015
DOI
10.1016/j.artint.2015.07.006
Open access status
Out of scope for open access requirements
Title of journal
ARTIFICIAL INTELLIGENCE
Submitting institution
The University of Liverpool
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2015
DOI
10.1007/s00453-015-0105-8
Open access status
Out of scope for open access requirements
Title of journal
Algorithmica
Submitting institution
The University of Liverpool
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2015
DOI
10.1016/j.artint.2015.03.004
Open access status
Out of scope for open access requirements
Title of journal
Artificial Intelligence
Submitting institution
The University of Liverpool
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
The University of Liverpool
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2018
DOI
10.1145/3188745.3188880
Open access status
Technical exception
Title of conference / published proceedings
STOC'18: PROCEEDINGS OF THE 50TH ANNUAL ACM SIGACT SYMPOSIUM ON THEORY OF COMPUTING
Submitting institution
The University of Liverpool
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2016
DOI
10.1016/j.procs.2016.07.014
Open access status
Compliant
Title of conference / published proceedings
Procedia Computer Science
Submitting institution
The University of Liverpool
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2015
DOI
10.1109/TKDE.2015.2475761
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 Liverpool
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.1109/TPAMI.2017.2715806
Open access status
Compliant
Title of journal
IEEE Transactions on Pattern Analysis and Machine Intelligence
Submitting institution
The University of Liverpool
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
Proceedings of the 2017 Annual ACM-SIAM Symposium on Discrete Algorithms
Submitting institution
The University of Liverpool
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
Technical exception
Title of journal
IEEE Transactions on Mobile Computing
Submitting institution
The University of Liverpool
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2019
DOI
10.1137/16M1096694
Open access status
Compliant
Title of journal
SIAM Journal on Computing
Submitting institution
The University of Liverpool
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2016
DOI
10.1007/s00446-016-0277-8
Open access status
Compliant
Title of journal
Distributed Computing
Submitting institution
The University of Liverpool
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2019
DOI
10.1109/tpami.2019.2939307
Open access status
Compliant
Title of journal
IEEE Transactions on Pattern Analysis and Machine Intelligence
Submitting institution
The University of Liverpool
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2020
DOI
10.1145/3375628
Open access status
Compliant
Title of journal
ACM Transactions on Computational Logic
Submitting institution
The University of Liverpool
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.1007/s00453-018-0465-y
Open access status
Compliant
Title of journal
Algorithmica: an international journal in computer science
Submitting institution
The University of Liverpool
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2015
DOI
10.1103/PhysRevLett.114.068302
Open access status
Out of scope for open access requirements
Title of journal
Physical Review Letters
Submitting institution
The University of Liverpool
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.20382/jocg.v9i2a5
Open access status
Technical exception
Title of journal
Journal of Computational Geometry
Submitting institution
The University of Liverpool
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2019
DOI
10.1016/j.ic.2019.104460
Open access status
Compliant
Title of journal
Information and Computation
Submitting institution
The University of Liverpool
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.1109/TPAMI.2017.2686861
Open access status
Technical exception
Title of journal
IEEE Transactions on Pattern Analysis and Machine Intelligence
Submitting institution
The University of Liverpool
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2020
DOI
10.1145/3424659
Open access status
Compliant
Title of journal
Journal of the ACM
Submitting institution
The University of Liverpool
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
Open access status
Compliant
Title of journal
Journal of Machine Learning Research
Submitting institution
The University of Liverpool
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2015
DOI
10.1137/140982763
Open access status
Out of scope for open access requirements
Title of journal
SIAM Journal on Computing
Submitting institution
The University of Liverpool
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2019
DOI
10.1145/3363525
Open access status
Not compliant
Title of journal
ACM Transactions on Programming Languages and Systems
Submitting institution
The University of Liverpool
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2016
DOI
10.1145/2956579
Open access status
Out of scope for open access requirements
Title of journal
ACM Transactions on Economics and Computation (TEAC)
Submitting institution
The University of Liverpool
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2016
DOI
10.1016/j.artint.2016.01.010
Open access status
Out of scope for open access requirements
Title of journal
Artificial Intelligence
Submitting institution
The University of Liverpool
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2018
DOI
10.1145/3188745.3188832
Open access status
Technical exception
Title of conference / published proceedings
STOC'18: PROCEEDINGS OF THE 50TH ANNUAL ACM SIGACT SYMPOSIUM ON THEORY OF COMPUTING
Submitting institution
The University of Liverpool
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.2168/LMCS-12(3:4)2016
Open access status
Compliant
Title of journal
Logical Methods in Computer Science
Submitting institution
The University of Liverpool
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.1007/s10514-018-9777-7
Open access status
Compliant
Title of journal
Autonomous Robots
Submitting institution
The University of Liverpool
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.1016/j.ic.2018.06.001
Open access status
Compliant
Title of journal
Information and Computation
Submitting institution
The University of Liverpool
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2020
DOI
10.1109/FOCS46700.2020.00071
Open access status
Compliant
Title of conference / published proceedings
Proceedings - Annual IEEE Symposium on Foundations of Computer Science, FOCS
Submitting institution
The University of Liverpool
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2016
DOI
10.5555/3032027.3032054
Title of conference / published proceedings
KR'16: Proceedings of the Fifteenth International Conference on Principles of Knowledge Representation and Reasoning
Submitting institution
The University of Liverpool
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2019
DOI
10.1145/3331448
Open access status
Compliant
Title of journal
ACM Transactions on Computational Logic
Submitting institution
The University of Liverpool
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.1090/jams/908
Open access status
Compliant
Title of journal
JOURNAL OF THE AMERICAN MATHEMATICAL SOCIETY
Submitting institution
The University of Liverpool
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2019
DOI
10.1007/978-3-030-17462-0_27
Open access status
Compliant
Title of conference / published proceedings
Tools and Algorithms for the Construction and Analysis of Systems. TACAS 2019. Lecture Notes in Computer Science
Submitting institution
The University of Liverpool
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.1145/3209663
Open access status
Technical exception
Title of journal
Journal of the ACM
Submitting institution
The University of Liverpool
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.1007/s00454-018-9968-1
Open access status
Technical exception
Title of journal
Discrete and Computational Geometry: an international journal of mathematics and computer science
Submitting institution
The University of Liverpool
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2019
DOI
10.1145/3320123
Open access status
Compliant
Title of journal
JOURNAL OF THE ACM
Submitting institution
The University of Liverpool
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.3982/TE2081
Open access status
Out of scope for open access requirements
Title of journal
THEORETICAL ECONOMICS
Submitting institution
The University of Liverpool
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2020
DOI
10.1145/3357713.3384299
Open access status
Compliant
Title of conference / published proceedings
Proceedings of the 52nd Annual ACM SIGACT Symposium on Theory of Computing (STOC 2020)
Submitting institution
The University of Liverpool
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2019
DOI
10.1016/j.jcss.2018.12.001
Open access status
Compliant
Title of journal
Journal of Computer and System Sciences
Submitting institution
The University of Liverpool
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2014
DOI
10.1016/j.tcs.2014.07.017
Open access status
Out of scope for open access requirements
Title of journal
Theoretical Computer Science
Submitting institution
The University of Liverpool
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2014
DOI
10.1145/2661643
Open access status
Out of scope for open access requirements
Title of journal
ACM Transactions on Database Systems
Submitting institution
The University of Liverpool
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2016
DOI
10.1007/s00454-016-9784-4
Open access status
Technical exception
Title of journal
Discrete and Computational Geometry: an international journal of mathematics and computer science
Submitting institution
The University of Liverpool
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.1007/s00453-017-0376-3
Open access status
Technical exception
Title of journal
Algorithmica: an international journal in computer science
Submitting institution
The University of Liverpool
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2016
DOI
10.1016/j.ic.2016.07.009
Open access status
Technical exception
Title of journal
Information and Computation
Submitting institution
The University of Liverpool
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2014
DOI
10.2168/LMCS-10(2:14)2014
Open access status
Out of scope for open access requirements
Title of journal
Logical Methods in Computer Science
Submitting institution
The University of Liverpool
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2018
DOI
10.4230/LIPIcs.ICALP.2018.156
Open access status
Compliant
Title of conference / published proceedings
Leibniz International Proceedings in Informatics, LIPIcs
Submitting institution
The University of Liverpool
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
Open access status
Compliant
Title of journal
Journal of Machine Learning Research
Submitting institution
The University of Liverpool
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.1016/j.aim.2017.08.024
Open access status
Technical exception
Title of journal
Advances in Mathematics
Submitting institution
The University of Liverpool
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2020
DOI
10.23638/LMCS-16(2:6)2020
Open access status
Exception within 3 months of publication
Title of journal
Logical Methods in Computer Science
Submitting institution
The University of Liverpool
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2017
DOI
10.1007/978-3-319-63387-9_1
Open access status
Deposit exception
Title of conference / published proceedings
Computer Aided Verification
Submitting institution
The University of Liverpool
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2015
DOI
10.1007/s00446-015-0257-4
Open access status
Out of scope for open access requirements
Title of journal
Distributed Computing
Submitting institution
The University of Liverpool
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2016
DOI
10.2168/LMCS-12(1:6)2016
Open access status
Out of scope for open access requirements
Title of journal
Logical Methods in Computer Science
Submitting institution
The University of Liverpool
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2019
DOI
10.1007/s00453-019-00584-7
Open access status
Compliant
Title of journal
Algorithmica: an international journal in computer science
Submitting institution
The University of Liverpool
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2020
DOI
10.1016/j.artint.2020.103416
Open access status
Compliant
Title of journal
Artificial Intelligence
Submitting institution
The University of Liverpool
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2016
DOI
10.1109/TMM.2016.2610324
Open access status
Compliant
Title of journal
IEEE Transactions on Multimedia
Submitting institution
The University of Liverpool
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2019
DOI
10.1145/3358233
Open access status
Not compliant
Title of journal
ACM Transactions on Embedded Computing Systems
Submitting institution
The University of Liverpool
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.1016/j.artint.2017.09.002
Open access status
Compliant
Title of journal
Artificial Intelligence
Submitting institution
The University of Liverpool
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.1007/s00453-018-0478-6
Open access status
Compliant
Title of journal
Algorithmica: an international journal in computer science
Submitting institution
The University of Liverpool
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2019
DOI
10.1016/j.jcss.2019.08.002
Open access status
Compliant
Title of journal
Journal of Computer and System Sciences
Submitting institution
The University of Liverpool
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2019
DOI
10.1145/3313276.3316334
Open access status
Technical exception
Title of conference / published proceedings
Proceedings of the Annual ACM Symposium on Theory of Computing
Submitting institution
The University of Liverpool
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2015
DOI
10.1145/2746539.2746558
Open access status
Out of scope for open access requirements
Title of conference / published proceedings
STOC '15: Proceedings of the forty-seventh annual ACM symposium on Theory of Computing
Submitting institution
The University of Liverpool
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2019
DOI
10.23638/LMCS-15(3:23)2019
Open access status
Compliant
Title of journal
Logical Methods in Computer Science
Submitting institution
The University of Liverpool
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2020
DOI
10.1016/j.artint.2020.103343
Open access status
Compliant
Title of journal
Artificial Intelligence
Submitting institution
The University of Liverpool
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2017
DOI
10.1137/1.9781611974782.13
Title of conference / published proceedings
Proceedings of the 2017 Annual ACM-SIAM Symposium on Discrete Algorithms
Submitting institution
The University of Liverpool
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2020
DOI
10.1016/j.artint.2020.103306
Open access status
Compliant
Title of journal
Artificial Intelligence
Submitting institution
The University of Liverpool
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2019
DOI
10.1137/18M1207880
Open access status
Compliant
Title of journal
SIAM Journal on Computing
Submitting institution
The University of Liverpool
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2016
DOI
10.1145/2847520
Open access status
Out of scope for open access requirements
Title of journal
ACM Transactions on Economics and Computation
Submitting institution
The University of Liverpool
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2016
DOI
10.1016/j.tcs.2016.04.006
Open access status
Compliant
Title of journal
Theoretical Computer Science
Submitting institution
The University of Liverpool
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2019
DOI
10.1007/978-3-030-30793-6_42
Open access status
Compliant
Title of conference / published proceedings
SEMANTIC WEB - ISWC 2019, PT I
Submitting institution
The University of Liverpool
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2020
DOI
10.1016/j.jcss.2020.05.007
Open access status
Compliant
Title of journal
Journal of Computer and System Sciences
Submitting institution
The University of Liverpool
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.1613/jair.1.11204
Open access status
Compliant
Title of journal
Journal of Artificial Intelligence Research
Submitting institution
The University of Liverpool
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2016
DOI
10.1007/s00453-016-0233-9
Open access status
Compliant
Title of journal
Algorithmica
Showing outputs 1 to 85 of 85

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.