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.
Learn about submitted outputs
Download all details for all outputs (spreadsheet)
Download all details for all outputs (spreadsheet) (generating)

Search and filter

Clear search and filter

Filter by

  • University of Dundee
   None selected
  • 11 - Computer Science and Informatics
   None selected
   None selected
   None selected
   None selected
Download output details for outputs in the current view (spreadsheet)
Download output details for outputs in the current view (spreadsheet) (generating)
Showing outputs 1 to 25 of 25

A faster polynomial-space algorithm for Max 2-CSP

Submitting institution
University of Dundee
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2015
DOI
10.1016/j.jcss.2015.11.013
Open access status
Out of scope for open access requirements
Title of journal
Journal of Computer and System Sciences

A Formal Analysis of 5G Authentication

Submitting institution
University of Dundee
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
25th ACM Conference on Computer and Communications Security

Accelerating Convolutional Sparse Coding for Curvilinear Structures Segmentation ...

Submitting institution
University of Dundee
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2016
DOI
10.1109/TMI.2016.2570123
Open access status
Not compliant
Title of journal
IEEE Transactions on Medical Imaging

Argument Revision

Submitting institution
University of Dundee
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2016
DOI
10.1093/logcom/exw028
Open access status
Compliant
Title of journal
Journal of Logic and Computation

Beyond triplet loss : a deep quadruplet network for person re-identification

Submitting institution
University of Dundee
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2017
DOI
10.1109/CVPR.2017.145
Title of conference / published proceedings
Proceedings of IEEE International Conference on Computer Vision and Pattern Recognition

Blending Human and Artificial Intelligence to Support Autistic Children’s Social ...

Submitting institution
University of Dundee
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

Coalgebraic logic programming : from semantics to implementation

Submitting institution
University of Dundee
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

Developing Accessible Services : Understanding Current Knowledge and Areas for Future ...

Submitting institution
University of Dundee
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2019
DOI
10.1145/3290605.3300446
Title of conference / published proceedings
CHI '19 : Proceedings of the 2019 CHI Conference on Human Factors in Computing Systems

Enabling designers to foresee which colors users cannot see

Submitting institution
University of Dundee
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2016
DOI
10.1145/2858036.2858077
Title of conference / published proceedings
CHI '16 : Proceedings of the 34th Annual ACM Conference on Human Factors in Computing Systems

End-User Development of Experience Sampling Smartphone Apps -Recommendations and ...

Submitting institution
University of Dundee
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2020
DOI
10.1145/3397307
Open access status
Exception within 3 months of publication
Title of journal
Proceedings of the ACM on Interactive, Mobile, Wearable and Ubiquitous Technologies

Explanation in mathematical conversations : An empirical investigation

Submitting institution
University of Dundee
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2019
DOI
10.1098/rsta.2018.0159
Open access status
Exception within 3 months of publication
Title of journal
Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences

Extracting Implicitly Asserted Propositions in Argumentation

Submitting institution
University of Dundee
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2020
DOI
10.18653/v1/2020.emnlp-main.2
Title of conference / published proceedings
Proceedings of the 2020 Conference on Empirical Methods in Natural Language Processing (EMNLP)

Heterogeneous and asynchronous networks of timed systems

Submitting institution
University of Dundee
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.1016/j.tcs.2016.12.014
Open access status
Deposit exception
Title of journal
Theoretical Computer Science

Higher-order approximate relational refinement types for mechanism design and differential ...

Submitting institution
University of Dundee
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2015
DOI
10.1145/2676726.2677000
Title of conference / published proceedings
Proceedings of the 42nd annual ACM SIGPLAN-SIGACT symposium on principles of programming languages

Joint Prediction of Longitudinal Development of Cortical Surfaces and White Matter ...

Submitting institution
University of Dundee
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.1016/j.neuroimage.2017.03.012
Open access status
Compliant
Title of journal
NeuroImage

Jointly learning heterogeneous features for RGB-D activity recognition

Submitting institution
University of Dundee
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2016
DOI
10.1109/TPAMI.2016.2640292
Open access status
Compliant
Title of journal
IEEE Transactions on Pattern Analysis and Machine Intelligence

Lakatos-style collaborative mathematics through dialectical, structured and abstract ...

Submitting institution
University of Dundee
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.1016/j.artint.2017.02.006
Open access status
Compliant
Title of journal
Artificial Intelligence

Large-Scale Automatic K-Means Clustering for Heterogeneous Many-Core Supercomput ...

Submitting institution
University of Dundee
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2019
DOI
10.1109/TPDS.2019.2955467
Open access status
Compliant
Title of journal
IEEE Transactions on Parallel and Distributed Systems

Learning person-person interaction in collective activity recognition

Submitting institution
University of Dundee
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2015
DOI
10.1109/TIP.2015.2409564
Open access status
Out of scope for open access requirements
Title of journal
IEEE Transactions on Image Processing

Mixed Supervised Object Detection with Robust Objectness Transfer

Submitting institution
University of Dundee
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.1109/TPAMI.2018.2810288
Open access status
Exception within 3 months of publication
Title of journal
IEEE Transactions on Pattern Analysis and Machine Intelligence

Modeling cratered surfaces with real and synthetic terrain for testing planetary ...

Submitting institution
University of Dundee
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2014
DOI
10.1109/TAES.2014.120282
Open access status
Out of scope for open access requirements
Title of journal
IEEE Transactions on Aerospace and Electronic Systems

Recognising Complex Activities with Histograms of Relative Tracklets

Submitting institution
University of Dundee
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2016
DOI
10.1016/j.cviu.2016.08.012
Open access status
Compliant
Title of journal
Computer Vision and Image Understanding

Revisiting Projective Structure from Motion : A Robust and Efficient Incremental ...

Submitting institution
University of Dundee
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.1109/TPAMI.2018.2849973
Open access status
Technical exception
Title of journal
IEEE Transactions on Pattern Analysis and Machine Intelligence

Structure Prediction for Gland Segmentation with Hand-Crafted and Deep Convolutional ...

Submitting institution
University of Dundee
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.1109/TMI.2017.2750210
Open access status
Compliant
Title of journal
IEEE Transactions on Medical Imaging

Sub-Category Classifiers for Multiple-Instance Learning and its Application to Retinal ...

Submitting institution
University of Dundee
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.1109/TMI.2017.2653623
Open access status
Exception within 3 months of publication
Title of journal
IEEE Transactions on Medical Imaging
Showing outputs 1 to 25 of 25

Filter by higher education institution

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.

Filter by unit of assessment

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.

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.