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 Bath
   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 73 of 73
Submitting institution
The University of Bath
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2017
DOI
10.1145/3087604.3087622
Title of conference / published proceedings
ISSAC 2017 - Proceedings of the 2017 ACM International Symposium on Symbolic and Algebraic Computation : Part F129312
Submitting institution
The University of Bath
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2020
DOI
10.1007/978-3-030-45231-5_22
Open access status
Compliant
Title of conference / published proceedings
Foundations of Software Science and Computation Structures- 23rd International Conference, FOSSACS 2020, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Proceedings
Submitting institution
The University of Bath
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2018
DOI
10.1145/3209108.3209134
Title of conference / published proceedings
LICS ’18: Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science
Submitting institution
The University of Bath
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2020
DOI
10.1145/3394171.3413532
Title of conference / published proceedings
28th ACM International Conference on Multimedia (ACM MM)
Submitting institution
The University of Bath
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2019
DOI
10.1016/j.jmaa.2019.05.055
Open access status
Deposit exception
Title of journal
Journal of Mathematical Analysis and Applications
Submitting institution
The University of Bath
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2014
DOI
10.1007/s11263-013-0630-3
Open access status
Out of scope for open access requirements
Title of journal
International Journal of Computer Vision
Submitting institution
The University of Bath
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2020
DOI
10.1145/3313831.3376596
Title of conference / published proceedings
CHI 2020 - Proceedings of the 2020 CHI Conference on Human Factors in Computing Systems
Submitting institution
The University of Bath
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2020
DOI
10.1145/3364220
Open access status
Exception within 3 months of publication
Title of journal
ACM Transactions on Autonomous and Adaptive Systems
Submitting institution
The University of Bath
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2020
DOI
10.1109/CVPR.2019.00058
Open access status
Exception within 3 months of publication
Title of conference / published proceedings
IEEE Conference on Computer Vision and Pattern Recognition
Submitting institution
The University of Bath
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2018
DOI
10.1109/CVPR.2018.00869
Open access status
Compliant
Title of conference / published proceedings
2018 IEEE/CVF Conference on Computer Vision and Pattern Recognition
Submitting institution
The University of Bath
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.1002/rob.21840
Open access status
Compliant
Title of journal
Journal of Field Robotics
Submitting institution
The University of Bath
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2016
DOI
10.1002/acp.3228
Open access status
Out of scope for open access requirements
Title of journal
Applied Cognitive Psychology
Submitting institution
The University of Bath
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2016
DOI
10.1016/j.apal.2016.10.011
Open access status
Compliant
Title of journal
Annals of Pure and Applied Logic
Submitting institution
The University of Bath
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2015
DOI
10.1109/LICS.2015.18
Open access status
Out of scope for open access requirements
Title of conference / published proceedings
Proceedings of the 30th ACM/IEEE Symposium on Logic in Computer Science (LICS), 2015
Submitting institution
The University of Bath
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2016
DOI
10.1145/2897824.2925935
Open access status
Compliant
Title of journal
ACM Transactions on Graphics
Submitting institution
The University of Bath
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2016
DOI
10.1145/2933575.2934559
Open access status
Compliant
Title of conference / published proceedings
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2016
Submitting institution
The University of Bath
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2014
DOI
10.1007/s11786-014-0191-z
Open access status
Out of scope for open access requirements
Title of journal
Mathematics in Computer Science
Submitting institution
The University of Bath
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.1080/07370024.2017.1302334
Open access status
Compliant
Title of journal
Human-Computer Interaction
Submitting institution
The University of Bath
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2020
DOI
10.1007/978-3-030-45231-5_8
Open access status
Compliant
Title of conference / published proceedings
Foundations of Software Science and Computation Structures : 23rd International Conference, FOSSACS 2020 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020 Dublin, Ireland, April 25–30, 2020, Proceedings
Submitting institution
The University of Bath
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.1145/3197517.3201283
Open access status
Compliant
Title of journal
ACM Transactions on Graphics
Submitting institution
The University of Bath
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2017
DOI
10.1145/2998181.2998184
Title of conference / published proceedings
CSCW '17 Proceedings of the 2017 ACM Conference on Computer Supported Cooperative Work and Social Computing
Submitting institution
The University of Bath
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2017
DOI
10.1145/3025453.3025807
Title of conference / published proceedings
CHI '17: Proceedings of the 2017 ACM SIGCHI Conference on Human Factors in Computing Systems : Explore, Innovate, Inspire
Submitting institution
The University of Bath
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2016
DOI
10.1145/2980179.2980235
Open access status
Compliant
Title of journal
ACM Transactions on Graphics
Submitting institution
The University of Bath
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2016
DOI
10.1145/2858036.2858093
Title of conference / published proceedings
CHI '16: Proceedings, 34th Annual CHI Conference on Human Factors in Computing Systems
Submitting institution
The University of Bath
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2020
DOI
10.1109/CVPR.2019.00159
Open access status
Exception within 3 months of publication
Title of conference / published proceedings
Computer Vision and Pattern Recognition, CVPR 2019
Submitting institution
The University of Bath
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2015
DOI
10.1145/2702123.2702604
Title of conference / published proceedings
CHI '15 Proceedings of the 33rd Annual ACM Conference on Human Factors in Computing Systems
Submitting institution
The University of Bath
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2018
DOI
10.1145/3209108.3209206
Open access status
Compliant
Title of conference / published proceedings
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2018
Submitting institution
The University of Bath
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2015
DOI
10.1145/2807442.2807461
Title of conference / published proceedings
Proceedings of the 28th ACM Symposium on User Interface Software and Technology (UIST), 2015
Submitting institution
The University of Bath
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2015
DOI
10.1145/2807442.2807460
Title of conference / published proceedings
UIST '15 Proceedings of the 28th Annual ACM Symposium on User Interface Software & Technology
Submitting institution
The University of Bath
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2014
DOI
10.1109/CVPR.2014.79
Open access status
Out of scope for open access requirements
Title of conference / published proceedings
CVPR '14: Proceedings of the 2014 IEEE Conference on Computer Vision and Pattern Recognition
Submitting institution
The University of Bath
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2020
DOI
10.1109/ICCV.2019.00768
Open access status
Exception within 3 months of publication
Title of conference / published proceedings
2019 IEEE/CVF International Conference on Computer Vision (ICCV)
Submitting institution
The University of Bath
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.1007/s11222-018-9841-3
Open access status
Compliant
Title of journal
Statistics and Computing
Submitting institution
The University of Bath
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2018
DOI
10.1145/3173574.3173982
Open access status
Compliant
Title of conference / published proceedings
Proceedings of the 2018 CHI Conference on Human Factors in Computing Systems
Submitting institution
The University of Bath
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2018
Title of conference / published proceedings
29th British Machine Vision Conference 2018
Submitting institution
The University of Bath
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2019
DOI
10.1109/LICS.2019.8785827
Open access status
Exception within 3 months of publication
Title of conference / published proceedings
2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2019
Submitting institution
The University of Bath
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2014
DOI
10.1145/2601097.2601212
Open access status
Out of scope for open access requirements
Title of journal
ACM Transactions on Computer Systems
Submitting institution
The University of Bath
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2014
DOI
10.1007/978-3-319-10584-0_21
Title of conference / published proceedings
Computer Vision – ECCV 2014 : 13th European Conference, Zurich, Switzerland, September 6-12, 2014, Proceedings, Part VII
Submitting institution
The University of Bath
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2018
DOI
10.1109/CVPR.2018.00661
Open access status
Compliant
Title of conference / published proceedings
2018 IEEE/CVF Conference on Computer Vision and Pattern Recognition
Submitting institution
The University of Bath
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2016
DOI
10.1145/2897824.2925907
Open access status
Out of scope for open access requirements
Title of journal
ACM Transactions on Graphics
Submitting institution
The University of Bath
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.1016/j.jlamp.2018.07.004
Open access status
Compliant
Title of journal
Journal of Logical and Algebraic Methods in Programming
Submitting institution
The University of Bath
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2020
DOI
10.1145/3313831.3376661
Open access status
Compliant
Title of conference / published proceedings
Proceedings of the 2020 CHI Conference on Human Factors in Computing Systems
Submitting institution
The University of Bath
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2019
DOI
10.1109/TVCG.2019.2898799
Open access status
Compliant
Title of journal
IEEE Transactions on Visualization and Computer Graphics
Submitting institution
The University of Bath
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2015
DOI
10.1093/imaiai/iav005
Open access status
Out of scope for open access requirements
Title of journal
Information and Inference
Submitting institution
The University of Bath
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2018
DOI
10.1109/CVPR.2018.00888
Open access status
Deposit exception
Title of conference / published proceedings
Proceedings - 2018 IEEE/CVF Conference on Computer Vision and Pattern Recognition, CVPR 2018
Submitting institution
The University of Bath
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2018
DOI
10.1109/CVPR.2018.00365
Open access status
Compliant
Title of conference / published proceedings
2018 IEEE/CVF Conference on Computer Vision and Pattern Recognition
Submitting institution
The University of Bath
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2016
DOI
10.1145/2886099
Open access status
Technical exception
Title of journal
ACM Transactions on Graphics
Submitting institution
The University of Bath
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2020
DOI
10.1145/3414685.3417770
Open access status
Compliant
Title of journal
ACM Transactions on Graphics
Submitting institution
The University of Bath
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
27th EACSL Annual Conference on Computer Science Logic (CSL 2018)
Submitting institution
The University of Bath
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.1007/s40598-017-0073-y
Open access status
Compliant
Title of journal
Arnold Mathematical Journal
Submitting institution
The University of Bath
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2019
DOI
10.1145/3290605.3300452
Open access status
Exception within 3 months of publication
Title of conference / published proceedings
CHI 2019 - Proceedings of the 2019 CHI Conference on Human Factors in Computing Systems
Submitting institution
The University of Bath
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2016
DOI
10.2168/LMCS-12(1:2)2016
Open access status
Out of scope for open access requirements
Title of journal
Logical Methods in Computer Science
Submitting institution
The University of Bath
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2020
DOI
10.1145/3334480.3383174
Title of conference / published proceedings
CHI EA 2020 - Extended Abstracts of the 2020 CHI Conference on Human Factors in Computing Systems
Submitting institution
The University of Bath
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2016
DOI
10.2168/LMCS-12(2:5)2016
Open access status
Out of scope for open access requirements
Title of journal
Logical Methods in Computer Science
Submitting institution
The University of Bath
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2020
DOI
10.1145/3313831.3376256
Open access status
Compliant
Title of conference / published proceedings
Proceedings of the 2020 CHI Conference on Human Factors in Computing Systems
Submitting institution
The University of Bath
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2020
DOI
10.1016/j.camwa.2020.04.002
Open access status
Deposit exception
Title of journal
Computers & Mathematics with Applications
Submitting institution
The University of Bath
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2019
DOI
10.1112/jlms.12257
Open access status
Exception within 3 months of publication
Title of journal
Journal of the London Mathematical Society
Submitting institution
The University of Bath
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
Proceedings of Machine Learning Research
Submitting institution
The University of Bath
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2019
DOI
10.1145/3290605.3300433
Title of conference / published proceedings
CHI 2019: Proceedings of the 2019 CHI Conference on Human Factors in Computing Systems
Submitting institution
The University of Bath
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2020
DOI
10.1109/CVPR42600.2020.00836
Open access status
Compliant
Title of conference / published proceedings
2020 IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR)
Submitting institution
The University of Bath
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2016
DOI
10.1145/2897824.2925973
Open access status
Compliant
Title of journal
ACM Transactions on Graphics
Submitting institution
The University of Bath
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.1145/3197517.3201372
Open access status
Compliant
Title of journal
ACM Transactions on Graphics
Submitting institution
The University of Bath
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.1126/science.aal4230
Open access status
Compliant
Title of journal
Science
Submitting institution
The University of Bath
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.1109/TSP.2018.2858207
Open access status
Compliant
Title of journal
IEEE Transactions on Signal Processing
Submitting institution
The University of Bath
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2018
DOI
10.1109/CVPR.2018.00574
Open access status
Compliant
Title of conference / published proceedings
2018 IEEE/CVF Conference on Computer Vision and Pattern Recognition
Submitting institution
The University of Bath
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2019
DOI
10.1145/3352763
Open access status
Compliant
Title of journal
ACM Transactions on Applied Perception
Submitting institution
The University of Bath
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.1080/09658211.2017.1354997
Open access status
Compliant
Title of journal
Memory
Submitting institution
The University of Bath
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2020
DOI
10.1145/3313831.3376714
Title of conference / published proceedings
CHI 2020 - Proceedings of the 2020 CHI Conference on Human Factors in Computing Systems
Submitting institution
The University of Bath
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2015
DOI
10.1112/plms/pdv052
Open access status
Out of scope for open access requirements
Title of journal
Proceedings of the London Mathematical Society
Submitting institution
The University of Bath
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
Advances in Neural Information Processing Systems 31 (NIPS), 2018
Submitting institution
The University of Bath
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2019
DOI
10.1111/cgf.13612
Open access status
Compliant
Title of journal
Computer Graphics Forum
Submitting institution
The University of Bath
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2019
DOI
10.1145/3290605.3300388
Open access status
Compliant
Title of conference / published proceedings
CHI 2019 - Proceedings of the 2019 CHI Conference on Human Factors in Computing Systems
Submitting institution
The University of Bath
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2016
Open access status
Deposit exception
Title of conference / published proceedings
Proceedings of The 33rd International Conference on Machine Learning
Submitting institution
The University of Bath
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.1145/3132187
Open access status
Compliant
Title of journal
ACM Transactions on Graphics
Showing outputs 1 to 73 of 73

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.