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 Birmingham
   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 107

A cognitive model of how people make decisions through interaction with visual d ...

Submitting institution
The University of Birmingham
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2017
DOI
10.1145/3025453.3025596
Title of conference / published proceedings
CHI '17 : Proceedings of the 2017 CHI Conference on Human Factors in Computing Systems

A competitive divide-and-conquer algorithm for unconstrained large-scale black-box ...

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

A new dominance relation-based evolutionary algorithm for many-objective optimiz ...

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

A novel performance evaluation methodology for single-target trackers

Submitting institution
The University of Birmingham
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2016
DOI
10.1109/TPAMI.2016.2516982
Open access status
Out of scope for open access requirements
Title of journal
IEEE Transactions on Pattern Analysis and Machine Intelligence

A robot sets a table : a case for hybrid reasoning with different types of knowl ...

Submitting institution
The University of Birmingham
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2016
DOI
10.1080/0952813X.2015.1132267
Open access status
Out of scope for open access requirements
Title of journal
Journal of Experimental and Theoretical Artificial Intelligence

A theory of linear typings as flows on 3-valent graphs

Submitting institution
The University of Birmingham
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2018
DOI
10.1145/3209108.3209121
Open access status
Compliant
Title of conference / published proceedings
LICS '18 : Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science

An attack against message authentication in the ERTMS train to trackside communication ...

Submitting institution
The University of Birmingham
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2017
DOI
10.1145/3052973.3053027
Title of conference / published proceedings
ASIA CCS '17 : Proceedings of the 2017 ACM on Asia Conference on Computer and Communications Security

Automatic 3D bi-ventricular segmentation of cardiac images by a shape-refined multi-task ...

Submitting institution
The University of Birmingham
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2019
DOI
10.1109/TMI.2019.2894322
Open access status
Compliant
Title of journal
IEEE Transactions on Medical Imaging

Automatic accent identification as an analytical tool for accent robust automatic ...

Submitting institution
The University of Birmingham
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2020
DOI
10.1016/j.specom.2020.05.003
Open access status
Access exception
Title of journal
Speech Communication

Automatic speaker, age-group and gender identification from children's speech

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

Bar recursion and products of selection functions

Submitting institution
The University of Birmingham
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2015
DOI
10.1017/jsl.2014.82
Open access status
Out of scope for open access requirements
Title of journal
Journal of Symbolic Logic

BeleniosRF : a non-interactive receipt-free electronic voting scheme

Submitting institution
The University of Birmingham
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2016
DOI
10.1145/2976749.2978337
Title of conference / published proceedings
CCS’16 : Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security

Bi-goal evolution for many-objective optimization problems

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

Bounded linear types in a resource semiring

Submitting institution
The University of Birmingham
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2014
DOI
10.1007/978-3-642-54833-8_18
Open access status
Out of scope for open access requirements
Title of conference / published proceedings
Programming Languages and Systems : 23rd European Symposium on Programming, ESOP 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings

Categorical structures for type theory in univalent foundations

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

Coevolutionary systems and PageRank

Submitting institution
The University of Birmingham
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2019
DOI
10.1016/j.artint.2019.103164
Open access status
Compliant
Title of journal
Artificial Intelligence

Compact Ring-LWE Cryptoprocessor

Submitting institution
The University of Birmingham
Unit of assessment
11 - Computer Science and Informatics
Type
C - Chapter in book
Year of publication
2014
DOI
10.1007/978-3-662-44709-3_21
Book title
Cryptographic Hardware and Embedded Systems - CHES 2014 : 16th International Workshop, Busan, South Korea, September 23-26, 2014. Proceedings

Computational rationality : linking mechanism and behavior through bounded utility ...

Submitting institution
The University of Birmingham
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2014
DOI
10.1111/tops.12086
Open access status
Out of scope for open access requirements
Title of journal
Topics in Cognitive Science

Concentrated hitting times of randomized search heuristics with variable drift

Submitting institution
The University of Birmingham
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2014
DOI
10.1007/978-3-319-13075-0_54
Open access status
Out of scope for open access requirements
Title of conference / published proceedings
Algorithms and Computation - 25th International Symposium, ISAAC 2014, Proceedings

