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 Edinburgh
   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 100 of 360

A Complete Dichotomy Rises from the Capture of Vanishing Signatures

Submitting institution
University of Edinburgh
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2016
DOI
10.1137/15M1049798
Open access status
Deposit exception
Title of journal
SIAM Journal on Computing

A Convenient Category for Higher-Order Probability Theory

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

A Deep and Tractable Density Estimator

Submitting institution
University of Edinburgh
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2014
Open access status
Out of scope for open access requirements
Title of conference / published proceedings
Proceedings of the 31st International Conference on Machine Learning

A Deep Learning Framework for Character Motion Synthesis and Editing

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

A Domain Theory for Statistical Probabilistic Programming

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

A Fast Analytical Model of Fully Associative Caches

Submitting institution
University of Edinburgh
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2019
DOI
10.1145/3314221.3314606
Title of conference / published proceedings
Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation

A Flattened Hierarchical Scheduler for Real-time Virtualization

Submitting institution
University of Edinburgh
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2016
DOI
10.1145/2968478.2968501
Title of conference / published proceedings
Proceedings of the 13th International Conference on Embedded Software

A Formal Semantics for the SmartFrog Configuration Language

Submitting institution
University of Edinburgh
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2015
DOI
10.1007/s10922-015-9351-y
Open access status
Out of scope for open access requirements
Title of journal
Journal of Network and Systems Management

A Formal Semantics of SQL Queries, Its Validation, and Applications

Submitting institution
University of Edinburgh
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.14778/3151113.3151116
Open access status
Compliant
Title of journal
Proceedings of the VLDB Endowment (PVLDB)

A Formal Universal of Natural Language Grammar

Submitting institution
University of Edinburgh
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2020
DOI
10.1353/lan.2020.0043
Open access status
Compliant
Title of journal
Language

A formalization of multi-tape Turing machines

Submitting institution
University of Edinburgh
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2015
DOI
10.1016/j.tcs.2015.07.013
Open access status
Out of scope for open access requirements
Title of journal
Theoretical Computer Science

A Framework for the Automatic Formal Verification of Refinement from Cogent to C

Submitting institution
University of Edinburgh
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2016
DOI
10.1007/978-3-319-43144-4_20
Open access status
Deposit exception
Title of conference / published proceedings
Interactive Theorem Proving : 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings

A Messy State of the Union: Taming the Composite State Machines of TLS

Submitting institution
University of Edinburgh
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2015
DOI
10.1109/SP.2015.39
Open access status
Out of scope for open access requirements
Title of conference / published proceedings
2015 IEEE Symposium on Security and Privacy

A Method for Invariant Generation for Polynomial Continuous Systems

Submitting institution
University of Edinburgh
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2015
DOI
10.1007/978-3-662-49122-5_13
Open access status
Out of scope for open access requirements
Title of conference / published proceedings
Verification, Model Checking, and Abstract Interpretation : 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings

A Polynomial-Time Approximation Algorithm for All-Terminal Network Reliability

Submitting institution
University of Edinburgh
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2019
DOI
10.1137/18M1201846
Open access status
Compliant
Title of journal
SIAM Journal on Computing

A Retargetable System-Level DBT Hypervisor

Submitting institution
University of Edinburgh
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2019
Title of conference / published proceedings
Proceedings of the 2019 USENIX Annual Technical Conference

A segmental framework for fully-unsupervised large-vocabulary speech recognition

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

A Step Towards the Standardisation of HIV Care Practices

Submitting institution
University of Edinburgh
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2017
DOI
10.5220/0006251304570462
Open access status
Compliant
Title of conference / published proceedings
Proceedings of the 10th International Joint Conference on Biomedical Engineering Systems and Technologies - (Volume 5)

A Systematic Nomenclature for the Drosophila Ventral Nerve Cord

Submitting institution
University of Edinburgh
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2020
DOI
10.1016/j.neuron.2020.08.005
Open access status
Compliant
Title of journal
Neuron

A Systematic Nomenclature for the Insect Brain

Submitting institution
University of Edinburgh
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2014
DOI
10.1016/j.neuron.2013.12.017
Open access status
Out of scope for open access requirements
Title of journal
Neuron

A Universally Composable Framework for the Privacy of Email Ecosystems

Submitting institution
University of Edinburgh
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2018
DOI
10.1007/978-3-030-03332-3_8
Open access status
Compliant
Title of conference / published proceedings
Advances in Cryptology – ASIACRYPT 2018 : 24th International Conference on the Theory and Application of Cryptology and Information Security, Brisbane, QLD, Australia, December 2–6, 2018, Proceedings, Part III

