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 Kent
   None selected
  • 11 - Computer Science and Informatics
   None selected
   None selected
   None selected
   None selected
Download output details for outputs in the current view (spreadsheet)
Download output details for outputs in the current view (spreadsheet) (generating)
Showing outputs 1 to 80 of 80

A new approach for interpreting Random Forest models and its application to the biology ...

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

A new verified compiler backend for CakeML

Submitting institution
The University of Kent
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2016
DOI
10.1145/2951913.2951924
Open access status
Compliant
Title of conference / published proceedings
Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming - ICFP 2016

A static verification framework for message passing in Go using behavioural type ...

Submitting institution
The University of Kent
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2018
DOI
10.1145/3180155.3180157
Title of conference / published proceedings
Proceedings of the 40th International Conference on Software Engineering - ICSE '18

Adding Federated Identity Management to OpenStack

Submitting institution
The University of Kent
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2014
DOI
10.1007/s10723-013-9283-2
Open access status
Out of scope for open access requirements
Title of journal
Journal of Grid Computing

Algorithmic debugging of real-world haskell programs: deriving dependencies from ...

Submitting institution
The University of Kent
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2015
DOI
10.1145/2737924.2737985
Open access status
Out of scope for open access requirements
Title of conference / published proceedings
Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI 2015

Aspects of Graduateness in Computing Students’ Narratives

Submitting institution
The University of Kent
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2016
DOI
10.1145/2960310.2960317
Title of conference / published proceedings
Proceedings of the 2016 ACM Conference on International Computing Education Research

Automated analysis of security requirements through risk-based argumentation

Submitting institution
The University of Kent
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2015
DOI
10.1016/j.jss.2015.04.065
Open access status
Out of scope for open access requirements
Title of journal
Journal of Systems and Software

Automatically comparing memory consistency models

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

Blackbox: a large scale repository of novice programmers' activity

Submitting institution
The University of Kent
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2014
DOI
10.1145/2538862.2538924
Title of conference / published proceedings
Proceedings of the 45th ACM technical symposium on Computer science education - SIGCSE '14

Brain Connectivity Dissociates Responsiveness from Drug Exposure during Propofol-Induced ...

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

Brain networks predict metabolism, diagnosis and prognosis at the bedside in disorders ...

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

Bringing proportional recovery into proportion: Bayesian modelling of post-stroke ...

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

CakeML: a verified implementation of ML

Submitting institution
The University of Kent
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2014
DOI
10.1145/2535838.2535841
Open access status
Out of scope for open access requirements
Title of conference / published proceedings
Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL '14

Characterising renaming within OCaml’s module system: theory and implementation

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

Coeffects: a calculus of context-dependent computation

Submitting institution
The University of Kent
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2014
DOI
10.1145/2628136.2628160
Open access status
Out of scope for open access requirements
Title of conference / published proceedings
Proceedings of the 19th ACM SIGPLAN International Conference on Functional Programming - ICFP '14

Context-Aware Mouse Behavior Recognition Using Hidden Markov Models

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

DESEN: Specification of Sociotechnical Systems via Patterns of Regulation and Co ...

Submitting institution
The University of Kent
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2019
DOI
10.1145/3365664
Open access status
Compliant
Title of journal
ACM Transactions on Software Engineering and Methodology

Does the Online Card Payment Landscape Unwittingly Facilitate Fraud?

Submitting institution
The University of Kent
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.1109/MSP.2017.27
Open access status
Compliant
Title of journal
IEEE Security & Privacy

Dynamic Analysis of Digital Chaotic Maps via State-Mapping Networks

Submitting institution
The University of Kent
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2019
DOI
10.1109/TCSI.2018.2888688
Open access status
Compliant
Title of journal
IEEE Transactions on Circuits and Systems I: Regular Papers

Effects as sessions, sessions as effects

Submitting institution
The University of Kent
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2016
DOI
10.1145/2837614.2837634
Open access status
Out of scope for open access requirements
Title of conference / published proceedings
Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL 2016

Efficient and thread-safe objects for dynamically-typed languages

Submitting institution
The University of Kent
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2016
DOI
10.1145/2983990.2984001
Open access status
Compliant
Title of conference / published proceedings
Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications - OOPSLA 2016

Efficient Public Trace and Revoke from Standard Assumptions

