For the current REF see the REF 2021 website REF 2021 logo

Outputs (REF2)

11 - Computer Science and Informatics

University of York

1 2 3
Showing outputs 101 - 139 of 139
Output type
D - Journal article
Volume title
Physical Review Letters
Year
2008
Output type
D - Journal article
Volume title
Physical Review Letters
Year
2011
Output type
D - Journal article
Volume title
Journal of the Royal Society Interface
Year
2010
Output type
C - Chapter in book
Volume title
Biologically-Inspired Optimisation Methods : Parallel Algorithms, Systems and Applications
Year
2009
Output type
E - Conference contribution
Volume title
Proceedings of 32nd IEEE Real-Time Systems Symposium, 2011
Year
2011
Output type
D - Journal article
Volume title
Software and Systems Modeling
Year
2010
Output type
D - Journal article
Volume title
Computers & security
Year
2009
Output type
D - Journal article
Volume title
IEEE Transactions on Image Processing
Year
2010
Output type
D - Journal article
Volume title
Real-Time Systems
Year
2013
Output type
E - Conference contribution
Volume title
Software Testing, Verification and Validation (ICST), 2010 Third International Conference on
Year
2010
Output type
D - Journal article
Volume title
Real-Time Systems
Year
2010
Output type
D - Journal article
Volume title
Real-Time Systems
Year
2013
Output type
D - Journal article
Volume title
IEEE Transactions on Computers
Year
2009
Output type
D - Journal article
Volume title
Science of Computer Programming
Year
2013
Output type
D - Journal article
Volume title
International Journal of Computer Vision
Year
2013
Output type
D - Journal article
Volume title
Physical Review Letters
Year
2012
Output type
E - Conference contribution
Volume title
HASKELL'08: PROCEEDINGS OF THE ACM SIGPLAN 2008 HASKELL SYMPOSIUM
Year
2008
DOI
Output type
D - Journal article
Volume title
IEEE PERVASIVE COMPUTING
Year
2009
Output title
Output type
D - Journal article
Volume title
Science of Computer Programming
Year
2010
Output type
D - Journal article
Volume title
IEEE Transactions on Software Engineering
Year
2010
Output type
D - Journal article
Volume title
IEEE Transactions on Image Processing
Year
2011
Output type
D - Journal article
Volume title
Journal of Object Technology
Year
2012
Output type
D - Journal article
Volume title
Acta Informatica
Year
2011
Output type
E - Conference contribution
Volume title
Computational Intelligence for Financial Engineering & Economics (CIFEr), 2012 IEEE Conference on
Year
2012
Output type
E - Conference contribution
Volume title
2011 IEEE Symposium on Computational Intelligence for Financial Engineering and Economics (CIFEr)
Year
2011
Output type
G - Software
Volume title
Year
2013
DOI
Output type
E - Conference contribution
Volume title
Theory and Practice of Model Transformations : First International Conference, ICMT 2008, Zürich, Switzerland, July 1-2, 2008 Proceedings
Year
2008
Output type
E - Conference contribution
Volume title
Proceedings of the Seventh International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2008)
Year
2008
DOI
Output type
E - Conference contribution
Volume title
Algebraic Informatics : Third International Conference, CAI 2009, Thessaloniki, Greece, May 19-22, 2009, Proceedings
Year
2009
Output type
E - Conference contribution
Volume title
Principles and Practice of Constraint Programming - CP 2009 : 15th International Conference, CP 2009 Lisbon, Portugal, September 20-24, 2009 Proceedings
Year
2009
Output type
D - Journal article
Volume title
Journal of Functional Programming
Year
2012
Output type
D - Journal article
Volume title
Formal Aspects of Computing
Year
2013
Output type
E - Conference contribution
Volume title
The 10th International Conference on Autonomous Agents and Multiagent Systems
Year
2011
DOI
Output type
D - Journal article
Volume title
IEEE Transactions on Computers
Year
2010
Output title
Output type
D - Journal article
Volume title
Information and Software Technology
Year
2013
Output type
D - Journal article
Volume title
Empirical Software Engineering
Year
2011
Output type
E - Conference contribution
Volume title
CHI '12 : Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
Year
2012
Output type
E - Conference contribution
Volume title
EMNLP '10 Proceedings of the 2010 Conference on Empirical Methods in Natural Language Processing
Year
2010
DOI
Output type
D - Journal article
Volume title
Information and Software Technology
Year
2009
1 2 3
Showing outputs 101 - 139 of 139