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 Liverpool
   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 85 of 85

A Game-Based Approximate Verification of Deep Neural Networks with Provable Guar ...

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

A Higher-Dimensional Homologically Persistent Skeleton

Submitting institution
The University of Liverpool
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.1016/j.aam.2018.07.004
Open access status
Compliant
Title of journal
Advances in Applied Mathematics

A Little Charity Guarantees Almost Envy-Freeness

Submitting institution
The University of Liverpool
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2020
DOI
10.1137/1.9781611975994.162
Title of conference / published proceedings
SODA '20: Proceedings of the Thirty-First Annual ACM-SIAM Symposium on Discrete Algorithms

A New Measure for Analyzing and Fusing Sequences of Objects

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

Adventures in monitorability: From branching time to linear time and back again.

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

Algorithms for Algebraic Path Properties in Concurrent Systems of Constant Treewidth ...

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

Almost Logarithmic-Time Space Optimal Leader Election in Population Protocols

Submitting institution
The University of Liverpool
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2019
DOI
10.1145/3323165.3323178
Title of conference / published proceedings
The 31st ACM Symposium on Parallelism in Algorithms and Architectures

An Epistemic Strategy Logic

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

An Ordered Approach to Solving Parity Games in Quasi-Polynomial Time and Quasi-Linear ...

Submitting institution
The University of Liverpool
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2019
DOI
10.1007/s10009-019-00509-3
Open access status
Compliant
Title of journal
International Journal on Software Tools for Technology Transfer

Analysis of Pivot Sampling in Dual-Pivot Quicksort: A Holistic Analysis of Yaroslavskiy's ...

Submitting institution
The University of Liverpool
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2015
DOI
10.1007/s00453-015-0041-7
Open access status
Out of scope for open access requirements
Title of journal
Algorithmica: an international journal in computer science

Analysis of Quickselect Under Yaroslavskiy’s Dual-Pivoting Algorithm

Submitting institution
The University of Liverpool
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2014
DOI
10.1007/s00453-014-9953-x
Open access status
Out of scope for open access requirements
Title of journal
Algorithmica: an international journal in computer science

Average Case and Distributional Analysis of Dual-Pivot Quicksort

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

Characteristics of multiple viewpoints in abstract argumentation

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

Combinatorial Auctions Without Money

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

Computer-aided proof of Erdős discrepancy properties

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

Computing Convex Coverage Sets for Faster Multi-objective Coordination

Submitting institution
The University of Liverpool
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2015
DOI
10.1613/jair.4550
Open access status
Out of scope for open access requirements
Title of journal
Journal of Artificial Intelligence Research

Consensus Halving Is PPA-Complete

Submitting institution
The University of Liverpool
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2018
DOI
10.1145/3188745.3188880
Open access status
Technical exception
Title of conference / published proceedings
STOC'18: PROCEEDINGS OF THE 50TH ANNUAL ACM SIGACT SYMPOSIUM ON THEORY OF COMPUTING

Convolutional Neural Networks for Diabetic Retinopathy

Submitting institution
The University of Liverpool
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2016
DOI
10.1016/j.procs.2016.07.014
Open access status
Compliant
Title of conference / published proceedings
Procedia Computer Science

Cross-domain Sentiment Classification using Sentiment Sensitive Embeddings

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

Data Visualization with Structural Control of Global Cohort and Local Data Neigh ...

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

Decidability of the membership problem for 2 × 2 integer matrices

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

Deep Neural Network Based Inertial Odometry Using Low-cost Inertial Measurement ...

Submitting institution
The University of Liverpool
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2019
DOI
10.1109/tmc.2019.2960780
Open access status
Technical exception
Title of journal
IEEE Transactions on Mobile Computing

Designing Networks with Good Equilibria under Uncertainty

Submitting institution
The University of Liverpool
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2019
DOI
10.1137/16M1096694
Open access status
Compliant
Title of journal
SIAM Journal on Computing

