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

  • Heriot-Watt University
   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 79 of 79
Submitting institution
Heriot-Watt University
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.1016/j.compenvurbsys.2017.09.010
Open access status
Access exception
Title of journal
Computers, Environment and Urban Systems
Submitting institution
Heriot-Watt University
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2018
DOI
10.1145/3243734.3243846
Title of conference / published proceedings
CCS '18: Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security
Submitting institution
Heriot-Watt University
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.1007/s10916-017-0811-7
Open access status
Compliant
Title of journal
Journal of Medical Systems
Submitting institution
Heriot-Watt University
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2018
DOI
10.1007/978-3-030-01174-1_76
Open access status
Compliant
Title of conference / published proceedings
Intelligent Computing : SAI 2018
Submitting institution
Heriot-Watt University
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2015
DOI
10.1371/journal.pone.0127125
Open access status
Out of scope for open access requirements
Title of journal
PLoS ONE
Submitting institution
Heriot-Watt University
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2014
DOI
10.1145/2556288.2557353
Title of conference / published proceedings
CHI '2014 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
Submitting institution
Heriot-Watt University
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2015
DOI
10.1007/978-3-662-46669-8_23
Open access status
Out of scope for open access requirements
Title of conference / published proceedings
Programming Languages and Systems : ESOP 2015
Submitting institution
Heriot-Watt University
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2016
DOI
10.1016/j.neucom.2016.09.035
Open access status
Compliant
Title of journal
Neurocomputing
Submitting institution
Heriot-Watt University
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.1145/3236785
Open access status
Compliant
Title of journal
Proceedings of the ACM on Programming Languages
Submitting institution
Heriot-Watt University
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2016
DOI
10.1109/JPROC.2016.2521731
Open access status
Out of scope for open access requirements
Title of journal
Proceedings of the IEEE
Submitting institution
Heriot-Watt University
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2019
DOI
10.1145/3290325
Open access status
Compliant
Title of journal
Proceedings of the ACM on Programming Languages
Submitting institution
Heriot-Watt University
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2017
Open access status
Out of scope for open access requirements
Title of conference / published proceedings
Proceedings of Machine Learning Research: Conference on Robot Learning, 13-15 November 2017
Submitting institution
Heriot-Watt University
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2014
DOI
10.1162/COLI_a_00203
Open access status
Out of scope for open access requirements
Title of journal
Computational Linguistics
Submitting institution
Heriot-Watt University
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2016
DOI
10.1109/TNNLS.2015.2497142
Open access status
Out of scope for open access requirements
Title of journal
IEEE Transactions on Neural Networks and Learning Systems
Submitting institution
Heriot-Watt University
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2014
DOI
10.1093/logcom/exs029
Open access status
Out of scope for open access requirements
Title of journal
Journal of Logic and Computation
Submitting institution
Heriot-Watt University
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2018
DOI
10.1109/CSF.2018.00033
Open access status
Compliant
Title of conference / published proceedings
2018 IEEE 31st Computer Security Foundations Symposium (CSF)
Submitting institution
Heriot-Watt University
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2015
DOI
10.1109/ICSE.2015.149
Title of conference / published proceedings
2015 IEEE/ACM 37th IEEE International Conference on Software Engineering (ICSE)
Submitting institution
Heriot-Watt University
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.1145/3271484
Open access status
Compliant
Title of journal
ACM Transactions on Computer-Human Interaction
Submitting institution
Heriot-Watt University
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2016
DOI
10.1016/j.jal.2016.05.008
Open access status
Compliant
Title of journal
Journal of Applied Logic
Submitting institution
Heriot-Watt University
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2014
DOI
10.3115/v1/E14-1074
Title of conference / published proceedings
Proceedings of the 14th Conference of the European Chapter of the Association for Computational Linguistics
Submitting institution
Heriot-Watt University
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2014
DOI
10.1093/logcom/exu026
Open access status
Out of scope for open access requirements
Title of journal
Journal of Logic and Computation
Submitting institution
Heriot-Watt University
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2019
DOI
10.1007/978-3-030-17184-1_28
Open access status
Compliant
Title of conference / published proceedings
Programming Languages and Systems : ESOP 2019
Submitting institution
Heriot-Watt University
Unit of assessment
11 - Computer Science and Informatics
Type
C - Chapter in book
Year of publication
2015
DOI
10.1145/2702123.2702470
Book title
Proceedings of the 33rd Annual ACM Conference on Human Factors in Computing Systems
Submitting institution
Heriot-Watt University
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.1109/MCI.2017.2708998
Open access status
Compliant
Title of journal
IEEE Computational Intelligence Magazine
Submitting institution
Heriot-Watt University
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2017
DOI
10.1145/3009837.3009897
Title of conference / published proceedings
POPL 2017: Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages
Submitting institution
Heriot-Watt University
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.1142/S0219843618500251
Open access status
Compliant
Title of journal
International Journal of Humanoid Robotics
Submitting institution
Heriot-Watt University
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2019
DOI
10.1016/j.csl.2019.06.009
Open access status
Compliant
Title of journal
Computer Speech and Language
Submitting institution
Heriot-Watt University
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.1016/j.cose.2018.02.017
Open access status
Compliant
Title of journal
Computers and Security
Submitting institution
Heriot-Watt University
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2014
DOI
10.1093/jigpal/jzu044
Open access status
Out of scope for open access requirements
Title of journal
Logic Journal of the IGPL
Submitting institution
Heriot-Watt University
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2015
Title of conference / published proceedings
Proceedings of the 11th International Conference on Computational Semantics
Submitting institution
Heriot-Watt University
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2015
DOI
10.1145/2784731.2784754
Title of conference / published proceedings
Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming
Submitting institution
Heriot-Watt University
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2016
DOI
10.1002/cpe.3746
Open access status
Out of scope for open access requirements
Title of journal
Concurrency and Computation: Practice and Experience
Submitting institution
Heriot-Watt University
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2016
Title of conference / published proceedings
Proceedings of the 15th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2016)
Submitting institution
Heriot-Watt University
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2016
DOI
10.1080/13658816.2016.1243243
Open access status
Compliant
Title of journal
International Journal of Geographical Information Science
Submitting institution
Heriot-Watt University
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2015
DOI
10.1016/j.csl.2015.11.001
Open access status
Out of scope for open access requirements
Title of journal
Computer Speech and Language
Submitting institution
Heriot-Watt University
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2017
Open access status
Compliant
Title of conference / published proceedings
Proceedings of the 27th International Conference on Automated Planning and Scheduling
Submitting institution
Heriot-Watt University
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2014
DOI
10.1145/2556288.2557160
Title of conference / published proceedings
CHI '14 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
Submitting institution
Heriot-Watt University
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2016
DOI
10.1145/2858036.2858300
Title of conference / published proceedings
CHI'16: 2016 CHI Conference on Human Factors in Computing Systems Proceedings
Submitting institution
Heriot-Watt University
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.1613/jair.5560
Open access status
Compliant
Title of journal
Journal of Artificial Intelligence Research
Submitting institution
Heriot-Watt University
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2016
DOI
10.1109/HRI.2016.7451730
Title of conference / published proceedings
HRI '16: The Eleventh ACM/IEEE International Conference on Human Robot Interaction
Submitting institution
Heriot-Watt University
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
Heriot-Watt University
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2015
DOI
10.1007/s10458-015-9312-6
Open access status
Out of scope for open access requirements
Title of journal
Autonomous Agents and Multi-Agent Systems
Submitting institution
Heriot-Watt University
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2016
DOI
10.1109/CSF.2016.30
Open access status
Technical exception
Title of conference / published proceedings
2016 IEEE 29th Computer Security Foundations Symposium (CSF)
Submitting institution
Heriot-Watt University
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2014
DOI
10.1109/TASL.2014.2315271
Open access status
Out of scope for open access requirements
Title of journal
IEEE ACM Transactions on Audio, Speech, and Language Processing
Submitting institution
Heriot-Watt University
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2017
DOI
10.18653/v1/P17-1014
Title of conference / published proceedings
Proceedings of the 55th Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers)
Submitting institution
Heriot-Watt University
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.1145/3110257
Open access status
Compliant
Title of journal
Proceedings of the ACM on Programming Languages
Submitting institution
Heriot-Watt University
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2016
DOI
10.1007/s00165-016-0403-1
Open access status
Compliant
Title of journal
Formal Aspects of Computing
Submitting institution
Heriot-Watt University
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2016
DOI
10.1017/S0956796816000010
Open access status
Out of scope for open access requirements
Title of journal
Journal of Functional Programming
Submitting institution
Heriot-Watt University
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2016
DOI
10.1109/TIP.2016.2601263
Open access status
Compliant
Title of journal
IEEE Transactions on Image Processing
Submitting institution
Heriot-Watt University
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2014
DOI
10.1371/journal.pone.0099334
Open access status
Out of scope for open access requirements
Title of journal
PLoS ONE
Submitting institution
Heriot-Watt University
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2014
DOI
10.1093/logcom/exu032
Open access status
Out of scope for open access requirements
Title of journal
Journal of Logic and Computation
Submitting institution
Heriot-Watt University
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2015
DOI
10.1016/j.asoc.2014.11.008
Open access status
Out of scope for open access requirements
Title of journal
Applied Soft Computing
Submitting institution
Heriot-Watt University
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2014
DOI
10.1145/2588555.2612186
Title of conference / published proceedings
SIGMOD '14: Proceedings of the 2014 ACM SIGMOD International Conference on Management of Data
Submitting institution
Heriot-Watt University
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2019
DOI
10.1145/3325280
Open access status
Exception within 3 months of publication
Title of journal
ACM Transactions on Computer-Human Interaction
Submitting institution
Heriot-Watt University
Unit of assessment
11 - Computer Science and Informatics
Type
C - Chapter in book
Year of publication
2016
DOI
10.1007/978-3-319-30936-1_1
Book title
A List of Successes that can Change the World : Essays Dedicated to Philip Wadler on the Occasion of his 60th Birthday
Submitting institution
Heriot-Watt University
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.1016/j.jpdc.2017.10.010
Open access status
Compliant
Title of journal
Journal of Parallel and Distributed Computing
Submitting institution
Heriot-Watt University
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2016
DOI
10.1016/j.apal.2016.10.001
Open access status
Compliant
Title of journal
Annals of Pure and Applied Logic
Submitting institution
Heriot-Watt University
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.1145/3180481
Open access status
Compliant
Title of journal
ACM Transactions on Reconfigurable Technology and Systems
Submitting institution
Heriot-Watt University
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2014
DOI
10.1007/978-3-319-11964-9_7
Title of conference / published proceedings
The Semantic Web - ISWC 2014 : 13th International Semantic Web Conference, Riva del Garda, Italy, October 19-23, 2014. Proceedings, Part I
Submitting institution
Heriot-Watt University
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2016
DOI
10.1145/2700819
Open access status
Out of scope for open access requirements
Title of journal
Journal of the ACM
Submitting institution
Heriot-Watt University
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2016
DOI
10.1098/rsos.160494
Open access status
Compliant
Title of journal
Royal Society Open Science
Submitting institution
Heriot-Watt University
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2016
DOI
10.1016/j.jsc.2016.07.013
Open access status
Out of scope for open access requirements
Title of journal
Journal of Symbolic Computation
Submitting institution
Heriot-Watt University
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2014
DOI
10.1109/ICRA.2014.6907396
Title of conference / published proceedings
2014 IEEE International Conference on Robotics and Automation (ICRA)
Submitting institution
Heriot-Watt University
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2015
DOI
10.1016/j.ins.2014.11.035
Open access status
Out of scope for open access requirements
Title of journal
Information Sciences
Submitting institution
Heriot-Watt University
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2016
DOI
10.18653/v1/P16-1195
Title of conference / published proceedings
Proceedings of the 54th Annual Meeting of the Association for Computational Linguistics : Long Papers
Submitting institution
Heriot-Watt University
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.1093/database/bax010
Open access status
Compliant
Title of journal
Database
Submitting institution
Heriot-Watt University
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2016
DOI
10.1145/2858036.2858307
Title of conference / published proceedings
CHI 2016: Proceedings of the ACM Conference on Human Factors in Computing Systems
Submitting institution
Heriot-Watt University
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.1093/nar/gkx1121
Open access status
Compliant
Title of journal
Nucleic Acids Research
Submitting institution
Heriot-Watt University
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.1007/s11370-017-0237-6
Open access status
Compliant
Title of journal
Intelligent Service Robotics
Submitting institution
Heriot-Watt University
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.1109/MRA.2016.2636359
Open access status
Compliant
Title of journal
IEEE Robotics and Automation Magazine
Submitting institution
Heriot-Watt University
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2016
DOI
10.18653/v1/W16-3643
Title of conference / published proceedings
Proceedings of the SIGDIAL 2016 Conference
Submitting institution
Heriot-Watt University
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2018
DOI
10.1145/3167081
Title of conference / published proceedings
CPP 2018: Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs
Submitting institution
Heriot-Watt University
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2015
DOI
10.1002/cpe.3501
Open access status
Out of scope for open access requirements
Title of journal
Concurrency and Computation: Practice and Experience
Submitting institution
Heriot-Watt University
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2017
DOI
10.1145/3025453.3025977
Title of conference / published proceedings
Proceedings of the 2017 CHI Conference on Human Factors in Computing Systems
Submitting institution
Heriot-Watt University
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2019
DOI
10.1145/3319535.3354193
Title of conference / published proceedings
CCS 2019: Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security
Submitting institution
Heriot-Watt University
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2019
DOI
10.1016/j.sysarc.2019.101657
Open access status
Compliant
Title of journal
Journal of Systems Architecture
Submitting institution
Heriot-Watt University
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2014
Title of conference / published proceedings
Proceedings of the 13th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2014)
Submitting institution
Heriot-Watt University
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2015
DOI
10.1145/2785830.2785835
Title of conference / published proceedings
MobileHCI '15 : Proceedings of the 17th International Conference on Human-Computer Interaction with Mobile Devices and Services
Submitting institution
Heriot-Watt University
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2020
DOI
10.1145/3332466.3374537
Title of conference / published proceedings
PPoPP '20: Proceedings of the 25th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming
Showing outputs 1 to 79 of 79

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.