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

  • The University of Sheffield
   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 127

A coalgebraic treatment of conditional transition systems with upgrades

Submitting institution
The University of Sheffield
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.23638/LMCS-14(1:19)2018
Open access status
Compliant
Title of journal
Logical Methods in Computer Science (LMCS)

A complete parameterized complexity analysis of bounded planning

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

A machine learning cardiac magnetic resonance approach to extract disease features ...

Submitting institution
The University of Sheffield
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2020
DOI
10.1093/ehjci/jeaa001
Open access status
Compliant
Title of journal
European Heart Journal - Cardiovascular Imaging

A Model for an Angular Velocity-Tuned Motion Detector Accounting for Deviations in ...

Submitting institution
The University of Sheffield
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2016
DOI
10.1371/journal.pcbi.1004887
Open access status
Out of scope for open access requirements
Title of journal
PLoS Computational Biology

A Novel Weakly-Supervised Approach for RGB-D-Based Nuclear Waste Object Detectio ...

Submitting institution
The University of Sheffield
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.1109/jsen.2018.2888815
Open access status
Technical exception
Title of journal
IEEE Sensors Journal

A Parameterized Study of Maximum Generalized Pattern Matching Problems

Submitting institution
The University of Sheffield
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2015
DOI
10.1007/s00453-015-0008-8
Open access status
Out of scope for open access requirements
Title of journal
Algorithmica

A Screening Test for Disclosed Vulnerabilities in FOSS Components

Submitting institution
The University of Sheffield
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.1109/TSE.2018.2816033
Open access status
Compliant
Title of journal
IEEE Transactions on Software Engineering

A Sound and Complete Proof Technique for Linearizability of Concurrent Data Stru ...

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

A verified and optimized Stream X‐Machine testing method, with application to cloud ...

Submitting institution
The University of Sheffield
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2020
DOI
10.1002/stvr.1729
Open access status
Compliant
Title of journal
Software Testing, Verification and Reliability

Abstract concept learning in a simple neural network inspired by the insect brai ...

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

Acoustic adaptation to dynamic background conditions with asynchronous transform ...

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

An analysis of environment, microphone and data simulation mismatches in robust speech ...

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

An analysis of the user occupational class through Twitter content

Submitting institution
The University of Sheffield
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2015
DOI
10.3115/v1/p15-1169
Title of conference / published proceedings
Proceedings of the 53rd Annual Meeting of the Association for Computational Linguistics and the 7th International Joint Conference on Natural Language Processing (Volume 1: Long Papers)

An unsupervised data-driven method to discover equivalent relations in large Linked ...

Submitting institution
The University of Sheffield
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2016
DOI
10.3233/SW-150193
Open access status
Compliant
Title of journal
Semantic Web

Analysing the Robustness of Evolutionary Algorithms to Noise: Refined Runtime Bounds ...

Submitting institution
The University of Sheffield
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2020
DOI
10.1007/s00453-020-00671-0
Open access status
Compliant
Title of journal
Algorithmica

Analysis of diversity mechanisms for optimisation in dynamic environments with low ...

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

Analysis of named entity recognition and linking for tweets

Submitting institution
The University of Sheffield
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2014
DOI
10.1016/j.ipm.2014.10.006
Open access status
Out of scope for open access requirements
Title of journal
Information Processing & Management

Approximate counting in SMT and value estimation for probabilistic programs

Submitting institution
The University of Sheffield
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.1007/s00236-017-0297-2
Open access status
Deposit exception
Title of journal
Acta Informatica

Authorized Keyword Search over Outsourced Encrypted Data in Cloud Environment

Submitting institution
The University of Sheffield
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2019
DOI
10.1109/tcc.2019.2931896
Open access status
Compliant
Title of journal
IEEE Transactions on Cloud Computing

Automated repair of layout cross browser issues using search-based techniques

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

Automatic selection of verification tools for efficient analysis of biochemical ...

Submitting institution
The University of Sheffield
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.1093/bioinformatics/bty282
Open access status
Compliant
Title of journal
Bioinformatics

Autonomous Clothes Manipulation Using a Hierarchical Vision Architecture

Submitting institution
The University of Sheffield
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.1109/access.2018.2883072
Open access status
Technical exception
Title of journal
IEEE Access

Bindings as bounded natural functors

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

Block Ciphers – Focus on the Linear Layer (feat. PRIDE)