Determining majority in networks with local interactions and very small local me ...

Submitting institution
The University of Liverpool
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2016
DOI
10.1007/s00446-016-0277-8
Open access status
Compliant
Title of journal
Distributed Computing

Deterministic Approximate Methods for Maximum Consensus Robust Fitting

Submitting institution
The University of Liverpool
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2019
DOI
10.1109/tpami.2019.2939307
Open access status
Compliant
Title of journal
IEEE Transactions on Pattern Analysis and Machine Intelligence

Dichotomies in Ontology-Mediated Querying with the Guarded Fragment

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

Distributed Methods for Computing Approximate Equilibria

Submitting institution
The University of Liverpool
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.1007/s00453-018-0465-y
Open access status
Compliant
Title of journal
Algorithmica: an international journal in computer science

Drift of Scroll Waves in Thin Layers Caused by Thickness Features: Asymptotic Theory ...

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

Dynamic Orthogonal Range Searching on the RAM, Revisited

Submitting institution
The University of Liverpool
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.20382/jocg.v9i2a5
Open access status
Technical exception
Title of journal
Journal of Computational Geometry

Dynamic Programming Optimization in Line of Sight Networks

Submitting institution
The University of Liverpool
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2019
DOI
10.1016/j.ic.2019.104460
Open access status
Compliant
Title of journal
Information and Computation

Embedding based on function approximation for large scale image search

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

Enhanced Phase Clocks, Population Protocols, and Fast Space Optimal Leader Elect ...

Submitting institution
The University of Liverpool
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2020
DOI
10.1145/3424659
Open access status
Compliant
Title of journal
Journal of the ACM

Exact Learning of Lightweight Description Logic Ontologies

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

Fast Nonadaptive Deterministic Algorithm for Conflict Resolution in a Dynamic Multiple-Access ...

Submitting institution
The University of Liverpool
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2015
DOI
10.1137/140982763
Open access status
Out of scope for open access requirements
Title of journal
SIAM Journal on Computing

Faster Algorithms for Dynamic Algebraic Queries in Basic RSMs with Constant Tree ...

Submitting institution
The University of Liverpool
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2019
DOI
10.1145/3363525
Open access status
Not compliant
Title of journal
ACM Transactions on Programming Languages and Systems

Finding Approximate Nash Equilibria of Bimatrix Games via Payoff Queries

Submitting institution
The University of Liverpool
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2016
DOI
10.1145/2956579
Open access status
Out of scope for open access requirements
Title of journal
ACM Transactions on Economics and Computation (TEAC)

Games for query inseparability of description logic knowledge bases

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

Generalized Matrix Completion and Algebraic Natural Proofs

Submitting institution
The University of Liverpool
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2018
DOI
10.1145/3188745.3188832
Open access status
Technical exception
Title of conference / published proceedings
STOC'18: PROCEEDINGS OF THE 50TH ANNUAL ACM SIGACT SYMPOSIUM ON THEORY OF COMPUTING

How Much Lookahead is Needed to Win Infinite Games?

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

iCLAP: Shape Recognition by Combining Proprioception and Touch Sensing

Submitting institution
The University of Liverpool
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.1007/s10514-018-9777-7
Open access status
Compliant
Title of journal
Autonomous Robots

Inapproximability results for constrained approximate Nash equilibria

Submitting institution
The University of Liverpool
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.1016/j.ic.2018.06.001
Open access status
Compliant
Title of journal
Information and Computation

Lazy Search Trees

Submitting institution
The University of Liverpool
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2020
DOI
10.1109/FOCS46700.2020.00071
Open access status
Compliant
Title of conference / published proceedings
Proceedings - Annual IEEE Symposium on Foundations of Computer Science, FOCS

Limiting logical violations in ontology alignment through negotiation

