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

  • Royal Holloway and Bedford New College
   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 84 of 84

“Ethics When You Least Expect It” : A Modular Approach to Short Course Data Ethics ...

Submitting institution
Royal Holloway and Bedford New College
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2020
DOI
10.1007/s11948-020-00197-2
Open access status
Compliant
Title of journal
Science and Engineering Ethics

A closer look at adaptive regret

Submitting institution
Royal Holloway and Bedford New College
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

A Colored Path Problem and Its Applications

Submitting institution
Royal Holloway and Bedford New College
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2020
DOI
10.1145/3396573
Open access status
Out of scope for open access requirements
Title of journal
ACM Transactions on Algorithms (TALG)

A Deep Reinforcement Learning Approach to Concurrent Bilateral Negotiation

Submitting institution
Royal Holloway and Bedford New College
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2020
DOI
10.24963/ijcai.2020/42
Title of conference / published proceedings
29th International Joint Conference on Artificial Intelligence

A Study of the Feasibility of Co-located App Attacks against BLE and a Large-Scale ...

Submitting institution
Royal Holloway and Bedford New College
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2019
Title of conference / published proceedings
28th USENIX Security Symposium

A Subfield Lattice Attack on Overstretched NTRU Assumptions : Cryptanalysis of Some ...

Submitting institution
Royal Holloway and Bedford New College
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2016
DOI
10.1007/978-3-662-53018-4_6
Open access status
Compliant
Title of conference / published proceedings
Advances in Cryptology – CRYPTO 2016 : 36th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 14-18, 2016, Proceedings, Part I

A Surfeit of SSH Cipher Suites

Submitting institution
Royal Holloway and Bedford New College
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2016
DOI
10.1145/2976749.2978364
Title of conference / published proceedings
Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security

A time- and message-optimal distributed algorithm for minimum spanning trees

Submitting institution
Royal Holloway and Bedford New College
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2017
DOI
10.1145/3055399.3055449
Title of conference / published proceedings
STOC 2017 : Proceedings of the 49th Annual ACM SIGACT Symposium on Theory of Computing

Accessing a New Land : Designing for a Social Conceptualisation of Access

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

Aggregating Algorithm for prediction of packs

Submitting institution
Royal Holloway and Bedford New College
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2019
DOI
10.1007/s10994-018-5769-2
Open access status
Compliant
Title of journal
Machine Learning

An evolutionary model that satisfies detailed balance

Submitting institution
Royal Holloway and Bedford New College
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2020
DOI
10.1007/s11009-020-09835-5
Open access status
Compliant
Title of journal
Methodology and Computing in Applied Probability

Analysing and exploiting the Mantin biases in RC4

Submitting institution
Royal Holloway and Bedford New College
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.1007/s10623-017-0355-3
Open access status
Compliant
Title of journal
Designs, Codes and Cryptography

Autonomous Target Search with Multiple Coordinated UAVs

Submitting institution
Royal Holloway and Bedford New College
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2019
DOI
10.1613/jair.1.11635
Open access status
Compliant
Title of journal
Journal of Artificial Intelligence Research

Binarisation for Valued Constraint Satisfaction Problems

Submitting institution
Royal Holloway and Bedford New College
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.1137/16M1088107
Open access status
Compliant
Title of journal
SIAM Journal on Discrete Mathematics

Broadcast-Enhanced Key Predistribution Schemes

Submitting institution
Royal Holloway and Bedford New College
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2014
DOI
10.1145/2629661
Open access status
Out of scope for open access requirements
Title of journal
ACM Transactions on Sensor Networks

Broken hearted : How to attack ECG biometrics

Submitting institution
Royal Holloway and Bedford New College
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2017
DOI
10.14722/ndss.2017.23408
Title of conference / published proceedings
Network and Distributed System Security Symposium

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

Submitting institution
Royal Holloway and Bedford New College
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
PLDI 2019 : Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation

Characterizing Propositional Proofs as Non-commutative Formulas

Submitting institution
Royal Holloway and Bedford New College
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.1137/16M1107632
Open access status
Access exception
Title of journal
SIAM Journal on Computing

Ciphers for MPC and FHE