Submitting institution
The University of Sheffield
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2014
DOI
10.1007/978-3-662-44371-2_4
Open access status
Out of scope for open access requirements
Title of conference / published proceedings
Advances in Cryptology – CRYPTO 2014. CRYPTO 2014. Lecture Notes in Computer Science

Building program construction and verification tools from algebraic principles

Submitting institution
The University of Sheffield
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2015
DOI
10.1007/s00165-015-0343-1
Open access status
Out of scope for open access requirements
Title of journal
Formal Aspects of Computing

Cloud-Based Automated Clinical Decision Support System for Detection and Diagnosis ...

Submitting institution
The University of Sheffield
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2019
DOI
10.1109/jtehm.2019.2955458
Open access status
Compliant
Title of journal
IEEE Journal of Translational Engineering in Health and Medicine

Code Defenders: Crowdsourcing Effective Tests and Subtle Mutants with a Mutation ...

Submitting institution
The University of Sheffield
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2017
DOI
10.1109/ICSE.2017.68
Open access status
Not compliant
Title of conference / published proceedings
2017 IEEE/ACM 39th International Conference on Software Engineering (ICSE)

Combining Centralised and Distributed Testing

Submitting institution
The University of Sheffield
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2014
DOI
10.1145/2661296
Open access status
Out of scope for open access requirements
Title of journal
ACM Transactions on Software Engineering and Methodology

Completeness Theorems for Bi-Kleene Algebras and Series-Parallel Rational Pomset ...

Submitting institution
The University of Sheffield
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2014
DOI
10.1007/978-3-319-06251-8_5
Open access status
Out of scope for open access requirements
Title of conference / published proceedings
Relational and Algebraic Methods in Computer Science. RAMICS 2014. Lecture Notes in Computer Science

Concurrent Dynamic Algebra

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

Condition estimation for regression and feature selection

Submitting institution
The University of Sheffield
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2019
DOI
10.1016/j.cam.2019.03.041
Open access status
Exception within 3 months of publication
Title of journal
Journal of Computational and Applied Mathematics

Conditional transition systems with upgrades

Submitting institution
The University of Sheffield
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2019
DOI
10.1016/j.scico.2019.102320
Open access status
Deposit exception
Title of journal
Science of Computer Programming

Co-occurrence graphs for word sense disambiguation in the biomedical domain

Submitting institution
The University of Sheffield
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.1016/j.artmed.2018.03.002
Open access status
Compliant
Title of journal
Artificial Intelligence in Medicine

Cooperative Set Homomorphic Proofs for Data Possession Checking in Clouds

Submitting institution
The University of Sheffield
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.1109/tcc.2018.2865343
Open access status
Deposit exception
Title of journal
IEEE Transactions on Cloud Computing

Counting Linear Extensions: Parameterizations by Treewidth

Submitting institution
The University of Sheffield
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.1007/s00453-018-0496-4
Open access status
Compliant
Title of journal
Algorithmica

Deep Convolutional Neural Networks for Human Action Recognition Using Depth Maps ...

Submitting institution
The University of Sheffield
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2019
DOI
10.1109/tsmc.2018.2850149
Open access status
Exception within 3 months of publication
Title of journal
IEEE Transactions on Systems, Man, and Cybernetics: Systems

Defining and Verifying Durable Opacity: Correctness for Persistent Software Transactional ...

Submitting institution
The University of Sheffield
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2020
DOI
10.1007/978-3-030-50086-3_3
Open access status
Compliant
Title of conference / published proceedings
Formal Techniques for Distributed Objects, Components, and Systems. FORTE 2020. Lecture Notes in Computer Science

Dementia detection using automatic analysis of conversations

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

Dietary Docosahexaenoic Acid Reduces Oscillatory Wall Shear Stress, Atherosclerosis, ...

Submitting institution
The University of Sheffield
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.1161/JAHA.118.008757
Open access status
Compliant
Title of journal
Journal of the American Heart Association

Differentially Private Regression with Gaussian Processes

Submitting institution
The University of Sheffield
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2018
Open access status
Access exception
Title of conference / published proceedings
Proceedings of the 21st International Conference on Artificial Intelligence and Statistics

Direct Speech Reconstruction From Articulatory Sensor Data by Machine Learning

Submitting institution
The University of Sheffield
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.1109/TASLP.2017.2757263
Open access status
Compliant
Title of journal
IEEE/ACM Transactions on Audio, Speech, and Language Processing

Discourse-aware rumour stance classification in social media using sequential cl ...

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

Distantly supervised Web relation extraction for knowledge base population

