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

  • Heriot-Watt University
   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 79 of 79

A dialogue based mobile virtual assistant for tourists: The SpaceBook Project

Submitting institution
Heriot-Watt University
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.1016/j.compenvurbsys.2017.09.010
Open access status
Access exception
Title of journal
Computers, Environment and Urban Systems

A formal analysis of 5g authentication

Submitting institution
Heriot-Watt University
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2018
DOI
10.1145/3243734.3243846
Title of conference / published proceedings
CCS '18: Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security

A New Evolutionary Algorithm-Based Home Monitoring Device for Parkinson's Dyskin ...

Submitting institution
Heriot-Watt University
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.1007/s10916-017-0811-7
Open access status
Compliant
Title of journal
Journal of Medical Systems

A New Framework for Personal Name Disambiguation

Submitting institution
Heriot-Watt University
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2018
DOI
10.1007/978-3-030-01174-1_76
Open access status
Compliant
Title of conference / published proceedings
Intelligent Computing : SAI 2018

A novel artificial bee colony based clustering algorithm for categorical data

Submitting institution
Heriot-Watt University
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2015
DOI
10.1371/journal.pone.0127125
Open access status
Out of scope for open access requirements
Title of journal
PLoS ONE

A Novel Knee Rehabilitation System for the Home

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

A semantics for propositions as sessions

Submitting institution
Heriot-Watt University
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2015
DOI
10.1007/978-3-662-46669-8_23
Open access status
Out of scope for open access requirements
Title of conference / published proceedings
Programming Languages and Systems : ESOP 2015

A Situation-Aware Fear Learning (SAFEL) Model for Robots

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

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

Submitting institution
Heriot-Watt University
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.1145/3236785
Open access status
Compliant
Title of journal
Proceedings of the ACM on Programming Languages

A Vertical and Cyber-Physical Integration of Cognitive Robots in Manufacturing

Submitting institution
Heriot-Watt University
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2016
DOI
10.1109/JPROC.2016.2521731
Open access status
Out of scope for open access requirements
Title of journal
Proceedings of the IEEE

Abstracting extensible data types: or, rows by any other name

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

Adaptable Pouring: Teaching Robots Not to Spill using Fast but Approximate Fluid ...

Submitting institution
Heriot-Watt University
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2017
Open access status
Out of scope for open access requirements
Title of conference / published proceedings
Proceedings of Machine Learning Research: Conference on Robot Learning, 13-15 November 2017

Adaptive generation in dialogue systems using dynamic user modeling

Submitting institution
Heriot-Watt University
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2014
DOI
10.1162/COLI_a_00203
Open access status
Out of scope for open access requirements
Title of journal
Computational Linguistics

Artificial Epigenetic Networks : Automatic Decomposition of Dynamical Control Tasks ...

Submitting institution
Heriot-Watt University
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2016
DOI
10.1109/TNNLS.2015.2497142
Open access status
Out of scope for open access requirements
Title of journal
IEEE Transactions on Neural Networks and Learning Systems

Attack-defense trees

Submitting institution
Heriot-Watt University
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2014
DOI
10.1093/logcom/exs029
Open access status
Out of scope for open access requirements
Title of journal
Journal of Logic and Computation

Automated unbounded verification of stateful cryptographic protocols with exclusive ...

Submitting institution
Heriot-Watt University
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2018
DOI
10.1109/CSF.2018.00033
Open access status
Compliant
Title of conference / published proceedings
2018 IEEE 31st Computer Security Foundations Symposium (CSF)

Avoiding Security Pitfalls with Functional Programming : A Report on the Development ...

Submitting institution
Heriot-Watt University
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2015
DOI
10.1109/ICSE.2015.149
Title of conference / published proceedings
2015 IEEE/ACM 37th IEEE International Conference on Software Engineering (ICSE)

Blending human and artificial intelligence to support autistic children's social ...

Submitting institution
Heriot-Watt University
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.1145/3271484
Open access status
Compliant
Title of journal
ACM Transactions on Computer-Human Interaction

Bridging Curry and Church's typing style

Submitting institution
Heriot-Watt University
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2016
DOI
10.1016/j.jal.2016.05.008
Open access status
Compliant
Title of journal
Journal of Applied Logic

Cluster-based prediction of user ratings for stylistic surface realisation

Submitting institution
Heriot-Watt University
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2014
DOI
10.3115/v1/E14-1074
Title of conference / published proceedings
Proceedings of the 14th Conference of the European Chapter of the Association for Computational Linguistics

Coalgebraic logic programming : from Semantics to Implementation

