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

  • Birkbeck 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 60 of 60

J-Logic: Logical Foundations for JSON Querying

Submitting institution
Birkbeck College
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2017
DOI
10.1145/3034786.3056106
Title of conference / published proceedings
Proceedings of the 36th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems - PODS '17

A cookbook for temporal conceptual data modelling with description logic

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

A decision procedure for satisfiability in separation logic with inductive predi ...

Submitting institution
Birkbeck College
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2014
DOI
10.1145/2603088.2603091
Title of conference / published proceedings
Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - CSL-LICS '14

A general centrality framework based on node navigability

Submitting institution
Birkbeck College
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2019
DOI
10.1109/TKDE.2019.2947035
Open access status
Compliant
Title of journal
IEEE Transactions on Knowledge and Data Engineering

A methodology and architecture embedding quality assessment in data integration

Submitting institution
Birkbeck College
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2014
DOI
10.1145/2567663
Open access status
Out of scope for open access requirements
Title of journal
Journal of Data and Information Quality

Algorithm-dependent generalization bounds for multi-task learning

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

An Inter-Cloud Meta-Scheduling (ICMS) simulation framework: architecture and eva ...

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

Analysis of a heterogeneous social network of humans and cultural objects

Submitting institution
Birkbeck College
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2015
DOI
10.1109/TSMC.2014.2378215
Open access status
Out of scope for open access requirements
Title of journal
IEEE Transactions on Systems, Man, and Cybernetics: Systems

Analyzing Program Termination and Complexity Automatically with AProVE

Submitting institution
Birkbeck College
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2016
DOI
10.1007/s10817-016-9388-y
Open access status
Compliant
Title of journal
Journal of Automated Reasoning

Analyzing runtime and size complexity of integer programs

Submitting institution
Birkbeck College
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2016
DOI
10.1145/2866575
Open access status
Compliant
Title of journal
ACM Transactions on Programming Languages and Systems

Approximation and relaxation of semantic web path queries

Submitting institution
Birkbeck College
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2016
DOI
10.1016/j.websem.2016.08.001
Open access status
Compliant
Title of journal
Journal of Web Semantics

Automatic detection and repair of directive defects of Java APIs documentation

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

Bayesian Performance Comparison of Text Classifiers

Submitting institution
Birkbeck College
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2016
DOI
10.1145/2911451.2911547
Title of conference / published proceedings
Proceedings of the 39th International ACM SIGIR conference on Research and Development in Information Retrieval - SIGIR '16

Bisimulations for Fuzzy Transition Systems revisited

Submitting institution
Birkbeck College
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.1016/j.ijar.2018.04.010
Open access status
Compliant
Title of journal
International Journal of Approximate Reasoning

Bootstrap Domain-Specific Sentiment Classifiers from Unlabeled Corpora

Submitting institution
Birkbeck College
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.1162/tacl_a_00020
Open access status
Compliant
Title of journal
Transactions of the Association for Computational Linguistics

Bounding the search space for global optimization of neural networks learning error: ...

Submitting institution
Birkbeck College
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2016
Open access status
Compliant
Title of journal
Journal of Machine Learning Research

Characterising bounded expansion by neighbourhood complexity

Submitting institution
Birkbeck College
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.1016/j.ejc.2018.08.001
Open access status
Compliant
Title of journal
European Journal of Combinatorics

Constant-query testability of assignments to constraint satisfaction problems

Submitting institution
Birkbeck College
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2019
Open access status
Compliant
Title of journal
SIAM Journal on Computing

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

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

Decomposing quantified conjunctive (or disjunctive) formulas

Submitting institution
Birkbeck College
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2016
DOI
10.1137/140957378
Open access status
Technical exception
Title of journal
SIAM Journal on Computing

Deep abstraction and weighted feature selection for Wi-Fi impersonation detectio ...

Submitting institution
Birkbeck College
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.1109/TIFS.2017.2762828
Open access status
Technical exception
Title of journal
IEEE Transactions on Information Forensics and Security

Designing deterministic polynomial-space algorithms by color-coding multivariate ...

Submitting institution
Birkbeck College
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.1016/j.jcss.2018.01.004
Open access status
Technical exception
Title of journal
Journal of Computer and System Sciences

