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 Glasgow » Outputs

Outputs (REF2)

11 - Computer Science and Informatics

University of Glasgow

1 2 3
> Last
Showing outputs 1 - 50 of 146
Output title
A C++-embedded Domain-Specific Language for programming the MORA ...
Output type
E - Conference contribution
Volume title
Application-specific Systems Architectures and Processors (ASAP), 2010 21st IEEE International Conference
Year
2010
DOI
10.1109/ASAP.2010.5540750
Output title
A comparative evaluation of stochastic-based inference methods ...
Output type
D - Journal article
Volume title
Machine Learning
Year
2013
DOI
10.1007/s10994-013-5388-x
Output title
A comparison of general vs personalised affective models for ...
Output type
E - Conference contribution
Volume title
33rd International ACM SIGIR Conference on Research and Development in Information Retrieval Geneva, Switzerland
Year
2010
DOI
10.1145/1835449.1835512
Output title
A framework for continuous, transparent mobile device authen ...
Output type
D - Journal article
Volume title
Computers and Security
Year
2013
DOI
10.1016/j.cose.2013.05.005
Output title
A game-based abstraction-refinement framework for Markov decision ...
Output type
D - Journal article
Volume title
Formal Methods in System Design
Year
2010
DOI
10.1007/s10703-010-0097-6
Output title
A hybrid mass participation approach to mobile software tria ...
Output type
E - Conference contribution
Volume title
2012 ACM Annual Conference on Human Factors in Computing System Austin, Texas
Year
2012
DOI
10.1145/2207676.2208588
Output title
A language modeling framework for expert finding
Output type
D - Journal article
Volume title
Information Processing and Management
Year
2009
DOI
10.1016/j.ipm.2008.06.003
Output title
A process algebra framework for multi-scale modelling of biological ...
Output type
D - Journal article
Volume title
Theoretical Computer Science
Year
2013
DOI
10.1016/j.tcs.2013.03.018
Output title
A rigorous evaluation of crossover and mutation in genetic p ...
Output type
E - Conference contribution
Volume title
EuroGP 2009
Year
2009
DOI
10.1007/978-3-642-01181-8_19
Output title
A user-specific Machine Learning approach for improving touch ...
Output type
E - Conference contribution
Volume title
UIST '12 Proceedings of the 25th annual ACM symposium on User interface software and technology
Year
2012
DOI
10.1145/2380116.2380175
Output title
Accuracy: The fundamental requirement for voting systems
Output type
E - Conference contribution
Volume title
The Third International Conference on Availability, Reliability and Security, ARES 2009 Fukuoka, Japan
Year
2009
DOI
10.1109/ARES.2009.133
Output title
Active data structures on GPGPUs
Output type
E - Conference contribution
Volume title
The 6th Workshop on UnConventional High Performance Computing 2013 (UCHPC 2013) Aachen, Germany
Year
2013
DOI
Output title
Adjusted probabilistic route discovery in mobile ad hoc netw ...
Output type
D - Journal article
Volume title
Computers and Electrical Engineering
Year
2009
DOI
10.1016/j.compeleceng.2008.07.002
Output title
Algorithmics Of Matching Under Preferences
Output type
A - Authored book
Volume title
Year
2013
DOI
Output title
An automatic abstraction technique for verifying featured, parameterised ...
Output type
D - Journal article
Volume title
Theoretical Computer Science
Year
2008
DOI
10.1016/j.tcs.2008.03.034
Output title
An effective statistical approach to blog post opinion retri ...
Output type
E - Conference contribution
Volume title
17th ACM Conference on Information and Knowledge Management Napa Valley, California, USA
Year
2008
DOI
10.1145/1458082.1458223
Output title
An empirical comparison of data recovered from mobile forensic ...
Output type
D - Journal article
Volume title
Digital Investigation
Year
2013
DOI
10.1016/j.diin.2013.03.004
Output title
An information plane architecture supporting home network ma ...
Output type
E - Conference contribution
Volume title
12th IFIP/IEEE International Symposium on Integrated Network Management Dublin, Ireland
Year
2011
DOI
10.1109/INM.2011.5990667
Output title
An introduction to 3D computer vision techniques and algorit ...
Output type
A - Authored book
Volume title
Year
2009
DOI
10.1002/9780470699720
Output title
AnglePose: robust, precise capacitive touch tracking via 3d orientation ...
Output type
E - Conference contribution
Volume title
CHI 2011 : ACM CHI Conference on Human Factors in Computing Systems Vancouver, B.C.
Year
2011
DOI
10.1145/1978942.1979318
Output title
Animation, small multiples, and the effect of mental map preservation ...
Output type
D - Journal article
Volume title
IEEE Transactions on Visualization and Computer Graphics
Year
2011
DOI
10.1109/TVCG.2010.78
Output title
Anti-social networking: crowdsourcing and the cyber defence of ...
Output type
D - Journal article
Volume title
Ergonomics
Year
2013
DOI
10.1080/00140139.2013.812749
Output title
Applying the possibilistic C-means algorithm in kernel-induced ...
Output type
D - Journal article
Volume title
IEEE Transactions on Fuzzy Systems
Year
2010
DOI
10.1109/TFUZZ.2010.2043440
Output title
Architectural comparison of instruments for transaction level ...
Output type
E - Conference contribution
Volume title
FCCM '09. 17th IEEE Symposium on Field Programmable Custom Computing Machines, 2009
Year
2009
DOI
10.1109/FCCM.2009.31
Output title
Array languages and the N-body problem
Output type
D - Journal article
Volume title
Concurrency and Computation: Practice and Experience
Year
2013
DOI
10.1002/cpe.3088
Output title
Automatic personality perception: Prediction of trait attribution ...
Output type
D - Journal article
Volume title
IEEE Transactions on Affective Computing
Year
2012
DOI
10.1109/T-AFFC.2012.5
Output title
Automatic symmetry detection for Promela
Output type
D - Journal article
Volume title
Journal of Automated Reasoning
Year
2008
DOI
10.1007/s10817-008-9107-4
Output title
Bearing-based selection in mobile spatial interaction
Output type
D - Journal article
Volume title
Personal and Ubiquitous Computing
Year
2009
DOI
10.1007/s00779-008-0205-4
Output title
Blind detection of spread spectrum flow watermarks
Output type
E - Conference contribution
Volume title
INFOCOM 2009, 19-20 April 2009, Rio de Janeiro, Brazil
Year
2009
DOI
10.1109/INFCOM.2009.5062144
Output title
Bounded polymorphism in session types
Output type
D - Journal article
Volume title
Mathematical Structures in Computer Science
Year
2008
DOI
10.1017/S0960129508006944
Output title
Breaking symmetries in graph representation
Output type
E - Conference contribution
Volume title
Proceedings of The Twenty-Third International Joint Conference On Artificial Intelligence (IJCAI13)
Year
2013
DOI
Output title
Categorised ethical guidelines for large scale mobile HCI
Output type
E - Conference contribution
Volume title
CHI 2013 Paris, France
Year
2013
DOI
10.1145/2470654.2466245
Output title
Categorising social tags to improve folksonomy-based recomme ...
Output type
D - Journal article
Volume title
Web Semantics: Science, Services and Agents on the World Wide Web
Year
2011
DOI
10.1016/j.websem.2010.10.001
Output title
Classical Econophysics
Output type
A - Authored book
Volume title
Year
2009
DOI
Output title
Cloud engineering is search based software engineering too
Output type
D - Journal article
Volume title
Journal of Systems and Software
Year
2013
DOI
10.1016/j.jss.2012.10.027
Output title
Clutching at straws: using tangible interaction to provide non-visual ...
Output type
E - Conference contribution
Volume title
CHI '10 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
Year
2010
DOI
10.1145/1753326.1753583
Output title
Comparative evaluation of contiguous allocation strategies on ...
Output type
D - Journal article
Volume title
Journal of Systems and Software
Year
2008
DOI
10.1016/j.jss.2008.06.033
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
Computation and its Limits
Output type
A - Authored book
Volume title
Year
2012
DOI
Output title
Computing as the 4th “R”: a general education approach to computing ...
Output type
E - Conference contribution
Volume title
ICER’11: The 7th International Computing Education Research Conference Rhode Island, USA
Year
2011
DOI
10.1145/2016911.2016938
Output title
Control centric approach in designing scrolling and zooming user ...
Output type
D - Journal article
Volume title
International Journal of Human-Computer Studies
Year
2008
DOI
10.1016/j.ijhcs.2008.07.005
Output title
Crosstrainer: testing the use of multimodal interfaces in si ...
Output type
E - Conference contribution
Volume title
CHI '10 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
Year
2010
DOI
10.1145/1753326.1753378
Output title
Deploying rural community wireless mesh networks
Output type
D - Journal article
Volume title
IEEE Internet Computing
Year
2008
DOI
10.1109/MIC.2008.76
Output title
Deriving Information Requirements from Responsibility Models
Output type
E - Conference contribution
Volume title
Advanced Information Systems Engineering, 21st International Conference, CAiSE 2009 Amsterdam, The Netherlands
Year
2009
DOI
10.1007/978-3-642-02144-2_40
Output title
Design and implementation of the Quarc network on-chip
Output type
E - Conference contribution
Volume title
IPDPS 2009. IEEE International Symposium on Parallel & Distributed Processing, 2009.
Year
2009
DOI
10.1109/IPDPS.2009.5161210
Output title
Design issues for peer-to-peer massively multiplayer online ...
Output type
D - Journal article
Volume title
International Journal of Advanced Media and Communication
Year
2010
DOI
10.1504/IJAMC.2010.032138
Output title
Designing for uncertain, asymmetric control: interaction design ...
Output type
D - Journal article
Volume title
International Journal of Human-Computer Studies
Year
2009
DOI
10.1016/j.ijhcs.2009.05.009
Output title
Distributed hash sketches: scalable, efficient, and accurate ...
Output type
D - Journal article
Volume title
ACM Transactions on Computer Systems
Year
2009
DOI
10.1145/1482619.1482621
Output title
Distribution fairness in internet-scale networks
Output type
D - Journal article
Volume title
ACM Transactions on Internet Technology
Year
2009
DOI
10.1145/1592446.1592450
Output title
DragonNet: a robust mobile internet services system for long ...
Output type
E - Conference contribution
Volume title
INFOCOM 2011 Shanghai, China
Year
2011
DOI
10.1109/INFCOM.2011.5935309
1 2 3
> Last
Showing outputs 1 - 50 of 146