Submitting institution
Heriot-Watt University
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2014
DOI
10.1093/logcom/exu026
Open access status
Out of scope for open access requirements
Title of journal
Journal of Logic and Computation

Coinduction in Uniform : Foundations for Corecursive Proof Search with Horn Clau ...

Submitting institution
Heriot-Watt University
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2019
DOI
10.1007/978-3-030-17184-1_28
Open access status
Compliant
Title of conference / published proceedings
Programming Languages and Systems : ESOP 2019

Crowdsourced Feedback With Imagery Rather Than Text: Would Designers Use It?

Submitting institution
Heriot-Watt University
Unit of assessment
11 - Computer Science and Informatics
Type
C - Chapter in book
Year of publication
2015
DOI
10.1145/2702123.2702470
Book title
Proceedings of the 33rd Annual ACM Conference on Human Factors in Computing Systems

Data-to-Text Generation Improves Decision-Making Under Uncertainty

Submitting institution
Heriot-Watt University
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.1109/MCI.2017.2708998
Open access status
Compliant
Title of journal
IEEE Computational Intelligence Magazine

Do Be Do Be Do

Submitting institution
Heriot-Watt University
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2017
DOI
10.1145/3009837.3009897
Title of conference / published proceedings
POPL 2017: Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages

Endowing a Robotic Tutor with Empathic Qualities: Design and Pilot Evaluation

Submitting institution
Heriot-Watt University
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.1142/S0219843618500251
Open access status
Compliant
Title of journal
International Journal of Humanoid Robotics

Evaluating the State-of-the-Art of End-to-End Natural Language Generation: The E2E ...

Submitting institution
Heriot-Watt University
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2019
DOI
10.1016/j.csl.2019.06.009
Open access status
Compliant
Title of journal
Computer Speech and Language

Experimental large-scale review of attractors for detection of potentially unwanted ...

Submitting institution
Heriot-Watt University
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.1016/j.cose.2018.02.017
Open access status
Compliant
Title of journal
Computers and Security

Explicit substitution calculi with de Bruijn indices and intersection type syste ...

Submitting institution
Heriot-Watt University
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2014
DOI
10.1093/jigpal/jzu044
Open access status
Out of scope for open access requirements
Title of journal
Logic Journal of the IGPL

Feedback in conversation as incremental semantic update

Submitting institution
Heriot-Watt University
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2015
Title of conference / published proceedings
Proceedings of the 11th International Conference on Computational Semantics

Generating performance portable code using rewrite rules: from high-level functional ...

Submitting institution
Heriot-Watt University
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2015
DOI
10.1145/2784731.2784754
Title of conference / published proceedings
Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming

HPC-GAP : Engineering a 21st-century high-performance computer algebra system

Submitting institution
Heriot-Watt University
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2016
DOI
10.1002/cpe.3746
Open access status
Out of scope for open access requirements
Title of journal
Concurrency and Computation: Practice and Experience

I Remember You! Interaction with Memory for an Empathic Virtual Robotic Tutor

Submitting institution
Heriot-Watt University
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2016
Title of conference / published proceedings
Proceedings of the 15th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2016)

Improving the Sampling Strategy for Point-to-Point Line-Of-Sight Modelling in Urban ...

Submitting institution
Heriot-Watt University
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2016
DOI
10.1080/13658816.2016.1243243
Open access status
Compliant
Title of journal
International Journal of Geographical Information Science

Information density and overlap in spoken dialogue

Submitting institution
Heriot-Watt University
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2015
DOI
10.1016/j.csl.2015.11.001
Open access status
Out of scope for open access requirements
Title of journal
Computer Speech and Language

Integrating Mission and Task Planning in an Industrial Robotics Framework

Submitting institution
Heriot-Watt University
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2017
Open access status
Compliant
Title of conference / published proceedings
Proceedings of the 27th International Conference on Automated Planning and Scheduling

Investigating the Long-Term Use of Exergames in the Home with Elderly Fallers

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

Investigating time series visualisations to improve the user experience

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

KABouM: Knowledge-Level Action and Bounding Geometry Motion Planner

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

Lessons Learned from the Deployment of a Long-term Autonomous Robot as Companion ...

Submitting institution
Heriot-Watt University
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2016
DOI
10.1109/HRI.2016.7451730
Title of conference / published proceedings
HRI '16: The Eleventh ACM/IEEE International Conference on Human Robot Interaction

Logic programming: Laxness and Saturation

Submitting institution
Heriot-Watt University
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.1016/j.jlamp.2018.07.004
Open access status
Compliant
Title of journal
Journal of Logical and Algebraic Methods in Programming