Submitting institution
The University of Kent
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2017
DOI
10.1145/3133956.3134041
Open access status
Technical exception
Title of conference / published proceedings
Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security

Entropy4Cloud: Using Entropy-Based Complexity to Optimize Cloud Service Resource ...

Submitting institution
The University of Kent
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.1109/TETCI.2017.2755691
Open access status
Compliant
Title of journal
IEEE Transactions on Emerging Topics in Computational Intelligence

eulerAPE: Drawing Area-proportional 3-Venn Diagrams Using Ellipses

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

Evolutionary Design of Decision-Tree Algorithms Tailored to Microarray Gene Expression ...

Submitting institution
The University of Kent
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2014
DOI
10.1109/TEVC.2013.2291813
Open access status
Out of scope for open access requirements
Title of journal
IEEE Transactions on Evolutionary Computation

Evolving Fortran types with inferred units-of-measure

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

Evolving trading strategies using directional changes

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

Exploring C semantics and pointer provenance

Submitting institution
The University of Kent
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2019
DOI
10.1145/3290380
Open access status
Technical exception
Title of conference / published proceedings
Proceedings of the 46th ACM SIGPLAN Symposium on Principles of Programming Languages - POPL 2019

Exploring garbage collection with haswell hardware transactional memory

Submitting institution
The University of Kent
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2014
DOI
10.1145/2602988.2602992
Open access status
Out of scope for open access requirements
Title of conference / published proceedings
Proceedings of the 2014 international symposium on Memory management - ISMM '14

Fast graph operations in quantum computation

Submitting institution
The University of Kent
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2016
DOI
10.1103/PhysRevA.93.032314
Open access status
Out of scope for open access requirements
Title of journal
Physical Review A

Fencing off go: liveness and safety for channel-based programming

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

From Communicating Machines to Graphical Choreographies

Submitting institution
The University of Kent
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2015
DOI
10.1145/2676726.2676964
Open access status
Out of scope for open access requirements
Title of conference / published proceedings
Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL '15

From MinX to MinC: semantics-driven decompilation of recursive datatypes

Submitting institution
The University of Kent
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2016
DOI
10.1145/2837614.2837633
Open access status
Out of scope for open access requirements
Title of conference / published proceedings
Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL 2016

GPU Concurrency: Weak Behaviours and Programming Assumptions

Submitting institution
The University of Kent
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2015
DOI
10.1145/2694344.2694391
Open access status
Out of scope for open access requirements
Title of conference / published proceedings
Proceedings of the Twentieth International Conference on Architectural Support for Programming Languages and Operating Systems - ASPLOS '15

Harvesting High Value Foreign Currency Transactions from EMV Contactless Credit Cards ...

Submitting institution
The University of Kent
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2014
DOI
10.1145/2660267.2660312
Title of conference / published proceedings
Proceedings of the 2014 ACM SIGSAC Conference on Computer and Communications Security - CCS '14

How Good is a Security Policy against Real Breaches? A HIPAA Case Study

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

Improving Language Modelling with Noise Contrastive Estimation

Submitting institution
The University of Kent
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
32nd AAAI Conference on Artificial Intelligence, AAAI 2018

Iterated Gate Teleportation and Blind Quantum Computation

Submitting institution
The University of Kent
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2015
DOI
10.1103/PhysRevLett.114.220502
Open access status
Out of scope for open access requirements
Title of journal
Physical Review Letters: Moving Physics Forward

Java generics are turing complete

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

Lem: reusable engineering of real-world semantics

Submitting institution
The University of Kent
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2014
DOI
10.1145/2628136.2628143
Open access status
Out of scope for open access requirements
Title of conference / published proceedings
Proceedings of the 19th ACM SIGPLAN international conference on Functional programming - ICFP '14

Limitations on information-theoretically-secure quantum homomorphic encryption

Submitting institution
The University of Kent
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2014
DOI
10.1103/PhysRevA.90.050303
Open access status
Out of scope for open access requirements
Title of journal
Physical Review A

Making state explicit for imperative big data processing

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

Measurement-driven analog of adiabatic quantum computation for frustration-free ...

Submitting institution
The University of Kent
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2019
DOI
10.1103/PhysRevA.100.032331
Open access status
Compliant
Title of journal
Physical Review A

Modelling Creativity: Identifying Key Components through a Corpus-Based Approach

