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 Strathclyde
   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 80 of 80

A comparison of artificial driving sounds for automated vehicles

Submitting institution
University of Strathclyde
Unit of assessment
11 - Computer Science and Informatics
Type
C - Chapter in book
Year of publication
2015
DOI
10.1145/2750858.2807519
Book title
UbiComp '15 : Proceedings of the 2015 ACM International Joint Conference on Pervasive and Ubiquitous Computing

A mixed methods approach to understanding funder trust and due diligence processes ...

Submitting institution
University of Strathclyde
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2020
DOI
10.1145/3373148
Open access status
Technical exception
Title of journal
ACM Transactions on Social Computing

A relationally parametric model of dependent type theory

Submitting institution
University of Strathclyde
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2014
DOI
10.1145/2535838.2535852
Title of conference / published proceedings
POPL '14 Proceedings of the 41st ACM SIGPLAN-SIGACT : Symposium on Principles of Programming Languages

A type and scope safe universe of syntaxes with binding : their semantics and pr ...

Submitting institution
University of Strathclyde
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2018
DOI
10.1145/3236785
Open access status
Compliant
Title of conference / published proceedings
International Conference on Functional Programming 2018

Acoustic transparency and the changing soundscape of auditory mixed reality

Submitting institution
University of Strathclyde
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2020
DOI
10.1145/3313831.3376702
Title of conference / published proceedings
CHI '20 - Proceedings of the 2020 CHI Conference on Human Factors in Computing Systems

Agents, simulated users and humans : an analysis of performance and behaviour

Submitting institution
University of Strathclyde
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2016
DOI
10.1145/2983323.2983805
Title of conference / published proceedings
CIKM '16 : Proceedings of the 25th ACM International on Conference on Information and Knowledge Management

An algebraic theory of Markov processes

Submitting institution
University of Strathclyde
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2018
DOI
10.1145/3209108.3209177
Title of conference / published proceedings
LICS '18 : Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science

Association between sea lice (Lepeophtheirus salmonis) infestation on Atlantic salmon ...

Submitting institution
University of Strathclyde
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.1038/s41598-018-22458-8
Open access status
Compliant
Title of journal
Scientific Reports

Boolean-valued semantics for the stochastic λ-calculus

Submitting institution
University of Strathclyde
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2018
DOI
10.1145/3209108.3209175
Title of conference / published proceedings
LICS '18 : Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science

Booting the booters : evaluating the effects of police interventions in the market ...

Submitting institution
University of Strathclyde
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2019
DOI
10.1145/3355369.3355592
Title of conference / published proceedings
IMC 2019 - Proceedings of the 2019 ACM Internet Measurement Conference

Clicktok : click fraud detection using traffic analysis

Submitting institution
University of Strathclyde
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2019
DOI
10.1145/3317549.3323407
Title of conference / published proceedings
WiSec 2019 - Proceedings of the 2019 Conference on Security and Privacy in Wireless and Mobile Networks

Coalgebra learning via duality

Submitting institution
University of Strathclyde
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2019
DOI
10.1007/978-3-030-17127-8_4
Open access status
Compliant
Title of conference / published proceedings
International Conference on Foundations of Software Science and Computation Structures [FoSSaCS 2019]

Combining neural networks and pattern matching for ontology mining - a meta learning ...

Submitting institution
University of Strathclyde
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2019
DOI
10.1109/ICOSC.2019.8665528
Title of conference / published proceedings
The 13th IEEE International Conference On Semantic Computing

Completeness for game logic

Submitting institution
University of Strathclyde
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2019
DOI
10.1109/LICS.2019.8785676
Title of conference / published proceedings
2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)

Compositional game theory

Submitting institution
University of Strathclyde
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2018
DOI
10.1145/3209108.3209165
Title of conference / published proceedings
LICS '18 : Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science

Comprehensive parametric polymorphism : categorical models and type theory