Modeling culture in intelligent virtual agents : From theory to implementation

Submitting institution
Heriot-Watt University
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2015
DOI
10.1007/s10458-015-9312-6
Open access status
Out of scope for open access requirements
Title of journal
Autonomous Agents and Multi-Agent Systems

Modeling human errors in security protocols

Submitting institution
Heriot-Watt University
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2016
DOI
10.1109/CSF.2016.30
Open access status
Technical exception
Title of conference / published proceedings
2016 IEEE 29th Computer Security Foundations Symposium (CSF)

Natural language generation as incremental planning under uncertainty: adaptive information ...

Submitting institution
Heriot-Watt University
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2014
DOI
10.1109/TASL.2014.2315271
Open access status
Out of scope for open access requirements
Title of journal
IEEE ACM Transactions on Audio, Speech, and Language Processing

Neural AMR: Sequence-to-Sequence Models for Parsing and Generation

Submitting institution
Heriot-Watt University
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2017
DOI
10.18653/v1/P17-1014
Title of conference / published proceedings
Proceedings of the 55th Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers)

On the expressive power of user-defined effects: effect handlers, monadic reflection, ...

Submitting institution
Heriot-Watt University
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.1145/3110257
Open access status
Compliant
Title of journal
Proceedings of the ACM on Programming Languages

Operational Semantics of Resolution and Productivity in Horn Clause Logic

Submitting institution
Heriot-Watt University
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2016
DOI
10.1007/s00165-016-0403-1
Open access status
Compliant
Title of journal
Formal Aspects of Computing

PAEAN: Portable and Scalable Runtime Support for Parallel Haskell Dialects

Submitting institution
Heriot-Watt University
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2016
DOI
10.1017/S0956796816000010
Open access status
Out of scope for open access requirements
Title of journal
Journal of Functional Programming

Perceptually Motivated Image Features Using Contours

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

Predicting epileptic seizures in advance

Submitting institution
Heriot-Watt University
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2014
DOI
10.1371/journal.pone.0099334
Open access status
Out of scope for open access requirements
Title of journal
PLoS ONE

Proof automation for functional correctness in separation logic

Submitting institution
Heriot-Watt University
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2014
DOI
10.1093/logcom/exu032
Open access status
Out of scope for open access requirements
Title of journal
Journal of Logic and Computation

QML-AiNet : An immune network approach to learning qualitative differential equation ...

Submitting institution
Heriot-Watt University
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2015
DOI
10.1016/j.asoc.2014.11.008
Open access status
Out of scope for open access requirements
Title of journal
Applied Soft Computing

Query shredding : Efficient relational evaluation of queries over nested multise ...

Submitting institution
Heriot-Watt University
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2014
DOI
10.1145/2588555.2612186
Title of conference / published proceedings
SIGMOD '14: Proceedings of the 2014 ACM SIGMOD International Conference on Management of Data

Recov-R: Evaluation of a Home-Based Tailored Exergame System to Reduce Fall risk ...

Submitting institution
Heriot-Watt University
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2019
DOI
10.1145/3325280
Open access status
Exception within 3 months of publication
Title of journal
ACM Transactions on Computer-Human Interaction

Reflections on monadic lenses

Submitting institution
Heriot-Watt University
Unit of assessment
11 - Computer Science and Informatics
Type
C - Chapter in book
Year of publication
2016
DOI
10.1007/978-3-319-30936-1_1
Book title
A List of Successes that can Change the World : Essays Dedicated to Philip Wadler on the Occasion of his 60th Birthday

Replicable parallel branch and bound search

Submitting institution
Heriot-Watt University
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.1016/j.jpdc.2017.10.010
Open access status
Compliant
Title of journal
Journal of Parallel and Distributed Computing

Representation and duality of the untyped λ-calculus in nominal lattice and topological ...

Submitting institution
Heriot-Watt University
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2016
DOI
10.1016/j.apal.2016.10.001
Open access status
Compliant
Title of journal
Annals of Pure and Applied Logic

RIPL: A Parallel Image Processing Language for FPGAs

Submitting institution
Heriot-Watt University
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.1145/3180481
Open access status
Compliant
Title of journal
ACM Transactions on Reconfigurable Technology and Systems

Scientific lenses to support multiple views over linked chemistry data

Submitting institution
Heriot-Watt University
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2014
DOI
10.1007/978-3-319-11964-9_7
Title of conference / published proceedings
The Semantic Web - ISWC 2014 : 13th International Semantic Web Conference, Riva del Garda, Italy, October 19-23, 2014. Proceedings, Part I