A Workflow-Driven Formal Methods Approach to the Generation of Structured Checklists ...

Submitting institution
University of Edinburgh
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2016
DOI
10.1109/JBHI.2016.2579881
Open access status
Deposit exception
Title of journal
IEEE Journal of Biomedical and Health Informatics

Acquisition of visual priors and induced hallucinations in chronic schizophrenia

Submitting institution
University of Edinburgh
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2019
DOI
10.1093/brain/awz171
Open access status
Compliant
Title of journal
Brain

Action Recognition with Dynamic Image Networks

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

Active lattices determine AW*-algebras

Submitting institution
University of Edinburgh
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2014
DOI
10.1016/j.jmaa.2014.02.041
Open access status
Out of scope for open access requirements
Title of journal
Journal of mathematical analysis and applications

Adapting the Edinburgh Geoparser for Historical Georeferencing

Submitting institution
University of Edinburgh
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2015
DOI
10.3366/ijhac.2015.0136
Open access status
Out of scope for open access requirements
Title of journal
International Journal of Humanities and Arts Computing

Adaptive Asynchronous Parallelization of Graph Algorithms

Submitting institution
University of Edinburgh
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2018
DOI
10.1145/3183713.3196918
Open access status
Compliant
Title of conference / published proceedings
Proceedings of the 2018 International Conference on Management of Data (SIGMOD'18)

Alignment and task success in spoken dialogue

Submitting institution
University of Edinburgh
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2014
DOI
10.1016/j.jml.2014.05.008
Open access status
Out of scope for open access requirements
Title of journal
Journal of Memory and Language

ALISA: An automatic lightly supervised speech segmentation and alignment tool

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

An Anatomically Constrained Model for Path Integration in the Bee Brain

Submitting institution
University of Edinburgh
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.1016/j.cub.2017.08.052
Open access status
Compliant
Title of journal
Current Biology

An Assessment of Paralinguistic Acoustic Features for Detection of Alzheimer’s Dementia ...

Submitting institution
University of Edinburgh
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2019
DOI
10.1109/JSTSP.2019.2955022
Open access status
Compliant
Title of journal
IEEE Journal of Selected Topics in Signal Processing

An Early Evaluation of Intel’s Optane DC Persistent Memory Module and its Impact ...

Submitting institution
University of Edinburgh
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2019
DOI
10.1145/3295500.3356159
Title of conference / published proceedings
SC'19 Proceedings of the International Conference for High Performance Computing, Networking, Storage, and Analysis

An Efficient Acyclic Contact Planner for Multiped Robots

Submitting institution
University of Edinburgh
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.1109/TRO.2018.2819658
Open access status
Deposit exception
Title of journal
IEEE Transactions on Robotics

An Ensemble Approach to Link Prediction

Submitting institution
University of Edinburgh
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.1109/TKDE.2017.2730207
Open access status
Technical exception
Title of journal
IEEE Transactions on Knowledge and Data Engineering

An Event-Triggered Programmable Prefetcher for Irregular Workloads

Submitting institution
University of Edinburgh
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.1145/3296957.3173189
Open access status
Technical exception
Title of journal
ACM Sigplan Notices

An Incremental Parser for Abstract Meaning Representation

Submitting institution
University of Edinburgh
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2017
Title of conference / published proceedings
Proceedings of the 15th Conference of the European Chapter of the Association for Computational Linguistics: Volume 1, Long Papers

Analyzing Multi-Head Self-Attention: Specialized Heads Do the Heavy Lifting, the ...

Submitting institution
University of Edinburgh
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2019
DOI
10.18653/v1/P19-1580
Title of conference / published proceedings
Proceedings of the 57th Annual Meeting of the Association for Computational Linguistics (long papers)

Anatomy of a Vulnerable Fitness Tracking System: Dissecting the Fitbit Cloud, App, ...

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

Approximating Markov Processes by Averaging

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

Are social bots a real threat? An agent-based model of the spiral of silence to analyse ...

Submitting institution
University of Edinburgh
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2019
DOI
10.1080/0960085X.2018.1560920
Open access status
Deposit exception
Title of journal
European Journal of Information Systems

Are we using enough listeners? No! An empirically-supported critique of Interspeech ...

Submitting institution
University of Edinburgh
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2015
Open access status
Out of scope for open access requirements
Title of conference / published proceedings
INTERSPEECH 2015

Association Rules with Graph Patterns

Submitting institution
University of Edinburgh
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2015
DOI
10.14778/2824032.2824048
Open access status
Out of scope for open access requirements
Title of conference / published proceedings
Proceedings of the VLDB Endowment (PVLDB)

ATOM: Atomic Durability in Non-volatile Memory through Hardware Logging

Submitting institution
University of Edinburgh
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2017
DOI
10.1109/HPCA.2017.50
Open access status
Compliant
Title of conference / published proceedings
2017 IEEE International Symposium on High Performance Computer Architecture (HPCA)

Automated Formal Synthesis of Digital Controllers for State-Space Physical Plant ...

Submitting institution
University of Edinburgh
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2017
DOI
10.1007/978-3-319-63387-9_23
Open access status
Technical exception
Title of conference / published proceedings
Computer Aided Verification

Automated Reasoning in the Age of the Internet

Submitting institution
University of Edinburgh
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2018
DOI
10.1007/978-3-319-99957-9_1
Open access status
Exception within 3 months of publication
Title of conference / published proceedings
13th International Conference on Artificial Intelligence and Symbolic Computation

Automatic Optimization of Thread-coarsening for Graphics Processors

Submitting institution
University of Edinburgh
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2014
DOI
10.1145/2628071.2628087
Open access status
Out of scope for open access requirements
Title of conference / published proceedings
PACT '14: Proceedings of the 23rd international conference on Parallel architectures and compilation

Automatic Search for the Best Trails in ARX: Application to Block Cipher Speck

Submitting institution
University of Edinburgh
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2016
DOI
10.1007/978-3-662-52993-5_15
Open access status
Deposit exception
Title of conference / published proceedings
Fast Software Encryption : 23rd International Conference, FSE 2016, Bochum, Germany, March 20-23, 2016, Revised Selected Papers

Bat detective - Deep learning tools for bat acoustic signal detection

Submitting institution
University of Edinburgh
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.1371/journal.pcbi.1005995
Open access status
Compliant
Title of journal
PLoS Computational Biology

Bayesian Optimization for Likelihood-Free Inference of Simulator-Based Statistical ...

Submitting institution
University of Edinburgh
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
Journal of Machine Learning Research

Belief and Truth in Hypothesised Behaviours

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

Big Code != Big Vocabulary: Open-Vocabulary Models for Source Code

Submitting institution
University of Edinburgh
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2020
DOI
10.1145/3377811.3380342
Title of conference / published proceedings
ICSE '20: Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering

Bitcoin as a Transaction Ledger: A Composable Treatment

Submitting institution
University of Edinburgh
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2017
DOI
10.1007/978-3-319-63688-7_11
Open access status
Deposit exception
Title of conference / published proceedings
Advances in Cryptology – CRYPTO 2017

BlockSwap: Fisher-guided Block Substitution for Network Compression on a Budget

Submitting institution
University of Edinburgh
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2020
Title of conference / published proceedings
Proceedings to the International Conference on Learning Representations 2020

Bootstrapping Language Acquisition

Submitting institution
University of Edinburgh
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.1016/j.cognition.2017.02.009
Open access status
Compliant
Title of journal
Cognition

Bounded Conjunctive Queries

Submitting institution
University of Edinburgh
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2014
DOI
10.14778/2732977.2732996
Open access status
Out of scope for open access requirements
Title of journal
Proceedings of the VLDB Endowment (PVLDB)

Bounded Query Rewriting Using Views

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

Breaking the Boundaries in Heterogeneous-ISA Datacenters

Submitting institution
University of Edinburgh
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2017
DOI
10.1145/3037697.3037738
Open access status
Deposit exception
Title of conference / published proceedings
ASPLOS '17: Proceedings of the Twenty-Second International Conference on Architectural Support for Programming Languages and Operating Systems

Bridging the divide in financial market forecasting: machine learners vs. financial ...

Submitting institution
University of Edinburgh
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2016
DOI
10.1016/j.eswa.2016.05.033
Open access status
Technical exception
Title of journal
Expert Systems with Applications

BRIE: transcriptome-wide splicing quantication in single cells

Submitting institution
University of Edinburgh
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.1186/s13059-017-1248-5
Open access status
Compliant
Title of journal
Genome Biology

But Why Does It Work? A Rational Protocol Design Treatment of Bitcoin

Submitting institution
University of Edinburgh
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2018
DOI
10.1007/978-3-319-78375-8_2
Open access status
Deposit exception
Title of conference / published proceedings
Advances in Cryptology – EUROCRYPT 2018

Can Common Crawl Reliably Track Persistent Identifier (PID) Use Over Time

Submitting institution
University of Edinburgh
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2018
DOI
10.1145/3184558.3191636
Title of conference / published proceedings
Companion Proceedings of the The Web Conference 2018

Can deep learning predict risky retail investors? A case study in financial risk ...

Submitting institution
University of Edinburgh
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2019
DOI
10.1016/j.ejor.2019.11.007
Open access status
Access exception
Title of journal
European Journal of Operational Research

Categories of quantum and classical channels

Submitting institution
University of Edinburgh
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2014
DOI
10.1007/s11128-014-0837-4
Open access status
Out of scope for open access requirements
Title of journal
Quantum Information Processing

C-CROC: Continuous and Convex Resolution of Centroidal Dynamic Trajectories for Legged ...

Submitting institution
University of Edinburgh
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2020
DOI
10.1109/TRO.2020.2964787
Open access status
Exception within 3 months of publication
Title of journal
IEEE Transactions on Robotics

Celebrating Diversity: A Mixture of Experts Approach for Runtime Mapping in Dynamic ...

Submitting institution
University of Edinburgh
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2015
DOI
10.1145/2737924.2737999
Title of conference / published proceedings
Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation

Certain Answers as Objects and Knowledge

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

Changes in cognitive flexibility and hypothesis search across human life history ...

Submitting institution
University of Edinburgh
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.1073/pnas.1700811114
Open access status
Compliant
Title of journal
Proceedings of the National Academy of Sciences

Chi: A Scalable and Programmable Control Plane for Distributed Stream Processing ...

Submitting institution
University of Edinburgh
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.14778/3231751.3231765
Open access status
Technical exception
Title of journal
Proceedings of the VLDB Endowment (PVLDB)

Coarse-to-Fine Decoding for Neural Semantic Parsing

Submitting institution
University of Edinburgh
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2018
DOI
10.18653/v1/P18-1068
Title of conference / published proceedings
Proceedings of the 56th Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers)