Contextual isomorphisms

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

Cooperative co-evolution with differential grouping for large scale optimization

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

Deep-learning cardiac motion analysis for human survival prediction

Submitting institution
The University of Birmingham
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2019
DOI
10.1038/s42256-019-0019-2
Open access status
Exception within 3 months of publication
Title of journal
Nature Machine Intelligence

Designing content-driven intelligent notification mechanisms for mobile applicat ...

Submitting institution
The University of Birmingham
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2015
DOI
10.1145/2750858.2807544
Title of conference / published proceedings
UbiComp '15 Proceedings of the 2015 ACM International Joint Conference on Pervasive and Ubiquitous Computing

Designing FPT algorithms for cut problems using randomized contractions

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

Detection and characterisation of bone destruction in murine rheumatoid arthritis ...

Submitting institution
The University of Birmingham
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.1016/j.media.2017.05.006
Open access status
Compliant
Title of journal
Medical Image Analysis

Developing correctly replicated databases using formal tools

Submitting institution
The University of Birmingham
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2014
DOI
10.1109/DSN.2014.45
Open access status
Out of scope for open access requirements
Title of conference / published proceedings
2014 44th Annual IEEE/IFIP international conference on dependable systems and networks (proceedings)

Diminished control in crowdsourcing : an investigation of crowdworker multitasking ...

Submitting institution
The University of Birmingham
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2016
DOI
10.1145/2928269
Open access status
Technical exception
Title of journal
ACM Transactions on Computer-Human Interaction

Dismantling Megamos Crypto: Wirelessly Lockpicking a Vehicle Immobilizer

Submitting institution
The University of Birmingham
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2015
Title of conference / published proceedings
Supplement to the Proceedings of the 22nd USENIX Security Symposium

DTKI : a new formalized PKI with verifiable trusted parties

Submitting institution
The University of Birmingham
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2016
DOI
10.1093/comjnl/bxw039
Open access status
Compliant
Title of journal
The Computer Journal

Du-Vote: Remote Electronic Voting with Untrusted Computers

Submitting institution
The University of Birmingham
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2015
DOI
10.1109/CSF.2015.18
Title of conference / published proceedings
2015 IEEE 28th Computer Security Foundations Symposium

Dynamical systems as temporal feature spaces

Submitting institution
The University of Birmingham
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2020
Open access status
Compliant
Title of journal
Journal of Machine Learning Research

Effectful applicative bisimilarity : monads, relators, and the Howe's method

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

Efficient software implementation of ring-LWE encryption

Submitting institution
The University of Birmingham
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2015
DOI
10.7873/DATE.2015.0378
Open access status
Out of scope for open access requirements
Title of conference / published proceedings
Proceedings of the 2015 Design, Automation and Test in Europe Conference and Exhibition, DATE 2015

Efficient zero-knowledge arguments for arithmetic circuits in the discrete log s ...

Submitting institution
The University of Birmingham
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2016
DOI
10.1007/978-3-662-49896-5_12
Open access status
Technical exception
Title of conference / published proceedings
Advances in Cryptology – EUROCRYPT 2016 : 35th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Vienna, Austria, May 8-12, 2016, Proceedings, Part II

Election Verifiability for Helios under Weaker Trust Assumptions

Submitting institution
The University of Birmingham
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2014
DOI
10.1007/978-3-319-11212-1_19
Open access status
Out of scope for open access requirements
Title of conference / published proceedings
Computer Security - ESORICS 2014 : 19th European Symposium on Research in Computer Security, Wroclaw, Poland, September 7-11, 2014. Proceedings, Part II

Enhanced Certificate Transparency and End-to-End Encrypted Mail

Submitting institution
The University of Birmingham
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2014
DOI
10.14722/ndss.2014.23379
Title of conference / published proceedings
NDSS Symposium 2014

Escaping local optima using crossover with emergent diversity

Submitting institution
The University of Birmingham
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

Evolutionary multi-objective workflow scheduling in Cloud

Submitting institution
The University of Birmingham
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2015
DOI
10.1109/TPDS.2015.2446459
Open access status
Out of scope for open access requirements
Title of journal
IEEE Transactions on Parallel and Distributed Systems

