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

  • University of Oxford
   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 184

#BIS-hardness for 2-spin systems on bipartite bounded degree graphs in the tree non-uniqueness ...

Submitting institution
University of Oxford
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2015
DOI
10.1016/j.jcss.2015.11.009
Open access status
Out of scope for open access requirements
Title of journal
Journal of Computer and Systems Sciences International

A categorical semantics for causal structure

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

A convenient category for higher-order probability theory

Submitting institution
University of Oxford
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2017
DOI
10.1109/LICS.2017.8005137
Open access status
Compliant
Title of conference / published proceedings
Proceedings - Symposium on Logic in Computer Science

A convolutional neural network for modelling sentences

Submitting institution
University of Oxford
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2014
DOI
10.3115/v1/p14-1062
Title of conference / published proceedings
52nd Annual Meeting of the Association for Computational Linguistics

A DISCONTINUOUS GALERKIN FINITE ELEMENT METHOD FOR MULTIPHASE VISCOUS FLOW

Submitting institution
University of Oxford
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2015
DOI
10.1137/14098497X
Open access status
Out of scope for open access requirements
Title of journal
SIAM JOURNAL ON SCIENTIFIC COMPUTING

A domain theory for statistical probabilistic programming

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

A formal, scalable approach to semantic interoperability

Submitting institution
University of Oxford
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2020
DOI
10.1016/j.scico.2020.102426
Open access status
Compliant
Title of journal
Science of Computer Programming

A hidden Markov model-based acoustic cicada detector for crowdsourced smartphone ...

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

A hybrid exact algorithm for complete set partitioning

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

A Lightweight and Inexpensive In-ear Sensing System For Automatic Whole-night Sleep ...

Submitting institution
University of Oxford
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2016
DOI
10.1145/2994551.2994562
Title of conference / published proceedings
Proceedings of the 14th ACM Conference on Embedded Network Sensor Systems CD-ROM

A mathematical theory of resources

Submitting institution
University of Oxford
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2016
DOI
10.1016/j.ic.2016.02.008
Open access status
Out of scope for open access requirements
Title of journal
INFORMATION AND COMPUTATION

A tale of sea and sky: On the security of maritime VSAT communications

Submitting institution
University of Oxford
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2020
DOI
10.1109/SP40000.2020.00056
Open access status
Compliant
Title of conference / published proceedings
IEEE Symposium on Security and Privacy

A theoretically grounded application of dropout in recurrent neural networks

Submitting institution
University of Oxford
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2016
Open access status
Compliant
Title of conference / published proceedings
Advances in Neural Information Processing Systems 29 (NIPS 2016)

A widening approach to multithreaded program verification

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

Accuracy Estimation for Sensor Systems

Submitting institution
University of Oxford
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2015
DOI
10.1109/TMC.2014.2352262
Open access status
Out of scope for open access requirements
Title of journal
IEEE TRANSACTIONS ON MOBILE COMPUTING

Achieving new upper bounds for the hypergraph duality problem through logic

Submitting institution
University of Oxford
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.1137/15M1027267
Open access status
Compliant
Title of journal
SIAM Journal on Computing

Adaptive social networks promote the wisdom of crowds

Submitting institution
University of Oxford
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2020
Open access status
Compliant
Title of journal
Proceedings of the National Academy of Sciences

Amplifiers for the Moran process

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

An unsupervised training method for non-intrusive appliance load monitoring

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

Analysis of reflexive eye movements for fast replay-resistant biometric authenti ...

Submitting institution
University of Oxford
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.1145/3281745
Open access status
Compliant
Title of journal
ACM Transactions on Privacy and Security

Approximate Well-supported Nash Equilibria Below Two-thirds

Submitting institution
University of Oxford
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2015
DOI
10.1007/s00453-015-0029-3
Open access status
Out of scope for open access requirements
Title of journal
ALGORITHMICA

Approximately counting H-colourings is #BIS-hard

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

Approximating optimal social choice under metric preferences

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

Approximation via Correlation Decay when Strong Spatial Mixing Fails

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

Arbitration and Stability in Cooperative Games with Overlapping Coalitions.

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

Automated Insider Threat Detection System Using User and Role-Based Profile Asse ...

Submitting institution
University of Oxford
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2015
DOI
10.1109/JSYST.2015.2438442
Open access status
Out of scope for open access requirements
Title of journal
IEEE SYSTEMS JOURNAL

Automated temporal equilibrium analysis: Verification and synthesis of multi-player ...

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

Average-case lower bounds and satisfiability algorithms for small threshold circ ...

Submitting institution
University of Oxford
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.4086/toc.2018.v014a009
Open access status
Compliant
Title of journal
Theory of Computing

BIAS: Bluetooth Impersonation AttackS

Submitting institution
University of Oxford
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2020
DOI
10.1109/sp40000.2020.00093
Open access status
Exception within 3 months of publication
Title of conference / published proceedings
2020 IEEE Symposium on Security and Privacy (SP)