Co-Designing a Device for Behaviour-Based Energy Reduction in a Large Organisati ...

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

Cogent: Verifying High-Assurance File System Implementations

Submitting institution
University of Edinburgh
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2016
DOI
10.1145/2872362.2872404
Open access status
Out of scope for open access requirements
Title of conference / published proceedings
Proceedings of the Twenty-First International Conference on Architectural Support for Programming Languages and Operating Systems

Coherence Generalises Duality: A Logical Explanation of Multiparty Session Types

Submitting institution
University of Edinburgh
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2016
DOI
10.4230/LIPIcs.CONCUR.2016.33
Open access status
Compliant
Title of conference / published proceedings
27th International Conference on Concurrency Theory (CONCUR 2016)

Color Homography: Theory and Applications

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

Compiler Fuzzing through Deep Learning

Submitting institution
University of Edinburgh
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2018
DOI
10.1145/3213846.3213848
Title of conference / published proceedings
Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis

Complexity-Theoretic Limitations on Blind Delegated Quantum Computation

Submitting institution
University of Edinburgh
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2019
DOI
10.4230/LIPIcs.ICALP.2019.6
Open access status
Compliant
Title of conference / published proceedings
46th International Colloquium on Automata, Languages, and Programming (ICALP 2019)

Composing Security Protocols: From Confidentiality to Privacy