Enhanced Discrete Multi-modal Hashing: more constraints yet less time to learn

Submitting institution
Birkbeck College
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2020
DOI
10.1109/TKDE.2020.2995195
Open access status
Compliant
Title of journal
IEEE Transactions on Knowledge and Data Engineering (TKDE)

Exploring neighborhoods in large metagenome assembly graphs reveals hidden sequence ...

Submitting institution
Birkbeck College
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2020
DOI
10.1186/s13059-020-02066-4
Open access status
Compliant
Title of journal
Genome Biology

Flexible query processing for SPARQL

Submitting institution
Birkbeck College
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.3233/SW-150206
Open access status
Compliant
Title of journal
Semantic Web

Fractional covers of Hypergraphs with bounded multi-intersection

Submitting institution
Birkbeck College
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2020
DOI
10.4230/LIPIcs.MFCS.2020.41
Title of conference / published proceedings
45th International Symposium on Mathematical Foundations of Computer Science (MFCS 2020)

Generalized Visual Information Analysis Via Tensorial Algebra

Submitting institution
Birkbeck College
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2020
DOI
10.1007/s10851-020-00946-9
Open access status
Compliant
Title of journal
Journal of Mathematical Imaging and Vision

Generating top-k packages via preference elicitation

Submitting institution
Birkbeck College
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2015
DOI
10.14778/2733085.2733099
Open access status
Out of scope for open access requirements
Title of journal
Proceedings of the VLDB Endowment

Horn fragments of the Halpern-Shoham Interval Temporal Logic

Submitting institution
Birkbeck College
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.1145/3105909
Open access status
Compliant
Title of journal
ACM Transactions on Computational Logic

Improving and Extending the Testing of Distributions for Shape-Restricted Proper ...

Submitting institution
Birkbeck College
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2019
DOI
10.1007/s00453-019-00598-1
Open access status
Compliant
Title of journal
Algorithmica

IRGAN: A Minimax Game for Unifying Generative and Discriminative Information Retrieval ...

Submitting institution
Birkbeck College
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2017
DOI
10.1145/3077136.3080786
Title of conference / published proceedings
Proceedings of the 40th International ACM SIGIR Conference on Research and Development in Information Retrieval

Knowledge base exchange: the case of OWL 2 QL

Submitting institution
Birkbeck College
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2016
DOI
10.1016/j.artint.2016.05.002
Open access status
Compliant
Title of journal
Artificial Intelligence

KRIPKE COMPLETENESS OF STRICTLY POSITIVE MODAL LOGICS OVER MEET-SEMILATTICES WITH ...

Submitting institution
Birkbeck College
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2019
DOI
10.1017/jsl.2019.22
Open access status
Compliant
Title of journal
The Journal of Symbolic Logic

Learnability of solutions to conjunctive queries

Submitting institution
Birkbeck College
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2019
Open access status
Compliant
Title of journal
Journal of Machine Learning Research

Learning structured medical information from social media

Submitting institution
Birkbeck College
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2020
DOI
10.1016/j.jbi.2020.103568
Open access status
Compliant
Title of journal
Journal of Biomedical Informatics

Linear kernels and single-exponential algorithms via Protrusion Decompositions

Submitting institution
Birkbeck College
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2015
DOI
10.1145/2797140
Open access status
Out of scope for open access requirements
Title of journal
ACM Transactions on Algorithms

Model Comparison Games for Horn Description Logics

Submitting institution
Birkbeck College
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2019
DOI
10.1109/LICS.2019.8785658
Title of conference / published proceedings
2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)

Multi-modal curriculum learning for semi-supervised image classification

Submitting institution
Birkbeck College
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2016
DOI
10.1109/TIP.2016.2563981
Open access status
Compliant
Title of journal
IEEE Transactions on Image Processing

O(log log Rank) Competitive Ratio for the Matroid Secretary Problem

Submitting institution
Birkbeck College
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2014
DOI
10.1109/FOCS.2014.42
Open access status
Out of scope for open access requirements
Title of conference / published proceedings
2014 IEEE 55th Annual Symposium on Foundations of Computer Science