Submitting institution
University of Strathclyde
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2016
DOI
10.1007/978-3-662-49630-5_1
Open access status
Out of scope for open access requirements
Title of conference / published proceedings
International Conference on Foundations of Software Science and Computation Structures [FoSSaCS 2016]

Connecting the silos : implementations and perceptions of linked data across European ...

Submitting institution
University of Strathclyde
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2019
DOI
10.1108/JD-07-2018-0117
Open access status
Compliant
Title of journal
Journal of Documentation

Covariate shift estimation based adaptive ensemble learning for handling non-stationarity ...

Submitting institution
University of Strathclyde
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2019
DOI
10.1016/j.neucom.2018.04.087
Open access status
Compliant
Title of journal
Neurocomputing

CrimeBB : enabling cybercrime research on underground forums at scale

Submitting institution
University of Strathclyde
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2018
DOI
10.1145/3178876.3186178
Title of conference / published proceedings
WWW '18 : Proceedings of the 2018 World Wide Web Conference

Decomposing labeled interval orders as pairs of permutations

Submitting institution
University of Strathclyde
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2014
DOI
10.37236/4360
Open access status
Out of scope for open access requirements
Title of journal
The Electronic Journal of Combinatorics

Delivering digital health and well-being at scale : lessons learned during the implementation ...

Submitting institution
University of Strathclyde
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2015
DOI
10.1093/jamia/ocv097
Open access status
Out of scope for open access requirements
Title of journal
Journal of the American Medical Informatics Association

Designing clinical AAC tablet applications with adults who have mild intellectual ...

Submitting institution
University of Strathclyde
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2020
DOI
10.1145/3313831.3376159
Title of conference / published proceedings
CHI '20 - Proceedings of the 2020 CHI Conference on Human Factors in Computing Systems

Dijkstra monads for all

Submitting institution
University of Strathclyde
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2019
DOI
10.1145/3341708
Open access status
Compliant
Title of journal
Proceedings of the ACM on Programming Languages (PACMPL)

Efficient delegated private set intersection on outsourced private datasets

Submitting institution
University of Strathclyde
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.1109/TDSC.2017.2708710
Open access status
Compliant
Title of journal
IEEE Transactions on Dependable and Secure Computing

Ethical issues in research using datasets of illicit origin

Submitting institution
University of Strathclyde
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2017
DOI
10.1145/3131365.3131389
Title of conference / published proceedings
IMC '17 : Proceedings of the 2017 Internet Measurement Conference

EW-tableaux, Le-tableaux, tree-like tableaux and the Abelian sandpile model

Submitting institution
University of Strathclyde
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.37236/7480
Open access status
Compliant
Title of journal
The Electronic Journal of Combinatorics

Exploring how drivers perceive spatial earcons in automated vehicles

Submitting institution
University of Strathclyde
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.1145/3130901
Open access status
Compliant
Title of journal
IMWUT Proceedings of the ACM on Interactive, Mobile, Wearable and Ubiquitous Technologies

Expressive logics for coinductive predicates

Submitting institution
University of Strathclyde
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2020
DOI
10.4230/LIPIcs.CSL.2020.26
Title of conference / published proceedings
28th EACSL Annual Conference on Computer Science Logic (CSL 2020)

ForgetMeNot : active reminder entry support for adults with acquired brain injur ...

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

Game semantics for quantum programming

Submitting institution
University of Strathclyde
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2019
DOI
10.1145/3290345
Open access status
Compliant
Title of journal
Proceedings of the ACM on Programming Languages (PACMPL)

Graph-theoretic simplification of quantum circuits with the ZX-calculus

Submitting institution
University of Strathclyde
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2020
DOI
10.22331/q-2020-06-04-279
Open access status
Compliant
Title of journal
Quantum

Growth rates of permutation grid classes, tours on graphs, and the spectral radi ...

Submitting institution
University of Strathclyde
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2015
DOI
10.1090/S0002-9947-2015-06280-1
Open access status
Out of scope for open access requirements
Title of journal
Transactions of the American Mathematical Society

