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

1 2 3 4 5 6
> Last
Showing outputs 1 - 50 of 263
Output title
A Bayesian model predicts the response of axons to molecular ...
Output type
D - Journal article
Volume title
Proceedings of the National Academy of Sciences of the United States of America
Year
2009
DOI
10.1073/pnas.0900715106
Output title
A classifier-based approach to preposition and determiner error ...
Output type
E - Conference contribution
Volume title
Coling 2008 - 22nd International Conference on Computational Linguistics, Proceedings of the Conference
Year
2008
DOI
Output title
A Complexity Dichotomy for Partition Functions with Mixed Si ...
Output type
D - Journal article
Volume title
SIAM Journal on Computing
Year
2010
DOI
10.1137/090757496
Output title
A data-flow approach to test multi-agent ASMs
Output type
D - Journal article
Volume title
Formal Aspects of Computing
Year
2011
DOI
10.1007/s00165-009-0134-7
Output title
A discriminative latent variable model for statistical machine ...
Output type
E - Conference contribution
Volume title
ACL-08: HLT - 46th Annual Meeting of the Association for Computational Linguistics: Human Language Technologies, Proceedings of the Conference
Year
2008
DOI
Output title
A Framework for Compositional Verification of Security Proto ...
Output type
D - Journal article
Volume title
Information and Computation
Year
2008
DOI
10.1016/j.ic.2007.07.002
Output title
A general Datalog-based framework for tractable query answering ...
Output type
D - Journal article
Volume title
Web Semantics: Science, Services and Agents on the World Wide Web
Year
2012
DOI
10.1016/j.websem.2012.03.001
Output title
A Gibbs Sampler for Phrasal Synchronous Grammar Induction.
Output type
E - Conference contribution
Volume title
ACL/IJCNLP
Year
2009
DOI
Output title
A hierarchical Pitman-Yor process HMM for unsupervised part of ...
Output type
E - Conference contribution
Volume title
ACL-HLT 2011 - Proceedings of the 49th Annual Meeting of the Association for Computational Linguistics: Human Language Technologies
Year
2011
DOI
Output title
A Lower Bound for Scheduling Mechanisms
Output type
D - Journal article
Volume title
Algorithmica
Year
2009
DOI
10.1007/s00453-008-9165-3
Output title
A mathematical model to study the dynamics of epithelial cellular ...
Output type
D - Journal article
Volume title
IEEE/ACM Trans Comput Biol Bioinform
Year
2012
DOI
10.1109/TCBB.2012.126
Output title
A memory efficient reachability data structure through bit vector ...
Output type
E - Conference contribution
Volume title
Proceedings of the ACM SIGMOD International Conference on Management of Data
Year
2011
DOI
10.1145/1989323.1989419
Output title
A metadata approach for clinical data management in translational ...
Output type
D - Journal article
Volume title
BMC MEDICAL GENOMICS
Year
2009
DOI
10.1186/1755-8794-2-66
Output title
A multiscale investigation of repolarization variability and ...
Output type
D - Journal article
Volume title
Biophys J
Year
2011
DOI
10.1016/j.bpj.2011.09.060
Output title
A numerical guide to the solution of the bi-domain equations ...
Output type
D - Journal article
Volume title
Prog Biophys Mol Biol
Year
2010
DOI
10.1016/j.pbiomolbio.2010.05.006
Output title
A Practical Complexity-Theoretic Analysis of Mix Systems
Output type
E - Conference contribution
Volume title
(ESORICS ’11) Proceedings of the 16th European Conference on Research in Computer Security
Year
2011
DOI
10.1007/978-3-642-23822-2_28
Output title
A refinement approach to design and verification of on-chip communication ...
Output type
E - Conference contribution
Volume title
2008 Formal Methods in Computer-Aided Design
Year
2008
DOI
10.1109/FMCAD.2008.ECP.22
Output title
A resolution-based decision procedure for SHOIQ
Output type
D - Journal article
Volume title
Journal of Automated Reasoning
Year
2008
DOI
10.1007/s10817-007-9090-1
Output title
A saturation method for the modal μ-calculus over pushdown s ...
Output type
D - Journal article
Volume title
Information and Computation
Year
2011
DOI
10.1016/j.ic.2010.12.004
Output title
A static analysis framework for livelock freedom in CSP
Output type
D - Journal article
Volume title
Logical Methods in Computer Science
Year
2013
DOI
10.2168/LMCS-9(3:24)2013
Output title
A Topos for Algebraic Quantum Theory
Output type
D - Journal article
Volume title
Communications in Mathematical Physics
Year
2009
DOI
10.1007/s00220-009-0865-6
Output title
A type reduction theory for systems with replicated componen ...
Output type
D - Journal article
Volume title
Logical Methods in Computer Science
Year
2012
DOI
10.2168/LMCS-8(1:4)2012
Output title
A type system equivalent to the modal Mu-calculus model checking ...
Output type
E - Conference contribution
Volume title
Proceedings - Symposium on Logic in Computer Science
Year
2009
DOI
10.1109/LICS.2009.29
Output title
A verification system for interval-based specification langu ...
Output type
D - Journal article
Volume title
ACM Transactions on Software Engineering and Methodology
Year
2010
DOI
10.1145/1734229.1734232
Output title
Abstract conflict driven learning
Output type
E - Conference contribution
Volume title
Conference Record of the Annual ACM Symposium on Principles of Programming Languages
Year
2013
DOI
10.1145/2429069.2429087
Output title
Abstraction for concurrent objects
Output type
D - Journal article
Volume title
Theoretical Computer Science
Year
2010
DOI
10.1016/j.tcs.2010.09.021
Output title
Access to enhanced differences in Marcus–Hush and Butler–Volmer ...
Output type
D - Journal article
Volume title
Physical Chemistry Chemical Physics
Year
2013
DOI
10.1039/c2cp43193a
Output title
Action-based multifield video visualization
Output type
D - Journal article
Volume title
IEEE Transactions on Visualization and Computer Graphics
Year
2008
DOI
10.1109/TVCG.2008.40
Output title
Acyclicity Notions for Existential Rules and Their Application ...
Output type
D - Journal article
Volume title
JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH
Year
2013
DOI
10.1613/jair.3949
Output title
Adding magic to an optimising datalog compiler
Output type
E - Conference contribution
Volume title
Proceedings of the ACM SIGMOD International Conference on Management of Data
Year
2008
DOI
10.1145/1376616.1376673
Output title
Adjoint folds and unfolds-An extended study
Output type
D - Journal article
Volume title
Science of Computer Programming
Year
2012
DOI
10.1016/j.scico.2012.07.011
Output title
Aggregating Semantic Annotators
Output type
D - Journal article
Volume title
The VLDB Journal
Year
2013
DOI
Output title
Alternating Timed Automata over Bounded Time
Output type
E - Conference contribution
Volume title
25TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS 2010)
Year
2010
DOI
10.1109/LICS.2010.45
Output title
An Algebraic Theory of Complexity for Discrete Optimization
Output type
D - Journal article
Volume title
SIAM Journal on Computing
Year
2013
DOI
10.1137/130906398
Output title
An empirical study on using visual embellishments in visuali ...
Output type
D - Journal article
Volume title
IEEE Transactions on Visualization and Computer Graphics
Year
2012
DOI
10.1109/TVCG.2012.197
Output title
An e-Research approach to Web-scale music analysis
Output type
D - Journal article
Volume title
Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences
Year
2011
DOI
10.1098/rsta.2011.0171
Output title
An Information-theoretic Framework for Visualization
Output type
D - Journal article
Volume title
IEEE Transactions on Visualization and Computer Graphics
Year
2010
DOI
10.1109/TVCG.2010.132
Output title
Analysing TLS in the strand spaces model
Output type
D - Journal article
Volume title
Journal of Computer Security
Year
2011
DOI
10.3233/JCS-2011-0429
Output title
Answering queries using views over probabilistic XML: Complexity ...
Output type
D - Journal article
Volume title
Proceedings of the VLDB Endowment
Year
2012
DOI
Output title
Anytime approximation in probabilistic databases
Output type
D - Journal article
Volume title
VLDB Journal
Year
2013
DOI
10.1007/s00778-013-0310-5
Output title
Approximate model checking of stochastic hybrid systems
Output type
D - Journal article
Volume title
European Journal of Control
Year
2010
DOI
10.3166/ejc.16.624-641
Output title
Approximating the partition function of the ferromagnetic potts ...
Output type
D - Journal article
Volume title
Journal of the ACM
Year
2012
DOI
10.1145/2371656.2371660
Output title
Approximative methods for monotone systems of min-max-polynomial ...
Output type
E - Conference contribution
Volume title
(ICALP ’08) Proceedings of the 35th International Colloquium on Automata, Languages and Programming
Year
2008
DOI
10.1007/978-3-540-70575-8_57
Output title
Assessing potential errors of MRI-based measurements of pulmonary ...
Output type
D - Journal article
Volume title
Journal of Applied Physiology
Year
2012
DOI
10.1152/japplphysiol.00894.2011
Output title
Assume-guarantee validation for STE properties within an SVA ...
Output type
E - Conference contribution
Volume title
Proceedings of the 9th International Conference: 2009 Formal Methods in Computer-Aided Design (FMCAD 2009)
Year
2009
DOI
10.1109/FMCAD.2009.5351133
Output title
Assumption-commitment support for CSP model checking
Output type
D - Journal article
Volume title
Journal of Automated Reasoning
Year
2008
DOI
10.1007/s10817-008-9111-8
Output title
Authentication protocols based on low-bandwidth unspoofable channels: ...
Output type
D - Journal article
Volume title
Journal of Computer Security
Year
2011
DOI
10.3233/JCS-2010-0403
Output title
Automated analysis of diffie-hellman protocols and advanced security ...
Output type
E - Conference contribution
Volume title
Proceedings of the Computer Security Foundations Workshop
Year
2012
DOI
10.1109/CSF.2012.25
Output title
Automatic analysis of DMA races using model checking and k-i ...
Output type
D - Journal article
Volume title
Formal Methods in System Design
Year
2011
DOI
10.1007/s10703-011-0124-2
Output title
Bayesian Optimization in High Dimensions via Random Embeddin ...
Output type
E - Conference contribution
Volume title
(IJCAI ‘13) Proceedings of the 23rd International Joint Conference on Artificial Intelligence
Year
2013
DOI
1 2 3 4 5 6
> Last
Showing outputs 1 - 50 of 263