For the current REF see the REF 2021 website REF 2021 logo
You are in : Home » Results & submissions » Select UOA » 11 - Computer Science and Informatics » View submission: University of Oxford » Outputs

Outputs (REF2)

11 - Computer Science and Informatics

University of Oxford

First <
1 2 3 4 5 6
> Last
Showing outputs 201 - 250 of 263
Output title
Semantic integrity in large-scale online simulations
Output type
D - Journal article
Volume title
ACM Transactions on Internet Technology
Year
2010
DOI
10.1145/1667067.1667069
Output title
Semantic Web search based on ontological conjunctive queries
Output type
D - Journal article
Volume title
Journal of Web Semantics: Science, Services and Agents on the World Wide Web
Year
2011
DOI
10.1016/j.websem.2011.08.003
Output title
Simulation of multiple ion channel block provides improved early ...
Output type
D - Journal article
Volume title
Cardiovasc Res
Year
2011
DOI
10.1093/cvr/cvr044
Output title
Size and treewidth bounds for conjunctive queries
Output type
D - Journal article
Volume title
Journal of the ACM
Year
2012
DOI
10.1145/2220357.2220363
Output title
Software design for empowering scientists
Output type
D - Journal article
Volume title
IEEE Software
Year
2009
DOI
10.1109/MS.2009.22
Output title
Solving coalitional resource games
Output type
D - Journal article
Volume title
Artificial Intelligence
Year
2010
DOI
10.1016/j.artint.2009.09.005
Output title
Sound and Extensible Renaming for Java
Output type
E - Conference contribution
Volume title
OOPSLA 2008 NASHVILLE, CONFERENCE PROCEEDINGS
Year
2008
DOI
10.1145/1449764.1449787
Output title
Species-Specific Pulmonary Arterial Asymmetry Determines Species ...
Output type
D - Journal article
Volume title
Annals of Biomedical Engineering
Year
2009
DOI
10.1007/s10439-009-9802-2
Output title
Specifying secure transport layers
Output type
E - Conference contribution
Volume title
Proceedings - IEEE Computer Security Foundations Symposium
Year
2008
DOI
10.1109/CSF.2008.14
Output title
Step-indexed kripke models over recursive worlds
Output type
E - Conference contribution
Volume title
POPL '11 Proceedings of the 38th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
Year
2011
DOI
10.1145/1925844.1926401
Output title
Stochastic chemical kinetics and the total quasi-steady-state ...
Output type
D - Journal article
Volume title
The Journal of Chemical Physics
Year
2008
DOI
10.1063/1.2971036
Output title
Strand algebras for DNA computing
Output type
D - Journal article
Volume title
Natural Computing
Year
2011
DOI
10.1007/s11047-010-9236-7
Output title
Strong Complementarity and Non-locality in Categorical Quantum ...
Output type
E - Conference contribution
Volume title
LICS
Year
2012
DOI
10.1109/LICS.2012.35
Output title
Supporting concurrent ontology development: Framework, algorithms ...
Output type
D - Journal article
Volume title
Data and Knowledge Engineering
Year
2011
DOI
10.1016/j.datak.2010.10.001
Output title
Supporting Scientific Collaboration: Methods, Tools and Conc ...
Output type
D - Journal article
Volume title
Computer Supported Cooperative Work: CSCW: An International Journal
Year
2013
DOI
10.1007/s10606-012-9184-0
Output title
SWSpec: The requirements specification language in service workflow ...
Output type
D - Journal article
Volume title
IEEE Transactions on Industrial Informatics
Year
2012
DOI
10.1109/TII.2011.2182519
Output title
Taxonomy-Based glyph design-With a case study on visualizing ...
Output type
D - Journal article
Volume title
IEEE Transactions on Visualization and Computer Graphics
Year
2012
DOI
10.1109/TVCG.2012.271
Output title
Test-data generation for control coverage by proof
Output type
D - Journal article
Volume title
Formal Aspects of Computing
Year
2013
DOI
10.1007/s00165-013-0279-2
Output title
The CancerGrid experience: Metadata-based model-driven engineering ...
Output type
D - Journal article
Volume title
Science of Computer Programming
Year
2013
DOI
10.1016/j.scico.2013.02.010
Output title
The case of the disappearing ox: Seeing through digital images ...
Output type
E - Conference contribution
Volume title
Conference on Human Factors in Computing Systems - Proceedings
Year
2010
DOI
10.1145/1753326.1753397
Output title
The complexity of conservative valued CSPs
Output type
D - Journal article
Volume title
Journal of the ACM
Year
2013
DOI
10.1145/2450142.2450146
Output title
The Complexity of Finite-Valued CSPs
Output type
E - Conference contribution
Volume title
(STOC ’13) Proceedings of the 45th Annual ACM Symposium on Theory of Computing
Year
2013
DOI
10.1145/2488608.2488697
Output title
The Complexity of the Homotopy Method, Equilibrium Selection, ...
Output type
D - Journal article
Volume title
ACM Transactions on Economics and Computation
Year
2013
DOI
10.1145/2465769.2465774
Output title
The Complexity of Weighted Boolean CSP
Output type
D - Journal article
Volume title
SIAM Journal on Computing
Year
2009
DOI
10.1137/070690201
Output title
The design and realisation of the m yExperiment Virtual Research ...
Output type
D - Journal article
Volume title
Future Generation Computer Systems
Year
2009
DOI
10.1016/j.future.2008.06.010
Output title
The Expressibility of Functions on the Boolean Domain, with Applications ...
Output type
D - Journal article
Volume title
Journal of the ACM
Year
2013
DOI
10.1145/2528401
Output title
The expressive power of binary submodular functions
Output type
D - Journal article
Volume title
Discrete Applied Mathematics
Year
2009
DOI
10.1016/j.dam.2009.07.001
Output title
The Inverse Moment Problem for Convex Polytopes
Output type
D - Journal article
Volume title
Discrete & Computational Geometry
Year
2012
DOI
10.1007/s00454-012-9426-4
Output title
The minimum information about a genome sequence (MIGS) speci ...
Output type
D - Journal article
Volume title
Nature Biotechnology
Year
2008
DOI
10.1038/nbt1360
Output title
The Ontological Key: Automatically Understanding and Integrating ...
Output type
D - Journal article
Volume title
The VLDB Journal
Year
2012
DOI
10.1007/s00778-013-0323-0
Output title
The orbit problem in higher dimensions
Output type
E - Conference contribution
Volume title
(STOC '13) Proceedings of the 45th Annual ACM Symposium on the Theory of Computing
Year
2013
DOI
10.1145/2488608.2488728
Output title
The Power of Linear Programming for Valued CSPs
Output type
E - Conference contribution
Volume title
(FOCS ’12) Proceedings of the IEEE 53rd Annual Symposium on Foundations of Computer Science
Year
2012
DOI
10.1109/FOCS.2012.25
Output title
The sheaf-theoretic structure of non-locality and contextual ...
Output type
D - Journal article
Volume title
New Journal of Physics
Year
2011
DOI
10.1088/1367-2630/13/11/113036
Output title
The square root law of steganographic capacity for Markov co ...
Output type
E - Conference contribution
Volume title
Media Forensics and Security
Year
2009
DOI
10.1117/12.805911
Output title
Tightly integrated probabilistic description logic programs for ...
Output type
D - Journal article
Volume title
Annals of Mathematics and Artificial Intelligence
Year
2011
DOI
10.1007/s10472-012-9280-3
Output title
Time Asymmetry of Probabilities Versus Relativistic Causal Structure: ...
Output type
D - Journal article
Volume title
Physical Review Letters
Year
2012
DOI
10.1103/PhysRevLett.108.200403
Output title
Topological Structure of Quantum Algorithms
Output type
E - Conference contribution
Volume title
(LICS ’13) The 28th Annual IEEE/ACM Symposium on Logic in Computer Science
Year
2013
DOI
10.1109/LICS.2013.14
Output title
Touchalytics: On the Applicability of Touchscreen Input as a ...
Output type
D - Journal article
Volume title
CoRR
Year
2012
DOI
10.1109/TIFS.2012.2225048
Output title
Toward interoperable bioscience data.
Output type
D - Journal article
Volume title
Nature Genetics
Year
2012
DOI
10.1038/ng.1054
Output title
Towards open science: The myExperiment approach
Output type
D - Journal article
Volume title
Concurrency Computation: Practice and Experience
Year
2010
DOI
10.1002/cpe.1601
Output title
Tractable query answering and rewriting under description logic ...
Output type
D - Journal article
Volume title
Journal of Applied Logic
Year
2010
DOI
10.1016/j.jal.2009.09.004
Output title
Tractable reasoning in a fragment of separation logic
Output type
D - Journal article
Volume title
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Year
2011
DOI
10.1007/978-3-642-23217-6_16
Output title
Trading Performance for Stability in Markov Decision Process ...
Output type
E - Conference contribution
Volume title
28th Annual IEEE/ACM Symposium on Ligic in Computer Science
Year
2013
DOI
10.1109/LICS.2013.39
Output title
Troubling Trends in Scientific Software Use
Output type
D - Journal article
Volume title
Science
Year
2013
DOI
10.1126/science.1231535
Output title
Two heads are better than one: Security and usability of device ...
Output type
E - Conference contribution
Volume title
ACM International Conference Proceeding Series
Year
2010
DOI
10.1145/1837110.1837117
Output title
Two views on multiple mean-payoff objectives in Markov decision ...
Output type
E - Conference contribution
Volume title
Proceedings - Symposium on Logic in Computer Science
Year
2011
DOI
10.1109/LICS.2011.10
Output title
Type inference for Datalog and its application to query opti ...
Output type
E - Conference contribution
Volume title
Proceedings of the ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems
Year
2008
DOI
10.1145/1376916.1376957
Output title
Typed quote/antiquote or: Compile-time parsing
Output type
D - Journal article
Volume title
JOURNAL OF FUNCTIONAL PROGRAMMING
Year
2011
DOI
10.1017/S0956796811000050
Output title
Type-elimination-based reasoning for the description logic SHIQb ...
Output type
D - Journal article
Volume title
Logical Methods in Computer Science
Year
2012
DOI
10.2168/LMCS-8(1:12)2012
Output title
Unbounded verification, falsification, and characterization of ...
Output type
E - Conference contribution
Volume title
Proceedings of the ACM Conference on Computer and Communications Security
Year
2008
DOI
10.1145/1455770.1455787
First <
1 2 3 4 5 6
> Last
Showing outputs 201 - 250 of 263