Hilbert Exclusion : improved metric search through finite isometric embeddings

Submitting institution
University of Strathclyde
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2016
DOI
10.1145/3001583
Open access status
Compliant
Title of journal
ACM Transactions on Information Systems

Hot under the collar : Mapping thermal feedback to dimensional models of emotion

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

How to improve the sustainability of digital libraries and information services?

Submitting institution
University of Strathclyde
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2015
DOI
10.1002/asi.23599
Open access status
Out of scope for open access requirements
Title of journal
Journal of the Association for Information Science and Technology

How to keep your neighbours in order

Submitting institution
University of Strathclyde
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2014
DOI
10.1145/2628136.2628163
Title of conference / published proceedings
ICFP '14 Proceedings of the 19th ACM SIGPLAN International Conference on Functional Programming

I got plenty o’ nuttin’

Submitting institution
University of Strathclyde
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2016
DOI
10.1007/978-3-319-30936-1_12
Open access status
Out of scope for open access requirements
Title of conference / published proceedings
A List of Successes That Can Change the World : Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday

Isolated, overwhelmed and worried : young first-time mothers asking for information ...

Submitting institution
University of Strathclyde
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.1002/asi.24037
Open access status
Compliant
Title of journal
Journal of the Association for Information Science and Technology

Lifelogging data validation model for internet of things enabled personalized he ...

Submitting institution
University of Strathclyde
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2016
DOI
10.1109/TSMC.2016.2586075
Open access status
Other exception
Title of journal
IEEE Transactions on Systems, Man and, Cybernetics: Systems

Making diabetes education interactive : tangible educational toys for children with ...

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

Management of acceptable use of computing facilities in the public library : avoiding ...

Submitting institution
University of Strathclyde
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2015
DOI
10.1108/JD-04-2014-0061
Open access status
Out of scope for open access requirements
Title of journal
Journal of Documentation

Measuring the utility of search engine result pages : an information foraging based ...

Submitting institution
University of Strathclyde
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2018
DOI
10.1145/3209978.3210027
Title of conference / published proceedings
41st International ACM SIGIR Conference on Research and Development in Information Retrieval

Modelling interaction with economic models of search

Submitting institution
University of Strathclyde
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2014
DOI
10.1145/2600428.2609574
Title of conference / published proceedings
SIGIR '14 Proceedings of the 37th International ACM SIGIR Conference on Research & Development in Information Retrieval

Multi-Moji : Combining thermal, vibrotactile & visual stimuli to expand the affective ...

Submitting institution
University of Strathclyde
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2017
DOI
10.1145/3025453.3025614
Title of conference / published proceedings
CHI 2017 - Proceedings of the 2017 ACM SIGCHI Conference on Human Factors in Computing Systems : Explore, Innovate, Inspire

Object manipulation in Virtual Reality under increasing levels of translational ...

Submitting institution
University of Strathclyde
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2018
DOI
10.1145/3173574.3173673
Title of conference / published proceedings
CHI 2018 - Proceedings of the 2018 CHI Conference on Human Factors in Computing Systems : Engage with CHI

On fine-grained geolocalisation of tweets and real-time traffic incident detecti ...

Submitting institution
University of Strathclyde
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.1016/j.ipm.2018.03.011
Open access status
Compliant
Title of journal
Information Processing and Management

On k-11-representable graphs

Submitting institution
University of Strathclyde
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2019
DOI
10.4310/JOC.2019.v10.n3.a3
Open access status
Compliant
Title of journal
Journal of Combinatorics

On the axiomatizability of quantitative algebras

Submitting institution
University of Strathclyde
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2017
DOI
10.1109/LICS.2017.8005102
Title of conference / published proceedings
32nd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2017

On the qubit routing problem

Submitting institution
University of Strathclyde
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2019
DOI
10.4230/LIPIcs.TQC.2019.5
Open access status
Compliant
Title of conference / published proceedings
14th Conference on the Theory of Quantum Computation, Communication and Cryptography (TQC 2019)