Binarisation for valued constraint satisfaction problems

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

Binary constraint satisfaction problems defined by excluded topological minors

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

Bit-precise procedure-modular termination analysis

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

Blockchain mining games

Submitting institution
University of Oxford
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2016
DOI
10.1145/2940716.2940773
Title of conference / published proceedings
EC 2016: 17th ACM Conference on Economics and Computation

Bounds for the query complexity of approximate equilibria

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

Bounds on the Cost of Stabilizing a Cooperative Game

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

Building efficient query engines in a high-level language

Submitting institution
University of Oxford
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
Open access status
Deposit exception
Title of journal
ACM Transactions on Database Systems

Cell morphology drives spatial patterning in microbial communities

Submitting institution
University of Oxford
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2016
Open access status
Compliant
Title of journal
Proceedings of the National Academy of Sciences

Central Limit Model Checking.

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

Certified quantum random numbers from untrusted light

Submitting institution
University of Oxford
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2020
DOI
10.1103/PhysRevX.10.041048
Open access status
Compliant
Title of journal
Physical Review X

Comparing chemical reaction networks: A categorical and algorithmic perspective

Submitting institution
University of Oxford
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.1016/j.tcs.2017.12.018
Open access status
Exception within 3 months of publication
Title of journal
Theoretical Computer Science

Complexity and expressive power of weakly well-designed SPARQL

Submitting institution
University of Oxford
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.1007/s00224-017-9802-9
Open access status
Compliant
Title of journal
Theory of Computing Systems

Complexity results for preference aggregation over (m)CP-nets: Pareto and majority ...

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

Compositional morphology for word representations and language modelling

Submitting institution
University of Oxford
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2014
Open access status
Out of scope for open access requirements
Title of conference / published proceedings
International Conference on Machine Learning, ICML 2014

Compositional strategy synthesis for stochastic games with multiple objectives

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

Computation in generalised probabilisitic theories

Submitting institution
University of Oxford
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2015
DOI
10.1088/1367-2630/17/8/083001
Open access status
Out of scope for open access requirements
Title of journal
NEW JOURNAL OF PHYSICS

Computing Convex Coverage Sets for Faster Multi-objective Coordination

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

Consequence-based and fixed-parameter tractable reasoning in description logics

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

Consequence-Based Reasoning for Description Logics with Disjunctions and Number ...

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

Contiguous cake cutting: hardness results and approximation algorithms

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

Cooperative games with overlapping coalitions: charting the tractability frontie ...

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

COUNTING LIST MATRIX PARTITIONS OF GRAPHS

Submitting institution
University of Oxford
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2015
DOI
10.1137/140963029
Open access status
Out of scope for open access requirements
Title of journal
SIAM JOURNAL ON COMPUTING

Datalog Rewritability of Disjunctive Datalog Programs and Non-Horn Ontologies

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

Decidability of the membership problem for 2 x 2 integer matrices

Submitting institution
University of Oxford
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
SODA '17 Proceedings of the Twenty-Eighth Annual ACM-SIAM Symposium on Discrete Algorithms

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

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

Declarative probabilistic programming with Datalog

Submitting institution
University of Oxford
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.1145/3132700
Open access status
Compliant
Title of journal
ACM Transactions on Database Systems

Deep neural network based inertial odometry using low-cost inertial measurement ...

Submitting institution
University of Oxford
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
Compliant
Title of journal
IEEE Transactions on Mobile Computing

Definability and Interpolation in Decidable Fixpoint Logics

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

Denotational validation of higher-order Bayesian inference

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

Don’t sit on the fence: A static analysis approach to automatic fence insertion

Submitting institution
University of Oxford
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.1145/2994593
Open access status
Compliant
Title of journal
Transactions on Programming Languages and Systems

Dropout as a Bayesian approximation: Representing model uncertainty in deep lear ...

Submitting institution
University of Oxford
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2016
Open access status
Compliant
Title of conference / published proceedings
33rd International Conference on Machine Learning, ICML 2016

Duality and optimality of auctions for uniform distributions

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

eBP: A Wearable System For Frequent and Comfortable Blood Pressure Monitoring From ...

Submitting institution
University of Oxford
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2019
DOI
10.1145/3300061.3345454
Title of conference / published proceedings
The 25th Annual International Conference on Mobile Computing and Networking

Effect algebras, presheaves, contextuality and non-locality

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

Effective interpolation and preservation in guarded logics

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

Efficient Analysis of Probabilistic Programs with an Unbounded Counter

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

Efficient crowdsourcing of unknown experts using bounded multi-armed bandits

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

Efficient state-space inference of periodic latent force models

Submitting institution
University of Oxford
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2014
DOI
10.5555/2627435.2670325
Open access status
Out of scope for open access requirements
Title of journal
Journal of Machine Learning Research

Efficient verification of concurrent systems using synchronisation analysis and SAT/SMT ...

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

Expected policy gradients for reinforcement learning

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

Expressive languages for querying the semantic web