Submitting institution
The University of Sheffield
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2016
DOI
10.3233/SW-150180
Open access status
Compliant
Title of journal
Semantic Web

Distilling Translations with Visual Awareness

Submitting institution
The University of Sheffield
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2019
DOI
10.18653/v1/p19-1653
Title of conference / published proceedings
Proceedings of the 57th Annual Meeting of the Association for Computational Linguistics

Dual-Mode Model Predictive Control of an Omnidirectional Wheeled Inverted Pendul ...

Submitting institution
The University of Sheffield
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2019
DOI
10.1109/tmech.2019.2943708
Open access status
Compliant
Title of journal
IEEE/ASME Transactions on Mechatronics

Dynamic Graph Stream Algorithms in o(n) Space

Submitting institution
The University of Sheffield
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.1007/s00453-018-0520-8
Open access status
Compliant
Title of journal
Algorithmica

Effect of Global Cardiac Ischemia on Human Ventricular Fibrillation: Insights from ...

Submitting institution
The University of Sheffield
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2014
DOI
10.1371/journal.pcbi.1003891
Open access status
Out of scope for open access requirements
Title of journal
PLoS Computational Biology

Efficient Modeling of Latent Information in Supervised Learning using Gaussian P ...

Submitting institution
The University of Sheffield
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
Advances in Neural Information Processing Systems 30 (NIPS 2017)

Emulating short-term synaptic dynamics with memristive devices

Submitting institution
The University of Sheffield
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2016
DOI
10.1038/srep18639
Open access status
Out of scope for open access requirements
Title of journal
Scientific Reports

End-to-End Sequential Metaphor Identification Inspired by Linguistic Theories

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

Escaping Local Optima Using Crossover with Emergent Diversity

Submitting institution
The University of Sheffield
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.1109/TEVC.2017.2724201
Open access status
Compliant
Title of journal
IEEE Transactions on Evolutionary Computation

Every Testable (Infinite) Property of Bounded-Degree Graphs Contains an Infinite ...

Submitting institution
The University of Sheffield
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2019
DOI
10.1137/1.9781611975482.45
Title of conference / published proceedings
Proceedings of the 2019 Annual ACM-SIAM Symposium on Discrete Algorithms

Exploiting Deep Neural Networks and Head Movements for Robust Binaural Localization ...

Submitting institution
The University of Sheffield
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.1109/TASLP.2017.2750760
Open access status
Compliant
Title of journal
IEEE/ACM Transactions on Audio, Speech, and Language Processing

Feature Extraction for Incomplete Data Via Low-Rank Tensor Decomposition With Feature ...

Submitting institution
The University of Sheffield
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.1109/TNNLS.2018.2873655
Open access status
Compliant
Title of journal
IEEE Transactions on Neural Networks and Learning Systems

FO Model Checking on Posets of Bounded Width

Submitting institution
The University of Sheffield
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2015
DOI
10.1109/focs.2015.63
Open access status
Out of scope for open access requirements
Title of conference / published proceedings
2015 IEEE 56th Annual Symposium on Foundations of Computer Science

Foundational extensible corecursion: a proof assistant perspective

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

General Upper Bounds on the Runtime of Parallel Evolutionary Algorithms

Submitting institution
The University of Sheffield
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2014
DOI
10.1162/EVCO_a_00114
Open access status
Out of scope for open access requirements
Title of journal
Evolutionary Computation

Generating Complete Controllable Test Suites for Distributed Testing

Submitting institution
The University of Sheffield
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2014
DOI
10.1109/tse.2014.2364035
Open access status
Out of scope for open access requirements
Title of journal
IEEE Transactions on Software Engineering

Generative Localization With Uncertainty Estimation Through Video-CT Data for Bronchoscopic ...

Submitting institution
The University of Sheffield
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2019
DOI
10.1109/LRA.2019.2955941
Open access status
Compliant
Title of journal
IEEE Robotics and Automation Letters

Genome-wide modeling of transcription kinetics reveals patterns of RNA production ...

Submitting institution
The University of Sheffield
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2015
DOI
10.1073/pnas.1420404112
Open access status
Out of scope for open access requirements
Title of journal
Proceedings of the National Academy of Sciences

Graph-based topic models for trajectory clustering in crowd videos

Submitting institution
The University of Sheffield
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2020
DOI
10.1007/s00138-020-01092-3
Open access status
Compliant
Title of journal
Machine Vision and Applications

Heterogeneous Multi-output Gaussian Process Prediction