On oblivious branching programs with bounded repetition that cannot efficiently compute ...

Submitting institution
Birkbeck College
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2016
DOI
10.1007/s00224-016-9714-0
Open access status
Compliant
Title of journal
Theory of Computing Systems

On the Power of Relaxed Local Decoding Algorithms

Submitting institution
Birkbeck College
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2020
DOI
10.1137/1.9781611975994.83
Title of conference / published proceedings
Proceedings of the Fourteenth Annual ACM-SIAM Symposium on Discrete Algorithms

On the read-once property of branching programs and CNFs of bounded treewidth

Submitting institution
Birkbeck College
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2015
DOI
10.1007/s00453-015-0059-x
Open access status
Out of scope for open access requirements
Title of journal
Algorithmica

One hierarchy spawns another: graph deconstructions and the complexity classification ...

Submitting institution
Birkbeck College
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.1145/3143805
Open access status
Technical exception
Title of journal
ACM Transactions on Computational Logic

Ontology-mediated queries: combined complexity and succinctness of rewritings via ...

Submitting institution
Birkbeck College
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.1145/3191832
Open access status
Compliant
Title of journal
Journal of the ACM

Queries with negation and inequalities over lightweight ontologies

Submitting institution
Birkbeck College
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2015
DOI
10.1016/j.websem.2015.06.002
Open access status
Out of scope for open access requirements
Title of journal
Journal of Web Semantics

Query inseparability for ALC ontologies

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

Querying Log Data with Metric Temporal Logic

Submitting institution
Birkbeck College
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.1613/jair.1.11229
Open access status
Compliant
Title of journal
Journal of Artificial Intelligence Research

Saliency propagation from simple to difficult

Submitting institution
Birkbeck College
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2015
DOI
10.1109/CVPR.2015.7298868
Open access status
Out of scope for open access requirements
Title of conference / published proceedings
2015 IEEE Conference on Computer Vision and Pattern Recognition (CVPR)

Single and multiple object tracking using a multi-feature joint sparse represent ...

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

Spatial reasoning with RCC8 and connectedness constraints in Euclidean spaces

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

Structural sparsity of complex networks: bounded expansion in random models and real-world ...

Submitting institution
Birkbeck College
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2019
DOI
10.1016/j.jcss.2019.05.004
Open access status
Compliant
Title of journal
Journal of Computer and System Sciences

Systematic analysis of the gerontome reveals links between aging and age-related ...

Submitting institution
Birkbeck College
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2016
DOI
10.1093/hmg/ddw307
Open access status
Compliant
Title of journal
Human Molecular Genetics

The algebra of functions with antidomain and range

Submitting institution
Birkbeck College
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2015
DOI
10.1016/j.jpaa.2015.11.003
Open access status
Out of scope for open access requirements
Title of journal
Journal of Pure and Applied Algebra

The cloudUPDRS app: a medical device for the clinical assessment of Parkinson's ...

Submitting institution
Birkbeck College
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.1016/j.pmcj.2017.12.005
Open access status
Compliant
Title of journal
Pervasive and Mobile Computing

The Complexity of Ontology-Based Data Access with OWL 2 QL and Bounded Treewidth ...

Submitting institution
Birkbeck College
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2017
DOI
10.1145/3034786.3034791
Title of conference / published proceedings
Proceedings of the 36th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems - PODS '17

The price of query rewriting in ontology-based data access

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

The size of a graph is reconstructible from any n - 2 cards

Submitting institution
Birkbeck College
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.1016/j.disc.2017.08.026
Open access status
Compliant
Title of journal
Discrete Mathematics

The Tractability Frontier of Graph-Like First-Order Query Sets

Submitting institution
Birkbeck College
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.1145/3073409
Open access status
Technical exception
Title of journal
Journal of the ACM

Trading Query Complexity for Sample-Based Testing and Multi-testing Scalability

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

Well-quasi-ordering versus clique-width

Submitting institution
Birkbeck College
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.1016/j.jctb.2017.09.012
Open access status
Compliant
Title of journal
Journal of Combinatorial Theory Series B
Showing outputs 1 to 60 of 60

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.