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: Imperial College London » Outputs

Outputs (REF2)

11 - Computer Science and Informatics

Imperial College London

First <
1 2 3 4 5
> Last
Showing outputs 51 - 100 of 201
Output title
CoMoM: Efficient Class-Oriented Evaluation of Multiclass Performance ...
Output type
D - Journal article
Volume title
IEEE Transactions on Software Engineering
Year
2009
DOI
10.1109/TSE.2008.79
Output title
Completeness and partial soundness results for intersection and ...
Output type
D - Journal article
Volume title
Annals of Pure and Applied Logic
Year
2010
DOI
10.1016/j.apal.2010.04.010
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
Computation with classical sequents
Output type
D - Journal article
Volume title
Mathematical Structures in Computer Science
Year
2008
DOI
10.1017/S0960129508006762
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
Concurrent Abstract Predicates
Output type
E - Conference contribution
Volume title
24th European Conference on Object-Oriented Programming (ECOOP 2010)
Year
2010
DOI
10.1007/978-3-642-14107-2_24
Output title
Consistency, comprehensiveness, and compatibility of pathway ...
Output type
D - Journal article
Volume title
BMC Bioinformatics
Year
2010
DOI
10.1186/1471-2105-11-449
Output title
Context specific descriptors for tracking deforming tissue.
Output type
D - Journal article
Volume title
Medical Image Analysis
Year
2012
DOI
10.1016/j.media.2011.02.010
Output title
Counterexample-guided abstraction refinement for symmetric concurrent ...
Output type
D - Journal article
Volume title
Formal Methods in System Design
Year
2012
DOI
10.1007/s10703-012-0155-3
Output title
Coupled Gaussian Processes for Pose-Invariant Facial Expression ...
Output type
D - Journal article
Volume title
IEEE Transactions on Pattern Analysis and Machine Intelligence
Year
2013
DOI
10.1109/TPAMI.2012.233
Output title
Cut elimination in coalgebraic logics
Output type
D - Journal article
Volume title
Information and Computation
Year
2010
DOI
10.1016/j.ic.2009.11.008
Output title
Cyclic Proofs of Program Termination in Separation Logic
Output type
E - Conference contribution
Volume title
35th ACM-SIGPLAN-SIGACT Symposium on Principles of Programming Languages
Year
2008
DOI
10.1145/1328438.1328453
Output title
Dealing with Burstiness in Multi-Tier Applications: Models and ...
Output type
D - Journal article
Volume title
IEEE Transactions on Software Engineering
Year
2012
DOI
10.1109/TSE.2011.87
Output title
Deconstraining DSLs
Output type
E - Conference contribution
Volume title
17 ACM International Conference on Functional Programming (ICFP'12)
Year
2012
DOI
10.1145/2364527.2364571
Output title
DEFCon: High-Performance Event Processing with Information S ...
Output type
E - Conference contribution
Volume title
USENIX Annual Technical Conference (ATC'10)
Year
2010
DOI
Output title
Deriving Coloured Generalised Stochastic Petri Net Performance ...
Output type
E - Conference contribution
Volume title
4th ACM/SPEC International Conference on Performance Engineering (ICPE 2013)
Year
2013
DOI
10.1145/2479871.2479931
Output title
Design and Initial Performance of a High-level Unstructured Mesh ...
Output type
D - Journal article
Volume title
Parallel Computing
Year
2013
DOI
10.1016/j.parco.2013.09.004
Output title
Design Exploration of Quadrature Methods in Option Pricing
Output type
D - Journal article
Volume title
IEEE Transactions on Very Large Scale Integration (VLSI) Systems
Year
2012
DOI
10.1109/TVLSI.2011.2128354
Output title
Discriminative segmentation-based evaluation through shape d ...
Output type
D - Journal article
Volume title
IEEE Transactions on Medical Imaging
Year
2012
DOI
10.1109/TMI.2012.2216281
Output title
Distributed Cross-layer Optimization in Stochastic Multi-hop ...
Output type
D - Journal article
Volume title
IEEE Transactions on Mobile Computing
Year
2013
DOI
10.1109/TMC.2013.101
Output title
Distributed Middleware Enforcement of Event Flow Security Po ...
Output type
E - Conference contribution
Volume title
11th International Middleware Conference
Year
2010
DOI
10.1007/978-3-642-16955-7_17
Output title
Distributionally robust joint chance constraints with second-order ...
Output type
D - Journal article
Volume title
Mathematical Programming
Year
2013
DOI
10.1007/s10107-011-0494-7
Output title
DTAM: Dense Tracking and Mapping in Real-Time
Output type
E - Conference contribution
Volume title
13th International Conference on Computer Vision (ICCV'11)
Year
2011
DOI
10.1109/ICCV.2011.6126513
Output title
Dynamic Multirole Session Types
Output type
E - Conference contribution
Volume title
38th Symposium on Principles of Programming Languages
Year
2011
DOI
10.1145/1926385.1926435
Output title
Elaborating Requirements Using Model Checking and Inductive ...
Output type
D - Journal article
Volume title
IEEE Transactions on Software Engineering
Year
2013
DOI
10.1109/TSE.2012.41
Output title
Embodiment and the Inner Life: Cognition and Consciousness in ...
Output type
A - Authored book
Volume title
Year
2010
DOI
Output title
Enabling cost-aware and adaptive elasticity of multi-tier cloud ...
Output type
D - Journal article
Volume title
Future Generation Computer Systems-the International Journal of Grid Computing and Escience
Year
2012
DOI
10.1016/j.future.2012.05.018
Output title
Euler Principal Component Analysis
Output type
D - Journal article
Volume title
International Journal of Computer Vision
Year
2013
DOI
10.1007/s11263-012-0558-z
Output title
Evaluating test suites and adequacy criteria using simulation-based ...
Output type
D - Journal article
Volume title
IEEE Transactions on Software Engineering
Year
2008
DOI
10.1109/TSE.2008.33
Output title
Event Identifier Logic
Output type
D - Journal article
Volume title
Mathematical Structures in Computer Science
Year
2013
DOI
10.1017/S0960129513000510
Output title
EXE: Automatically Generating Inputs of Death
Output type
D - Journal article
Volume title
ACM Transactions on Information and System Security
Year
2008
DOI
10.1145/1455518.1455522
Output title
Expressive Policy Analysis with Enhanced System Dynamicity
Output type
E - Conference contribution
Volume title
ASIAN ACM Symposium on Information, Computer and Communications Security (ASIACCS 09)
Year
2009
DOI
10.1145/1533057.1533091
Output title
EXPTIME tableaux for the coalgebraic µ-calculus
Output type
E - Conference contribution
Volume title
18th Annual Conference on Computer Science Logic (EACSL’09)
Year
2009
DOI
10.1007/978-3-642-04027-6_15
Output title
Fast Multi-Scale Detection of Relevant Communities in Large-Scale ...
Output type
D - Journal article
Volume title
Computer Journal
Year
2013
DOI
10.1093/comjnl/bxt002
Output title
Fault Localization in MANET-Hosted Service-Based Systems
Output type
E - Conference contribution
Volume title
31st IEEE International Symposium on Reliable Distributed Systems (SRDS)
Year
2012
DOI
10.1109/SRDS.2012.30
Output title
FISH: Fast Instruction SyntHesis for Custom Processors
Output type
D - Journal article
Volume title
IEEE Transactions on Very Large Scale Integration (VLSI) Systems
Year
2012
DOI
10.1109/TVLSI.2010.2090543
Output title
Fluid analysis of energy consumption using rewards in massively ...
Output type
E - Conference contribution
Volume title
2nd ACM/SPEC International Conference on Performance Engineering
Year
2011
DOI
10.1145/1958746.1958767
Output title
Fluid computation of passage-time distributions in large Markov ...
Output type
D - Journal article
Volume title
Theoretical Computer Science
Year
2012
DOI
10.1016/j.tcs.2011.07.017
Output title
Foundations of Logic-Based Trust Management
Output type
E - Conference contribution
Volume title
IEEE Symposium on Security and Privacy 2012
Year
2012
DOI
10.1109/SP.2012.20
Output title
Four Enhancements to Automated Distributed System Experimentation ...
Output type
E - Conference contribution
Volume title
30th International Conference on Software Engineering
Year
2008
DOI
10.1145/1368088.1368155
Output title
FPGA Designs with Optimized Logarithmic Arithmetic
Output type
D - Journal article
Volume title
IEEE Transactions on Computers
Year
2010
DOI
10.1109/TC.2010.51
Output title
Freefinement.
Output type
E - Conference contribution
Volume title
Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of Programming Languages (POPL 2012)
Year
2012
DOI
10.1145/2103656.2103661
Output title
Gaze-Contingent Motor Channelling, haptic constraints and associated ...
Output type
D - Journal article
Volume title
Medical Image Analysis
Year
2012
DOI
10.1016/j.media.2010.07.007
Output title
Generating Obstacle Conditions for Requirements Completeness
Output type
E - Conference contribution
Volume title
34th International Conference on Software Engineering
Year
2012
DOI
10.1109/ICSE.2012.6227147
Output title
Global optimization of higher order moments in portfolio sel ...
Output type
D - Journal article
Volume title
Journal of Global Optimization
Year
2009
DOI
10.1007/s10898-007-9224-3
Output title
Global optimization of robust chance constrained problems
Output type
D - Journal article
Volume title
Journal of Global Optimization
Year
2009
DOI
10.1007/s10898-007-9244-z
Output title
High Coverage Testing of Haskell Programs
Output type
E - Conference contribution
Volume title
International Symposium on Software Testing and Analysis
Year
2011
DOI
10.1145/2001420.2001465
Output title
Integrating Scale Out and Fault Tolerance in Stream Processing ...
Output type
E - Conference contribution
Volume title
ACM International Conference on Management of Data (SIGMOD)
Year
2013
DOI
10.1145/2463676.2465282
Output title
Integrative network alignment reveals large regions of global ...
Output type
D - Journal article
Volume title
Bioinformatics
Year
2011
DOI
10.1093/bioinformatics/btr127
Output title
Interactions between knowledge and time in a first-order logic ...
Output type
D - Journal article
Volume title
Journal of Artificial Intelligence Research
Year
2012
DOI
10.1613/jair.3547
First <
1 2 3 4 5
> Last
Showing outputs 51 - 100 of 201