Submitting institution
The University of Liverpool
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2016
DOI
10.5555/3032027.3032054
Title of conference / published proceedings
KR'16: Proceedings of the Fifteenth International Conference on Principles of Knowledge Representation and Reasoning

Modal Resolution: Proofs, Layers and Refinements

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

No occurrence obstructions in geometric complexity theory

Submitting institution
The University of Liverpool
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.1090/jams/908
Open access status
Compliant
Title of journal
JOURNAL OF THE AMERICAN MATHEMATICAL SOCIETY

Omega-Regular Objectives in Model-Free Reinforcement Learning

Submitting institution
The University of Liverpool
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2019
DOI
10.1007/978-3-030-17462-0_27
Open access status
Compliant
Title of conference / published proceedings
Tools and Algorithms for the Construction and Analysis of Systems. TACAS 2019. Lecture Notes in Computer Science

On Algebraic Branching Programs of Small Width

Submitting institution
The University of Liverpool
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.1145/3209663
Open access status
Technical exception
Title of journal
Journal of the ACM

On Forbidden Induced Subgraphs for Unit Disk Graphs

Submitting institution
The University of Liverpool
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.1007/s00454-018-9968-1
Open access status
Technical exception
Title of journal
Discrete and Computational Geometry: an international journal of mathematics and computer science

On the Complexity of Hazard-free Circuits

Submitting institution
The University of Liverpool
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2019
DOI
10.1145/3320123
Open access status
Compliant
Title of journal
JOURNAL OF THE ACM

On the existence of approximate equilibria and sharing rule solutions in discontinuous ...

Submitting institution
The University of Liverpool
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.3982/TE2081
Open access status
Out of scope for open access requirements
Title of journal
THEORETICAL ECONOMICS

On the Nisan-Ronen conjecture for submodular valuations

Submitting institution
The University of Liverpool
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2020
DOI
10.1145/3357713.3384299
Open access status
Compliant
Title of conference / published proceedings
Proceedings of the 52nd Annual ACM SIGACT Symposium on Theory of Computing (STOC 2020)

On the Transformation Capability of Feasible Mechanisms for Programmable Matter

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

Online Optimization of Busy Time on Parallel Machines

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

Ontology-Based Data Access: A Study through Disjunctive Datalog, CSP, and MMSNP

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

Optimal Deterministic Algorithms for 2-d and 3-d Shallow Cuttings

Submitting institution
The University of Liverpool
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2016
DOI
10.1007/s00454-016-9784-4
Open access status
Technical exception
Title of journal
Discrete and Computational Geometry: an international journal of mathematics and computer science

Optimal Deterministic Shallow Cuttings for 3-d Dominance Ranges

Submitting institution
The University of Liverpool
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.1007/s00453-017-0376-3
Open access status
Technical exception
Title of journal
Algorithmica: an international journal in computer science

Parametric Linear Dynamic Logic

Submitting institution
The University of Liverpool
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2016
DOI
10.1016/j.ic.2016.07.009
Open access status
Technical exception
Title of journal
Information and Computation

Parity and Streett Games with Costs

Submitting institution
The University of Liverpool
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2014
DOI
10.2168/LMCS-10(2:14)2014
Open access status
Out of scope for open access requirements
Title of journal
Logical Methods in Computer Science

Polynomial counting in anonymous dynamic networks with applications to anonymous ...

Submitting institution
The University of Liverpool
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2018
DOI
10.4230/LIPIcs.ICALP.2018.156
Open access status
Compliant
Title of conference / published proceedings
Leibniz International Proceedings in Informatics, LIPIcs

Quantifying the informativeness of similarity measurements

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

Rectangular Kronecker coefficients and plethysms in geometric complexity theory

Submitting institution
The University of Liverpool
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.1016/j.aim.2017.08.024
Open access status
Technical exception
Title of journal
Advances in Mathematics

Register Games

Submitting institution
The University of Liverpool
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2020
DOI
10.23638/LMCS-16(2:6)2020
Open access status
Exception within 3 months of publication
Title of journal
Logical Methods in Computer Science

