Research Output

Filter
Chapter (peer-reviewed)
2019

SL-COMP: Competition of Solvers for Separation Logic

Sighireanu, M., Pérez, J. A. N., Rybalchenko, A., Gorogiannis, N., Iosif, R., Reynolds, A., Serban, C., Katelaan, J., Matheja, C., Noll, T., Zuleger, F., Chin, W-N., Le, Q. L., Ta, Q-T., Le, T. C., Nguyen, T-T., Khoo, S-C., Cyprian, M., Rogalewicz, A., Vojnar, T. & 4 others, Enea, C., Lengal, O., Gao, C. & Wu, Z., 4 Apr 2019, Tools and Algorithms for the Construction and Analysis of Systems - 25 Years of {TACAS:} TOOLympics, Held as Part of {ETAPS} 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part {III}: TOOLympics, Held as Part of ETAPS 2019, Proceedings. Kordon, F., Huisman, M., Steffen, B. & Beyer, D. (eds.). Springer, Vol. 11429. p. 116 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11429 LNCS).

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

Open Access
File
102 Downloads (Pure)
2018

How the ethical dimensions of game design can illuminate the problem of problem gaming

Sturrock, I., 2018, What’s the Problem in Problem Gaming? . Enevold, J., Thorhauge, A-M. & Gregersen, A. (eds.). Nordicom, p. 107-120 14 p.

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

Live-Action Role-Playing Games

Sturrock, I., Stenros, J., Simkins, D., MacCallum-Stewart, E., Kot, Y. E., Hitchens, M., Bienia, R., Brind, S. & Harviainen, J. T., 2018, Role-playing Game Studies: Transmedia Foundations. Deterding, S. & Zagal, J. (eds.). Routledge, p. 87-106 20 p.

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

Making and Playing Azad at London 3: The theory and practice of designing an impossible game

Sturrock, I., 9 Jan 2018, The Science Fiction of Iain M. Banks. Hubble, N., MacCallum-Stewart, E., Norman, J., McCloud, K., Smith, D., Colebrook, M., Sturrock, I., Walton, J. L., Roberts, J., Clarke, J. & Duggan, R. (eds.). Gylphi, p. 143-166

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

2016

Total Global Domination: Games Workshop and Warhammer 40,000

Sturrock, I. & Wallis, J., 2016, Zones of Control: Perspectives on Wargaming. Harrigan, P. & Hirschenbaum, M. (eds.). MIT Press

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

2015

Love for Dice: Love, Sex, Romance and Reward in Tabletop Role-Playing Games

Sturrock, I., Feb 2015, Game Love: Essays on Play and Affection. MacCallum-Stewart, E. & Enevold, J. (eds.). McFarland and Company, Inc

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)