Faster algorithms for isogeny problems using torsion point images

Submitting institution
The University of Birmingham
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2017
DOI
10.1007/978-3-319-70697-9_12
Open access status
Compliant
Title of conference / published proceedings
Advances in Cryptology – ASIACRYPT 2017 : 23rd International Conference on the Theory and Applications of Cryptology and Information Security, Hong Kong, China, December 3-7, 2017, Proceedings, Part II

FEMOSAA : Feature-guided and knEe-driven Multi-Objective optimization for Self-Adaptive ...

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

Fifty years of pulsar candidate selection : from simple filters to a new principled ...

Submitting institution
The University of Birmingham
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2016
DOI
10.1093/mnras/stw656
Open access status
Out of scope for open access requirements
Title of journal
Royal Astronomical Society. Monthly Notices

FPGA-based high-performance parallel architecture for homomorphic computing on encrypted ...

Submitting institution
The University of Birmingham
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2019
DOI
10.1109/HPCA.2019.00052
Open access status
Exception within 3 months of publication
Title of conference / published proceedings
2019 IEEE International Symposium on High Performance Computer Architecture (HPCA)

Freeze after writing quasi-deterministic parallel programming with LVars

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

From QBFs to MALL and back via focussing

Submitting institution
The University of Birmingham
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2020
DOI
10.1007/s10817-020-09564-x
Open access status
Compliant
Title of journal
Journal of Automated Reasoning

Highly articulated kinematic structure estimation combining motion and skeleton ...

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

How to make best use of cross-company data in software effort estimation?

Submitting institution
The University of Birmingham
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2014
DOI
10.1145/2568225.2568228
Title of conference / published proceedings
ICSE '14 : 36th International Conference on Software Engineering Proceedings

Identification protocols and signature schemes based on supersingular isogeny pr ...

Submitting institution
The University of Birmingham
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2017
DOI
10.1007/978-3-319-70694-8_1
Open access status
Not compliant
Title of conference / published proceedings
Advances in Cryptology – ASIACRYPT 2017 : 23rd International Conference on the Theory and Applications of Cryptology and Information Security, Hong Kong, China, December 3-7, 2017, Proceedings, Part I

Integrating question classification and deep learning for improved answer select ...

Submitting institution
The University of Birmingham
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2018
Title of conference / published proceedings
Proceedings of the 27th International Conference on Computational Linguistics

Kernelization via sampling with applications to finding matchings and related problems ...

Submitting institution
The University of Birmingham
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2016
DOI
10.1137/1.9781611974331.ch92
Open access status
Out of scope for open access requirements
Title of conference / published proceedings
Proceedings of the 2016 Annual ACM-SIAM Symposium on Discrete Algorithms

Latent regression forest : structured estimation of 3D hand poses

Submitting institution
The University of Birmingham
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2016
DOI
10.1109/TPAMI.2016.2599170
Open access status
Technical exception
Title of journal
IEEE Transactions on Pattern Analysis and Machine Intelligence

Learning in the model space for cognitive fault diagnosis

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

Learning kernel logistic regression in the presence of class label noise

Submitting institution
The University of Birmingham
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2014
DOI
10.1016/j.patcog.2014.05.007
Open access status
Out of scope for open access requirements
Title of journal
Pattern Recognition

Level-based analysis of genetic algorithms and other search processes

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

List H-coloring a graph by removing few vertices

Submitting institution
The University of Birmingham
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2016
DOI
10.1007/s00453-016-0139-6
Open access status
Out of scope for open access requirements
Title of journal
Algorithmica

Lock it and still lose it : on the (in)security of automotive remote keyless entry ...

Submitting institution
The University of Birmingham
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2016
DOI
10.5555/3241094.3241166
Title of conference / published proceedings
Proceedings of the 25th USENIX Security Symposium

Logical relations and parametricity - A Reynolds Programme for category theory and ...

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

Mapping distributed brain function and networks with diffuse optical tomography

Submitting institution
The University of Birmingham
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2014
DOI
10.1038/nphoton.2014.107
Open access status
Out of scope for open access requirements
Title of journal
Nature Photonics

