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

Outputs (REF2)

11 - Computer Science and Informatics

University of Strathclyde

1 2
> Last
Showing outputs 1 - 50 of 84
Output title
(2+2)-free posets, ascent sequences and pattern avoiding per ...
Output type
D - Journal article
Volume title
Journal of Combinatorial Theory Series A
Year
2010
DOI
10.1016/j.jcta.2009.12.007
Output title
A bounded distance metric for comparing tree structure
Output type
D - Journal article
Volume title
Information Systems
Year
2011
DOI
10.1016/j.is.2010.12.003
Output title
A calendar based internet content pre-caching agent for small ...
Output type
D - Journal article
Volume title
Personal and Ubiquitous Computing
Year
2008
DOI
10.1007/s00779-007-0153-4
Output title
A classification scheme for content analyses of YouTube video ...
Output type
D - Journal article
Volume title
Journal of Documentation
Year
2013
DOI
10.1108/JD-06-2012-0078
Output title
A multitask learning model for online pattern recognition
Output type
D - Journal article
Volume title
IEEE Transactions on Neural Networks
Year
2009
DOI
10.1109/TNN.2008.2007961
Output title
A multivariate correlation distance for vector spaces
Output type
E - Conference contribution
Volume title
Similarity search and applications : 5th international conference, SISAP 2012 proceedings
Year
2012
DOI
10.1007/978-3-642-32153-5_15
Output title
A review of awareness in distributed collaborative software ...
Output type
D - Journal article
Volume title
Software: Practice and Experience
Year
2010
DOI
10.1002/spe.1005
Output title
Alternation graphs
Output type
E - Conference contribution
Volume title
Graph-theoretic concepts in computer science : 37th International Workshop, WG 2011Teplá Monastery, Czech Republic, June 21-24, 2011 Revised Papers
Year
2011
DOI
10.1007/978-3-642-25870-1_18
Output title
An evaluation of the benefits of look-ahead in Pac-Man
Output type
E - Conference contribution
Volume title
IEEE Symposium Computational Intelligence and Games, 2008 : CIG '09
Year
2008
DOI
10.1109/CIG.2008.5035655
Output title
An eye-tracking approach to the analysis of relevance judgments ...
Output type
D - Journal article
Volume title
Journal of the American Society for Information Science and Technology
Year
2012
DOI
10.1002/asi.22707
Output title
Assessing the effectiveness of direct gesture interaction for ...
Output type
D - Journal article
Volume title
International Journal of Human Computer Studies
Year
2012
DOI
10.1016/j.ijhcs.2012.06.001
Output title
Bayesian latent variable models for collaborative item rating ...
Output type
E - Conference contribution
Volume title
ACM CIKM
Year
2011
DOI
10.1145/2063576.2063680
Output title
Beyond affordance : tangibles' hybrid nature
Output type
E - Conference contribution
Volume title
Proceedings of the Sixth International Conference on Tangible, Embedded and Embodied Interaction : TEI'12
Year
2012
DOI
10.1145/2148131.2148168
Output title
Biochemical network matching and composition
Output type
E - Conference contribution
Volume title
Proceedings of the 2010 Edbt/Icdt Workshops
Year
2010
DOI
Output title
Collaboration and interference : awareness with mice or touch ...
Output type
E - Conference contribution
Volume title
Proceedings of the ACM 2008 Conference on Computer Supported Cooperative Work
Year
2008
DOI
10.1145/1460563.1460589
Output title
Combining information seeking services into a meta supply chain ...
Output type
D - Journal article
Volume title
Journal of the Association for Information Systems
Year
2008
DOI
Output title
Comparing text-based and dependence-based approaches for determining ...
Output type
D - Journal article
Volume title
Journal of Software: Evolution and Process
Year
2013
DOI
10.1002/smr.1619
Output title
Completeness for the coalgebraic cover modality
Output type
D - Journal article
Volume title
Logical Methods in Computer Science
Year
2012
DOI
10.2168/LMCS-8(3:2)2012
Output title
Context-based authentication and transport of cultural asset ...
Output type
D - Journal article
Volume title
Personal and Ubiquitous Computing
Year
2010
DOI
10.1007/s00779-009-0233-8
Output title
Crucial abelian k-power-free words
Output type
D - Journal article
Volume title
Discrete Mathematics and Theoretical Computer Science
Year
2010
DOI
Output title
Decompositions and statistics for β(1,0)-trees and nonseparable ...
Output type
D - Journal article
Volume title
Advances in Applied Mathematics
Year
2009
DOI
10.1016/j.aam.2008.09.001
Output title
Descent polynomials for permutations with bounded drop size
Output type
D - Journal article
Volume title
European Journal of Combinatorics
Year
2010
DOI
10.1016/j.ejc.2010.01.011
Output title
Detecting word substitutions in text
Output type
D - Journal article
Volume title
IEEE Transactions on Knowledge and Data Engineering
Year
2008
DOI
10.1109/TKDE.2008.94
Output title
Efficient data representation for XML in peer-based systems
Output type
D - Journal article
Volume title
International Journal of Web Information Systems
Year
2010
DOI
10.1108/17440081011053122
Output title
Emergent digital services in public libraries : a domain stu ...
Output type
D - Journal article
Volume title
New Library World
Year
2012
DOI
10.1108/03074801211282902
Output title
Enhancing navigation information with tactile output embedded ...
Output type
E - Conference contribution
Volume title
Pervasive 2009 : proceedings of the 7th international conference on pervasive computing
Year
2009
DOI
10.1007/978-3-642-01516-8_5
Output title
Enumerating (2+2) -free posets by the number of minimal elements ...
Output type
D - Journal article
Volume title
Discrete Mathematics
Year
2011
DOI
10.1016/j.dam.2011.07.010
Output title
Evaluating epistemic uncertainty under incomplete assessment ...
Output type
D - Journal article
Volume title
Information Processing and Management
Year
2008
DOI
10.1016/j.ipm.2007.04.002
Output title
Evaluating the strategic plans of public libraries : an inspection-based ...
Output type
D - Journal article
Volume title
Library and Information Science Research
Year
2012
DOI
10.1016/j.lisr.2011.11.004
Output title
Evaluating the usability and usefulness of a digital library
Output type
D - Journal article
Volume title
Library Review
Year
2009
DOI
10.1108/00242530910997928
Output title
Evolutionary-based learning of generalised policies for AI planning ...
Output type
E - Conference contribution
Volume title
Proceedings of the 11th Annual conference on Genetic and evolutionary computation (GECCO '09)
Year
2009
DOI
10.1145/1569901.1570062
Output title
Exploring memory in email refinding
Output type
D - Journal article
Volume title
ACM Transactions on Information Systems
Year
2008
DOI
10.1145/1402256.1402260
Output title
EXPTIME tableaux for the coalgebraic mu-calculus
Output type
D - Journal article
Volume title
Logical Methods in Computer Science
Year
2011
DOI
10.2168/LMCS-7(3:3)2011
Output title
Fibrational induction rules for initial algebras
Output type
E - Conference contribution
Volume title
Computer Science Logic : 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010. Proceedings
Year
2010
DOI
10.1007/978-3-642-15205-4_27
Output title
Fibred data types
Output type
E - Conference contribution
Volume title
2013 28th annual IEEE/ACM symposium on logic in computer science (LICS)
Year
2013
DOI
10.1109/LICS.2013.30
Output title
Foundations for structured programming with GADTs
Output type
E - Conference contribution
Volume title
Proceedings of the 35th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2008
Year
2008
DOI
10.1145/1328438.1328475
Output title
Freedom of information and ‘vexatious’ requests — The case of ...
Output type
D - Journal article
Volume title
Government Information Quarterly
Year
2013
DOI
10.1016/j.giq.2013.02.004
Output title
Graphical reasoning in compact closed categories for quantum ...
Output type
D - Journal article
Volume title
Annals of Mathematics and Artificial Intelligence
Year
2009
DOI
10.1007/s10472-009-9141-x
Output title
Hybridizing evolutionary testing with artificial immune systems ...
Output type
E - Conference contribution
Volume title
Proceedings from the IEEE International Conference on Software Testing Verification and Validation Workshop, 2008. ICSTW '08
Year
2008
DOI
10.1109/ICSTW.2008.21
Output title
Implicit Learning of Macro-Actions for Planning
Output type
E - Conference contribution
Volume title
Proceedings of the 2010 conference on ECAI 2010 : 19th European Conference on Artificial Intelligence
Year
2010
DOI
10.3233/978-1-60750-606-5-323
Output title
Interacting quantum observables : categorical algebra and di ...
Output type
D - Journal article
Volume title
New Journal of Physics
Year
2011
DOI
10.1088/1367-2630/13/4/043016
Output title
Investigating and improving the models of programming concepts ...
Output type
D - Journal article
Volume title
Computer Science Education
Year
2011
DOI
10.1080/08993408.2011.554722
Output title
Meaning in philosophy and meaning in information retrieval ( ...
Output type
D - Journal article
Volume title
Journal of Documentation
Year
2009
DOI
10.1108/00220410910926158
Output title
Mesh patterns and the expansion of permutation statistics as ...
Output type
D - Journal article
Volume title
The Electronic Journal of Combinatorics
Year
2011
DOI
Output title
Multidimensional Pareto optimization of touchscreen keyboards ...
Output type
E - Conference contribution
Volume title
Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
Year
2012
DOI
10.1145/2207676.2208659
Output title
n! matchings, n! posets
Output type
D - Journal article
Volume title
Proceedings of the American Mathematical Society
Year
2011
DOI
10.1090/S0002-9939-2010-10678-0
Output title
Neighbourhood structures : bisimilarity and basic model theo ...
Output type
D - Journal article
Volume title
Logical Methods in Computer Science
Year
2009
DOI
10.2168/LMCS-5(2:2)2009
Output title
New equivalences for pattern avoidance for involutions
Output type
D - Journal article
Volume title
Proceedings of the American Mathematical Society
Year
2009
DOI
10.1090/S0002-9939-08-09492-6
Output title
Outrageous but meaningful coincidences : dependent type-safe ...
Output type
E - Conference contribution
Volume title
Proceedings of the 6th ACM SIGPLAN workshop on Generic programming
Year
2010
DOI
10.1145/1863495.1863497
Output title
Parallelogram polyominoes, the sandpile model on a complete bipartite ...
Output type
D - Journal article
Volume title
Journal of Combinatorial Theory Series A
Year
2013
DOI
10.1016/j.jcta.2013.01.004
1 2
> Last
Showing outputs 1 - 50 of 84