Outputs (REF2)
11 - Computer Science and Informatics
University of York
Output type
C - Chapter in book
Volume title
Biologically-Inspired Optimisation Methods : Parallel Algorithms, Systems and Applications
Year
2009
Output title
Output type
E - Conference contribution
Volume title
Proceedings of 32nd IEEE Real-Time Systems Symposium, 2011
Year
2011
Output title
Output type
D - Journal article
Volume title
IEEE Transactions on Image Processing
Year
2010
Output type
E - Conference contribution
Volume title
Software Testing, Verification and Validation (ICST), 2010 Third International Conference on
Year
2010
Output type
E - Conference contribution
Volume title
HASKELL'08: PROCEEDINGS OF THE ACM SIGPLAN 2008 HASKELL SYMPOSIUM
Year
2008
DOI
Output title
Output type
D - Journal article
Volume title
IEEE Transactions on Image Processing
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 title
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 title
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 title
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 title
Output type
D - Journal article
Volume title
Journal of Functional Programming
Year
2012
Output type
E - Conference contribution
Volume title
The 10th International Conference on Autonomous Agents and Multiagent Systems
Year
2011
DOI
Output title
Output type
D - Journal article
Volume title
Information and Software Technology
Year
2013
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