Outputs (REF2)
17 - Geography, Environmental Studies and Archaeology
University of Sussex
Output title
Output type
D - Journal article
Volume title
Mathematical Structures in Computer Science
Year
2012
Output type
D - Journal article
Volume title
Philosophical Transactions A: Mathematical, Physical and Engineering Sciences
Year
2011
Output type
D - Journal article
Volume title
International Journal of Child-Computer Interaction
Year
2013
Output type
D - Journal article
Volume title
IEEE Transactions on Knowledge and Data Engineering
Year
2013
Output title
Output type
C - Chapter in book
Volume title
Verification, Model Checking, and Abstract Interpretation
Year
2012
DOI
Output type
D - Journal article
Volume title
Journal of Atmospheric and Solar-Terrestrial Physics
Year
2010
Output title
Output type
C - Chapter in book
Volume title
Cases on usability engineering: design and development of digital products
Year
2013
Output type
C - Chapter in book
Volume title
Proceedings of the 13th International Conference on Human Computer Interaction with Mobile Devices and Services
Year
2011
Output type
D - Journal article
Volume title
Journal of the American Medical Informatics Association
Year
2013
DOI
Output type
C - Chapter in book
Volume title
CHI '10 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
Year
2010
DOI
Output type
D - Journal article
Volume title
International Journal of Human-Computer Studies
Year
2010
Output type
D - Journal article
Volume title
International Journal of Human-Computer Interaction
Year
2010
Output type
D - Journal article
Volume title
Proceedings of the National Academy of Sciences of the United States of America
Year
2011
Output type
D - Journal article
Volume title
International Journal of Human-Computer Interaction
Year
2008
Output type
D - Journal article
Volume title
Proceedings A: Mathematical, Physical and Engineering Sciences
Year
2012
Output type
C - Chapter in book
Volume title
Revive the past: proceedings of the 39th Conference on Computer Applications and Quantitative Methods in Archaeology (CAA), Beijing, China, 12-16 April 2011
Year
2012
DOI
Output type
C - Chapter in book
Volume title
Proceedings of Human Language Technologies: The 2009 Annual Conference of the North American Chapter of the Association for Computational Linguistics
Year
2009
DOI
Output title
Output type
C - Chapter in book
Volume title
Logic for Programming, Artificial Intelligence, and Reasoning
Year
2010
Output title
Output type
C - Chapter in book
Volume title
Fundamentals of software engineering: Third IPM International Conference, FSEN 2009, Kish Island, Iran, April 15-17, 2009, Revised Selected Papers
Year
2010