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 101 - 150 of 263
Output title
Exponential Regret Bounds for Gaussian Process Bandits with Deterministic ...
Output type
E - Conference contribution
Volume title
((ICML ‘12) Proceedings of the 29th International Conference on Machine Learning
Year
2012
DOI
Output title
Exponential stabilization of discrete-time switched linear s ...
Output type
D - Journal article
Volume title
Automatica
Year
2009
DOI
10.1016/j.automatica.2009.07.018
Output title
Expressive completeness for Metric Temporal Logic
Output type
E - Conference contribution
Volume title
2013 28th Annual IEEE/ACM Symposium on Logic in Computer Science (LICS)
Year
2013
DOI
10.1109/LICS.2013.41
Output title
Extending the information-theoretic measures of the dynamic complexity ...
Output type
D - Journal article
Volume title
International Journal of Production Research
Year
2013
DOI
10.1080/00207543.2011.638677
Output title
False-Name Manipulations in Weighted Voting Games
Output type
D - Journal article
Volume title
Journal of Artificial Intelligence Research (JAIR)
Year
2011
DOI
10.1613/jair.3166
Output title
Fast and simple relational processing of uncertain data
Output type
E - Conference contribution
Volume title
2008 IEEE 24TH INTERNATIONAL CONFERENCE ON DATA ENGINEERING, VOLS 1-3
Year
2008
DOI
10.1109/ICDE.2008.4497507
Output title
FDR3
Output type
G - Software
Volume title
Year
2013
DOI
Output title
Flag & check: Data access with monadically defined queries
Output type
E - Conference contribution
Volume title
Proceedings of the ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems
Year
2013
DOI
10.1145/2463664.2465227
Output title
Formal Co-Validation of Low-Level Hardware/Software Interfac ...
Output type
E - Conference contribution
Volume title
FMCAD 2013: Formal Methods in Computer-Aided Design
Year
2013
DOI
Output title
Formalisations and applications of BPMN
Output type
D - Journal article
Volume title
SCI COMPUT PROGRAM
Year
2011
DOI
10.1016/j.scico.2009.09.010
Output title
From blind to quantitative steganalysis
Output type
D - Journal article
Volume title
IEEE Transactions on Information Forensics and Security
Year
2012
DOI
10.1109/TIFS.2011.2175918
Output title
From control law diagrams to Ada via Circus
Output type
D - Journal article
Volume title
Formal Aspects of Computing
Year
2011
DOI
10.1007/s00165-010-0170-3
Output title
From web data to visualization via ontology mapping
Output type
D - Journal article
Volume title
COMPUTER GRAPHICS FORUM
Year
2008
DOI
10.1111/j.1467-8659.2008.01230.x
Output title
From XQuery to relational logics
Output type
D - Journal article
Volume title
ACM Transactions on Database Systems
Year
2009
DOI
10.1145/1620585.1620592
Output title
Generalized binomial τ-leap method for biochemical kinetics incorporating ...
Output type
D - Journal article
Volume title
The Journal of Chemical Physics
Year
2008
DOI
10.1063/1.2919124
Output title
Generalized hypertree decompositions: NP-hardness and tractable ...
Output type
D - Journal article
Volume title
Journal of the ACM
Year
2009
DOI
10.1145/1568318.1568320
Output title
Generalizing constraint satisfaction on trees: Hybrid tractability ...
Output type
D - Journal article
Volume title
Artificial Intelligence
Year
2010
DOI
10.1016/j.artint.2010.03.002
Output title
GIMI: the past, the present and the future.
Output type
D - Journal article
Volume title
Philos Trans A Math Phys Eng Sci
Year
2010
DOI
10.1098/rsta.2010.0153
Output title
Heuristic Ranking in Tightly Coupled Probabilistic Description ...
Output type
E - Conference contribution
Volume title
Twenty-Eighth Conference on Uncertainty in Artificial Intelligence
Year
2012
DOI
Output title
Higher Semantics of Quantum Protocols
Output type
E - Conference contribution
Volume title
(LICS ’12) The 27th Annual IEEE Symposium on Logic in Computer Science,
Year
2012
DOI
10.1109/LICS.2012.70
Output title
How did you specify your test suite?
Output type
E - Conference contribution
Volume title
ASE'10 - Proceedings of the IEEE/ACM International Conference on Automated Software Engineering
Year
2010
DOI
10.1145/1858996.1859084
Output title
How Much Measurement Independence Is Needed to Demonstrate N ...
Output type
D - Journal article
Volume title
Physical Review Letters
Year
2011
DOI
10.1103/PhysRevLett.106.100406
Output title
Hybrid tractability of valued constraint problems
Output type
D - Journal article
Volume title
Artificial Intelligence
Year
2011
DOI
10.1016/j.artint.2011.02.003
Output title
Hypertableau reasoning for description logics
Output type
D - Journal article
Volume title
Journal of Artificial Intelligence Research
Year
2009
DOI
Output title
Incentive engineering for Boolean games
Output type
D - Journal article
Volume title
Artificial Intelligence
Year
2013
DOI
10.1016/j.artint.2012.11.003
Output title
Inducing tree-substitution grammars
Output type
D - Journal article
Volume title
Journal of Machine Learning Research
Year
2010
DOI
Output title
Interacting quantum observables: categorical algebra and dia ...
Output type
D - Journal article
Volume title
New Journal of Physics
Year
2011
DOI
10.1088/1367-2630/13/4/043016
Output title
Interaction Strategies for an Affective Conversational Agent
Output type
D - Journal article
Volume title
PRESENCE-TELEOPERATORS AND VIRTUAL ENVIRONMENTS
Year
2011
DOI
10.1162/PRES_a_00063
Output title
Just do it: Simple monadic equational reasoning
Output type
E - Conference contribution
Volume title
Proceedings of the ACM SIGPLAN International Conference on Functional Programming, ICFP
Year
2011
DOI
10.1145/2034773.2034777
Output title
Learning Where to Attend with Deep Architectures for Image T ...
Output type
D - Journal article
Volume title
Neural Computation
Year
2012
DOI
10.1162/NECO_a_00312
Output title
Local Consistency and SAT-Solvers
Output type
D - Journal article
Volume title
JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH
Year
2012
DOI
10.1613/jair.3531
Output title
Logical Bell inequalities
Output type
D - Journal article
Volume title
Physical Review A
Year
2012
DOI
10.1103/PhysRevA.85.062114
Output title
Loop summarization using state and transition invariants
Output type
D - Journal article
Volume title
Formal Methods in System Design
Year
2013
DOI
10.1007/s10703-012-0176-y
Output title
Managing application whitelists in trusted distributed syste ...
Output type
D - Journal article
Volume title
Future Generation Computer Systems
Year
2011
DOI
10.1016/j.future.2010.08.014
Output title
Manipulating the quota in weighted voting games
Output type
D - Journal article
Volume title
Artificial Intelligence
Year
2012
DOI
10.1016/j.artint.2011.12.003
Output title
Mathematical Foundations for a Compositional Distributional Model ...
Output type
D - Journal article
Volume title
Lambek Festschirft, special issue of Linguistic Analysis, 2010.
Year
2010
DOI
Output title
Mechanism design for fractional scheduling on unrelated mach ...
Output type
D - Journal article
Volume title
ACM Transactions on Algorithms
Year
2010
DOI
10.1145/1721837.1721854
Output title
Megascience. 'Omics data sharing.
Output type
D - Journal article
Volume title
Science
Year
2009
DOI
10.1126/science.1180598
Output title
Memory Attacks on Device-Independent Quantum Cryptography
Output type
D - Journal article
Volume title
Physical Review Letters
Year
2013
DOI
10.1103/PhysRevLett.110.010503
Output title
Minimum information about a simulation experiment (MIASE)
Output type
D - Journal article
Volume title
PLoS Computational Biology
Year
2011
DOI
10.1371/journal.pcbi.1001122
Output title
Model-driven engineering of information systems: 10 years and ...
Output type
D - Journal article
Volume title
Science of Computer Programming
Year
2013
DOI
10.1016/j.scico.2013.02.002
Output title
Modeling and design by hierarchical natural moves.
Output type
D - Journal article
Volume title
Proc Natl Acad Sci U S A
Year
2012
DOI
10.1073/pnas.1119918109
Output title
Modular Markovian Logic
Output type
E - Conference contribution
Volume title
(ICALP ’11) Proceedings of the 38th International Colloquium on Automata, Languages and Programming: Part II
Year
2011
DOI
10.1007/978-3-642-22012-8_30
Output title
Monadic Datalog Containment
Output type
E - Conference contribution
Volume title
(ICALP ’12) Proceedings of the 39th international colloquium conference on Automata, Languages, and Programming
Year
2012
DOI
10.1007/978-3-642-31585-5_11
Output title
Multi-entity sentiment scoring
Output type
E - Conference contribution
Volume title
International Conference Recent Advances in Natural Language Processing, RANLP
Year
2009
DOI
Output title
Multi-scale computational modelling in biology and physiolog ...
Output type
D - Journal article
Volume title
Progress in Biophysics and Molecular Biology
Year
2008
DOI
10.1016/j.pbiomolbio.2007.07.019
Output title
Multiscale natural moves refine macromolecules using single-particle ...
Output type
D - Journal article
Volume title
Proc Natl Acad Sci U S A
Year
2012
DOI
10.1073/pnas.1205945109
Output title
Newtonian program analysis
Output type
D - Journal article
Volume title
Journal of the ACM
Year
2010
DOI
10.1145/1857914.1857917
Output title
On an infrastructure to support sharing and aggregating pre- ...
Output type
D - Journal article
Volume title
Systems and Synthetic Biology
Year
2012
DOI
10.1007/s11693-012-9095-x
Output title
On formalizing and normalizing role-based access control sys ...
Output type
D - Journal article
Volume title
Computer Journal
Year
2009
DOI
10.1093/comjnl/bxn016
First <
1 2 3 4 5 6
> Last
Showing outputs 101 - 150 of 263