Submitting institution
The University of Kent
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2016
DOI
10.1371/journal.pone.0162959
Open access status
Compliant
Title of journal
PLoS ONE

Monitoring networks through multiparty session types

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

NetAgg: Using Middleboxes for Application-specific On-path Aggregation in Data C ...

Submitting institution
The University of Kent
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2014
DOI
10.1145/2674005.2674996
Title of conference / published proceedings
Proceedings of the 10th ACM International on Conference on emerging Networking Experiments and Technologies - CoNEXT '14

No Bot Expects the DeepCAPTCHA! Introducing Immutable Adversarial Examples, With ...

Submitting institution
The University of Kent
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.1109/TIFS.2017.2718479
Open access status
Compliant
Title of journal
IEEE Transactions on Information Forensics and Security

Non-omega-overlapping TRSs are UN

Submitting institution
The University of Kent
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2016
Open access status
Compliant
Title of conference / published proceedings
1st International Conference on Formal Structures for Computation and Deduction (FSCD 2016)

On abstraction refinement for program analyses in Datalog

Submitting institution
The University of Kent
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2014
DOI
10.1145/2594291.2594327
Open access status
Out of scope for open access requirements
Title of conference / published proceedings
Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI '14

On the Linearization of Human Identification Protocols: Attacks Based on Linear Algebra, ...

Submitting institution
The University of Kent
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2015
DOI
10.1109/TIFS.2015.2421875
Open access status
Out of scope for open access requirements
Title of journal
IEEE Transactions on Information Forensics and Security

On the Undecidability of Asynchronous Session Subtyping

Submitting institution
The University of Kent
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2017
DOI
10.1007/978-3-662-54458-7_26
Open access status
Compliant
Title of conference / published proceedings
Proceedings of the International Conference on Foundations of Software Science and Computation Structures - FoSSaCS 2017

Overhauling SC atomics in C11 and OpenCL

Submitting institution
The University of Kent
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2016
DOI
10.1145/2837614.2837637
Open access status
Out of scope for open access requirements
Title of conference / published proceedings
Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL 2016

Parallelization of dynamic languages: synchronizing built-in collections

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

Proving the Herman-Protocol Conjecture

Submitting institution
The University of Kent
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2016
Open access status
Compliant
Title of conference / published proceedings
43rd International Colloquium on Automata, Languages, and Programming (ICALP 2016)

Quantitative program reasoning with graded modal types

Submitting institution
The University of Kent
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2019
DOI
10.1145/3341714
Open access status
Compliant
Title of conference / published proceedings
Proceedings of the 24st ACM SIGPLAN International Conference on Functional Programming - ICFP 2019

Ransomware deployment methods and analysis: views from a predictive model and human ...

Submitting institution
The University of Kent
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2019
DOI
10.1186/s40163-019-0097-9
Open access status
Compliant
Title of journal
Crime Science

Reliable and fast DWARF-based stack unwinding

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

Remote-scope promotion: clarified, rectified, and verified

Submitting institution
The University of Kent
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2015
DOI
10.1145/2814270.2814283
Open access status
Out of scope for open access requirements
Title of conference / published proceedings
Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications - OOPSLA 2015

Robustness-Driven Resilience Evaluation of Self-Adaptive Software Systems

Submitting institution
The University of Kent
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2015
DOI
10.1109/TDSC.2015.2429128
Open access status
Out of scope for open access requirements
Title of journal
IEEE Transactions on Dependable and Secure Computing

Security-as-a-Service in Multi-cloud and Federated Cloud Environments

Submitting institution
The University of Kent
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2015
DOI
10.1007/978-3-319-18491-3_21
Open access status
Out of scope for open access requirements
Title of conference / published proceedings
Trust Management IX; IFIP Advances in Information and Communication Technology

Spectral Signatures of Reorganised Brain Networks in Disorders of Consciousness

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

Stochastic model genetic programming: Deriving pricing equations for rainfall weather ...

Submitting institution
The University of Kent
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2019
DOI
10.1016/j.swevo.2019.01.008
Open access status
Compliant
Title of journal
Swarm and Evolutionary Computation

The lag-phase during diauxic growth is a trade-off between fast adaptation and high ...

Submitting institution
The University of Kent
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2016
DOI
10.1038/srep25191
Open access status
Compliant
Title of journal
Scientific Reports

