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

  • Swansea University / Prifysgol Abertawe
   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 75 of 75

Parity Games and Propositional Proofs

Submitting institution
Swansea University / Prifysgol Abertawe
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2014
DOI
10.1145/2579822
Open access status
Out of scope for open access requirements
Title of journal
ACM Transactions on Computational Logic

3D Mesh Segmentation via Multi-branch 1D Convolutional Neural Networks

Submitting institution
Swansea University / Prifysgol Abertawe
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.1016/j.gmod.2018.01.001
Open access status
Compliant
Title of journal
Graphical Models

A general framework for sound assumption-based argumentation dialogues

Submitting institution
Swansea University / Prifysgol Abertawe
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2014
DOI
10.1016/j.artint.2014.06.001
Open access status
Out of scope for open access requirements
Title of journal
Artificial Intelligence

A realizability interpretation of Church's simple theory of types

Submitting institution
Swansea University / Prifysgol Abertawe
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.1017/s0960129516000104
Open access status
Out of scope for open access requirements
Title of journal
Mathematical Structures in Computer Science

A Simple Approach for Boundary Improvement of Euler Diagrams

Submitting institution
Swansea University / Prifysgol Abertawe
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2016
DOI
10.1109/TVCG.2015.2467992
Open access status
Out of scope for open access requirements
Title of journal
IEEE Transactions on Visualization and Computer Graphics (InfoVis 2015)

A Social Curiosity Inspired Recommendation Model to Improve Precision, Coverage and ...

Submitting institution
Swansea University / Prifysgol Abertawe
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2016
DOI
10.1109/WI.2016.0042
Title of conference / published proceedings
2016 IEEE/WIC/ACM International Conference on Web Intelligence (WI)

A university-based model for supporting computer science curriculum reform

Submitting institution
Swansea University / Prifysgol Abertawe
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.1007/s40692-018-0117-x
Open access status
Compliant
Title of journal
Journal of Computers in Education

A Vector Field Design Approach to Animated Transitions

Submitting institution
Swansea University / Prifysgol Abertawe
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.1109/TVCG.2017.2750689
Open access status
Compliant
Title of journal
IEEE Transactions on Visualization and Computer Graphics

A Visualization Tool Used to Develop New Photon Mapping Techniques

Submitting institution
Swansea University / Prifysgol Abertawe
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2015
DOI
10.1111/cgf.12464
Open access status
Out of scope for open access requirements
Title of journal
Computer Graphics Forum

A Work Efficient Parallel Algorithm for Exact Euclidean Distance Transform

Submitting institution
Swansea University / Prifysgol Abertawe
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2019
DOI
10.1109/TIP.2019.2916741
Open access status
Compliant
Title of journal
IEEE Transactions on Image Processing

Advances in co-volume mesh generation and mesh optimisation techniques

Submitting institution
Swansea University / Prifysgol Abertawe
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.1016/j.compstruc.2016.06.009
Open access status
Compliant
Title of journal
Computers & Structures

An Analysis of Machine- and Human-Analytics in Classification

Submitting institution
Swansea University / Prifysgol Abertawe
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.1109/tvcg.2016.2598829
Open access status
Compliant
Title of journal
IEEE Transactions on Visualization and Computer Graphics

Anonymous Secure Framework in Connected Smart Home Environments

Submitting institution
Swansea University / Prifysgol Abertawe
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.1109/tifs.2016.2647225
Open access status
Technical exception
Title of journal
IEEE Transactions on Information Forensics and Security

Automatic segmentation of cross-sectional coronary arterial images

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

Beyond “yesterday’s tomorrow”: future-focused mobile interaction design by and for ...

Submitting institution
Swansea University / Prifysgol Abertawe
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.1007/s00779-016-0982-0
Open access status
Compliant
Title of journal
Personal and Ubiquitous Computing

BookMark: Appropriating existing infrastructure to facilitate scalable indoor na ...

