Results & submissions : REF 2014 : Outputs (REF2)

Output title

Easy composition of symbolic computation software using SCSCP: ...

Output type

D - Journal article

Volume title

Journal of Symbolic Computation

Year

2013

DOI

10.1016/j.jsc.2011.12.019

Output title

Effects of usage-based feedback on video retrieval: a simulation-based ...

Output type

D - Journal article

Volume title

ACM Transactions on Information Systems

Year

2011

DOI

10.1145/1961209.1961214

Output title

E-infrastructures supporting research into depression, self-harm ...

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.0142

Output title

Engineering adaptive privacy: on the role of privacy awareness ...

Output type

E - Conference contribution

Volume title

ICSE '13 Proceedings of the 2013 International Conference on Software Engineering

Year

2013

DOI

Output title

Enthusing and inspiring with reusable kinaesthetic activitie ...

Output type

E - Conference contribution

Volume title

ITiCSE '09 Proceedings of the 14th Annual ACM SIGCSE Conference on Innovation and Technology in Computer Science Education Paris, France

Year

2009

DOI

10.1145/1595496.1562911

Output title

Evaluating a high-level parallel language (GpH) for computational ...

Output type

D - Journal article

Volume title

IEEE Transactions on Parallel and Distributed Systems

Year

2008

DOI

10.1109/TPDS.2007.70728

Output title

Evaluation of a mobile phone-based, advanced symptom management ...

Output type

D - Journal article

Volume title

Supportive Care in Cancer

Year

2009

DOI

10.1007/s00520-008-0515-0

Output title

Evolutionary improvement of programs

Output type

D - Journal article

Volume title

IEEE Transactions on Evolutionary Computation

Year

2011

DOI

10.1109/TEVC.2010.2083669

Output title

Exact algorithms for maximum clique: a computational study

Output type

D - Journal article

Volume title

Algorithms

Year

2012

DOI

10.3390/a5040545

Output title

eXO: decentralized autonomous scalable social networking

Output type

E - Conference contribution

Volume title

5th Biennial Conference on Innovative Data Systems Research (CIDR 2011) Asilomar, CA, USA

Year

2011

DOI

Output title

Experience report: peer instruction in introductory computin ...

Output type

E - Conference contribution

Volume title

SIGCSE '10 Proceedings of the 41st ACM Technical Symposium on Computer Science education Milwaukee, USA

Year

2010

DOI

10.1145/1734263.1734381

Output title

Exploiting query reformulations for web search result divers ...

Output type

E - Conference contribution

Volume title

19th International Conference on World Wide Web Raleigh NC

Year

2010

DOI

10.1145/1772690.1772780

Output title

Extensible sparse functional arrays with circuit parallelism

Output type

E - Conference contribution

Volume title

PPDP '13 Proceedings of the 15th Symposium on Principles and Practice of Declarative Programming

Year

2013

DOI

10.1145/2505879.2505891

Output title

Eyes-free multitasking: the effect of cognitive load on mobile ...

Output type

E - Conference contribution

Volume title

CHI '11 Proceedings of the 2011 annual conference on Human factors in computing systems Vancouver, BC

Year

2011

DOI

10.1145/1978942.1979258

Output title

EyeSpy: supporting navigation through play

Output type

E - Conference contribution

Volume title

CHI '09 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems

Year

2009

DOI

10.1145/1518701.1518723

Output title

Finding large stable matchings

Output type

D - Journal article

Volume title

Journal of Experimental Algorithmics

Year

2009

DOI

10.1145/1498698.1537595

Output title

Formal modelling of robot behaviour with learning

Output type

D - Journal article

Volume title

Neural Computation

Year

2013

DOI

10.1162/NECO_a_00493

Output title

FPGA-accelerated information retrieval: high-efficiency document ...

Output type

E - Conference contribution

Volume title

International Conference on Field Programmable Logic and Applications, 2009. FPL 2009. Prague, Czech Republic

Year

2009

DOI

10.1109/FPL.2009.5272246

Output title

From awareness to repartee: sharing location within social g ...

Output type

E - Conference contribution

Volume title

CHI '08 Annual SIGCHI Conference on Human Factors in Computing Systems Florence, Italy

Year

2008

DOI

10.1145/1357054.1357134

Output title

Graph drawing aesthetics — created by users not algorithms

Output type

D - Journal article

Volume title

IEEE Transactions on Visualization and Computer Graphics

Year

2012

DOI

10.1109/TVCG.2010.269

Output title

HandiVote: simple, anonymous, and auditable electronic votin ...

Output type

D - Journal article

Volume title

Journal of Information Technology and Politics

Year

2009

DOI

10.1080/19331680802668102

Output title

Harnessing Internet Topological Stability in Thorup-Zwick Compact ...

Output type

E - Conference contribution

Volume title

Proceedings of IEEE Infocom 2012 Orlando, FL, USA

Year

2012

DOI

10.1109/INFCOM.2012.6195651

Output title

Hera-JVM: a runtime system for heterogeneous multi-core arch ...

Output type

E - Conference contribution

Volume title

ACM International Conference on Object Oriented Programming Systems Languages and Applications Reno/Tahoe, NV, USA

Year

2010

DOI

10.1145/1869459.1869478

Output title

High-level distribution for the rapid production of robust telecoms ...

Output type

D - Journal article

Volume title

Concurrency and Computation: Practice and Experience

Year

2008

DOI

10.1002/cpe.1223

Output title

High-speed, in-band performance measurement instrumentation for ...

Output type

D - Journal article

Volume title

Computer Networks

Year

2010

DOI