Submitting institution
The University of Sheffield
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2018
Open access status
Access exception
Title of conference / published proceedings
Advances in Neural Information Processing Systems 32 (NeurIPS 2018)

How Crossover Speeds up Building Block Assembly in Genetic Algorithms

Submitting institution
The University of Sheffield
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2015
DOI
10.1162/EVCO_a_00171
Open access status
Out of scope for open access requirements
Title of journal
Evolutionary Computation

Improved time complexity analysis of the Simple Genetic Algorithm

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

Inferring extended finite state machine models from software executions

Submitting institution
The University of Sheffield
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2015
DOI
10.1007/s10664-015-9367-7
Open access status
Out of scope for open access requirements
Title of journal
Empirical Software Engineering

Inputs and Outputs in CSP: A Model and a Testing Theory

Submitting institution
The University of Sheffield
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2020
DOI
10.1145/3379508
Open access status
Compliant
Title of journal
ACM Transactions on Computational Logic

Joint interaction with context operation for collaborative filtering

Submitting institution
The University of Sheffield
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.1016/j.patcog.2018.12.003
Open access status
Compliant
Title of journal
Pattern Recognition

LAAP: Lightweight anonymous authentication protocol for D2D-Aided fog computing ...

Submitting institution
The University of Sheffield
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2019
DOI
10.1016/j.cose.2019.06.003
Open access status
Technical exception
Title of journal
Computers & Security

Latent Space Factorisation and Manipulation via Matrix Subspace Projection

Submitting institution
The University of Sheffield
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2020
Open access status
Not compliant
Title of conference / published proceedings
Proceedings of the 37th International Conference on Machine Learning, PMLR

Learning Kalman Network: A deep monocular visual odometry for on-road driving

Submitting institution
The University of Sheffield
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2019
DOI
10.1016/j.robot.2019.07.004
Open access status
Technical exception
Title of journal
Robotics and Autonomous Systems

Lightweight and Practical Anonymous Authentication Protocol for RFID Systems Using ...

Submitting institution
The University of Sheffield
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.1109/tifs.2018.2832849
Open access status
Deposit exception
Title of journal
IEEE Transactions on Information Forensics and Security

Lightweight and privacy-friendly spatial data aggregation for secure power supply ...

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

Lightweight and Privacy-Preserving Two-Factor Authentication Scheme for IoT Devi ...

Submitting institution
The University of Sheffield
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.1109/jiot.2018.2846299
Open access status
Deposit exception
Title of journal
IEEE Internet of Things

Mechanized proofs of opacity: a comparison of two techniques

Submitting institution
The University of Sheffield
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.1007/s00165-017-0433-3
Open access status
Compliant
Title of journal
Formal Aspects of Computing

Mímir: An open-source semantic search framework for interactive information seeking ...

Submitting institution
The University of Sheffield
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2014
DOI
10.1016/j.websem.2014.10.002
Open access status
Out of scope for open access requirements
Title of journal
Journal of Web Semantics

Modeling intracranial aneurysm stability and growth: an integrative mechanobiological ...

Submitting institution
The University of Sheffield
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2020
DOI
10.1007/s10237-020-01351-2
Open access status
Compliant
Title of journal
Biomechanics and Modeling in Mechanobiology

Modelling concurrent objects running on the TSO and ARMv8 memory models

Submitting institution
The University of Sheffield
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2019
DOI
10.1016/j.scico.2019.102308
Open access status
Compliant
Title of journal
Science of Computer Programming

Motor Imagery Classification Based on Bilinear Sub-Manifold Learning of Symmetric ...

Submitting institution
The University of Sheffield
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2016
DOI
10.1109/TNSRE.2016.2587939
Open access status
Deposit exception
Title of journal
IEEE Transactions on Neural Systems and Rehabilitation Engineering

Non-Intrusive Speech Quality Prediction Using Modulation Energies and LSTM-Netwo ...

Submitting institution
The University of Sheffield
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2019
DOI
10.1109/taslp.2019.2912123
Open access status
Deposit exception
Title of journal
IEEE/ACM Transactions on Audio, Speech, and Language Processing

On the Benefits of Populations for the Exploitation Speed of Standard Steady-State ...

Submitting institution
The University of Sheffield
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2020
DOI
10.1007/s00453-020-00743-1
Open access status
Compliant
Title of journal
Algorithmica

On the Choice of the Update Strength in Estimation-of-Distribution Algorithms and ...

Submitting institution
The University of Sheffield
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.1007/s00453-018-0480-z
Open access status
Compliant
Title of journal
Algorithmica

Optimal cue integration in ants

