Filter
Chapter (peer-reviewed)

Search results

  • 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)peer-review

    Open Access
    File
    116 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)peer-review

  • 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)peer-review

  • 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)peer-review

  • 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)peer-review

  • 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)peer-review