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 151 - 200 of 201
Output title
Response time distribution of flash memory accesses
Output type
D - Journal article
Volume title
Performance Evaluation
Year
2010
DOI
10.1016/j.peva.2009.10.003
Output title
Robust and efficient parametric face alignment
Output type
E - Conference contribution
Volume title
13th International Conference on Computer Vision (ICCV'11)
Year
2011
DOI
10.1109/ICCV.2011.6126452
Output title
Robust FFT-Based Scale-Invariant Image Registration with Image ...
Output type
D - Journal article
Volume title
IEEE Transactions on Pattern Analysis and Machine Intelligence
Year
2010
DOI
10.1109/TPAMI.2010.107
Output title
Robust Markov Decision Processes
Output type
D - Journal article
Volume title
Mathematics of Operations Research
Year
2013
DOI
10.1287/moor.1120.0566
Output title
Robust resource allocations in temporal networks
Output type
D - Journal article
Volume title
Mathematical Programming
Year
2012
DOI
10.1007/s10107-011-0478-7
Output title
Rumpole: a flexible break-glass access control model
Output type
E - Conference contribution
Volume title
6th ACM Symposium on Access Control Models and Technologies(SACMAT'11)
Year
2011
DOI
10.1145/1998441.1998453
Output title
Safe software updates via multi-version execution
Output type
E - Conference contribution
Volume title
International Conference on Software Engineering (ICSE 2013)
Year
2013
DOI
Output title
Sahlqvist Correspondence for Modal mu-calculus
Output type
D - Journal article
Volume title
Studia Logica
Year
2012
DOI
10.1007/s11225-012-9388-9
Output title
Selfish Mules: Social Profit Maximization in Sparse Sensornets ...
Output type
D - Journal article
Volume title
IEEE Journal on Selected Areas in Communications
Year
2013
DOI
10.1109/JSAC.2013.130614
Output title
Self-Management Framework for Mobile Autonomous Systems
Output type
D - Journal article
Volume title
Journal of Network and Systems Management
Year
2012
DOI
10.1007/s10922-011-9201-5
Output title
Semantics and expressiveness of ordered SOS
Output type
D - Journal article
Volume title
Information and Computation
Year
2009
DOI
10.1016/j.ic.2007.11.008
Output title
Sensor Positioning for Activity Recognition Using Wearable A ...
Output type
D - Journal article
Volume title
IEEE Transactions on Biomedical Circuits and Systems
Year
2011
DOI
10.1109/TBCAS.2011.2160540
Output title
Separating Ownership Topology and Encapsulation with Generic ...
Output type
D - Journal article
Volume title
ACM Transactions on Programming Languages and Systems
Year
2011
DOI
10.1145/2049706.2049709
Output title
Session-based distributed programming in Java
Output type
E - Conference contribution
Volume title
22nd European Conference on Object-Oriented Programming (ECOOP 2008)
Year
2008
DOI
10.1007/978-3-540-70592-5_22
Output title
Shared and searchable encrypted data for untrusted servers.
Output type
D - Journal article
Volume title
Journal of Computer Security
Year
2011
DOI
10.3233/JCS-2010-0415
Output title
SLAM++: Simultaneous Localisation and Mapping at the Level of ...
Output type
E - Conference contribution
Volume title
IEEE Computer Vision and Pattern Recognition (CVPR 2013)
Year
2013
DOI
10.1109/CVPR.2013.178
Output title
Socially-aware routing for publish-subscribe in delay-tolerant ...
Output type
D - Journal article
Volume title
IEEE Journal on Selected Areas in Communications
Year
2008
DOI
10.1109/JSAC.2008.080602
Output title
Software Performance Prediction with a Time Scaling Scheduling ...
Output type
E - Conference contribution
Volume title
2011 IEEE 19th International Symposium on Modeling, Analysis & Simulation of Computer and Telecommunication Systems (MASCOTS'11)
Year
2011
DOI
10.1109/MASCOTS.2011.39
Output title
Specifying Norm-Governed Computational Societies
Output type
D - Journal article
Volume title
ACM Transactions on Computational Logic
Year
2009
DOI
10.1145/1459010.1459011
Output title
SQPR: Stream Query Planning with Reuse
Output type
E - Conference contribution
Volume title
IEEE 27th International Conference on Data Engineering (ICDE 2011)
Year
2011
DOI
10.1109/ICDE.2011.5767851
Output title
Status-Based Access Control
Output type
D - Journal article
Volume title
ACM Transactions on Information and System Security
Year
2008
DOI
10.1145/1410234.1410235
Output title
Storage workload modelling by hidden Markov models: Application ...
Output type
D - Journal article
Volume title
Performance Evaluation
Year
2012
DOI
10.1016/j.peva.2011.07.022
Output title
STRONGLY REPRESENTABLE ATOM STRUCTURES OF CYLINDRIC ALGEBRAS
Output type
D - Journal article
Volume title
Journal of Symbolic Logic
Year
2009
DOI
10.2178/jsl/1245158086
Output title
Structured Communication-Centered Programming for Web Servic ...
Output type
D - Journal article
Volume title
ACM Transactions on Programming Languages and Systems
Year
2012
DOI
10.1145/2220365.2220367
Output title
Subspace Learning from Image Gradient Orientations
Output type
D - Journal article
Volume title
IEEE Transactions on Pattern Analysis and Machine Intelligence
Year
2012
DOI
10.1109/TPAMI.2012.40
Output title
Symbolic Crosschecking of Floating-Point and SIMD Code
Output type
E - Conference contribution
Volume title
6th ACM EuroSys Conference on Computer Systems (EuroSys 2011)
Year
2011
DOI
10.1145/1966445.1966475
Output title
Symmetric electoral systems for ambient calculi
Output type
D - Journal article
Volume title
Information and Computation
Year
2008
DOI
10.1016/j.ic.2007.08.005
Output title
Syntactic Labelled Tableaux for Lukasiewicz Fuzzy ALC
Output type
E - Conference contribution
Volume title
23rd International Joint Conference on Artificial Intelligence (IJCAI 2013)
Year
2013
DOI
Output title
Synthesis of Partial Behavior Models from Properties and Sce ...
Output type
D - Journal article
Volume title
IEEE Transactions on Software Engineering
Year
2009
DOI
10.1109/TSE.2008.107
Output title
Synthesizing Modal Transition Systems from Triggered Scenari ...
Output type
D - Journal article
Volume title
IEEE Transactions on Software Engineering
Year
2013
DOI
10.1109/TSE.2012.62
Output title
Synthesizing nonanomalous event-based controllers for liveness ...
Output type
D - Journal article
Volume title
ACM Transactions on Software Engineering and Methodology
Year
2013
DOI
10.1145/2430536.2430543
Output title
Teleo-Reactive policies for managing human-centric pervasive ...
Output type
E - Conference contribution
Volume title
6th IEEE Int. Conference on Network and Service Management
Year
2010
DOI
10.1109/CNSM.2010.5691332
Output title
Temporal sparse free-form deformations.
Output type
D - Journal article
Volume title
Medical Image Analysis
Year
2013
DOI
10.1016/j.media.2013.04.010
Output title
The brain's connective core and its role in animal cognition
Output type
D - Journal article
Volume title
Philosophical Transactions of the Royal Society B: Biological Sciences
Year
2012
DOI
10.1098/rstb.2012.0128
Output title
The CIFF proof procedure for abductive logic programming with ...
Output type
D - Journal article
Volume title
Theory and Practice of Logic Programming
Year
2009
DOI
10.1017/S1471068409990093
Output title
The design and implementation of a workflow analysis tool.
Output type
D - Journal article
Volume title
Royal Society of London. Philosophical Transactions A. Mathematical, Physical and Engineering Sciences
Year
2010
DOI
10.1098/rsta.2010.0157
Output title
The heart of intersection type assignment: Normalisation proofs ...
Output type
D - Journal article
Volume title
Theoretical Computer Science
Year
2008
DOI
10.1016/j.tcs.2008.01.020
Output title
The lattice structure and refinement operators for the hypothesis ...
Output type
D - Journal article
Volume title
Machine Learning
Year
2009
DOI
10.1007/s10994-009-5117-7
Output title
The LUT-SR Family of Uniform Random Number Generators for FPGA ...
Output type
D - Journal article
Volume title
IEEE Transactions on Very Large Scale Integration (VLSI) Systems
Year
2013
DOI
10.1109/TVLSI.2012.2194171
Output title
Topological network alignment uncovers biological function and ...
Output type
D - Journal article
Volume title
Journal of the Royal Society Interface
Year
2010
DOI
10.1098/rsif.2010.0063
Output title
Towards a Program Logic for JavaScript
Output type
E - Conference contribution
Volume title
39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL'12)
Year
2012
DOI
10.1145/2103656.2103663
Output title
Towards verifying contract regulated service composition
Output type
D - Journal article
Volume title
Autonomous Agents and Multi-Agent Systems
Year
2012
DOI
10.1007/s10458-010-9152-3
Output title
Uncovering biological network function via graphlet degree s ...
Output type
D - Journal article
Volume title
Cancer Informatics
Year
2008
DOI
Output title
Using Argumentation Logic for Firewall Configuration Managem ...
Output type
E - Conference contribution
Volume title
IFIP/IEEE International Symposium on Integrated Network Management (IM 2009)
Year
2009
DOI
10.1109/INM.2009.5188808
Output title
VIBE: An energy efficient routing protocol for dense and mobile ...
Output type
D - Journal article
Volume title
Journal of Network and Computer Applications
Year
2012
DOI
10.1016/j.jnca.2011.05.004
Output title
Views: compositional reasoning for concurrent programs
Output type
E - Conference contribution
Volume title
40th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2013)
Year
2013
DOI
10.1145/2429069.2429104
Output title
Visual SLAM: Why filter?
Output type
D - Journal article
Volume title
Image and Vision Computing
Year
2012
DOI
10.1016/j.imavis.2012.02.009
Output title
Weak Alphabet Merging of Partial Behavior Models
Output type
D - Journal article
Volume title
ACM Transactions on Software Engineering and Methodology
Year
2012
DOI
10.1145/2089116.2089119
Output title
WESD--Weighted Spectral Distance for Measuring Shape Dissimi ...
Output type
D - Journal article
Volume title
IEEE Transactions on Pattern Analysis and Machine Intelligence
Year
2013
DOI
10.1109/TPAMI.2012.275
Output title
Worst-Case Value at Risk of Nonlinear Portfolios
Output type
D - Journal article
Volume title
Management Science
Year
2013
DOI
10.1287/mnsc.1120.1615
First <
1 2 3 4 5
> Last
Showing outputs 151 - 200 of 201