Mixed Logical Inference and Probabilistic Planning for Robots in Unreliable Worl ...

Submitting institution
The University of Birmingham
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2015
DOI
10.1109/TRO.2015.2422531
Open access status
Out of scope for open access requirements
Title of journal
IEEE Transactions on Robotics

Modules over relative monads for syntax and semantics

Submitting institution
The University of Birmingham
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2014
DOI
10.1017/S0960129514000103
Open access status
Out of scope for open access requirements
Title of journal
Mathematical Structures in Computer Science

Mtac: A monad for typed tactic programming in Coq

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

Multi-line distance minimization : a visualized many-objective test problem suit ...

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

New Bounds on Compressive Linear Least Squares Regression

Submitting institution
The University of Birmingham
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2014
Title of conference / published proceedings
17th International Conference on Artificial Intelligence and Statistics (AISTATS)

Notions of anonymous existence in Martin-Löf type theory

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

On linear rewriting systems for Boolean logic and some applications to proof the ...

Submitting institution
The University of Birmingham
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2016
DOI
10.2168/LMCS-12(4:9)2016
Open access status
Compliant
Title of journal
Logical Methods in Computer Science

On the (in)security of the latest generation implantable cardiac defibrillators and ...

Submitting institution
The University of Birmingham
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2016
DOI
10.1145/2991079.2991094
Title of conference / published proceedings
ACSAC '16 : Proceedings of the 32nd Annual Conference on Computer Security Applications

On the security of supersingular isogeny cryptosystems

Submitting institution
The University of Birmingham
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2016
DOI
10.1007/978-3-662-53887-6_3
Open access status
Technical exception
Title of conference / published proceedings
Advances in Cryptology – ASIACRYPT 2016 : 22nd International Conference on the Theory and Application of Cryptology and Information Security, Hanoi, Vietnam, December 4-8, 2016, Proceedings, Part I

One shot learning and generation of dexterous grasps for novel objects

Submitting institution
The University of Birmingham
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2015
DOI
10.1177/0278364915594244
Open access status
Out of scope for open access requirements
Title of journal
The International Journal of Robotics Research

Online discriminative kernel density estimator with Gaussian kernels

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

Online ensemble learning of data streams with gradually evolved classes

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

Oversampling the minority class in the feature space

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

Parameterized Streaming: Maximal Matching and Vertex Cover

Submitting institution
The University of Birmingham
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2015
DOI
10.1137/1.9781611973730.82
Title of conference / published proceedings
Proceedings of the Twenty-Sixth Annual ACM-SIAM Symposium on Discrete Algorithms (SODA 2015)

Plundervolt : software-based fault injection attacks against Intel SGX

Submitting institution
The University of Birmingham
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2020
DOI
10.1109/SP40000.2020.00057
Open access status
Not compliant
Title of conference / published proceedings
2020 IEEE Symposium on Security and Privacy (SP)

Privacy through Pseudonymity in Mobile Telephony Systems