Submitting institution
University of Edinburgh
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2015
DOI
10.1007/978-3-662-46666-7_17
Open access status
Out of scope for open access requirements
Title of conference / published proceedings
Principles of Security and Trust : 4th International Conference, POST 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings

Connecting software build with maintaining consistency between models: towards sound, ...

Submitting institution
University of Edinburgh
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2020
DOI
10.1007/s10270-020-00788-4
Open access status
Compliant
Title of journal
Software and Systems Modeling

Constant-Size Structure-Preserving Signatures: Generic Constructions and Simple ...

Submitting institution
University of Edinburgh
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2015
DOI
10.1007/s00145-015-9211-7
Open access status
Out of scope for open access requirements
Title of journal
Journal of Cryptology

Convolutional Neural Networks for Distant Speech Recognition

Submitting institution
University of Edinburgh
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2014
DOI
10.1109/LSP.2014.2325781
Open access status
Out of scope for open access requirements
Title of journal
IEEE Signal Processing Letters

Counterexample Guided Inductive Synthesis Modulo Theories

Submitting institution
University of Edinburgh
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2018
DOI
10.1007/978-3-319-96145-3_15
Open access status
Compliant
Title of conference / published proceedings
Computer Aided Verification (CAV 2018) Part I

Counting Triangles under Updates in Worst-Case Optimal Time

