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 51 - 100 of 263
Output title
Beyond myopic best response (in Cournot competition)
Output type
E - Conference contribution
Volume title
Proceedings of the Twenty-Third Annual ACM-SIAM Symposium on Discrete Algorithms
Year
2012
DOI
Output title
Bisimilarity of Pushdown Automata is Nonelementary
Output type
E - Conference contribution
Volume title
Proceedings of the 28th Annual IEEE/ACM Symposium on Logic in Computer Science (LICS
Year
2013
DOI
10.1109/LICS.2013.55
Output title
Bitemporal Complex Event Processing of Web Event Advertiseme ...
Output type
E - Conference contribution
Volume title
WISE (2)
Year
2013
DOI
10.1007/978-3-642-41154-0_25
Output title
Bounding the Betti numbers and computing the Euler–Poincaré characteristic ...
Output type
D - Journal article
Volume title
Journal of the European Mathematical Society
Year
2010
DOI
10.4171/JEMS/208
Output title
Bridging the gap between OWL and relational databases
Output type
D - Journal article
Volume title
Web Semantics
Year
2009
DOI
10.1016/j.websem.2009.02.001
Output title
Building Confidence in Information-Trustworthiness Metrics for ...
Output type
E - Conference contribution
Volume title
(IEEE TrustCom ’13) Proceedings of the 12th IEEE International Conference on Trust, Security and Privacy in Computing and Communications
Year
2013
DOI
Output title
Capturing continuous data and answering aggregate queries in ...
Output type
D - Journal article
Volume title
ACM Transactions on Database Systems
Year
2011
DOI
10.1145/2043652.2043658
Output title
Capturing model-based ontology evolution at the instance level: ...
Output type
D - Journal article
Volume title
Journal of Computer and System Sciences
Year
2013
DOI
10.1016/j.jcss.2013.01.006
Output title
Categorical Formulation of Finite-Dimensional Quantum Algebr ...
Output type
D - Journal article
Volume title
Communications in Mathematical Physics
Year
2011
DOI
10.1007/s00220-010-1138-0
Output title
Categorical semantics for arrows
Output type
D - Journal article
Volume title
Journal of Functional Programming
Year
2009
DOI
10.1017/S0956796809007308
Output title
CellML and associated tools and techniques.
Output type
D - Journal article
Volume title
Philos Trans A Math Phys Eng Sci
Year
2008
DOI
10.1098/rsta.2008.0094
Output title
Chaste open source software library
Output type
G - Software
Volume title
Year
2009
DOI
Output title
Chaste: a case study of parallelisationof an open source finite-elementsolver ...
Output type
D - Journal article
Volume title
International Journal of High Performance Computing Applications
Year
2013
DOI
10.1177/1094342012474997
Output title
Chaste: A test-driven approach to software development for biological ...
Output type
D - Journal article
Volume title
Computer Physics Communications
Year
2009
DOI
10.1016/j.cpc.2009.07.019
Output title
Chaste: an open source C++ library for computational physiology ...
Output type
D - Journal article
Volume title
PLoS Comput Biol
Year
2013
DOI
10.1371/journal.pcbi.1002970
Output title
Chaste: using agile programming techniques to develop computational ...
Output type
D - Journal article
Volume title
Philos Transact A Math Phys Eng Sci
Year
2008
DOI
10.1098/rsta.2008.0096
Output title
Checking noninterference in Timed CSP
Output type
D - Journal article
Volume title
Formal Aspects of Computing
Year
2013
DOI
10.1007/s00165-012-0251-6
Output title
Cloning in Elections: Finding the Possible Winners
Output type
D - Journal article
Volume title
Journal of Artificial Intelligence Research (JAIR)
Year
2011
DOI
10.1613/jair.3468
Output title
Cloud Computing: Insider Attacks on Virtual Machines During ...
Output type
E - Conference contribution
Volume title
(IEEE TrustCom ’13) Proceedings of the 12th International Conference on Trust, Security and Privacy in Computing and Communications
Year
2013
DOI
Output title
Coalgebras, Chu spaces, and representations of physical syst ...
Output type
E - Conference contribution
Volume title
Proceedings of the 2010 25th Annual IEEE Symposium on Logic in Computer Science (LICS
Year
2010
DOI
10.1109/LICS.2010.35
Output title
Collapsible pushdown automata and recursion schemes
Output type
E - Conference contribution
Volume title
Proceedings - Symposium on Logic in Computer Science
Year
2008
DOI
10.1109/LICS.2008.34
Output title
Combining answer set programming with description logics for ...
Output type
D - Journal article
Volume title
Artificial Intelligence
Year
2008
DOI
10.1016/j.artint.2008.04.002
Output title
Comparing LTL semantics for runtime verification
Output type
D - Journal article
Volume title
Journal of Logic and Computation
Year
2010
DOI
10.1093/logcom/exn075
Output title
Comparing the impact of different rescheduling strategies on ...
Output type
D - Journal article
Volume title
International Journal of Production Research
Year
2009
DOI
10.1080/00207540701871036
Output title
Completeness Guarantees for Incomplete Ontology Reasoners: Theory ...
Output type
D - Journal article
Volume title
JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH
Year
2012
DOI
10.1613/jair.3470
Output title
Complexities of horn description logics
Output type
D - Journal article
Volume title
ACM Transactions on Computational Logic
Year
2013
DOI
10.1145/2422085.2422087
Output title
Compositional probabilistic verification through multi-objective ...
Output type
D - Journal article
Volume title
Information and Computation
Year
2013
DOI
10.1016/j.ic.2013.10.001
Output title
Compositional Shape Analysis by Means of Bi-Abduction
Output type
D - Journal article
Volume title
JOURNAL OF THE ACM
Year
2011
DOI
10.1145/2049697.2049700
Output title
Computing the Least Fixed Point of Positive Polynomial Syste ...
Output type
D - Journal article
Volume title
SIAM Journal on Computing
Year
2010
DOI
10.1137/090749591
Output title
Concrete stream calculus: An extended study
Output type
D - Journal article
Volume title
Journal of Functional Programming
Year
2010
DOI
10.1017/S0956796810000213
Output title
Conditioning probabilistic databases
Output type
D - Journal article
Volume title
Proceedings of the VLDB Endowment
Year
2008
DOI
10.1145/1453856.1453894
Output title
Conformance checking of dynamic access control policies
Output type
E - Conference contribution
Volume title
(ICFEM 2011) Proceedings of the 13th International Conference on Formal Engineering Methods and Software Engineering
Year
2011
DOI
10.1007/978-3-642-24559-6_17
Output title
Conformational optimization with natural degrees of freedom: ...
Output type
D - Journal article
Volume title
Journal of Computational Biology
Year
2010
DOI
10.1089/cmb.2010.0016
Output title
Conjunctive query answering for the description logic SHIQ
Output type
D - Journal article
Volume title
Journal of Artificial Intelligence Research
Year
2008
DOI
10.1613/jair.2372
Output title
Consistency of Online Random Forests
Output type
E - Conference contribution
Volume title
(ICML ‘13) Proceedings of the 30th International Conference on Machine Learning
Year
2013
DOI
Output title
Context-aware counter abstraction
Output type
D - Journal article
Volume title
Formal Methods in System Design
Year
2010
DOI
10.1007/s10703-010-0096-7
Output title
Cooperative Games with Overlapping Coalitions
Output type
D - Journal article
Volume title
Journal of Artificial Intelligence Research (JAIR)
Year
2010
DOI
10.1613/jair.3075
Output title
CSP-based counter abstraction for systems with node identifi ...
Output type
D - Journal article
Volume title
Science of Computer Programming
Year
2013
DOI
10.1016/j.scico.2013.03.018
Output title
Data protection-aware design for cloud services
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
2009
DOI
10.1007/978-3-642-10665-1_11
Output title
Detection of large numbers of novel sequences in the metatranscriptomes ...
Output type
D - Journal article
Volume title
PLoS ONE
Year
2008
DOI
10.1371/journal.pone.0003042
Output title
Diagonalizing matrices over AW*-algebras
Output type
D - Journal article
Volume title
Journal of Functional Analysis
Year
2013
DOI
10.1016/j.jfa.2013.01.022
Output title
Distance Hijacking Attacks on Distance Bounding Protocols
Output type
E - Conference contribution
Volume title
Proceedings of the 2012 IEEE Symposium on Security and Privacy
Year
2012
DOI
10.1109/SP.2012.17
Output title
Distributional Semantic Models
Output type
C - Chapter in book
Volume title
Quantum Physics and Linguistics: A Compositional, Diagrammatic Discourse
Year
2013
DOI
Output title
Dynamic QoS Management and Optimization in Service-Based Sys ...
Output type
D - Journal article
Volume title
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING
Year
2011
DOI
10.1109/TSE.2010.92
Output title
Economies and diseconomies of scale in software development
Output type
D - Journal article
Volume title
Journal of Software Maintenance and Evolution
Year
2011
DOI
10.1002/smr.526
Output title
Efficient construction of machine-checked symbolic protocol security ...
Output type
D - Journal article
Volume title
Journal of Computer Security
Year
2013
DOI
10.3233/JCS-2012-0455
Output title
Efficient data propagation in traffic-monitoring vehicular n ...
Output type
D - Journal article
Volume title
IEEE Transactions on Intelligent Transportation Systems
Year
2011
DOI
10.1109/TITS.2011.2159857
Output title
Efficient Rule-Based Inferencing for OWL EL.
Output type
E - Conference contribution
Volume title
IJCAI
Year
2011
DOI
10.5591/978-1-57735-516-8/IJCAI11-444
Output title
Embedded Interaction: The Accomplishment of Actions in Everyday ...
Output type
D - Journal article
Volume title
ACM TRANSACTIONS ON COMPUTER-HUMAN INTERACTION
Year
2013
DOI
10.1145/2442106.2442112
Output title
Evidence for a persistent microbial seed bank throughout the ...
Output type
D - Journal article
Volume title
PROCEEDINGS OF THE NATIONAL ACADEMY OF SCIENCES OF THE UNITED STATES OF AMERICA
Year
2013
DOI
10.1073/pnas.1217767110
First <
1 2 3 4 5 6
> Last
Showing outputs 51 - 100 of 263