Submitting institution
The University of Birmingham
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2014
DOI
10.14722/ndss.2014.23082
Title of conference / published proceedings
21st Annual Network and Distributed System Security Symposium (NDSS'14)

Probabilistic planning with formal performance guarantees for mobile service rob ...

Submitting institution
The University of Birmingham
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2019
DOI
10.1177/0278364919856695
Open access status
Compliant
Title of journal
The International Journal of Robotics Research

Random projections as regularizers: learning a linear discriminant from fewer observations ...

Submitting institution
The University of Birmingham
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2014
DOI
10.1007/s10994-014-5466-8
Open access status
Out of scope for open access requirements
Title of journal
Machine Learning

REBA : a refinement-based architecture for knowledge representation and reasoning ...

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

Resampling-based ensemble methods for online class imbalance learning

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

Robot task planning and explanation in open and uncertain worlds

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

Saber : module-LWR based key exchange, CPA-secure encryption and CCA-secure KEM

Submitting institution
The University of Birmingham
Unit of assessment
11 - Computer Science and Informatics
Type
C - Chapter in book
Year of publication
2018
DOI
10.1007/978-3-319-89339-6_16
Book title
Progress in Cryptology – AFRICACRYPT 2018 : 10th International Conference on Cryptology in Africa, Marrakesh, Morocco, May 7–9, 2018, Proceedings

Self-adaptation of mutation rates in non-elitist populations

Submitting institution
The University of Birmingham
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2016
DOI
10.1007/978-3-319-45823-6_75
Open access status
Technical exception
Title of conference / published proceedings
PPSN 2016 : Parallel Problem Solving from Nature – PPSN XIV

Self-adaptive and online QoS modeling for cloud-based software services

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

Self-Adaptive Trade-off Decision Making for Autoscaling Cloud-Based Services

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

Shift-Based Density Estimation for Pareto-Based Algorithms in Many-Objective Opt ...

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

Simple approximate MAP inference for Dirichlet processes mixtures

Submitting institution
The University of Birmingham
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2016
DOI
10.1214/16-EJS1196
Open access status
Compliant
Title of journal
Electronic Journal of Statistics

SIP : optimal product selection from feature models using many-objective evolutionary ...

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

Sound auction specification and implementation

Submitting institution
The University of Birmingham
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2015
DOI
10.1145/2764468.2764511
Title of conference / published proceedings
EC '15 Proceedings of the Sixteenth ACM Conference on Economics and Computation

Spatially-adaptive filter units for compact and efficient deep neural networks

Submitting institution
The University of Birmingham
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2020
DOI
10.1007/s11263-019-01282-1
Open access status
Compliant
Title of journal
International Journal of Computer Vision

Spin and wavelength multiplexed nonlinear metasurface holography

Submitting institution
The University of Birmingham
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2016
DOI
10.1038/ncomms11930
Open access status
Compliant
Title of journal
Nature Communications

Stable matching-based selection in evolutionary multiobjective optimization

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

Supersingular isogeny graphs and endomorphism rings : reductions and solutions

Submitting institution
The University of Birmingham
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2018
DOI
10.1007/978-3-319-78372-7_11
Open access status
Compliant
Title of conference / published proceedings
Advances in Cryptology – EUROCRYPT 2018 : 37th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Tel Aviv, Israel, April 29 - May 3, 2018 Proceedings, Part III

The choice of the offspring population size in the (1,λ) evolutionary algorithm

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

The dynamic geometry of interaction machine : a call-by-need graph rewriter

Submitting institution
The University of Birmingham
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2017
DOI
10.4230/LIPIcs.CSL.2017.32
Open access status
Compliant
Title of conference / published proceedings
26th EACSL Annual Conference on Computer Science Logic (CSL 2017)

The Ho-Zhao problem

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

The Inconsistency of a Brouwerian Continuity Principle with the Curry–Howard Int ...

Submitting institution
The University of Birmingham
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2015
DOI
10.4230/LIPIcs.TLCA.2015.153
Open access status
Out of scope for open access requirements
Title of conference / published proceedings
13th International Conference on Typed Lambda Calculi and Applications, Proceedings

The ZX-calculus is complete for stabilizer quantum mechanics

Submitting institution
The University of Birmingham
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2014
DOI
10.1088/1367-2630/16/9/093021
Open access status
Out of scope for open access requirements
Title of journal
New Journal of Physics

Time protection : the missing OS abstraction

Submitting institution
The University of Birmingham
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2019
DOI
10.1145/3302424.3303976
Title of conference / published proceedings
EuroSys '19 : Proceedings of the Fourteenth EuroSys Conference 2019

Topological data analysis quantifies biological nano-structure from single molecule ...

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

Toward large-scale continuous EDA : a random matrix theory perspective

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

Towards making mathematics a first class citizen in general screen readers

Submitting institution
The University of Birmingham
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2014
DOI
10.1145/2596695.2596700
Title of conference / published proceedings
W4A 2014 - Proceedings of the 11th Web for All Conference

Univalent categories and the Rezk completion

Submitting institution
The University of Birmingham
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2015
DOI
10.1017/S0960129514000486
Open access status
Out of scope for open access requirements
Title of journal
Mathematical Structures in Computer Science
Showing outputs 1 to 100 of 107

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.