Submitting institution
The University of Sheffield
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2015
DOI
10.1098/rspb.2015.1484
Open access status
Out of scope for open access requirements
Title of journal
Proceedings of the Royal Society B: Biological Sciences

Parallel Algorithms for Testing Finite State Machines:Generating UIO Sequences

Submitting institution
The University of Sheffield
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2016
DOI
10.1109/tse.2016.2539964
Open access status
Out of scope for open access requirements
Title of journal
IEEE Transactions on Software Engineering

PHOABE: Securely outsourcing multi-authority attribute based encryption with policy ...

Submitting institution
The University of Sheffield
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.1016/j.comnet.2018.01.036
Open access status
Deposit exception
Title of journal
Computer Networks

Predicting judicial decisions of the European Court of Human Rights: a Natural Language ...

Submitting institution
The University of Sheffield
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2016
DOI
10.7717/peerj-cs.93
Open access status
Compliant
Title of journal
PeerJ Computer Science

Predicting non-linear dynamics by stable local learning in a recurrent spiking neural ...

Submitting institution
The University of Sheffield
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.7554/elife.28295
Open access status
Compliant
Title of journal
eLife

Predicting the Compositionality of Nominal Compounds: Giving Word Embeddings a Hard ...

Submitting institution
The University of Sheffield
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2016
DOI
10.18653/v1/p16-1187
Title of conference / published proceedings
Proceedings of the 54th Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers)

PrivHome: Privacy-Preserving Authenticated Communication in Smart Home Environme ...

Submitting institution
The University of Sheffield
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2019
DOI
10.1109/tdsc.2019.2914911
Open access status
Technical exception
Title of journal
IEEE Transactions on Dependable and Secure Computing

Probabilistic Interpolation of Uncertain Local Activation Times on Human Atrial ...

Submitting institution
The University of Sheffield
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2019
DOI
10.1109/TBME.2019.2908486
Open access status
Compliant
Title of journal
IEEE Transactions on Biomedical Engineering

Probing the Need for Visual Context in Multimodal Machine Translation

Submitting institution
The University of Sheffield
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2019
DOI
10.18653/v1/n19-1422
Title of conference / published proceedings
Proceedings of the 2019 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies, Volume 1 (Long and Short Papers)

PROUD: Verifiable Privacy-preserving Outsourced Attribute Based SignCryption supporting ...

Submitting institution
The University of Sheffield
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2019
DOI
10.1016/j.future.2019.11.012
Open access status
Compliant
Title of journal
Future Generation Computer Systems

Psychophysical Laws and the Superorganism

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

Quorums enable optimal pooling of independent judgements in biological systems.

Submitting institution
The University of Sheffield
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2019
DOI
10.7554/elife.40368
Open access status
Compliant
Title of journal
eLife

Rank-One Matrix Completion With Automatic Rank Estimation via L1-Norm Regulariza ...

Submitting institution
The University of Sheffield
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.1109/TNNLS.2017.2766160
Open access status
Compliant
Title of journal
IEEE Transactions on Neural Networks and Learning Systems

Reactive synthesis with maximum realizability of linear temporal logic specifica ...

Submitting institution
The University of Sheffield
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2019
DOI
10.1007/s00236-019-00348-4
Open access status
Technical exception
Title of journal
Acta Informatica

Recurrent Neural Network Language Model Adaptation for Multi-Genre Broadcast Speech ...

Submitting institution
The University of Sheffield
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.1109/TASLP.2018.2888814
Open access status
Compliant
Title of journal
IEEE/ACM Transactions on Audio, Speech, and Language Processing

Relating two property testing models for bounded degree directed graphs

Submitting institution
The University of Sheffield
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2016
DOI
10.1145/2897518.2897575
Title of conference / published proceedings
STOC '16: Proceedings of the forty-eighth annual ACM symposium on Theory of Computing

Robust Binaural Localization of a Target Sound Source by Combining Spectral Source ...

Submitting institution
The University of Sheffield
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.1109/TASLP.2018.2855960
Open access status
Compliant
Title of journal
IEEE/ACM Transactions on Audio, Speech, and Language Processing

Safety and conservativity of definitions in HOL and Isabelle/HOL

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

Simple Hyper-Heuristics Control the Neighbourhood Size of Randomised Local Search ...

Submitting institution
The University of Sheffield
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2019
DOI
10.1162/evco_a_00258
Open access status
Compliant
Title of journal
Evolutionary Computation
Showing outputs 1 to 100 of 127

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.