Submitting institution
Royal Holloway and Bedford New College
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2015
DOI
10.1007/978-3-662-46800-5_17
Open access status
Out of scope for open access requirements
Title of conference / published proceedings
Advances in Cryptology -- EUROCRYPT 2015

Cold Boot Attacks on Ring and Module LWE Keys Under the NTT

Submitting institution
Royal Holloway and Bedford New College
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.13154/tches.v2018.i3.173-213
Open access status
Compliant
Title of journal
IACR Transactions on Cryptographic Hardware and Embedded Systems

Computationally efficient versions of conformal predictive distributions

Submitting institution
Royal Holloway and Bedford New College
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2019
DOI
10.1016/j.neucom.2019.10.110
Open access status
Compliant
Title of journal
Neurocomputing

Computing Approximate Nash Equilibria in Polymatrix Games

Submitting institution
Royal Holloway and Bedford New College
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2015
DOI
10.1007/s00453-015-0078-7
Open access status
Out of scope for open access requirements
Title of journal
Algorithmica

Counting Linear Extensions : Parameterizations by Treewidth

Submitting institution
Royal Holloway and Bedford New College
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

Criteria of efficiency for set-valued classification

Submitting institution
Royal Holloway and Bedford New College
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.1007/s10472-017-9540-3
Open access status
Compliant
Title of journal
Annals of Mathematics and Artificial Intelligence

Cryptographic enforcement of information flow policies without public information ...

Submitting institution
Royal Holloway and Bedford New College
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.3233/JCS-16863
Open access status
Compliant
Title of journal
Journal of Computer Security

CSS Minification via Constraint Solving

Submitting institution
Royal Holloway and Bedford New College
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2019
DOI
10.1145/3310337
Open access status
Compliant
Title of journal
ACM Transactions on Programming Languages and Systems

Decision procedures for path feasibility of string-manipulating programs with complex ...

Submitting institution
Royal Holloway and Bedford New College
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2019
DOI
10.1145/3290362
Title of conference / published proceedings
Principles of Programming Languages

Derivation representation using binary subtree sets

Submitting institution
Royal Holloway and Bedford New College
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2019
DOI
10.1016/j.scico.2019.01.008
Open access status
Compliant
Title of journal
Science of Computer Programming

Detecting redundant CSS rules in HTML5 applications : a tree rewriting approach

Submitting institution
Royal Holloway and Bedford New College
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2015
DOI
10.1145/2814270.2814288
Title of conference / published proceedings
OOPSLA 2015 : Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications

Directed Multicut is W[1]-hard, Even for Four Terminal Pairs

Submitting institution
Royal Holloway and Bedford New College
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.1145/3201775
Open access status
Compliant
Title of journal
ACM Transactions on Computation Theory (TOCT)

Disease gene prediction for molecularly uncharacterized diseases

Submitting institution
Royal Holloway and Bedford New College
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2019
DOI
10.1371/journal.pcbi.1007078
Open access status
Compliant
Title of journal
PLoS Computational Biology

Dynamic Performance Profiling of Cloud Caches