10.1016/j.comnet.2010.06.014

Output title

Hybrid cloud resource provisioning policy in the presence of ...

Output type

E - Conference contribution

Volume title

4th IEEE International Conference on Cloud Computing Technology and Science (CloudCom 2012) Taipei, Taiwan

Year

2013

DOI

10.1109/CloudCom.2012.6427521

Output title

Identifying common problems in the acquisition and deployment ...

Output type

D - Journal article

Volume title

Safety Science

Year

2011

DOI

10.1016/j.ssci.2010.12.003

Output title

Improving data centre network utilisation using near-optimal ...

Output type

D - Journal article

Volume title

IEEE Transactions on Parallel and Distributed Systems

Year

2013

DOI

10.1109/TPDS.2012.343

Output title

Information theoretic novelty detection

Output type

D - Journal article

Volume title

Pattern Recognition

Year

2010

DOI

10.1016/j.patcog.2009.07.002

Output title

Intent-aware search result diversification

Output type

E - Conference contribution

Volume title

34th international ACM SIGIR Conference on Research and Development in Information Retrieval Beijing, China

Year

2011

DOI

10.1145/2009916.2009997

Output title

Investigating the correspondence between transcriptomic and proteomic ...

Output type

D - Journal article

Volume title

Bioinformatics

Year

2008

DOI

10.1093/bioinformatics/btn553

Output title

Investigating the effectiveness of tactile feedback for mobile ...

Output type

E - Conference contribution

Volume title

CHI '08 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems

Year

2008

DOI

10.1145/1357054.1357300

Output title

Is Economic Planning Hypercomputational? The Argument from Cantor ...

Output type

D - Journal article

Volume title

International Journal of Unconventional Computing

Year

2009

DOI

Output title

Language-level symmetry reduction for probabilistic model ch ...

Output type

E - Conference contribution

Volume title

6th International Conference on the Quantitative Evaluation of Systems Budapest

Year

2009

DOI

10.1109/QEST.2009.21

Output title

Learning to predict response times for online query scheduli ...

Output type

E - Conference contribution

Volume title

SIGIR '12 Proceedings of the 35th international ACM SIGIR conference on Research and development in information retrieval

Year

2012

DOI

10.1145/2348283.2348367

Output title

Limited discrepancy search revisited

Output type

D - Journal article

Volume title

Journal of Experimental Algorithmics

Year

2011

DOI

10.1145/1963190.2019581

Output title

Linear type theory for asynchronous session types

Output type

D - Journal article

Volume title

Journal of Functional Programming

Year

2010

DOI

10.1017/S0956796809990268

Output title

Local feature extraction and matching on range images: 2.5D ...

Output type

D - Journal article

Volume title

Computer Vision and Image Understanding

Year

2009

DOI

10.1016/j.cviu.2009.06.005

Output title

Longer is better: exploiting path diversity in data center n ...

Output type

E - Conference contribution

Volume title

2013 IEEE 33rd International Conference on Distributed Computing Systems (ICDCS) Philadelphia, PA, USA

Year

2013

DOI

10.1109/ICDCS.2013.36

Output title

Low-overhead end-to-end performance measurement for next generation ...

Output type

D - Journal article

Volume title

IEEE Transactions on Network and Service Management

Year

2011

DOI

10.1109/TNSM.2011.032311.090369

Output title

Manipulating mindset to positively influence introductory programming ...

Output type

E - Conference contribution

Volume title

SIGCSE '10 Proceedings of the 41st ACM Technical Symposium on Computer Science education Milwaukee, USA

Year

2010

DOI

10.1145/1734263.1734409

Output title

Memorability of Visual Features in Network Diagrams

Output type

D - Journal article

Volume title

IEEE Transactions on Visualization and Computer Graphics

Year

2012

DOI

10.1109/TVCG.2012.245

Output title

Mobility: a double-edged sword for HSPA networks: a large-scale ...

Output type

D - Journal article

Volume title

IEEE Transactions on Parallel and Distributed Systems

Year

2012

DOI

10.1109/TPDS.2011.289

Output title

Model checking probabilistic and stochastic extensions of the ...

Output type

D - Journal article

Volume title

IEEE Transactions on Software Engineering

Year

2009

DOI

10.1109/TSE.2008.77

Output title

Modelling IEEE 802.11 CSMA/CA RTS/CTS with stochastic bigraphs ...

Output type

D - Journal article

Volume title

Formal Aspects of Computing

Year

2013

DOI

10.1007/s00165-012-0270-3

Output title

Modular modelling of signalling pathways and their crosstalk

Output type

D - Journal article

Volume title

Theoretical Computer Science

Year

2012

DOI

10.1016/j.tcs.2012.07.003

Output title

Modular session types for distributed object-oriented progra ...

Output type

E - Conference contribution

Volume title

37th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages Madrid, Spain

Year

2010

DOI

10.1145/1706299.1706335

Output title

Multimodal collaborative handwriting training for visually-impaired ...

Output type

E - Conference contribution

Volume title

CHI '08 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems

Year

2008

DOI

10.1145/1357054.1357119

Output title

Name that tune: musicons as reminders in the home

Output type

E - Conference contribution

Volume title

CHI '11 Annual SIGCHI Conference on Human Factors in Computing Systems Vancouver, B.C.

Year

2011

DOI

10.1145/1978942.1979357

Output title

Observations of the Scottish elections 2007

Output type

D - Journal article

Volume title

Transforming Government: People, Process and Policy

Year

2008

DOI

10.1108/17506160810876185

Outputs (REF2)

11 - Computer Science and Informatics

University of Glasgow