Semantics Out of Context : Nominal Absolute Denotations for First-Order Logic and ...

Submitting institution
Heriot-Watt University
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2016
DOI
10.1145/2700819
Open access status
Out of scope for open access requirements
Title of journal
Journal of the ACM

Sensitivity of marine protected area network connectivity to atmospheric variabi ...

Submitting institution
Heriot-Watt University
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2016
DOI
10.1098/rsos.160494
Open access status
Compliant
Title of journal
Royal Society Open Science

Skalpel: A constraint-based type error slicer for standard ML

Submitting institution
Heriot-Watt University
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2016
DOI
10.1016/j.jsc.2016.07.013
Open access status
Out of scope for open access requirements
Title of journal
Journal of Symbolic Computation

Spectral Analysis for Long-Term Robotic Mapping

Submitting institution
Heriot-Watt University
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2014
DOI
10.1109/ICRA.2014.6907396
Title of conference / published proceedings
2014 IEEE International Conference on Robotics and Automation (ICRA)

Structural bias in population-based algorithms

Submitting institution
Heriot-Watt University
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2015
DOI
10.1016/j.ins.2014.11.035
Open access status
Out of scope for open access requirements
Title of journal
Information Sciences

Summarizing Source Code using a Neural Attention Model

Submitting institution
Heriot-Watt University
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2016
DOI
10.18653/v1/P16-1195
Title of conference / published proceedings
Proceedings of the 54th Annual Meeting of the Association for Computational Linguistics : Long Papers

The ‘straight mouse’: defining anatomical axes in 3D embryo models

Submitting institution
Heriot-Watt University
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.1093/database/bax010
Open access status
Compliant
Title of journal
Database

The effect of thermal stimuli on the emotional perception of images

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

The IUPHAR/BPS Guide to PHARMACOLOGY in 2018: Updates and expansion to encompass ...

Submitting institution
Heriot-Watt University
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.1093/nar/gkx1121
Open access status
Compliant
Title of journal
Nucleic Acids Research

The multi-modal interface of Robot-Era multi-robot services tailored for the eld ...

Submitting institution
Heriot-Watt University
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.1007/s11370-017-0237-6
Open access status
Compliant
Title of journal
Intelligent Service Robotics

The STRANDS Project : Long-Term Autonomy in Everyday Environments

Submitting institution
Heriot-Watt University
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.1109/MRA.2016.2636359
Open access status
Compliant
Title of journal
IEEE Robotics and Automation Magazine

Training an adaptive dialogue policy for interactive learning of visually grounded ...

Submitting institution
Heriot-Watt University
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2016
DOI
10.18653/v1/W16-3643
Title of conference / published proceedings
Proceedings of the SIGDIAL 2016 Conference

Triangulating context lemmas

Submitting institution
Heriot-Watt University
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2018
DOI
10.1145/3167081
Title of conference / published proceedings
CPP 2018: Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs

Type-driven data layouts for improved vectorisation

Submitting institution
Heriot-Watt University
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2015
DOI
10.1002/cpe.3501
Open access status
Out of scope for open access requirements
Title of journal
Concurrency and Computation: Practice and Experience

Understanding Concept Maps: A Closer Look at How People Organise Ideas

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

User account access graphs

Submitting institution
Heriot-Watt University
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2019
DOI
10.1145/3319535.3354193
Title of conference / published proceedings
CCS 2019: Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security

Verifying Parallel Dataflow Transformations with Model Checking and its Application ...

Submitting institution
Heriot-Watt University
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2019
DOI
10.1016/j.sysarc.2019.101657
Open access status
Compliant
Title of journal
Journal of Systems Architecture

Werewolves, cheats, and cultural sensitivity

Submitting institution
Heriot-Watt University
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2014
Title of conference / published proceedings
Proceedings of the 13th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2014)

Why aren't Users Using Protection? Investigating the Usability of Smartphone Loc ...

Submitting institution
Heriot-Watt University
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2015
DOI
10.1145/2785830.2785835
Title of conference / published proceedings
MobileHCI '15 : Proceedings of the 17th International Conference on Human-Computer Interaction with Mobile Devices and Services

YewPar: Skeletons for Exact Combinatorial Search

Submitting institution
Heriot-Watt University
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2020
DOI
10.1145/3332466.3374537
Title of conference / published proceedings
PPoPP '20: Proceedings of the 25th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming
Showing outputs 1 to 79 of 79

Filter by higher education institution

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.