Submitting institution
University of Edinburgh
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2019
DOI
10.4230/LIPIcs.ICDT.2019.4
Open access status
Compliant
Title of conference / published proceedings
22nd International Conference on Database Theory (ICDT 2019)

Crossbow: Scaling Deep Learning with Small Batch Sizes on Multi-GPU Servers

Submitting institution
University of Edinburgh
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2019
DOI
10.14778/3342263.3342276
Open access status
Technical exception
Title of journal
Proceedings of the VLDB Endowment (PVLDB)

Cypher: An Evolving Query Language for Property Graphs

Submitting institution
University of Edinburgh
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2018
DOI
10.1145/3183713.3190657
Open access status
Compliant
Title of conference / published proceedings
SIGMOD '18: Proceedings of the 2018 International Conference on Management of Data

Data Driven Approximation with Bounded Resources

Submitting institution
University of Edinburgh
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.14778/3099622.3099628
Open access status
Compliant
Title of journal
Proceedings of the VLDB Endowment (PVLDB)

DEMOS-2: Scalable E2E Verifiable Elections Without Random Oracles

Submitting institution
University of Edinburgh
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2015
DOI
10.1145/2810103.2813727
Title of conference / published proceedings
Proceedings of the 22nd ACM SIGSAC Conference on Computer and Communications Security

Denotational validation of higher-order Bayesian inference

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

Design Strategies for ARX with Provable Bounds: Sparx and LAX

Submitting institution
University of Edinburgh
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2016
DOI
10.1007/978-3-662-53887-6_18
Open access status
Deposit exception
Title of conference / published proceedings
Advances in Cryptology -- ASIACRYPT 2016

Designing for young children with autism spectrum disorder in health and education: ...

Submitting institution
University of Edinburgh
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2016
DOI
10.1016/j.ijcci.2016.03.002
Open access status
Out of scope for open access requirements
Title of journal
International Journal of Child-Computer Interaction

Detecting repeated cancer evolution from multi-region tumor sequencing data

Submitting institution
University of Edinburgh
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.1038/s41592-018-0108-x
Open access status
Compliant
Title of journal
Nature Methods

Detecting Topic-Oriented Speaker Stance in Conversational Speech

Submitting institution
University of Edinburgh
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2019
DOI
10.21437/Interspeech.2019-2632
Open access status
Compliant
Title of conference / published proceedings
Proceedings of Interspeech 2019

Developing a scalable hybrid MPI/OpenMP unstructured finite element model

Submitting institution
University of Edinburgh
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2014
DOI
10.1016/j.compfluid.2014.09.007
Open access status
Out of scope for open access requirements
Title of journal
Computers and Fluids

DHTM: Durable Hardware Transactional Memory

Submitting institution
University of Edinburgh
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2018
DOI
10.1109/ISCA.2018.00045
Open access status
Compliant
Title of conference / published proceedings
2018 ACM/IEEE 45th Annual International Symposium on Computer Architecture (ISCA)

Differentially Private Learning of Structured Discrete Distributions

Submitting institution
University of Edinburgh
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2015
Open access status
Out of scope for open access requirements
Title of conference / published proceedings
Advances in Neural Information Processing Systems 28

Dijkstra Monads for Free

Submitting institution
University of Edinburgh
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2017
DOI
10.1145/3009837.3009878
Open access status
Compliant
Title of conference / published proceedings
Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages

Disambiguating Visual Verbs

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

Disentangling Disentanglement in Variational Autoencoders

Submitting institution
University of Edinburgh
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2019
Open access status
Technical exception
Title of conference / published proceedings
Proceedings of the 36th International Conference on Machine Learning

dispel4py: A Python framework for data-intensive scientific computing

Submitting institution
University of Edinburgh
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2016
DOI
10.1177/1094342016649766
Open access status
Out of scope for open access requirements
Title of journal
International Journal of High Performance Computing Applications

Distinct learning-induced changes in stimulus selectivity and interactions of GABAergic ...

Submitting institution
University of Edinburgh
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.1038/s41593-018-0143-z
Open access status
Technical exception
Title of journal
Nature Neuroscience

Distributed Submodular Maximization

Submitting institution
University of Edinburgh
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
Journal of Machine Learning Research

Dyadic collaborative Manipulation through Hybrid Trajectory Optimization

Submitting institution
University of Edinburgh
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2018
Open access status
Compliant
Title of conference / published proceedings
Proceedings of The 2nd Conference on Robot Learning
Showing outputs 1 to 100 of 360

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.