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 St Andrews » Outputs

Outputs (REF2)

11 - Computer Science and Informatics

University of St Andrews

1 2
> Last
Showing outputs 1 - 50 of 83
Output title
"Carbon Credits" for Resource-Bounded Computations Using Amortised ...
Output type
E - Conference contribution
Volume title
FM 2009: Formal Methods : Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings
Year
2009
DOI
10.1007/978-3-642-05089-3_23
Output title
A Comparison of TCP Behaviour at High Speeds Using ns-2 and ...
Output type
E - Conference contribution
Volume title
Proceedings of the 11th Communications and Networking Simulation Symposium, CNS'08
Year
2008
DOI
10.1145/1400713.1400718
Output title
A component-based model and language for wireless sensor network ...
Output type
E - Conference contribution
Volume title
32nd annual IEEE International Computer Software and Applications : COMPSAC 2008, 28 July-1 August 2008, Turku, Finland
Year
2008
DOI
10.1109/COMPSAC.2008.151
Output title
A relation based measure of semantic similarity for Gene Ontology ...
Output type
D - Journal article
Volume title
BMC Bioinformatics
Year
2008
DOI
10.1186/1471-2105-9-468
Output title
A top-level ontology for smart environments
Output type
D - Journal article
Volume title
Pervasive and Mobile Computing
Year
2011
DOI
10.1016/j.pmcj.2011.02.002
Output title
A validated model of serum anti-Müllerian hormone from conception ...
Output type
D - Journal article
Volume title
PLoS One
Year
2011
DOI
10.1371/journal.pone.0022024
Output title
Adoption of e-Infrastructure services : configurations of pr ...
Output type
D - Journal article
Volume title
Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences
Year
2010
DOI
10.1098/rsta.2010.0162
Output title
An Automated Approach to Generating Efficient Constraint Sol ...
Output type
E - Conference contribution
Volume title
2012 34th international conference on software engineering (ICSE 2012) : Zurich, Switzerland 2-9 June 2012
Year
2012
DOI
10.1109/ICSE.2012.6227151
Output title
An efficient programming model for memory-intensive recursive ...
Output type
E - Conference contribution
Volume title
ISSAC 2012 : Proceedings of the 37th International Symposium on Symbolic and Algebraic Computation
Year
2012
DOI
10.1145/2442829.2442876
Output title
Automatic Amortised Analysis of Dynamic Memory Allocation for ...
Output type
E - Conference contribution
Volume title
ICFP '12 Proceedings of the 17th ACM SIGPLAN international conference on Functional programming
Year
2012
DOI
10.1145/2364527.2364575
Output title
Automatic OpenCL device characterization : guiding optimized ...
Output type
E - Conference contribution
Volume title
Euro-Par 2011 Parallel Processing : 17th International Conference, Euro-Par 2011, Bordeaux, France, August 29 - September 2, 2011, Proceedings, Part II
Year
2011
DOI
10.1007/978-3-642-23397-5_43
Output title
Can Anti-Müllerian hormone predict the diagnosis of polycystic ...
Output type
D - Journal article
Volume title
Journal of Clinical Endocrinology & Metabolism
Year
2013
DOI
10.1210/jc.2013-1393
Output title
Channel and Active Component Abstractions for WSN Programming ...
Output type
E - Conference contribution
Volume title
SENSORNETS 2012 - Proceedings of the 1st International Conference on Sensor Networks
Year
2012
DOI
10.5220/0003832500350044
Output title
Choreographing Web Services
Output type
D - Journal article
Volume title
IEEE Transactions on Services Computing
Year
2009
DOI
10.1109/TSC.2009.8
Output title
Computation of distances for regular and context-free probabilistic ...
Output type
D - Journal article
Volume title
Theoretical Computer Science
Year
2008
DOI
10.1016/j.tcs.2008.01.010
Output title
Computing partition functions of PCFGs
Output type
D - Journal article
Volume title
Research on Language and Computation
Year
2008
DOI
10.1007/s11168-008-9052-8
Output title
Constructive membership in black-box groups
Output type
D - Journal article
Volume title
Journal of Group Theory
Year
2008
DOI
10.1515/JGT.2008.047
Output title
Correct-by-Construction Concurrency : Using Dependent Types to ...
Output type
D - Journal article
Volume title
Fundamenta Informaticae
Year
2010
DOI
10.3233/FI-2010-303
Output title
Coupled adaptive complex networks
Output type
D - Journal article
Volume title
Physical Review E
Year
2013
DOI
10.1103/PhysRevE.87.042812
Output title
Creating Personalized Digital Human Models of Perception for ...
Output type
E - Conference contribution
Volume title
User Modeling, Adaption and Personalization 19th International Conference, UMAP 2011, Girona, Spain, July 11-15, 2011. Proceedings
Year
2011
DOI
10.1007/978-3-642-22362-4_3
Output title
Decentralized and optimal control of shared resource pools
Output type
D - Journal article
Volume title
ACM TRANSACTIONS ON AUTONOMOUS AND ADAPTIVE SYSTEMS
Year
2012
DOI
10.1145/2168260.2168274
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, June 8-12, 2009. Proceedings
Year
2009
DOI
10.1007/978-3-642-02144-2_40
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
Effective temporal graph layout : A comparative study of animation ...
Output type
D - Journal article
Volume title
Information visualization
Year
2011
DOI
10.1057/ivs.2010.10
Output title
Eliminating the middleman : peer-to-peer dataflow
Output type
E - Conference contribution
Volume title
Proceedings of the 17th International Symposium on High-Performance Distributed Computing HPDC '08
Year
2008
DOI
10.1145/1383422.1383430
Output title
ESSENCE : A constraint language for specifying combinatorial ...
Output type
D - Journal article
Volume title
Constraints
Year
2008
DOI
10.1007/s10601-008-9047-y
Output title
Evolving the Internet Architecture Through Naming
Output type
D - Journal article
Volume title
IEEE Journal on Selected Areas in Communications
Year
2010
DOI
10.1109/JSAC.2010.101009
Output title
Extensible Automated Constraint Modelling
Output type
E - Conference contribution
Volume title
Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence
Year
2011
DOI
Output title
Facebook or Fakebook? : The effects of simulated mobile applications ...
Output type
D - Journal article
Volume title
Ad Hoc Networks
Year
2012
DOI
10.1016/j.adhoc.2012.05.008
Output title
Filtering Algorithms for the Multiset Ordering Constraint
Output type
D - Journal article
Volume title
Artificial Intelligence
Year
2009
DOI
10.1016/j.artint.2008.11.001
Output title
Formal Transformation from Sequence Diagrams to Coloured Petri ...
Output type
E - Conference contribution
Volume title
2010 17th Asia Pacific Software Engineering Conference (APSEC)
Year
2010
DOI
10.1109/APSEC.2010.33
Output title
Games methodologies and immersive environments for virtual f ...
Output type
D - Journal article
Volume title
IEEE Transactions on Learning Technologies
Year
2010
DOI
10.1109/TLT.2010.25
Output title
Generalised arc consistency for the AllDifferent constraint : ...
Output type
D - Journal article
Volume title
Artificial Intelligence
Year
2008
DOI
10.1016/j.artint.2008.10.006
Output title
Granularity-Aware Work-Stealing for Computationally-Uniform ...
Output type
E - Conference contribution
Volume title
2010 10th IEEE/ACM International Conference on Cluster, Cloud and Grid Computing (CCGrid 2010)
Year
2010
DOI
10.1109/CCGRID.2010.49
Output title
Human ovarian reserve from conception to the menopause
Output type
D - Journal article
Volume title
PLoS One
Year
2010
DOI
10.1371/journal.pone.0008772
Output title
I did that! : Measuring users' experience of agency in their ...
Output type
E - Conference contribution
Volume title
CHI '12 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
Year
2012
DOI
10.1145/2207676.2208350
Output title
Idris, a General Purpose Dependently Typed Programming Language ...
Output type
D - Journal article
Volume title
Journal of Functional Programming
Year
2013
DOI
10.1017/S095679681300018X
Output title
ILNP : mobility, multi-homing, localised addressing and security ...
Output type
D - Journal article
Volume title
Telecommunication Systems
Year
2009
DOI
10.1007/s11235-009-9186-5
Output title
Implementing logical connectives in constraint programming
Output type
D - Journal article
Volume title
Artificial Intelligence
Year
2010
DOI
10.1016/j.artint.2010.07.001
Output title
Improving two-thumb text entry on touchscreen devices
Output type
E - Conference contribution
Volume title
Proceedings of the SIGCHI Conference on Human Factors in Computing Systems (CHI 2013)
Year
2013
DOI
10.1145/2470654.2481383
Output title
Large-scale complex IT systems
Output type
D - Journal article
Volume title
Communications of the ACM
Year
2012
DOI
10.1145/2209249.2209268
Output title
Learning When to Use Lazy Learning in Constraint Solving
Output type
E - Conference contribution
Volume title
Proceedings of the 19th European Conference on Artificial Intelligence (ECAI-2010)
Year
2010
DOI
10.3233/978-1-60750-606-5-873
Output title
Map : a scalable monitoring system for dependable 802.11 wireless ...
Output type
D - Journal article
Volume title
IEEE Wireless Communications
Year
2008
DOI
10.1109/MWC.2008.4653127
Output title
Mathematizing C++ Concurrency
Output type
D - Journal article
Volume title
ACM SIGPLAN Notices
Year
2011
DOI
10.1145/1925844.1926394
Output title
Memorability of pre-designed and user-defined gesture sets
Output type
E - Conference contribution
Volume title
Proceedings of the SIGCHI Conference on Human Factors in Computing Systems (CHI 2013)
Year
2013
DOI
10.1145/2470654.2466142
Output title
Milepost GCC : Machine Learning Enabled Self-tuning Compiler
Output type
D - Journal article
Volume title
International Journal of Parallel Programming
Year
2011
DOI
10.1007/s10766-010-0161-2
Output title
Minimizing Execution Costs when Using Globally Distributed Cloud ...
Output type
E - Conference contribution
Volume title
24th IEEE International Conference on Advanced Information Networking and Applications (AINA), 2010
Year
2010
DOI
10.1109/AINA.2010.30
Output title
Mongoose : throughput redistributing virtual world
Output type
E - Conference contribution
Volume title
2012 21st International Conference on Computer Communication Networks (ICCCN) : Proceedings
Year
2012
DOI
10.1109/ICCCN.2012.6289297
Output title
Optimal Implementation of Watched Literals and More General ...
Output type
D - Journal article
Volume title
Journal of Artificial Intelligence Research
Year
2013
DOI
10.1613/jair.4016
Output title
Ott : Effective tool support for the working semanticist
Output type
D - Journal article
Volume title
Journal of Functional Programming
Year
2010
DOI
10.1017/S0956796809990293
1 2
> Last
Showing outputs 1 - 50 of 83