Submitting institution
Swansea University / Prifysgol Abertawe
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.1016/j.ijhcs.2017.02.001
Open access status
Compliant
Title of journal
International Journal of Human-Computer Studies

Classifying the computational power of stochastic physical oracles

Submitting institution
Swansea University / Prifysgol Abertawe
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
Open access status
Compliant
Title of journal
International Journal of Unconventional Computing

Cobham recursive set functions

Submitting institution
Swansea University / Prifysgol Abertawe
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2015
DOI
10.1016/j.apal.2015.12.005
Open access status
Out of scope for open access requirements
Title of journal
Annals of Pure and Applied Logic

Connected choice and the Brouwer fixed point theorem

Submitting institution
Swansea University / Prifysgol Abertawe
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2019
DOI
10.1142/s0219061319500041
Open access status
Compliant
Title of journal
Journal of Mathematical Logic

Cube-and-Conquer for Satisfiability

Submitting institution
Swansea University / Prifysgol Abertawe
Unit of assessment
11 - Computer Science and Informatics
Type
C - Chapter in book
Year of publication
2018
DOI
10.1007/978-3-319-63516-3_2
Open access status
Out of scope for open access requirements
Book title
Handbook of Parallel Constraint Reasoning

Data-driven multi-objective optimisation of coal-fired boiler combustion systems

Submitting institution
Swansea University / Prifysgol Abertawe
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.1016/j.apenergy.2018.07.101
Open access status
Compliant
Title of journal
Applied Energy

Descriptive Set Theory in the Category of Represented Spaces

Submitting institution
Swansea University / Prifysgol Abertawe
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2015
DOI
10.1109/lics.2015.48
Open access status
Out of scope for open access requirements
Title of conference / published proceedings
2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science

Detection of app collusion potential using logic programming

Submitting institution
Swansea University / Prifysgol Abertawe
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.1016/j.jnca.2017.12.008
Open access status
Compliant
Title of journal
Journal of Network and Computer Applications

Diffusion pruning for rapidly and robustly selecting global correspondences using ...

Submitting institution
Swansea University / Prifysgol Abertawe
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2014
DOI
10.1145/2517967
Open access status
Out of scope for open access requirements
Title of journal
ACM Transactions on Graphics

Divergence of Gradient Convolution: Deformable Segmentation with Arbitrary Initi ...

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

Emergeables: Deformable Displays for Continuous Eyes-Free Mobile Interaction

Submitting institution
Swansea University / Prifysgol Abertawe
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2016
DOI
10.1145/2858036.2858097
Title of conference / published proceedings
Proceedings of the 2016 CHI Conference on Human Factors in Computing Systems

EMIL: Extracting Meaning from Inconsistent Language

Submitting institution
Swansea University / Prifysgol Abertawe
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2019
DOI
10.1016/j.ijar.2019.04.010
Open access status
Compliant
Title of journal
International Journal of Approximate Reasoning

Evaluation Beyond Usability

Submitting institution
Swansea University / Prifysgol Abertawe
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2018
DOI
10.1145/3173574.3173790
Title of conference / published proceedings
Proceedings of the 2018 CHI Conference on Human Factors in Computing Systems - CHI '18

Evaluation of Graph Sampling: A Visualization Perspective

Submitting institution
Swansea University / Prifysgol Abertawe
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.1109/TVCG.2016.2598867
Open access status
Not compliant
Title of journal
IEEE Transactions on Visualization and Computer Graphics (InfoVis 2016)

Event-Based Dynamic Graph Visualisation

Submitting institution
Swansea University / Prifysgol Abertawe
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.1109/TVCG.2018.2886901
Open access status
Compliant
Title of journal
IEEE Transactions on Visualization and Computer Graphics

Extracting nondeterministic concurrent programs

