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: City University London » Outputs

Outputs (REF2)

11 - Computer Science and Informatics

City University London

1 2 3
> Last
Showing outputs 1 - 50 of 123
Output title
A Framework for QoS-Based Web service contracting
Output type
D - Journal article
Volume title
ACM Transactions on the Web
Year
2009
DOI
10.1145/1541822.1541825
Output title
A Matter of Life and Death: Practical and Ethical Constraints ...
Output type
E - Conference contribution
Volume title
CHI '13 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
Year
2013
DOI
10.1145/2470654.2466198
Output title
A Min-Max Framework for CPU Resource Provisioning in Virtualized ...
Output type
E - Conference contribution
Volume title
IEEE International Conference on Decision and Control (CDC), 2010.
Year
2010
DOI
10.1109/CDC.2010.5717375
Output title
A model-based approach for multiple QoS in scheduling: from models ...
Output type
D - Journal article
Volume title
Automated Software Engineering
Year
2011
DOI
10.1007/s10515-010-0074-8
Output title
A Neural-Symbolic Cognitive Agent for Online Learning and Re ...
Output type
E - Conference contribution
Volume title
IJCAI 2011
Year
2011
DOI
10.5591/978-1-57735-516-8/IJCAI11-278
Output title
A Pearl on SAT and SMT Solving in Prolog
Output type
D - Journal article
Volume title
Theoretical Computer Science
Year
2012
DOI
10.1016/j.tcs.2012.02.024
Output title
A Perceptual-Statistics Shading Model
Output type
D - Journal article
Volume title
IEEE Transactions on Visualization and Computer Graphics
Year
2012
DOI
10.1109/TVCG.2012.188
Output title
A Pragmatics’ View of Patient Identification
Output type
D - Journal article
Volume title
Quality and Safety in Healthcare
Year
2010
DOI
10.1136/qshc.2009.036400
Output title
A Robust and Efficient Approach to Detect 3D Rectal Tubes from ...
Output type
D - Journal article
Volume title
Medical Physics
Year
2011
DOI
10.1118/1.3654842
Output title
A Software App to Support Creativity in Dementia Care
Output type
E - Conference contribution
Volume title
ACM Creativity & Cognition Conference'2013
Year
2013
DOI
10.1145/2466627.2466637
Output title
A Task-based Support Architecture for Developing Point-of-Care ...
Output type
D - Journal article
Volume title
Methods of Information in Medicine
Year
2013
DOI
10.3414/ME11-01-0099
Output title
A Tree-Based Decision Model to Support Prediction of the Severity ...
Output type
D - Journal article
Volume title
Journal of Medical Systems
Year
2010
DOI
10.1007/s10916-009-9268-7
Output title
A UML-Based Static Verification Framework for Security
Output type
D - Journal article
Volume title
Requirements Engineering Journal
Year
2010
DOI
10.1007/s00766-009-0091-y
Output title
A Visual Analytics Framework for Spatio-temporal Analysis and ...
Output type
D - Journal article
Volume title
Data Mining and Knowledge Discovery
Year
2013
DOI
10.1007/s10618-012-0285-7
Output title
An examination of the physical and the digital qualities of humanities ...
Output type
D - Journal article
Volume title
Information Processing and Management
Year
2008
DOI
10.1016/j.ipm.2007.09.001
Output title
An experimental comparison of a Genetic Algorithm and a Hill-Climber ...
Output type
D - Journal article
Volume title
Journal of Documentation
Year
2010
DOI
10.1108/00220411011052939
Output title
An Extensible Framework for Provenance in Human Terrain Visual ...
Output type
D - Journal article
Volume title
IEEE Transactions on Visualization and Computer Graphics
Year
2013
DOI
10.1109/TVCG.2013.132
Output title
Analog property checkers: a DDR2 case study
Output type
D - Journal article
Volume title
Formal Methods in System Design
Year
2010
DOI
10.1007/s10703-009-0085-x
Output title
Analysis of OS Diversity for Intrusion Tolerance
Output type
D - Journal article
Volume title
Software: Practice and Experience
Year
2013
DOI
10.1002/spe.2180
Output title
Analytic Conditions For Energy Neutrality In Uniformly-formed ...
Output type
D - Journal article
Volume title
IEEE Transactions on Wireless Communications
Year
2013
DOI
10.1109/TWC.2013.121649
Output title
Applicative Programming with Effects
Output type
D - Journal article
Volume title
Journal of Functional Programming
Year
2008
DOI
10.1017/S0956796807006326
Output title
Assessing asymmetric fault-tolerant software
Output type
E - Conference contribution
Volume title
Proceedings of the 2010 IEEE 21st International Symposium on Software Reliability Engineering
Year
2010
DOI
10.1109/ISSRE.2010.10
Output title
Assessing the genuineness of events in runtime monitoring of ...
Output type
D - Journal article
Volume title
Computers and Security
Year
2013
DOI
10.1016/j.cose.2013.03.011
Output title
Automatic indexing and retrieval of encounter-specific evidence ...
Output type
D - Journal article
Volume title
Journal of Biomedical Informatics
Year
2010
DOI
10.1016/j.jbi.2010.03.003
Output title
BallotMaps: Detecting name bias in alphabetically ordered ballot ...
Output type
D - Journal article
Volume title
IEEE Transactions on Visualization and Computer Graphics
Year
2011
DOI
10.1109/TVCG.2011.174
Output title
Bayesian reliability assessment of legacy safety-critical systems ...
Output type
D - Journal article
Volume title
Reliability Engineering and System Safety
Year
2013
DOI
10.1016/j.ress.2013.03.017
Output title
Bounds on survival probability given mean probability of failure ...
Output type
U - Working paper
Volume title
Year
2013
DOI
Output title
Brushing dimensions --a dual visual analysis model for high-dimensional ...
Output type
D - Journal article
Volume title
IEEE Transactions on Visualization and Computer Graphics
Year
2011
DOI
10.1109/TVCG.2011.178
Output title
CAD in mammography: lesion-level vs. case-level analysis of the ...
Output type
D - Journal article
Volume title
International Journal of Computer Assisted Radiology and Surgery
Year
2008
DOI
10.1007/s11548-008-0213-x
Output title
Clinical Decision Support System for Point of Care Use - Ontology-driven ...
Output type
D - Journal article
Volume title
Methods of Information in Medicine
Year
2009
DOI
10.3414/ME0574
Output title
Cognitive economy and satisficing in information seeking: A longitudinal ...
Output type
D - Journal article
Volume title
Journal of the American Society for Information Science and Technology
Year
2009
DOI
10.1002/asi.21179
Output title
Comparison of Empirical Data from Two Honeynets and a Distributed ...
Output type
E - Conference contribution
Volume title
Proceedings of ISSRE-2008, 18th International Symposium on Software Reliability Engineering, Seattle, WA, USA
Year
2008
DOI
10.1109/ISSRE.2008.62
Output title
Computer trading and systemic risk: a nuclear perspective
Output type
N - Research report for external body
Volume title
Year
2012
DOI
Output title
Computing Technologies for Reflective and Creative Care for People ...
Output type
D - Journal article
Volume title
Communications of the ACM
Year
2013
DOI
10.1145/2500495
Output title
Configuring hierarchical layouts to address research questio ...
Output type
D - Journal article
Volume title
IEEE Transactions on Visualization and Computer Graphics
Year
2009
DOI
10.1109/TVCG.2009.128
Output title
Conservative bounds for the pfd of a 1-out-of-2 software based ...
Output type
D - Journal article
Volume title
IEEE Transactions in Software Engineering
Year
2013
DOI
10.1109/TSE.2013.31
Output title
Conservative reasoning about epistemic uncertainty for the probability ...
Output type
D - Journal article
Volume title
IEEE Transactions in Software Engineering
Year
2013
DOI
10.1109/TSE.2013.35
Output title
Constructive applicative functors
Output type
E - Conference contribution
Volume title
International Conference on Mathematics of Program Construction
Year
2012
DOI
10.1007/978-3-642-31113-0_15
Output title
Co-reading: investigating collaborative group reading.
Output type
E - Conference contribution
Volume title
Proceedings of the ACM/IEEE Joint Conference on Digital Libraries, 2012
Year
2012
DOI
10.1145/2232817.2232876
Output title
Creative Professional users’ musical relevance criteria
Output type
D - Journal article
Volume title
Journal of Information Science
Year
2010
DOI
10.1177/0165551510374006
Output title
Creative User-Centered Visualization Design for Energy Analysts ...
Output type
D - Journal article
Volume title
IEEE Transactions on Visualization and Computer Graphics
Year
2013
DOI
10.1109/TVCG.2013.145
Output title
Database replication
Output type
F - Patent/published patent application
Volume title
Year
2012
DOI
Output title
Designing physical and social intergenerational family enter ...
Output type
D - Journal article
Volume title
Interacting with computers
Year
2009
DOI
10.1016/j.intcom.2008.10.009
Output title
Discovering Services During Service-Based System Design using ...
Output type
D - Journal article
Volume title
IEEE Transactions in Software Engineering
Year
2010
DOI
10.1109/TSE.2009.88
Output title
Diverse protection systems for improving security: a study with ...
Output type
U - Working paper
Volume title
Year
2012
DOI
Output title
Dynamic Verification and Control of Mobile Peer-to-Peer Syst ...
Output type
E - Conference contribution
Volume title
Third International Conference on Internet Monitoring and Protection (ICIMP 2008)
Year
2008
DOI
10.1109/ICIMP.2008.11
Output title
Efficient Calculation of Gauss-Newton Approximation of the Hessian ...
Output type
D - Journal article
Volume title
Neural Computation
Year
2012
DOI
10.1162/NECO_a_00248
Output title
Endoluminal surface registration for CT colonography using haustral ...
Output type
D - Journal article
Volume title
Medical Image Analysis
Year
2013
DOI
10.1016/j.media.2013.04.006
Output title
End-user feature labeling: Supervised and semi-supervised approaches ...
Output type
D - Journal article
Volume title
Artificial Intelligence
Year
2013
DOI
10.1016/j.artint.2013.08.003
Output title
Exploring How to Use Scenarios to Discover Requirements
Output type
D - Journal article
Volume title
Requirements Engineering Journal
Year
2009
DOI
10.1007/s00766-009-0077-9
1 2 3
> Last
Showing outputs 1 - 50 of 123