Safety Verification of Deep Neural Networks

Submitting institution
The University of Liverpool
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2017
DOI
10.1007/978-3-319-63387-9_1
Open access status
Deposit exception
Title of conference / published proceedings
Computer Aided Verification

Simple and efficient local codes for distributed stable network construction

Submitting institution
The University of Liverpool
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2015
DOI
10.1007/s00446-015-0257-4
Open access status
Out of scope for open access requirements
Title of journal
Distributed Computing

Simulation Problems Over One-Counter Nets

Submitting institution
The University of Liverpool
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2016
DOI
10.2168/LMCS-12(1:6)2016
Open access status
Out of scope for open access requirements
Title of journal
Logical Methods in Computer Science

Size versus truthfulness in the House Allocation problem

Submitting institution
The University of Liverpool
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2019
DOI
10.1007/s00453-019-00584-7
Open access status
Compliant
Title of journal
Algorithmica: an international journal in computer science

Stable fractional matchings

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

Stochastic Multi-view Hashing for Large-scale Near-duplicate Video Retrieval

Submitting institution
The University of Liverpool
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2016
DOI
10.1109/TMM.2016.2610324
Open access status
Compliant
Title of journal
IEEE Transactions on Multimedia

Structural Test Coverage Criteria for Deep Neural Networks

Submitting institution
The University of Liverpool
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2019
DOI
10.1145/3358233
Open access status
Not compliant
Title of journal
ACM Transactions on Embedded Computing Systems

Taking Account of the Actions of Others in Value-based Reasoning

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

Temporal Network Optimization Subject to Connectivity Constraints

Submitting institution
The University of Liverpool
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.1007/s00453-018-0478-6
Open access status
Compliant
Title of journal
Algorithmica: an international journal in computer science

Temporal Vertex Cover with a Sliding Time Window

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

The complexity of splitting necklaces and bisecting ham sandwiches

Submitting institution
The University of Liverpool
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2019
DOI
10.1145/3313276.3316334
Open access status
Technical exception
Title of conference / published proceedings
Proceedings of the Annual ACM Symposium on Theory of Computing

The Complexity of the Simplex Method

Submitting institution
The University of Liverpool
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2015
DOI
10.1145/2746539.2746558
Open access status
Out of scope for open access requirements
Title of conference / published proceedings
STOC '15: Proceedings of the forty-seventh annual ACM symposium on Theory of Computing

The Data Complexity of Ontology-Mediated Queries with Closed Predicates

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

The distortion of distributed voting

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

The Identity Problem for Matrix Semigroups in SL2(Z) is NP-complete

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

The Logic of Gossiping

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

The Price of Stability of Weighted Congestion Games

Submitting institution
The University of Liverpool
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2019
DOI
10.1137/18M1207880
Open access status
Compliant
Title of journal
SIAM Journal on Computing

Tight Bounds for the Price of Anarchy of Simultaneous First Price Auctions.

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

Traveling Salesman Problems in Temporal Graphs

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

Truthful Mechanisms for Multi Agent Self-Interested Correspondence Selection

Submitting institution
The University of Liverpool
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2019
DOI
10.1007/978-3-030-30793-6_42
Open access status
Compliant
Title of conference / published proceedings
SEMANTIC WEB - ISWC 2019, PT I

Unique End of Potential Line

Submitting institution
The University of Liverpool
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2020
DOI
10.1016/j.jcss.2020.05.007
Open access status
Compliant
Title of journal
Journal of Computer and System Sciences

Verification of Distributed Epistemic Gossip Protocols

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

When Patrolmen Become Corrupted: Monitoring a Graph Using Faulty Mobile Robots

Submitting institution
The University of Liverpool
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2016
DOI
10.1007/s00453-016-0233-9
Open access status
Compliant
Title of journal
Algorithmica
Showing outputs 1 to 85 of 85

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.