Items where Schools and Departments is "Computing" and Year is 2017
 | Up a level |
D
Denisova, A., Guckelsberger, C. and Zendle, D. (2017). Challenge in Digital Games: Towards Developing a Measurement Tool. In: Proceedings of the 2017 CHI Conference Extended Abstracts on Human Factors in Computing Systems. (pp. 2511-2519). New York, USA: ACM Press. ISBN 9781450346566
P
Power, C., Denisova, A., Papaioannou, T. and Cairns, P. (2017). Measuring Uncertainty in Games: Design and Preliminary Validation. In: Proceedings of the 2017 CHI Conference Extended Abstracts on Human Factors in Computing Systems. (pp. 2839-2845). New York, USA: ACM Press. ISBN 9781450346566
S
Schrammel, P., Kroening, D., Brain, M. 
ORCID: 0000-0003-4216-7151, Martins, R., Teige, T. and Bienmüller, T. (2017).
Incremental bounded model checking for embedded software.
Formal Aspects of Computing, 29(5),
pp. 911-931.
doi: 10.1007/s00165-017-0419-1
V
Vedadi, S., Abdullah, Z. B., Arsovski, S., Cheok, A. D. ORCID: 0000-0001-6316-2339 and Aris, B. B. (2017).
The Impact of Augmented Reality on Vocabulary Acquisition in Iran.
Advanced Science Letters, 23(9),
9098-9100(3).
doi: 10.1166/asl.2017.10031