Submitting institution
Royal Holloway and Bedford New College
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2014
DOI
10.1145/2670979.2671007
Title of conference / published proceedings
5th ACM Symposium on Cloud Computing (SOCC'14)

Efficient Attack Graph Analysis through Approximate Inference

Submitting institution
Royal Holloway and Bedford New College
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.1145/3105760
Open access status
Compliant
Title of journal
ACM Transactions on Information and System Security

Enhancing Java Runtime Environment for Smart Cards Against Runtime Attacks

Submitting institution
Royal Holloway and Bedford New College
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2015
DOI
10.1007/978-3-319-24177-7_27
Title of conference / published proceedings
Computer Security -- ESORICS 2015 : 20th European Symposium on Research in Computer Security, Vienna, Austria, September 21-25, 2015, Proceedings, Part II

Extracting mutual exclusion invariants from lifted temporal planning domains

Submitting institution
Royal Holloway and Bedford New College
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.1016/j.artint.2018.01.004
Open access status
Compliant
Title of journal
Artificial Intelligence

FlowWatcher : Defending against Data Disclosure Vulnerabilities in Web Applicati ...

Submitting institution
Royal Holloway and Bedford New College
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2015
DOI
10.1145/2810103.2813639
Title of conference / published proceedings
CCS '15 : Proceedings of the 22nd ACM SIGSAC Conference on Computer and Communications Security

Formal Semantics in Modern Type Theories

Submitting institution
Royal Holloway and Bedford New College
Unit of assessment
11 - Computer Science and Informatics
Type
A - Authored book
Year of publication
2020

Frontier : resilient edge processing for the internet of things

Submitting institution
Royal Holloway and Bedford New College
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.14778/3231751.3231767
Open access status
Technical exception
Title of journal
VLDB Endowment

Game-Theoretic Foundations for Probability and Finance

Submitting institution
Royal Holloway and Bedford New College
Unit of assessment
11 - Computer Science and Informatics
Type
A - Authored book
Year of publication
2019
DOI
10.1002/9781118548035

Glamdring : Automatic Application Partitioning for Intel SGX

Submitting institution
Royal Holloway and Bedford New College
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2017
Title of conference / published proceedings
Proceedings of the 2017 USENIX Annual Technical Conference (USENIX ATC ’17)

GLL syntax analysers for EBNF grammars

Submitting institution
Royal Holloway and Bedford New College
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.1016/j.scico.2018.06.001
Open access status
Compliant
Title of journal
Science of Computer Programming

Half-integrality, LP-branching, and FPT Algorithms

Submitting institution
Royal Holloway and Bedford New College
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2016
DOI
10.1137/140962838
Open access status
Compliant
Title of journal
SIAM Journal on Computing

High-Precision Arithmetic in Homomorphic Encryption

Submitting institution
Royal Holloway and Bedford New College
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2018
DOI
10.1007/978-3-319-76953-0_7
Title of conference / published proceedings
Topics in Cryptology – CT-RSA 2018 : The Cryptographers' Track at the RSA Conference 2018, San Francisco, CA, USA, April 16-20, 2018, Proceedings

In a New Land : Mobile Phones, Amplified Pressures and Reduced Capabilities

Submitting institution
Royal Holloway and Bedford New College
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2018
DOI
10.1145/3173574.3174158
Title of conference / published proceedings
CHI '18 : Proceedings of the 2018 CHI Conference on Human Factors in Computing Systems

Iterative Plan Construction for the Workflow Satisfiability Problem

Submitting institution
Royal Holloway and Bedford New College
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2014
DOI
10.1613/jair.4435
Open access status
Out of scope for open access requirements
Title of journal
Journal of Artificial Intelligence Research

Learning nominal automata

Submitting institution
Royal Holloway and Bedford New College
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2017
DOI
10.1145/3009837.3009879
Open access status
Out of scope for open access requirements
Title of conference / published proceedings
POPL 2017 : Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages

Localised multisecret sharing

Submitting institution
Royal Holloway and Bedford New College
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2016
DOI
10.1007/s12095-016-0202-9
Open access status
Compliant
Title of journal
Cryptography and Communications

LP-branching algorithms based on biased graphs

Submitting institution
Royal Holloway and Bedford New College
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2017
DOI
10.1137/1.9781611974782.102
Title of conference / published proceedings
Proceedings of the 2017 Annual ACM-SIAM Symposium on Discrete Algorithms

Multi-Shot Distributed Transaction Commit

Submitting institution
Royal Holloway and Bedford New College
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2018
DOI
10.4230/LIPIcs.DISC.2018.14
Title of conference / published proceedings
32nd International Symposium on Distributed Computing (DISC 2018)

Nonparametric predictive distributions based on conformal prediction

Submitting institution
Royal Holloway and Bedford New College
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.1007/s10994-018-5755-8
Open access status
Compliant
Title of journal
Machine Learning

On Creating Complementary Pattern Databases

Submitting institution
Royal Holloway and Bedford New College
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2017
DOI
10.24963/ijcai.2017/601
Open access status
Out of scope for open access requirements
Title of conference / published proceedings
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence

On Dual Lattice Attacks Against Small-Secret LWE and Parameter Choices in HElib and ...

Submitting institution
Royal Holloway and Bedford New College
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2017
DOI
10.1007/978-3-319-56614-6_4
Open access status
Compliant
Title of conference / published proceedings
Annual International Conference on the Theory and Applications of Cryptographic Techniques : EUROCRYPT 2017: Advances in Cryptology

On quasipolynomial multicut-mimicking networks and kernelization of multiway cut ...

Submitting institution
Royal Holloway and Bedford New College
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2020
DOI
10.4230/LIPIcs.ICALP.2020.101
Title of conference / published proceedings
ICALP 2020

On r-Simple k-Path and Related Problems Parameterized by k/r

Submitting institution
Royal Holloway and Bedford New College
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2019
DOI
10.1137/1.9781611975482.105
Title of conference / published proceedings
Proceedings of the 2019 Annual ACM-SIAM Symposium on Discrete Algorithms

On the Security of 2-Key Triple DES

Submitting institution
Royal Holloway and Bedford New College
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2016
DOI
10.1109/TIT.2016.2611003
Open access status
Compliant
Title of journal
IEEE Transactions on Information Theory

On the Workflow Satisfiability Problem with Class-Independent Constraints for Hierarchical ...

Submitting institution
Royal Holloway and Bedford New College
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2016
DOI
10.1145/2988239
Open access status
Compliant
Title of journal
ACM Transactions on Privacy and Security

On Weak Keys and Forgery Attacks Against Polynomial-Based MAC Schemes

Submitting institution
Royal Holloway and Bedford New College
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2014
DOI
10.1007/s00145-014-9178-9
Open access status
Out of scope for open access requirements
Title of journal
Journal of Cryptology

Parameterized complexity of the k-arc Chinese Postman Problem

Submitting institution
Royal Holloway and Bedford New College
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2016
DOI
10.1016/j.jcss.2016.07.006
Open access status
Compliant
Title of journal
Journal of Computer and System Sciences

Precise parameter synthesis for stochastic biochemical systems

Submitting institution
Royal Holloway and Bedford New College
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2016
DOI
10.1007/s00236-016-0265-2
Open access status
Out of scope for open access requirements
Title of journal
Acta Informatica

Predicting the Frequencies of Drug Side effects

Submitting institution
Royal Holloway and Bedford New College
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2020
DOI
10.1038/s41467-020-18305-y
Open access status
Compliant
Title of journal
Nature Communications

Preference-based interactive multi-document summarisation

Submitting institution
Royal Holloway and Bedford New College
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2019
DOI
10.1007/s10791-019-09367-8
Open access status
Compliant
Title of journal
Information Retrieval Journal

Proof complexity lower bounds from algebraic circuit complexity

Submitting institution
Royal Holloway and Bedford New College
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2016
DOI
10.4230/LIPIcs.CCC.2016.32
Open access status
Out of scope for open access requirements
Title of conference / published proceedings
31st Conference on Computational Complexity (CCC 2016)

Prototyping symbolic execution engines for interpreted languages

Submitting institution
Royal Holloway and Bedford New College
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2014
DOI
10.1145/2541940.2541977
Title of conference / published proceedings
ASPLOS '14 : Proceedings of the 19th international conference on Architectural support for programming languages and operating systems

Realtime Tracking of Passengers on the London Underground Transport by Matching Smartphone ...

Submitting institution
Royal Holloway and Bedford New College
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2019
DOI
10.3390/s19194184
Open access status
Compliant
Title of journal
Sensors

Rural Postman Parameterized by the Number of Components of Required Edges

Submitting institution
Royal Holloway and Bedford New College
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2016
DOI
10.1016/j.jcss.2016.06.001
Open access status
Out of scope for open access requirements
Title of journal
Journal of Computer and System Sciences

SCONE : Secure Linux Containers with Intel SGX

Submitting institution
Royal Holloway and Bedford New College
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2016
Title of conference / published proceedings
Proceedings of the 12th USENIX Symposium on Operating Systems Design and Implementation (OSDI ’16)

Semi-Algebraic Proofs, IPS Lower Bounds and the τ-Conjecture : Can a Natural Number ...

Submitting institution
Royal Holloway and Bedford New College
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2020
DOI
10.1145/3357713.3384245
Title of conference / published proceedings
STOC 2020 : Proceedings of the 52nd Annual ACM SIGACT Symposium on Theory of Computing

Semi-supervised domain adaptation via Fredholm integral based kernel methods

Submitting institution
Royal Holloway and Bedford New College
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.1016/j.patcog.2018.07.035
Open access status
Deposit exception
Title of journal
Pattern Recognition

Short Proofs for the Determinant Identities

Submitting institution
Royal Holloway and Bedford New College
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2015
DOI
10.1137/130917788
Open access status
Out of scope for open access requirements
Title of journal
SIAM Journal on Computing

Simple Encrypted Arithmetic Library - SEAL v2.1

Submitting institution
Royal Holloway and Bedford New College
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2017
DOI
10.1007/978-3-319-70278-0_1
Title of conference / published proceedings
Financial Cryptography and Data Security : FC 2017 International Workshops, WAHC, BITCOIN, VOTING, WTSC, and TA, Sliema, Malta, April 7, 2017, Revised Selected Papers

Solving Problems on Graphs of High Rank-Width

Submitting institution
Royal Holloway and Bedford New College
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.1007/s00453-017-0290-8
Open access status
Compliant
Title of journal
Algorithmica

Sonification to Support the Monitoring Tasks of Security Operations Centres

Submitting institution
Royal Holloway and Bedford New College
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2019
DOI
10.1109/TDSC.2019.2931557
Open access status
Out of scope for open access requirements
Title of journal
IEEE Transactions on Dependable and Secure Computing

Space Complexity of Fault-Tolerant Register Emulations

Submitting institution
Royal Holloway and Bedford New College
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2017
DOI
10.1145/3087801.3087824
Title of conference / published proceedings
PODC '17 : Proceedings of the ACM Symposium on Principles of Distributed Computing

Structuring the GLL parsing algorithm for performance

Submitting institution
Royal Holloway and Bedford New College
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2016
DOI
10.1016/j.scico.2016.04.003
Open access status
Access exception
Title of journal
Science of Computer Programming

Syntax-Guided Optimal Synthesis for Chemical Reaction Networks

Submitting institution
Royal Holloway and Bedford New College
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2017
DOI
10.1007/978-3-319-63390-9_20
Title of conference / published proceedings
Computer Aided Verification : 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II

Tensor decomposition via joint matrix schur decomposition

Submitting institution
Royal Holloway and Bedford New College
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2016
DOI
10.5555/3045390.3045687
Title of conference / published proceedings
ICML'16 : Proceedings of the 33rd International Conference on International Conference on Machine Learning

The power of propagation : when GAC is enough

Submitting institution
Royal Holloway and Bedford New College
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2016
DOI
10.1007/s10601-016-9251-0
Open access status
Out of scope for open access requirements
Title of journal
Constraints

Through the Lens of Sequence Submodularity

Submitting institution
Royal Holloway and Bedford New College
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2020
Title of conference / published proceedings
Proceedings of the Thirtieth International Conference on Automated Planning and Scheduling

Unboundedness and downward closures of higher-order pushdown automata

Submitting institution
Royal Holloway and Bedford New College
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2016
DOI
10.1145/2837614.2837627
Title of conference / published proceedings
Principles of Programming Languages : POPL '16

Uniform, integral and efficient proofs for the determinant identities

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

Using decomposition-parameters for QBF : Mind the prefix!

Submitting institution
Royal Holloway and Bedford New College
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2020
DOI
10.1016/j.jcss.2019.12.005
Open access status
Compliant
Title of journal
Journal of Computer and System Sciences

Variable and value elimination in binary constraint satisfaction via forbidden p ...

Submitting institution
Royal Holloway and Bedford New College
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2015
DOI
10.1016/j.jcss.2015.02.001
Open access status
Out of scope for open access requirements
Title of journal
Journal of Computer and System Sciences

What is decidable about string constraints with the ReplaceAll function

Submitting institution
Royal Holloway and Bedford New College
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2017
DOI
10.1145/3158091
Title of conference / published proceedings
Proceedings of the ACM on Programming Languages

You Shall Not Join : A Measurement Study of Cryptocurrency Peer-to-Peer Bootstrapping ...

Submitting institution
Royal Holloway and Bedford New College
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2019
DOI
10.1145/3319535.3345649
Title of conference / published proceedings
CCS '19 : Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security
Showing outputs 1 to 84 of 84

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.