Submitting institution
Swansea University / Prifysgol Abertawe
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2016
DOI
10.4230/LIPIcs.CSL.2016.26
Title of conference / published proceedings
25th EACSL Annual Conference on Computer Science Logic (CSL 2016).

Feature Surfaces in Symmetric Tensor Fields Based on Eigenvalue Manifold

Submitting institution
Swansea University / Prifysgol Abertawe
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2016
DOI
10.1109/TVCG.2015.2484343
Open access status
Out of scope for open access requirements
Title of journal
IEEE Transactions on Visualization and Computer Graphics

HARK No More

Submitting institution
Swansea University / Prifysgol Abertawe
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2018
DOI
10.1145/3173574.3173715
Title of conference / published proceedings
Proceedings of the 2018 CHI Conference on Human Factors in Computing Systems - CHI '18

Holographic acoustic elements for manipulation of levitated objects

Submitting institution
Swansea University / Prifysgol Abertawe
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2015
DOI
10.1038/ncomms9661
Open access status
Out of scope for open access requirements
Title of journal
Nature Communications

Hyper Natural Deduction for Gödel Logic—A natural deduction system for parallel ...

Submitting institution
Swansea University / Prifysgol Abertawe
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.1093/logcom/exy019
Open access status
Compliant
Title of journal
Journal of Logic and Computation

Intuitionistic fixed point logic

Submitting institution
Swansea University / Prifysgol Abertawe
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2020
DOI
10.1016/j.apal.2020.102903
Open access status
Exception within 3 months of publication
Title of journal
Annals of Pure and Applied Logic

Knowledge-Assisted Ranking: A Visual Analytic Application for Sport Event Data

Submitting institution
Swansea University / Prifysgol Abertawe
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2015
DOI
10.1109/MCG.2015.25
Open access status
Out of scope for open access requirements
Title of journal
IEEE Computer Graphics and Applications

Lightweight and Secure Session-Key Establishment Scheme in Smart Home Environmen ...

Submitting institution
Swansea University / Prifysgol Abertawe
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2016
DOI
10.1109/JSEN.2015.2475298
Open access status
Out of scope for open access requirements
Title of journal
IEEE Sensors Journal

Lightweight Authentication and Key Agreement for Smart Metering in Smart Energy ...

Submitting institution
Swansea University / Prifysgol Abertawe
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2019
DOI
10.1109/tsg.2018.2857558
Open access status
Technical exception
Title of journal
IEEE Transactions on Smart Grid

Make Yourself at Phone: Reimagining Mobile Interaction Architectures With Emergent ...

Submitting institution
Swansea University / Prifysgol Abertawe
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2018
DOI
10.1145/3173574.3173981
Title of conference / published proceedings
Proceedings of the 2018 CHI Conference on Human Factors in Computing Systems - CHI '18

Measuring the effect of think aloud protocols on workload using fNIRS

Submitting institution
Swansea University / Prifysgol Abertawe
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2014
DOI
10.1145/2556288.2556974
Title of conference / published proceedings
Proceedings of the SIGCHI Conference on Human Factors in Computing Systems

Metamaterial bricks and quantization of meta-surfaces

Submitting institution
Swansea University / Prifysgol Abertawe
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.1038/ncomms14608
Open access status
Compliant
Title of journal
Nature Communications

Minkowski Games

Submitting institution
Swansea University / Prifysgol Abertawe
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.1145/3230741
Open access status
Compliant
Title of journal
ACM Transactions on Computational Logic

Misunderstanding IT: Hospital cybersecurity and software problems reach the cour ...

Submitting institution
Swansea University / Prifysgol Abertawe
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.14296/deeslr.v15i0.4891
Open access status
Compliant
Title of journal
Digital Evidence and Electronic Signature Law Review

Modeling Large Sparse Data for Feature Selection: Hospital Admission Predictions ...

Submitting institution
Swansea University / Prifysgol Abertawe
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2020
DOI
10.1109/jtehm.2020.3040236
Open access status
Compliant
Title of journal
IEEE Journal of Translational Engineering in Health and Medicine

