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: Royal Holloway, University of London » Outputs

Outputs (REF2)

11 - Computer Science and Informatics

Royal Holloway, University of London

1 2
> Last
Showing outputs 1 - 50 of 90
Output title
A Census of Human Soluble Protein Complexes
Output type
D - Journal article
Volume title
Cell
Year
2012
DOI
10.1016/j.cell.2012.08.011
Output title
A Dichotomy for Minimum Cost Graph Homomorphisms
Output type
D - Journal article
Volume title
European Journal of Combinatorics
Year
2008
DOI
10.1016/j.ejc.2007.11.012
Output title
A formal model for service-oriented interactions
Output type
D - Journal article
Volume title
Science of Computer Programming
Year
2012
DOI
10.1016/j.scico.2011.12.003
Output title
A geometric view of cryptographic equation solving
Output type
D - Journal article
Volume title
Journal of Mathematical Cryptology
Year
2008
DOI
10.1515/JMC.2008.004
Output title
A long-range self-similarity approach to segmenting DJ mixed ...
Output type
E - Conference contribution
Volume title
Artificial Intelligence Applications and Innovations : Proceedings of the 9th IFIP WG 12.5 International Conference, AIAI 2013, Paphos, Cyprus, September 30 – October 2, 2013
Year
2013
DOI
10.1007/978-3-642-41142-7_24
Output title
A novel high-throughput in vivo molecular screen for shade avoidance ...
Output type
D - Journal article
Volume title
Journal of Experimental Botany
Year
2011
DOI
10.1093/jxb/err062
Output title
A probabilistic approach to problems parameterized above or below ...
Output type
D - Journal article
Volume title
Journal of Computer and System Sciences
Year
2011
DOI
10.1016/j.jcss.2010.06.001
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 secure compiler for session abstractions
Output type
D - Journal article
Volume title
Journal of Computer Security
Year
2008
DOI
10.3233/JCS-2008-0334
Output title
A unified theory of structural tractability for constraint satisfaction ...
Output type
D - Journal article
Volume title
Journal of Computer and System Sciences
Year
2008
DOI
10.1016/j.jcss.2007.08.001
Output title
Abstract probabilistic automata
Output type
D - Journal article
Volume title
Information and Computation
Year
2013
DOI
10.1016/j.ic.2013.10.002
Output title
Algebraic Techniques in Differential Cryptanalysis
Output type
E - Conference contribution
Volume title
Fast Software Encryption: 16th International Workshop, FSE 2009 Leuven, Belgium, February 22-25, 2009: Revised Selected Papers
Year
2009
DOI
10.1007/978-3-642-03317-9_12
Output title
Algorithms for generating convex sets in acyclic digraphs
Output type
D - Journal article
Volume title
Journal of Discrete Algorithms
Year
2009
DOI
10.1016/j.jda.2008.07.008
Output title
An abstract model of service discovery and binding
Output type
D - Journal article
Volume title
Formal Aspects of Computing
Year
2011
DOI
10.1007/s00165-010-0166-z
Output title
An Algebraic Theory of Complexity for Discrete Optimisation
Output type
D - Journal article
Volume title
SIAM Journal on Computing
Year
2013
DOI
10.1137/130906398
Output title
An algorithm for finding input-output constrained convex sets ...
Output type
D - Journal article
Volume title
Journal of Discrete Algorithms
Year
2012
DOI
10.1016/j.jda.2012.02.002
Output title
An authorization framework resilient to policy evaluation fa ...
Output type
E - Conference contribution
Volume title
Computer Security – ESORICS 2010: 15th European Symposium on Research in Computer Security, Athens, Greece, September 20-22, 2010: Proceedings
Year
2010
DOI
10.1007/978-3-642-15497-3_29
Output title
An identity for kernel ridge regression
Output type
D - Journal article
Volume title
Theoretical Computer Science
Year
2013
DOI
10.1016/j.tcs.2012.10.016
Output title
An interface theory for service-oriented design
Output type
D - Journal article
Volume title
Theoretical Computer Science
Year
2013
DOI
10.1016/j.tcs.2013.05.011
Output title
An intuitive graphical visualization technique for the interrogation ...
Output type
D - Journal article
Volume title
Nucleic Acids Research
Year
2011
DOI
10.1093/nar/gkr462
Output title
Authorization recycling in hierarchical RBAC systems
Output type
D - Journal article
Volume title
ACM Transactions on Information and System Security
Year
2011
DOI
10.1145/1952982.1952985
Output title
Better than optimal: fast identification of custom instruction ...
Output type
E - Conference contribution
Volume title
CSE '09: International Conference on Computational Science and Engineering, 2009
Year
2009
DOI
10.1109/CSE.2009.167
Output title
Betweenness parameterized above tight lower bound
Output type
D - Journal article
Volume title
Journal of Computer and System Sciences
Year
2010
DOI
10.1016/j.jcss.2010.05.001
Output title
Classical Predicative Logic-Enriched Type Theories
Output type
D - Journal article
Volume title
Annals of Pure and Applied Logic
Year
2010
DOI
10.1016/j.apal.2010.04.005
Output title
Clinical mass spectrometry proteomic diagnosis by conformal ...
Output type
D - Journal article
Volume title
Statistical Applications in Genetics and Molecular Biology
Year
2008
DOI
10.2202/1544-6115.1385
Output title
Coercions in a polymorphic type system
Output type
D - Journal article
Volume title
Mathematical Structures in Computer Science
Year
2008
DOI
10.1017/S0960129508006804
Output title
Coercive subtyping: theory and implementation
Output type
D - Journal article
Volume title
Information and Computation
Year
2013
DOI
10.1016/j.ic.2012.10.020
Output title
Collapsible Pushdown Automata and Recursion Schemes
Output type
E - Conference contribution
Volume title
LICS '08: 23rd Annual IEEE Symposium on Logic in Computer Science
Year
2008
DOI
10.1109/LICS.2008.34
Output title
COMMODITY12: A smart e-health environment for diabetes manag ...
Output type
D - Journal article
Volume title
Journal of Ambient Intelligence and Smart Environments
Year
2013
DOI
10.3233/AIS-130220
Output title
Computational Logic Foundations of KGP Agents
Output type
D - Journal article
Volume title
Journal of Artificial Intelligence Research
Year
2008
DOI
10.1613/jair.2596
Output title
Conditional validity of inductive conformal predictors
Output type
D - Journal article
Volume title
Machine Learning
Year
2013
DOI
10.1007/s10994-013-5355-6
Output title
Consensus and collision detectors in radio networks
Output type
D - Journal article
Volume title
Distributed Computing
Year
2008
DOI
10.1007/s00446-008-0056-2
Output title
Cross-entropy optimisation of importance sampling parameters ...
Output type
E - Conference contribution
Volume title
Computer Aided Verification : Proceedings of the 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012
Year
2012
DOI
10.1007/978-3-642-31424-7_26
Output title
Design and implementation of caching services in the cloud
Output type
D - Journal article
Volume title
IBM Journal of Research and Development
Year
2011
DOI
10.1147/JRD.2011.2171649
Output title
Detecting overlapping protein complexes in protein-protein interaction ...
Output type
D - Journal article
Volume title
Nature Methods
Year
2012
DOI
10.1038/nmeth.1938
Output title
Distinct difference configurations: multihop paths and key predistribution ...
Output type
D - Journal article
Volume title
IEEE Transactions on Information Theory
Year
2010
DOI
10.1109/TIT.2010.2050794
Output title
Distinct light-initiated gene expression and cell cycle programs ...
Output type
D - Journal article
Volume title
Plant Cell
Year
2008
DOI
10.1105/tpc.107.057075
Output title
Domain permutation reduction for constraint satisfaction pro ...
Output type
D - Journal article
Volume title
Artificial Intelligence
Year
2008
DOI
10.1016/j.artint.2007.12.001
Output title
Dr. Multicast: Rx for Data Center Communication Scalability
Output type
E - Conference contribution
Volume title
EuroSys '10 Proceedings of the 5th European conference on Computer systems
Year
2010
DOI
10.1145/1755913.1755949
Output title
Efficient state merging in symbolic execution
Output type
E - Conference contribution
Volume title
Proc. 33rd Conf. Programming Language Design and Implementation (PLDI 2012)
Year
2012
DOI
10.1145/2254064.2254088
Output title
Error decodable secret sharing and one-round perfectly secure ...
Output type
D - Journal article
Volume title
Cryptography and Communications
Year
2011
DOI
10.1007/s12095-010-0039-6
Output title
Featured transition systems : Foundations for verifying variability- ...
Output type
D - Journal article
Volume title
Software Engineering, IEEE Transactions on
Year
2013
DOI
10.1109/TSE.2012.86
Output title
Game-based e-retailing in GOLEM agent environments
Output type
D - Journal article
Volume title
Pervasive and Mobile Computing
Year
2009
DOI
10.1016/j.pmcj.2009.05.003
Output title
Geometric Ideas for Cryptographic Equation Solving in Even C ...
Output type
E - Conference contribution
Volume title
Cryptography and Coding: 12th IMA International Conference, Cryptography and Coding 2009, Cirencester, UK, December 15-17, 2009: Proceedings
Year
2009
DOI
10.1007/978-3-642-10868-6_12
Output title
GFam: a platform for automatic annotation of gene families
Output type
D - Journal article
Volume title
Nucleic Acids Research
Year
2012
DOI
10.1093/nar/gks631
Output title
GLL parse-tree generation
Output type
D - Journal article
Volume title
Science of Computer Programming
Year
2013
DOI
10.1016/j.scico.2012.03.005
Output title
Guiding the representation of n-ary relations in ontologies through ...
Output type
D - Journal article
Volume title
Journal of Web Semantics
Year
2011
DOI
10.1016/j.websem.2011.04.003
Output title
Improving GO semantic similarity measures by exploring the ontology ...
Output type
D - Journal article
Volume title
Bioinformatics
Year
2012
DOI
10.1093/bioinformatics/bts129
Output title
Jasmonate controls leaf growth by repressing cell proliferation ...
Output type
D - Journal article
Volume title
Plant Physiology
Year
2013
DOI
10.1104/pp.113.214908
Output title
Key predistribution for homogeneous wireless sensor networks ...
Output type
D - Journal article
Volume title
ACM Transactions on Sensor Networks
Year
2010
DOI
10.1145/1824766.1824767
1 2
> Last
Showing outputs 1 - 50 of 90