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 Manchester
   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 100 of 133
Submitting institution
The University of Manchester
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2020
DOI
10.1145/3372497
Open access status
Compliant
Title of journal
ACM Transactions on the Web
Submitting institution
The University of Manchester
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2014
DOI
10.1007/978-3-319-08867-9_46
Open access status
Out of scope for open access requirements
Title of conference / published proceedings
Computer Aided Verification - 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014. Proceedings
Submitting institution
The University of Manchester
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2019
DOI
10.1145/3313808.3313817
Title of conference / published proceedings
VEE 2019: Proceedings of the 15th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments
Submitting institution
The University of Manchester
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2019
DOI
10.1007/978-3-030-29007-8_8
Open access status
Compliant
Title of conference / published proceedings
Frontiers of Combining Systems, 12th International Symposium : FroCoS 2019, Proceedings
Submitting institution
The University of Manchester
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2015
DOI
10.1371/journal.pone.0140866
Open access status
Out of scope for open access requirements
Title of journal
PLoS ONE
Submitting institution
The University of Manchester
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2014
DOI
10.1038/nbt.2877
Open access status
Out of scope for open access requirements
Title of journal
Nature biotechnology
Submitting institution
The University of Manchester
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2019
DOI
10.1177/0278364919883338
Open access status
Compliant
Title of journal
The International Journal of Robotics Research
Submitting institution
The University of Manchester
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2015
DOI
10.3389/fnins.2014.00429
Open access status
Out of scope for open access requirements
Title of journal
Frontiers in Neuroscience
Submitting institution
The University of Manchester
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.1093/bioinformatics/bty115
Open access status
Compliant
Title of journal
Bioinformatics
Submitting institution
The University of Manchester
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2019
DOI
10.1109/tsg.2019.2906016
Open access status
Compliant
Title of journal
IEEE Transactions on Smart Grid
Submitting institution
The University of Manchester
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.1016/j.jbi.2017.06.018
Open access status
Compliant
Title of journal
Journal of Biomedical Informatics
Submitting institution
The University of Manchester
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2018
DOI
10.1007/978-3-319-94370-1_5
Open access status
Compliant
Title of conference / published proceedings
Internet of Things – ICIOT 2018 - 3rd International Conference, Held as Part of the Services Conference Federation, SCF 2018, Proceedings
Submitting institution
The University of Manchester
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2014
DOI
10.1093/bioinformatics/btt580
Open access status
Out of scope for open access requirements
Title of journal
Bioinformatics
Submitting institution
The University of Manchester
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2019
DOI
10.1007/s00236-019-00359-1
Open access status
Compliant
Title of journal
Acta Informatica
Submitting institution
The University of Manchester
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2016
DOI
10.7554/eLife.13615
Open access status
Out of scope for open access requirements
Title of journal
eLife
Submitting institution
The University of Manchester
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2019
DOI
10.1007/s10817-019-09515-1
Open access status
Compliant
Title of journal
Journal of Automated Reasoning
Submitting institution
The University of Manchester
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2018
Title of conference / published proceedings
Advances in Neural Information Processing Systems 31 (NeurIPS 2018)
Submitting institution
The University of Manchester
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2019
DOI
10.1093/jamia/ocy183
Open access status
Compliant
Title of journal
Journal of the American Medical Informatics Association
Submitting institution
The University of Manchester
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2019
DOI
10.1088/1741-2552/aafabc
Open access status
Exception within 3 months of publication
Title of journal
Journal of Neural Engineering
Submitting institution
The University of Manchester
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2017
DOI
10.1145/3009837.3009887
Title of conference / published proceedings
POPL 2017: Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages
Submitting institution
The University of Manchester
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.1016/j.websem.2018.09.004
Open access status
Compliant
Title of journal
Journal of Web Semantics
Submitting institution
The University of Manchester
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.1098/rsif.2016.0990
Open access status
Compliant
Title of journal
Journal of the Royal Society Interface
Submitting institution
The University of Manchester
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.1371/journal.pone.0175277
Open access status
Compliant
Title of journal
PLoS ONE
Submitting institution
The University of Manchester
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2015
DOI
10.2168/LMCS-11(3:6)2015
Open access status
Out of scope for open access requirements
Title of journal
Logical Methods in Computer Science
Submitting institution
The University of Manchester
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.1007/s10994-018-5764-7
Open access status
Compliant
Title of journal
Machine Learning
Submitting institution
The University of Manchester
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2020
DOI
10.1016/j.is.2020.101569
Open access status
Exception within 3 months of publication
Title of journal
Information Systems
Submitting institution
The University of Manchester
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2015
DOI
10.1016/j.ejor.2014.10.024
Open access status
Out of scope for open access requirements
Title of journal
European Journal of Operational Research
Submitting institution
The University of Manchester
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2015
DOI
10.1007/978-3-319-21401-6_23
Open access status
Out of scope for open access requirements
Title of conference / published proceedings
Automated Deduction - CADE-25 - 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings
Submitting institution
The University of Manchester
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2015
DOI
10.1016/j.scico.2015.02.003
Open access status
Out of scope for open access requirements
Title of journal
Science of Computer Programming
Submitting institution
The University of Manchester
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2016
DOI
10.1007/s10994-016-5572-x
Open access status
Compliant
Title of journal
Machine Learning
Submitting institution
The University of Manchester
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 (TKDE)
Submitting institution
The University of Manchester
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.1145/3201898
Open access status
Not compliant
Title of journal
ACM Transactions on Programming Languages and Systems
Submitting institution
The University of Manchester
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.1016/j.jbi.2017.12.001
Open access status
Compliant
Title of journal
Journal of Biomedical Informatics
Submitting institution
The University of Manchester
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 Manchester
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2016
DOI
10.1016/j.tcs.2016.06.009
Open access status
Compliant
Title of journal
Theoretical Computer Science
Submitting institution
The University of Manchester
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: Artificial Intelligence and Statistics 2019
Submitting institution
The University of Manchester
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2015
DOI
10.1109/ACCESS.2015.2506198
Open access status
Out of scope for open access requirements
Title of journal
I E E E Access
Submitting institution
The University of Manchester
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2014
DOI
10.1002/asi.23374
Open access status
Out of scope for open access requirements
Title of journal
Journal of the Association for Information Science and Technology
Submitting institution
The University of Manchester
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2014
DOI
10.1145/2617597
Open access status
Out of scope for open access requirements
Title of journal
A C M Transactions on Reconfigurable Technology and Systems
Submitting institution
The University of Manchester
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2014
DOI
10.1016/j.ins.2014.02.125
Open access status
Out of scope for open access requirements
Title of journal
Information Sciences
Submitting institution
The University of Manchester
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.1093/bioinformatics/bty357
Open access status
Compliant
Title of journal
Bioinformatics
Submitting institution
The University of Manchester
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.1007/s00766-017-0285-7
Open access status
Compliant
Title of journal
Requirements Engineering
Submitting institution
The University of Manchester
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2015
DOI
10.1007/s10619-014-7160-z
Open access status
Out of scope for open access requirements
Title of journal
Distributed and Parallel Databases
Submitting institution
The University of Manchester
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2017
DOI
10.1109/PACT.2017.24
Open access status
Other exception
Title of conference / published proceedings
Proceedings - 26th International Conference on Parallel Architectures and Compilation Techniques, PACT 2017
Submitting institution
The University of Manchester
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2020
DOI
10.1109/TVLSI.2020.3018062
Open access status
Exception within 3 months of publication
Title of journal
IEEE Transactions on Very Large Scale Integration (VLSI) Systems
Submitting institution
The University of Manchester
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2018
DOI
10.1145/3237009.3237016
Title of conference / published proceedings
Proceedings of the 15th International Conference on Managed Languages and Runtimes, ManLang 2018 (formerly PPPJ)
Submitting institution
The University of Manchester
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2020
DOI
10.1145/3423134
Open access status
Compliant
Title of journal
ACM Transactions on Architecture and Code Optimization
Submitting institution
The University of Manchester
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2019
DOI
10.1016/j.is.2019.101480
Open access status
Exception within 3 months of publication
Title of journal
Information Systems
Submitting institution
The University of Manchester
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2016
DOI
10.1007/978-3-319-40970-2_20
Open access status
Compliant
Title of conference / published proceedings
Theory and applications of satisfiability testing -- SAT 2016 : 19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings
Submitting institution
The University of Manchester
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.1002/malq.201700055
Open access status
Compliant
Title of journal
Mathematical Logic Quarterly
Submitting institution
The University of Manchester
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2016
Title of conference / published proceedings
Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence
Submitting institution
The University of Manchester
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.1007/s10817-017-9418-4
Open access status
Deposit exception
Title of journal
Journal of Automated Reasoning
Submitting institution
The University of Manchester
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.1016/j.scico.2017.05.006
Open access status
Compliant
Title of journal
Science of Computer Programming
Submitting institution
The University of Manchester
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2016
DOI
10.1016/j.robot.2015.11.012
Open access status
Out of scope for open access requirements
Title of journal
Robotics and Autonomous Systems
Submitting institution
The University of Manchester
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2020
DOI
10.1145/3405794
Open access status
Exception within 3 months of publication
Title of journal
ACM Transactions on Reconfigurable Technology and Systems
Submitting institution
The University of Manchester
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2020
DOI
10.1145/3402937
Open access status
Exception within 3 months of publication
Title of journal
ACM Transactions on Reconfigurable Technology and Systems
Submitting institution
The University of Manchester
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2014
DOI
10.1109/TFUZZ.2014.2348013
Open access status
Out of scope for open access requirements
Title of journal
I E E E Transactions on Fuzzy Systems
Submitting institution
The University of Manchester
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2019
DOI
10.1109/CGO.2019.8661174
Title of conference / published proceedings
CGO 2019 - Proceedings of the 2019 IEEE/ACM International Symposium on Code Generation and Optimization
Submitting institution
The University of Manchester
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2015
DOI
10.1007/978-3-319-25007-6_31
Title of conference / published proceedings
The Semantic Web - ISWC 2015 - 14th International Semantic Web Conference, Bethlehem, PA, USA, October 11-15, 2015, Proceedings, Part I
Submitting institution
The University of Manchester
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2018
Title of conference / published proceedings
Proceedings of the 27th International Conference on Computational Linguistics
Submitting institution
The University of Manchester
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2014
DOI
10.1109/TNNLS.2014.2376974
Open access status
Out of scope for open access requirements
Title of journal
IEEE Transactions on NEural Networks and Learning Systems
Submitting institution
The University of Manchester
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2015
DOI
10.1007/s10009-015-0407-9
Open access status
Out of scope for open access requirements
Title of journal
International Journal on Software Tools for Technology Transfer
Submitting institution
The University of Manchester
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2014
DOI
10.1109/TFUZZ.2014.2360556
Open access status
Out of scope for open access requirements
Title of journal
I E E E Transactions on Fuzzy Systems
Submitting institution
The University of Manchester
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.1016/j.chb.2018.10.033
Open access status
Compliant
Title of journal
Computers in human behavior
Submitting institution
The University of Manchester
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.1016/j.ijhcs.2017.11.004
Open access status
Compliant
Title of journal
International Journal of Human-Computer Studies
Submitting institution
The University of Manchester
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2017
DOI
10.1145/3050748.3050756
Open access status
Compliant
Title of conference / published proceedings
Proceedings of the 13th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments
Submitting institution
The University of Manchester
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.1186/s12911-018-0639-1
Open access status
Compliant
Title of journal
BMC Medical Informatics and Decision Making
Submitting institution
The University of Manchester
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2016
DOI
10.1007/978-3-319-46726-9_40
Open access status
Compliant
Title of conference / published proceedings
Medical image computing and computer-assisted intervention -- MICCAI 2016 : 19th International Conference, Athens, Greece, October 17-21, 2016, Proceedings.
Submitting institution
The University of Manchester
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2019
DOI
10.1109/TBDATA.2019.2907588
Open access status
Compliant
Title of journal
IEEE Transactions on Big Data
Submitting institution
The University of Manchester
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2015
DOI
10.1109/ICRA.2015.7140009
Open access status
Out of scope for open access requirements
Title of conference / published proceedings
IEEE International Conference on Robotics and Automation (ICRA)
Submitting institution
The University of Manchester
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2015
DOI
10.1002/art.39186
Open access status
Out of scope for open access requirements
Title of journal
Arthritis & Rheumatology (Hoboken)
Submitting institution
The University of Manchester
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2015
Title of conference / published proceedings
Proceedings of the 32nd International Conference on Machine Learning
Submitting institution
The University of Manchester
Unit of assessment
11 - Computer Science and Informatics
Type
G - Software
Year
2018
Submitting institution
The University of Manchester
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2019
DOI
10.1145/3297858.3304054
Title of conference / published proceedings
ASPLOS '19: Proceedings of the Twenty-Fourth International Conference on Architectural Support for Programming Languages and Operating Systems
Submitting institution
The University of Manchester
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.3390/informatics5010011
Open access status
Compliant
Title of journal
Informatics
Submitting institution
The University of Manchester
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2016
DOI
10.3389/fnana.2016.00037
Open access status
Out of scope for open access requirements
Title of journal
Frontiers in Neuroanatomy
Submitting institution
The University of Manchester
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2017
DOI
10.1145/3062341.3062371
Title of conference / published proceedings
Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2017
Submitting institution
The University of Manchester
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2014
DOI
10.3389/fnbeh.2014.00013
Open access status
Out of scope for open access requirements
Title of journal
Frontiers in behavioral neuroscience
Submitting institution
The University of Manchester
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.3389/fnins.2018.00840
Open access status
Compliant
Title of journal
Frontiers in Neuroscience
Submitting institution
The University of Manchester
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2014
DOI
10.1186/2041-1480-5-28
Open access status
Out of scope for open access requirements
Title of journal
Journal of Biomedical Semantics
Submitting institution
The University of Manchester
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 Manchester
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2020
DOI
10.1007/s10703-020-00347-z
Open access status
Compliant
Title of journal
Formal Methods in System Design
Submitting institution
The University of Manchester
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2019
DOI
10.1109/JPROC.2019.2898267
Open access status
Compliant
Title of journal
IEEE. Proceedings
Submitting institution
The University of Manchester
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 Manchester
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2015
DOI
10.1109/TCIAIG.2015.2491611
Open access status
Out of scope for open access requirements
Title of journal
IEEE Transactions on Computational Intelligence and AI in Games
Submitting institution
The University of Manchester
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2015
DOI
10.1186/1758-2946-7-S1-S6
Open access status
Out of scope for open access requirements
Title of journal
Journal of Cheminformatics
Submitting institution
The University of Manchester
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.1007/s10817-017-9414-8
Open access status
Compliant
Title of journal
Journal of Automated Reasoning
Submitting institution
The University of Manchester
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.1109/TBCAS.2018.2847562
Open access status
Compliant
Title of journal
IEEE Transactions on Biomedical Circuits and Systems
Submitting institution
The University of Manchester
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2016
DOI
10.1109/FCCM.2016.34
Title of conference / published proceedings
24th IEEE International Symposium on Field-Programmable Custom Computing Machines, FCCM 2016
Submitting institution
The University of Manchester
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.3389/fnins.2018.00291
Open access status
Compliant
Title of journal
Frontiers in Neuroscience
Submitting institution
The University of Manchester
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2015
DOI
10.1371/journal.pone.0116012
Open access status
Out of scope for open access requirements
Title of journal
PLoS ONE
Submitting institution
The University of Manchester
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2014
DOI
10.1007/s10515-014-0168-9
Open access status
Out of scope for open access requirements
Title of journal
Automated Software Engineering
Submitting institution
The University of Manchester
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.1002/jrsm.1311
Open access status
Compliant
Title of journal
Research Synthesis Methods
Submitting institution
The University of Manchester
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2020
DOI
10.1371/journal.pone.0237854
Open access status
Compliant
Title of journal
P L o S One
Submitting institution
The University of Manchester
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2014
DOI
10.1016/j.knosys.2014.12.009
Open access status
Out of scope for open access requirements
Title of journal
Knowledge-Based Systems
Submitting institution
The University of Manchester
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2019
DOI
10.1093/jamia/ocz004
Open access status
Compliant
Title of journal
Journal of the American Medical Informatics Association
Submitting institution
The University of Manchester
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 Manchester
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2019
DOI
10.1098/rsta.2019.0160
Open access status
Compliant
Title of journal
Philosophical Transactions of the Royal Society of London A: Mathematical, Physical and Engineering Sciences
Submitting institution
The University of Manchester
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.1007/s10817-017-9437-1
Open access status
Deposit exception
Title of journal
Journal of Automated Reasoning
Submitting institution
The University of Manchester
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.1007/s10817-018-9482-4
Open access status
Compliant
Title of journal
Journal of Automated Reasoning
Showing outputs 1 to 100 of 133

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.