Nested Shallow CNN-Cascade for Face Detection in the Wild

Submitting institution
Swansea University / Prifysgol Abertawe
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2017
DOI
10.1109/FG.2017.29
Title of conference / published proceedings
2017 IEEE 12th International Conference on Automatic Face & Gesture Recognition

Non-rigid registration under anisotropic deformations

Submitting institution
Swansea University / Prifysgol Abertawe
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2019
DOI
10.1016/j.cagd.2019.04.014
Open access status
Compliant
Title of journal
Computer Aided Geometric Design

On the van der Waerden numbers

Submitting institution
Swansea University / Prifysgol Abertawe
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2014
DOI
10.1016/j.dam.2014.05.007
Open access status
Out of scope for open access requirements
Title of journal
Discrete Applied Mathematics

Order of Magnitude Markers: An Empirical Study on Large Magnitude Number Detecti ...

Submitting institution
Swansea University / Prifysgol Abertawe
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2014
DOI
10.1109/TVCG.2014.2346428
Open access status
Out of scope for open access requirements
Title of journal
IEEE Transactions on Visualization and Computer Graphics

PaperChains: Dynamic Sketch+Voice Annotations

Submitting institution
Swansea University / Prifysgol Abertawe
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2015
DOI
10.1145/2675133.2675138
Title of conference / published proceedings
CSCW 2015

Personalized Recommendation Considering Secondary Implicit Feedback

Submitting institution
Swansea University / Prifysgol Abertawe
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2018
DOI
10.1109/agents.2018.8460053
Title of conference / published proceedings
2018 IEEE International Conference on Agents (ICA)

Program extraction applied to monadic parsing

Submitting institution
Swansea University / Prifysgol Abertawe
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2015
DOI
10.1093/logcom/exv078
Open access status
Out of scope for open access requirements
Title of journal
Journal of Logic and Computation

Registration and Modeling from Spaced and Misaligned Image Volumes

Submitting institution
Swansea University / Prifysgol Abertawe
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2016
DOI
10.1109/TIP.2016.2586660
Open access status
Compliant
Title of journal
IEEE Transactions on Image Processing

Safe Recursive Set Functions

Submitting institution
Swansea University / Prifysgol Abertawe
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2015
DOI
10.1017/jsl.2015.26
Open access status
Out of scope for open access requirements
Title of journal
The Journal of Symbolic Logic

Safer User Interfaces: A Case Study in Improving Number Entry

Submitting institution
Swansea University / Prifysgol Abertawe
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2015
DOI
10.1109/TSE.2014.2383396
Open access status
Out of scope for open access requirements
Title of journal
IEEE Transactions on Software Engineering

Solving and Verifying the Boolean Pythagorean Triples Problem via Cube-and-Conqu ...

Submitting institution
Swansea University / Prifysgol Abertawe
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2016
DOI
10.1007/978-3-319-40970-2_15
Open access status
Compliant
Title of conference / published proceedings
Theory and Applications of Satisfiability Testing – SAT 2016

Steering the conversation: A linguistic exploration of natural language interactions ...

Submitting institution
Swansea University / Prifysgol Abertawe
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.1016/j.apergo.2017.04.003
Open access status
Compliant
Title of journal
Applied Ergonomics

Strategies for conducting situated studies of technology use in hospitals

Submitting institution
Swansea University / Prifysgol Abertawe
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2015
DOI
10.1007/s10111-014-0318-7
Open access status
Out of scope for open access requirements
Title of journal
Cognition, Technology & Work

StreetWise: Smart Speakers vs Human Help in Public Slum Settings

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

Surveillance and identity: conceptual framework and formal models

Submitting institution
Swansea University / Prifysgol Abertawe
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.1093/cybsec/tyx010
Open access status
Compliant
Title of journal
Journal of Cybersecurity

