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 151 - 200 of 263
Output title
On minimal constraint networks
Output type
D - Journal article
Volume title
Artificial Intelligence
Year
2012
DOI
10.1016/j.artint.2012.07.006
Output title
On process rate semantics
Output type
D - Journal article
Volume title
Theoretical Computer Science
Year
2008
DOI
10.1016/j.tcs.2007.11.012
Output title
On semidefinite programming relaxations of maximum $$k$$ -se ...
Output type
D - Journal article
Volume title
Mathematical Programming
Year
2012
DOI
10.1007/s10107-012-0603-2
Output title
On Semidefinite Programming Relaxations of the Traveling Salesman ...
Output type
D - Journal article
Volume title
SIAM Journal on Optimization
Year
2009
DOI
10.1137/070711141
Output title
On stabilization in Herman's algorithm
Output type
E - Conference contribution
Volume title
(ICALP ’11) Proceedings of the 38th International Conference on Automata, Languages and Programming
Year
2011
DOI
10.1007/978-3-642-22012-8_37
Output title
On the approximation performance of fictitious play in finite ...
Output type
D - Journal article
Volume title
International Journal of Game Theory
Year
2012
DOI
10.1007/s00182-012-0362-6
Output title
On the Feasibility of Side-Channel Attacks with Brain-Computer ...
Output type
E - Conference contribution
Volume title
(Security ‘12) Proceedings of the 21st USENIX Security Symposium
Year
2012
DOI
Output title
On the Magnitude of Completeness Thresholds in Bounded Model ...
Output type
E - Conference contribution
Volume title
2012 27TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS)
Year
2012
DOI
10.1109/LICS.2012.27
Output title
On the Performance of Approximate Equilibria in Congestion G ...
Output type
D - Journal article
Volume title
Algorithmica
Year
2011
DOI
10.1007/s00453-010-9449-2
Output title
On the reality of the quantum state
Output type
D - Journal article
Volume title
Nature Physics
Year
2012
DOI
10.1038/nphys2309
Output title
Operational complexity and supplier-customer integration: Case ...
Output type
D - Journal article
Volume title
Journal of the Operational Research Society
Year
2010
DOI
10.1057/jors.2009.138
Output title
Optimizing query answering under ontological constraints
Output type
E - Conference contribution
Volume title
Proceedings of the VLDB Endowment
Year
2011
DOI
Output title
OWL 2: The next step for OWL
Output type
D - Journal article
Volume title
Web Semantics
Year
2008
DOI
10.1016/j.websem.2008.05.001
Output title
OXPath: A language for scalable data extraction, automation, ...
Output type
D - Journal article
Volume title
VLDB Journal
Year
2013
DOI
10.1007/s00778-012-0286-6
Output title
Persona cases: A technique for grounding personas
Output type
E - Conference contribution
Volume title
Conference on Human Factors in Computing Systems - Proceedings
Year
2011
DOI
10.1145/1978942.1979274
Output title
Predicting bacterial community assemblages using an artificial ...
Output type
D - Journal article
Volume title
Nature Methods
Year
2012
DOI
10.1038/nmeth.1975
Output title
Probabilistic model checking of complex biological pathways
Output type
D - Journal article
Volume title
Theoretical Computer Science
Year
2008
DOI
10.1016/j.tcs.2007.11.013
Output title
Probabilistic reachability and safety for controlled discrete ...
Output type
D - Journal article
Volume title
Automatica
Year
2008
DOI
10.1016/j.automatica.2008.03.027
Output title
Probabilistic XML via Markov chains
Output type
D - Journal article
Volume title
Proceedings of the VLDB Endowment
Year
2010
DOI
Output title
Programmable chemical controllers made from DNA
Output type
D - Journal article
Volume title
Nature Nanotechnology
Year
2013
DOI
10.1038/nnano.2013.189
Output title
Promoting coherent minimum reporting guidelines for biological ...
Output type
D - Journal article
Volume title
Nature Biotechnology
Year
2008
DOI
10.1038/nbt.1411
Output title
Proving The Unique Fixed−Point Principle Correct: An Adventure ...
Output type
E - Conference contribution
Volume title
(ICFP '11) Proceedings of the 16th ACM SIGPLAN international conference on Functional Programming
Year
2011
DOI
10.1145/2034773.2034821
Output title
Pulmonary embolism: predicting disease severity.
Output type
D - Journal article
Volume title
Philos Transact A Math Phys Eng Sci
Year
2011
DOI
10.1098/rsta.2011.0129
Output title
Quantification of restitution dispersion from the dynamic changes ...
Output type
D - Journal article
Volume title
IEEE Trans Biomed Eng
Year
2011
DOI
10.1109/TBME.2010.2097597
Output title
Ranking games that have competitiveness-based strategies
Output type
D - Journal article
Volume title
Theoretical Computer Science
Year
2013
DOI
10.1016/j.tcs.2013.01.013
Output title
Reachability in recursive Markov decision processes
Output type
D - Journal article
Volume title
Information and Computation
Year
2008
DOI
10.1016/j.ic.2007.09.002
Output title
Reachability in stochastic timed games
Output type
E - Conference contribution
Volume title
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Year
2009
DOI
10.1007/978-3-642-02930-1_9
Output title
Reachability in succinct and parametric one-counter automata
Output type
E - Conference contribution
Volume title
(CONCUR ’09) Proceedings of the 20th International Conference on Concurrency Theory,
Year
2009
DOI
10.1007/978-3-642-04081-8_25
Output title
Reasoning about coalitional games
Output type
D - Journal article
Volume title
Artificial Intelligence
Year
2009
DOI
10.1016/j.artint.2008.08.004
Output title
Reasoning over Ontologies with Hidden Content: The Import-by-Query ...
Output type
D - Journal article
Volume title
JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH
Year
2012
DOI
10.1613/jair.3579
Output title
Reasoning-Supported Interactive Revision of Knowledge Bases.
Output type
E - Conference contribution
Volume title
IJCAI
Year
2011
DOI
10.5591/978-1-57735-516-8/IJCAI11-176
Output title
Recent Developments in FDR
Output type
E - Conference contribution
Volume title
(CAV ’12) Proceedings of the 24th International Conference on Computer Aided Verification
Year
2012
DOI
10.1007/978-3-642-31424-7_52
Output title
Reconciling description logics and rules
Output type
D - Journal article
Volume title
Journal of the ACM
Year
2010
DOI
10.1145/1754399.1754403
Output title
Reconfiguring practice: the interdependence of experimental procedure ...
Output type
D - Journal article
Volume title
Philos Transact A Math Phys Eng Sci
Year
2010
DOI
10.1098/rsta.2010.0140
Output title
Reducing schedule instability by identifying and omitting complexity-adding ...
Output type
D - Journal article
Volume title
International Journal of Production Economics
Year
2013
DOI
10.1016/j.ijpe.2013.04.043
Output title
Refactoring pattern matching
Output type
D - Journal article
Volume title
Science of Computer Programming
Year
2013
DOI
10.1016/j.scico.2012.07.014
Output title
Refinement checking for privacy policies
Output type
D - Journal article
Volume title
Science of Computer Programming
Year
2012
DOI
10.1016/j.scico.2011.07.009
Output title
Relational STE and Theorem Proving for Formal Verification of ...
Output type
E - Conference contribution
Volume title
FMCAD 2013: Formal Methods in Computer-Aided Design
Year
2013
DOI
Output title
Representing ontologies using description logics, description ...
Output type
D - Journal article
Volume title
Artificial Intelligence
Year
2009
DOI
10.1016/j.artint.2009.06.003
Output title
Revealing the hidden lives of underground animals using magneto-inductive ...
Output type
E - Conference contribution
Volume title
SenSys 2010 - Proceedings of the 8th ACM Conference on Embedded Networked Sensor Systems
Year
2010
DOI
10.1145/1869983.1870011
Output title
Revisiting the Equivalence Problem for Finite Multitape Auto ...
Output type
E - Conference contribution
Volume title
(ICALP 2013) Proceedings of the 40th International Colloquium on Automata, Languages, and Programming, Part II
Year
2013
DOI
10.1007/978-3-642-39212-2_38
Output title
Revisiting Weighted Stego-Image steganalysis
Output type
E - Conference contribution
Volume title
Proceedings of SPIE - The International Society for Optical Engineering
Year
2008
DOI
10.1117/12.766820
Output title
Robust Constraint Satisfaction and Local Hidden Variables in ...
Output type
E - Conference contribution
Volume title
(IJCAI ‘13) Proceedings of the 23rd International Joint Conference on Artificial Intelligence
Year
2013
DOI
Output title
Runtime verification for LTL and TLTL
Output type
D - Journal article
Volume title
ACM Transactions on Software Engineering and Methodology
Year
2011
DOI
10.1145/2000799.2000800
Output title
SAFE: Secure Authentication with Face and Eyes
Output type
E - Conference contribution
Volume title
(PRISMS ’13) Proceedings of the International Conference on Security and Privacy in Mobile Information and Communication Systems
Year
2013
DOI
Output title
Scala for generic programmers Comparing Haskell and Scala support ...
Output type
D - Journal article
Volume title
J FUNCT PROGRAM
Year
2010
DOI
10.1017/S0956796810000171
Output title
Scalable shape analysis for systems code
Output type
E - Conference contribution
Volume title
CAV '08 Proceedings of the 20th International Conference on Computer Aided Verification
Year
2008
DOI
10.1007/978-3-540-70545-1_36
Output title
Schema mapping discovery from data instances
Output type
D - Journal article
Volume title
Journal of the ACM
Year
2010
DOI
10.1145/1667053.1667055
Output title
Secondary-storage confidence computation for conjunctive queries ...
Output type
E - Conference contribution
Volume title
SIGMOD-PODS'09 - Proceedings of the International Conference on Management of Data and 28th Symposium on Principles of Database Systems
Year
2009
DOI
10.1145/1559845.1559887
Output title
Secure Key Generation in Sensor Networks Based on Frequency-Selective ...
Output type
D - Journal article
Volume title
IEEE Journal on Selected Areas in Communications
Year
2013
DOI
10.1109/JSAC.2013.130911
First <
1 2 3 4 5 6
> Last
Showing outputs 151 - 200 of 263