On the topology of the permutation pattern poset

Submitting institution
University of Strathclyde
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2015
DOI
10.1016/j.jcta.2015.02.009
Open access status
Out of scope for open access requirements
Title of journal
Journal of Combinatorial Theory Series A

Perception of ultrasonic haptic feedback on the hand : localisation and apparent ...

Submitting institution
University of Strathclyde
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2014
DOI
10.1145/2556288.2557033
Title of conference / published proceedings
CHI '14 : Proceedings of the SIGCHI Conference on Human Factors in Computing

Permutations, moments, measures

Submitting institution
University of Strathclyde
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2020
DOI
10.1090/tran/8330
Open access status
Compliant
Title of journal
Transactions of the American Mathematical Society

Phase gadget synthesis for shallow circuits

Submitting institution
University of Strathclyde
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2019
DOI
10.4204/EPTCS.318.13
Open access status
Exception within 3 months of publication
Title of conference / published proceedings
Proceedings 16th International Conference on Quantum Physics and Logic

Planning for hybrid systems via Satisfiability Modulo Theories

Submitting institution
University of Strathclyde
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2020
DOI
10.1613/jair.1.11751
Open access status
Compliant
Title of journal
Journal of Artificial Intelligence Research

Predicting individuals' vulnerability to social engineering in social networks

Submitting institution
University of Strathclyde
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2020
DOI
10.1186/s42400-020-00047-5
Open access status
Compliant
Title of journal
Cybersecurity

Quantitative algebraic reasoning

Submitting institution
University of Strathclyde
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2016
DOI
10.1145/2933575.2934518
Title of conference / published proceedings
LICS '16 : Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science

Riordan graphs I : structural properties

Submitting institution
University of Strathclyde
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2019
DOI
10.1016/j.laa.2019.05.033
Open access status
Compliant
Title of journal
Linear Algebra and its Applications

Search process as transitions between neural states

Submitting institution
University of Strathclyde
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2018
DOI
10.1145/3178876.3186080
Title of conference / published proceedings
Proceedings of the 2018 World Wide Web Conference

Searching and stopping : an analysis of stopping rules and strategies

Submitting institution
University of Strathclyde
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2015
DOI
10.1145/2806416.2806476
Title of conference / published proceedings
CIKM '15 : Proceedings of the 24th ACM International on Conference on Information and Knowledge Management

Security metrics for the Android ecosystem

Submitting institution
University of Strathclyde
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2015
DOI
10.1145/2808117.2808118
Title of conference / published proceedings
ACM CCS Workshop on Security and Privacy in Smartphones and Mobile Devices (SPSM)

Stable model semantics for guarded existential rules and description logics

Submitting institution
University of Strathclyde
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2014
Title of conference / published proceedings
Principles of Knowledge Representation and Reasoning : Proceedings of the Fourteenth International Conference, KR 2014

Symmetry in concurrent games

Submitting institution
University of Strathclyde
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2014
DOI
10.1145/2603088.2603141
Title of conference / published proceedings
CSL-LICS '14 : Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)

The concurrent game semantics of Probabilistic PCF

Submitting institution
University of Strathclyde
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2018
DOI
10.1145/3209108.3209187
Open access status
Other exception
Title of conference / published proceedings
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2018

The cortical activity of graded relevance

Submitting institution
University of Strathclyde
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2020
DOI
10.1145/3397271.3401106
Title of conference / published proceedings
SIGIR '20 - Proceedings of the 43rd International ACM SIGIR Conference on Research and Development in Information Retrieval

The information needs matrix : a navigational guide for refugee integration

Submitting institution
University of Strathclyde
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2019
DOI
10.1016/j.ipm.2018.12.001
Open access status
Compliant
Title of journal
Information Processing and Management

The language of information need : differentiating conscious and formalized information ...