The missing link: explaining ELF static linking, semantically

Submitting institution
The University of Kent
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2016
DOI
10.1145/2983990.2983996
Open access status
Compliant
Title of conference / published proceedings
Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications - OOPSLA 2016

The Problem of Programming Language Concurrency Semantics

Submitting institution
The University of Kent
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2015
DOI
10.1007/978-3-662-46669-8_12
Open access status
Out of scope for open access requirements
Title of conference / published proceedings
Proceedings of the 24th European Symposium on Programming, ESOP 2015

Timed Multiparty Session Types

Submitting institution
The University of Kent
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2014
DOI
10.1007/978-3-662-44584-6_29
Open access status
Out of scope for open access requirements
Title of conference / published proceedings
CONCUR 2014 – Concurrency Theory; Lecture Notes in Computer Science

Time–Frequency Feature Fusion for Noise Robust Audio Event Classification

Submitting institution
The University of Kent
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2019
DOI
10.1007/s00034-019-01203-0
Open access status
Compliant
Title of journal
Circuits Systems and Signal Processing

Towards a Framework for Capturing Interpretability of Hierarchical Fuzzy Systems ...

Submitting institution
The University of Kent
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2020
DOI
10.1109/TFUZZ.2020.2969901
Open access status
Compliant
Title of journal
IEEE Transactions on Fuzzy Systems

Tracing vs. partial evaluation: comparing meta-compilation approaches for self-optimizing ...

Submitting institution
The University of Kent
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2015
DOI
10.1145/2814270.2814275
Open access status
Out of scope for open access requirements
Title of conference / published proceedings
Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications - OOPSLA 2015

Transactional Sapphire: Lessons in High Performance, On-the-fly Garbage Collecti ...

Submitting institution
The University of Kent
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.1145/3226225
Open access status
Technical exception
Title of journal
ACM Transactions on Programming Languages and Systems

Translation elongation can control translation initiation on eukaryotic mRNAs

Submitting institution
The University of Kent
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2014
DOI
10.1002/embj.201385651
Open access status
Out of scope for open access requirements
Title of journal
EMBO Journal

Trust Management for Public Key Infrastructures: Implementing the X.509 Trust Br ...

Submitting institution
The University of Kent
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.1155/2017/6907146
Open access status
Compliant
Title of journal
Security and Communication Networks

Types from data: making structured data first-class citizens in F#

Submitting institution
The University of Kent
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2016
DOI
10.1145/2908080.2908115
Open access status
Compliant
Title of conference / published proceedings
Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI 2016

Understanding Insider Threat: A Framework for Characterising Attacks

Submitting institution
The University of Kent
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2014
DOI
10.1109/SPW.2014.38
Open access status
Out of scope for open access requirements
Title of conference / published proceedings
2014 IEEE Security and Privacy Workshops

Using deep learning to associate human genes with age-related diseases

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

Verifying Asynchronous Interactions via Communicating Session Automata

Submitting institution
The University of Kent
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2019
DOI
10.1007/978-3-030-25540-4_6
Open access status
Compliant
Title of conference / published proceedings
Proceedings of the 31st International Conference on Computer-Aided Verification - CAV 2019

Verifying spatial properties of array computations

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

Visualizing Sets with Linear Diagrams

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

Word Embedding as Maximum A Posteriori Estimation

Submitting institution
The University of Kent
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2019
DOI
10.1609/aaai.v33i01.33016562
Open access status
Compliant
Title of conference / published proceedings
Proceedings of the AAAI Conference on Artificial Intelligence

Zero-overhead metaprogramming: reflection and metaobject protocols fast and without ...

Submitting institution
The University of Kent
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2015
DOI
10.1145/2737924.2737963
Open access status
Out of scope for open access requirements
Title of conference / published proceedings
Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI 2015
Showing outputs 1 to 80 of 80

Filter by higher education institution

Select one or more of the following higher education institutions and then click Apply selected filters when you have finished.
No higher education institutions found.

Filter by unit of assessment

Select one or more of the following units of assessment and then click Apply selected filters when you have finished.
No unit of assessments found.

Filter by output type

Select one or more of the following output types and then click Apply selected filters when you have finished.

Filter by year

Select one or more of the following years and then click Apply selected filters when you have finished.

Filter by open access status

Select one or more of the following open access statuses and then click Apply selected filters when you have finished.