Submitting institution
University of Oxford
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.1145/3238304
Open access status
Compliant
Title of journal
ACM Transactions on Database Systems

Fair navigation planning: A resource for characterizing and designing fairness in ...

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

Faster Coroutine Pipelines

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

FERROMAGNETIC POTTS MODEL: REFINED #BIS-HARDNESS AND RELATED RESULTS

Submitting institution
University of Oxford
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2016
Open access status
Compliant
Title of journal
SIAM JOURNAL ON COMPUTING

Finding and resolving security misusability with misusability cases

Submitting institution
University of Oxford
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2014
DOI
10.1007/s00766-014-0217-8
Open access status
Out of scope for open access requirements
Title of journal
REQUIREMENTS ENGINEERING

Fine-grained dichotomies for the Tutte Plane and Boolean #CSP

Submitting institution
University of Oxford
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.1007/s00453-018-0472-z
Open access status
Deposit exception
Title of journal
Algorithmica

Finite open-world query answering with number restrictions

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

Foundations of Declarative Data Analysis Using Limit Datalog Programs.

Submitting institution
University of Oxford
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2017
DOI
10.24963/ijcai.2017/156
Open access status
Compliant
Title of conference / published proceedings
CoRR

Foundations of Ontology-Based Data Access under Bag Semantics

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

Fourier spectral methods for fractional-in-space reaction-diffusion equations

Submitting institution
University of Oxford
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2014
DOI
10.1007/s10543-014-0484-2
Open access status
Out of scope for open access requirements
Title of journal
BIT NUMERICAL MATHEMATICS

Fractional diffusion models of cardiac electrical propagation: role of structural ...

Submitting institution
University of Oxford
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2014
DOI
10.1098/rsif.2014.0352
Open access status
Out of scope for open access requirements
Title of journal
Journal of the Royal Society, Interface

Frege systems for quantified Boolean logic

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

Friendly Jamming on Access Points: Analysis and Real-World Measurements

Submitting institution
University of Oxford
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2016
DOI
10.1109/TWC.2016.2581165
Open access status
Compliant
Title of journal
IEEE Transactions on Wireless Communications

From model checking to equilibrium checking: reactive modules for rational verif ...

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

Game semantics for dependent types

Submitting institution
University of Oxford
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.1016/j.ic.2018.02.015
Open access status
Not compliant
Title of journal
INFORMATION AND COMPUTATION

Game semantics for interface middleweight Java

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

Generating Plans From Proofs

Submitting institution
University of Oxford
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2016
Open access status
Out of scope for open access requirements
Title of journal
ACM Transactions on Database Systems

Global and local information in clustering labeled block models

Submitting institution
University of Oxford
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2016
DOI
10.1109/TIT.2016.2516564
Open access status
Out of scope for open access requirements
Title of journal
IEEE Transactions on Information Theory

Gollum: modular and greybox exploit generation for heap overflows in interpreter ...

Submitting institution
University of Oxford
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2019
DOI
10.1145/3319535.3354224
Open access status
Compliant
Title of conference / published proceedings
Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security

Guiding the folding pathway of DNA origami.

Submitting institution
University of Oxford
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2015
Open access status
Out of scope for open access requirements
Title of journal
Nature

Hardness magnification for natural problems

Submitting institution
University of Oxford
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2018
DOI
10.1109/FOCS.2018.00016
Open access status
Compliant
Title of conference / published proceedings
59th Annual IEEE Symposium on Foundations of Computer Science

HermiT: An OWL 2 Reasoner

Submitting institution
University of Oxford
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2014
DOI
10.1007/s10817-014-9305-1
Open access status
Out of scope for open access requirements
Title of journal
Journal of Automated Reasoning

Hierarchical Clustering: Objective Functions and Algorithms

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

Higher-order constrained horn clauses for verification

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

Human in silico drug trials demonstrate higher accuracy than animal models in predicting ...

Submitting institution
University of Oxford
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
Open access status
Compliant
Title of journal
Frontiers in Physiology

Imperfect information in Reactive Modules games

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

Inapproximability for Antiferromagnetic Spin Systems in the Tree Nonuniqueness R ...

Submitting institution
University of Oxford
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2015
Open access status
Out of scope for open access requirements
Title of journal
JOURNAL OF THE ACM

Inapproximability of the independent set polynomial in the complex plane

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

Integrating Linear and Dependent Types.

Submitting institution
University of Oxford
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2015
DOI
10.1145/2775051.2676969
Open access status
Out of scope for open access requirements
Title of conference / published proceedings
POPL

Invertibility conditions for floating-point formulas

Submitting institution
University of Oxford
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2019
DOI
10.1007/978-3-030-25543-5_8
Open access status
Compliant
Title of conference / published proceedings
Computer Aided Verification

Iterated Boolean games.

Submitting institution
University of Oxford
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2015
DOI
10.1016/j.ic.2015.03.011
Open access status
Out of scope for open access requirements
Title of journal
Information and Computation
Showing outputs 1 to 100 of 184

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.