Submitting institution
University of Strathclyde
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.1016/j.ipm.2018.09.005
Open access status
Compliant
Title of journal
Information Processing and Management

The role of digital technologies during relationship breakdowns

Submitting institution
University of Strathclyde
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2016
DOI
10.1145/2818048.2819925
Title of conference / published proceedings
Proceedings of the 19th ACM Conference on Computer-Supported Cooperative Work and Social Computing, CSCW 2016

The syntax and semantics of quantitative type theory

Submitting institution
University of Strathclyde
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2018
DOI
10.1145/3209108.3209189
Title of conference / published proceedings
LICS '18 : Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, July 9-12, 2018, Oxford, United Kingdom

The true concurrency of Herbrand's theorem

Submitting institution
University of Strathclyde
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2018
DOI
10.4230/LIPIcs.CSL.2018.5
Open access status
Compliant
Title of conference / published proceedings
27th EACSL Annual Conference on Computer Science Logic (CSL 2018)

The use of kernel density estimation with a bio-physical model provides a method ...

Submitting institution
University of Strathclyde
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.3389/fvets.2018.00269
Open access status
Compliant
Title of journal
Frontiers in Veterinary Science

Tiered trees, weights, and q-Eulerian numbers

Submitting institution
University of Strathclyde
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.1016/j.jcta.2018.12.002
Open access status
Compliant
Title of journal
Journal of Combinatorial Theory Series A

Turing-completeness totally free

Submitting institution
University of Strathclyde
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2015
DOI
10.1007/978-3-319-19797-5_13
Open access status
Out of scope for open access requirements
Title of conference / published proceedings
Mathematics of Program Construction : 12th International Conference, MPC 2015, Königswinter, Germany, June 29--July 1, 2015. Proceedings

Understanding information need : an fMRI study

Submitting institution
University of Strathclyde
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2016
DOI
10.1145/2911451.2911534
Title of conference / published proceedings
Proceedings of the 39th International ACM SIGIR conference on Research and Development in Information Retrieval

Unrestricted stone duality for Markov processes

Submitting institution
University of Strathclyde
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2017
DOI
10.1109/LICS.2017.8005152
Title of conference / published proceedings
2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)

Using degraded music quality to encourage a health improving walking pace : Beat ...

Submitting institution
University of Strathclyde
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2015
DOI
10.4108/icst.pervasivehealth.2015.259072
Open access status
Out of scope for open access requirements
Title of conference / published proceedings
PervasiveHealth 2015, 9th International Conference on Pervasive Computing Technologies for Healthcare

Using internet groups in situations of information poverty : topics and information ...

Submitting institution
University of Strathclyde
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2014
DOI
10.1002/asi.22962
Open access status
Out of scope for open access requirements
Title of journal
Journal of the American Society for Information Science and Technology

Web matrices : structural properties and generating combinatorial identities

Submitting institution
University of Strathclyde
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2016
Open access status
Out of scope for open access requirements
Title of journal
The Electronic Journal of Combinatorics

What's in a bug report?

Submitting institution
University of Strathclyde
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2014
DOI
10.1145/2652524.2652541
Title of conference / published proceedings
ESEM '14 : Proceedings of the 8th ACM/IEEE International Symposium on Empirical Software Engineering and Measurement

Whither Wilderness? An investigation of technology use by long-distance backpack ...

Submitting institution
University of Strathclyde
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2020
DOI
10.1002/asi.24437
Open access status
Compliant
Title of journal
Journal of the Association for Information Science and Technology

Why aren't users using protection? Investigating the usability of smartphone loc ...

Submitting institution
University of Strathclyde
Unit of assessment
11 - Computer Science and Informatics
Type
C - Chapter in book
Year of publication
2015
DOI
10.1145/2785830.2785835
Book title
Proceedings of the 17th International Conference on Human-Computer Interaction with Mobile Devices and Services : MobileHCI 2015
Showing outputs 1 to 80 of 80

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.