Sustainabot – Exploring the Use of Everyday Foodstuffs as Output and Input for and ...

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

Techniques for modelling and verifying railway interlockings

Submitting institution
Swansea University / Prifysgol Abertawe
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2014
DOI
10.1007/s10009-014-0304-7
Open access status
Out of scope for open access requirements
Title of journal
International Journal on Software Tools for Technology Transfer

The miracle of the markets: Identifying key campaign events in the Scottish independence ...

Submitting institution
Swansea University / Prifysgol Abertawe
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.1016/j.electstud.2017.01.003
Open access status
Compliant
Title of journal
Electoral Studies

The NP Search Problems of Frege and Extended Frege Proofs

Submitting institution
Swansea University / Prifysgol Abertawe
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.1145/3060145
Open access status
Compliant
Title of journal
ACM Transactions on Computational Logic

Three forms of physical measurement and their computability

Submitting institution
Swansea University / Prifysgol Abertawe
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2014
DOI
10.1017/S1755020314000240
Open access status
Out of scope for open access requirements
Title of journal
The Review of Symbolic Logic

TimeNotes: A Study on Effective Chart Visualization and Interaction Techniques for ...

Submitting institution
Swansea University / Prifysgol Abertawe
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2015
DOI
10.1109/TVCG.2015.2467751
Open access status
Out of scope for open access requirements
Title of journal
IEEE Transactions on Visualization and Computer Graphics

Tiree Energy Pulse

Submitting institution
Swansea University / Prifysgol Abertawe
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2015
DOI
10.1145/2702123.2702285
Title of conference / published proceedings
Proceedings of the 33rd Annual ACM Conference on Human Factors in Computing Systems

Undecidability of Equality for Codata Types

Submitting institution
Swansea University / Prifysgol Abertawe
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2018
DOI
10.1007/978-3-030-00389-0_4
Open access status
Compliant
Title of conference / published proceedings
Coalgebraic Methods in Computer Science

Unnesting of Copatterns

Submitting institution
Swansea University / Prifysgol Abertawe
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2014
DOI
10.1007/978-3-319-08918-8_3
Title of conference / published proceedings
Rewriting and Typed Lambda Calculi

Unreliable numbers: error and harm induced by bad design can be reduced by better ...

Submitting institution
Swansea University / Prifysgol Abertawe
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2015
DOI
10.1098/rsif.2015.0685
Open access status
Out of scope for open access requirements
Title of journal
Journal of The Royal Society Interface

Variations on Image Reconstruction:Weighted Back Projection and Fourier Expectation ...

Submitting institution
Swansea University / Prifysgol Abertawe
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2014
DOI
10.2312/cgvc.20141201
Title of conference / published proceedings
Computer Graphics and Visual Computing

Verification of the European Rail Traffic Management System in Real-Time Maude

Submitting institution
Swansea University / Prifysgol Abertawe
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.1016/j.scico.2017.10.011
Open access status
Compliant
Title of journal
Science of Computer Programming

Visual Analysis of Spatia-temporal Relations of Pairwise Attributes in Unsteady ...

Submitting institution
Swansea University / Prifysgol Abertawe
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2019
DOI
10.1109/tvcg.2018.2864817
Open access status
Not compliant
Title of journal
IEEE Transactions on Visualization and Computer Graphics

Voice Interfaces in Everyday Life

Submitting institution
Swansea University / Prifysgol Abertawe
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2018
DOI
10.1145/3173574.3174214
Title of conference / published proceedings
Proceedings of the 2018 CHI Conference on Human Factors in Computing Systems

WeightLifter: Visual Weight Space Exploration for Multi-Criteria Decision Making

Submitting institution
Swansea University / Prifysgol Abertawe
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.1109/tvcg.2016.2598589
Open access status
Deposit exception
Title of journal
IEEE Transactions on Visualization and Computer Graphics
Showing outputs 1 to 75 of 75

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.