Search research publications and outputs

  1. “Slow down and look”: Desirable aspects of failure in video games, from the perspective of players.

    Foch, C. & Kirman, B., 2 Aug 2021.

    Research output: Contribution to conferencePaperpeer-review

  2. “One of the baddies all along”: Moments that challenge a player’s perspective

    Whitby, M. A., Deterding, S. & Iacovides, I., 17 Oct 2019, CHI PLAY 2019 - Proceedings of the Annual Symposium on Computer-Human Interaction in Play. Association for Computing Machinery, Inc, p. 339-350 12 p. (CHI PLAY 2019 - Proceedings of the Annual Symposium on Computer-Human Interaction in Play).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  3. “It’s just part of being a person”— Sincerity, Support & Self Expression in Vignette Games

    Henderson, T. & Iacovides, J., 8 Oct 2020, Proceedings of DiGRA 2020.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  4. “Horror, guilt and shame” – Uncomfortable Experiences in Digital Games

    Gowler, C. P. R. & Iacovides, I., 17 Oct 2019, CHI PLAY 2019 - Proceedings of the Annual Symposium on Computer-Human Interaction in Play. Association for Computing Machinery, Inc, p. 325-337 13 p. (CHI PLAY 2019 - Proceedings of the Annual Symposium on Computer-Human Interaction in Play).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  5. “A Good Algorithm Does Not Steal – It Imitates”: The Originality Report as a Means of Measuring When a Music Generation Algorithm Copies Too Much

    Yin, Z., Reuben, F., Stepney, S. & Collins, T., 2 Apr 2021, Artificial Intelligence in Music, Sound, Art and Design. EvoMUSART 2021. Springer, Vol. 12693. p. 360-375 16 p. 24. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  6. ‘Quantum’ Parallel computation with neural networks

    Burles, N. J., 2010, 85 p.

    Research output: ThesisMaster's Thesis

  7. μKernel service for dynamic load balancing

    Grigoras, D. & Calinescu, R., 1 Dec 1995, Amsterdam, Netherlands: IOS Press. 11 p.

    Research output: Book/ReportBook

  8. Π0Π0 Production in proton-proton collisions at Tp=1.4 GeV

    Adlarson, P., Adolph, C., Augustyniak, W., Bashkanov, M., Bednarski, T., Bergmann, F. S., Berłowski, M., Bhatt, H., Brinkmann, K. T., Büscher, M., Calén, H., Clement, H., Coderre, D., Czerwiński, E., Doroshkevich, E., Engels, R., Erven, W., Eyrich, W., Fedorets, P., Föhl, K. & 92 others, Fransson, K., Goldenbaum, F., Goslawski, P., Grigoryev, K., Gullström, C. O., Heijkenskjöld, L., Heimlich, J., Hejny, V., Hinterberger, F., Hodana, M., Höistad, B., Jacewicz, M., Janusz, M., Jany, A., Jany, B. R., Jarczyk, L., Johansson, T., Kamys, B., Kemmerling, G., Khakimova, O., Khoukaz, A., Kistryn, S., Klaja, J., Kleines, H., Kłos, B., Kren, F., Krzemień, W., Kulessa, P., Kupść, A., Lalwani, K., Lorentz, B., Magiera, A., Maier, R., Mariański, B., Marciniewski, P., Mikirtychiants, M., Morsch, H. P., Moskal, P., Nandi, B. K., Niedźwiecki, S., Ohm, H., Passfeld, A., Pauly, C., Perez del Rio, E., Petukhov, Y., Piskunov, N., Pluciński, P., Podkopał, P., Povtoreyko, A., Prasuhn, D., Pricking, A., Pysz, K., Rausmann, T., Redmer, C. F., Ritman, J., Rudy, Z., Sawant, S., Schadmand, S., Schmidt, A., Sefzick, T., Serdyuk, V., Siemaszko, M., Skorodko, T., Skurzok, M., Smyrski, J., Sopov, V., Stassen, R., Stepaniak, J., Sterzenbach, G., Stockhorst, H., Ströher, H., Szczurek, A., Täschner, A., Tolba, T., Trzciński, A., Varma, R., Vlasov, P., Wagner, G. J., Weglorz, W., Wiedner, U., Winnemöller, A., Wolke, M., Wrońska, A., Wüstner, P., Wurm, P., Yuan, X., Yurev, L., Zabierowski, J., Zieliński, M. J., Zipper, W., Złomańczuk, J. & Zuprański, P., 5 Jan 2012

    Article in Physics Letters, Section B: Nuclear, Elementary Particle and High-Energy Physics

  9. wdsCarve

    Chivers, H. R. & Hargreaves, C., 2011

    Research output: Non-textual formSoftware

  10. transML: A Family of Languages to Model Model Transformations

    Guerra, E., de Lara, J., Kolovos, D., Paige, R., dos Santos, O., Petriu, D., Rouquette, N. & Haugen, Ø., 2010, Model Driven Engineering Languages and Systems : 13th International Conference, MODELS 2010, Oslo, Norway, October 3-8, 2010, Proceedings, Part I. p. 106-120 15 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  11. sc \Linda Implementation Revisited

    Rowstron, A., Douglas, A. & Wood, A., 1995, Transputer and occam Developments. IOS Press, p. 125-138 14 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  12. sc Linda for Case Base Retrieval: a Case for Extending the Functionality of sc Linda

    Campbell, D. K. G., Osborne, H. R., Wood, A. M. & Bridge, D. G., 1 Jan 1998.

    Research output: Contribution to conferencePaper

  13. sc AstroGofer: Parallel Functional Programming with Co-ordinating Processes

    Douglas, A., Röjemo, N., Runciman, C. & Wood, A., 1 Oct 1996, p. 686--694.

    Research output: Contribution to conferencePaper

  14. pWCET a Toolset for automatic Worst-Case Execution Time Analysis of Real-Time Embedded Programs

    Bernat, G., Colin, A. & Petters, S. M., 2003.

    Research output: Contribution to conferencePaper

  15. jStar-eclipse: an IDE for automated verification of Java programs

    Naudziuniene, D., Botincan, M., Distefano, D., Dodds, M., Grigore, R. & Parkinson, M. J., 5 Sep 2011, ESEC/FSE '11 Proceedings of the 19th ACM SIGSOFT symposium and the 13th European conference on Foundations of software engineering. ACM, p. 428-431 4 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  16. jStar: Bringing separation logic to Java

    Distefano, D., Parkinson, M. J., Dodds, M., Grigore, R., Petersen, R., Botincan, M., Gabi, D., Turk, T., Naudziuniene, D., van Staden, S. & Wright, A., 2011

    Research output: Non-textual formSoftware

  17. it ransML: A Family of Languages to Model Model Transformations

    Guerra, E., Lara, J. D., Kolovos, D. S., Paige, R. F. & Santos, O. M. D., 2010, p. 106-120.

    Research output: Contribution to conferencePaperpeer-review

  18. fMRI Brain Networks as Statistical Mechanical Ensembles

    Wu, H., Wang, J. & Hancock, E. R., 5 May 2021, 2020 25th International Conference on Pattern Recognition (ICPR). p. 1694-1700 7 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  19. fMRI Activation Network Analysis Using Bose-Einstein Entropy

    Wang, J., Wilson, R. C. & Hancock, E. R., 8 Nov 2016, Structural, Syntactic, and Statistical Pattern Recognition - Joint IAPR International Workshop, S+SSPR 2016, Mérida, Mexico, November 29 - December 2, 2016, Proceedings. Springer International Publishing, p. 218-228 11 p. (Lecture Notes in Computer Science; vol. 10029).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  20. eSport vs irlSport

    McCutcheon, C., Hitchens, M. & Drachen, A., 21 Feb 2018, (E-pub ahead of print) Advances in Computer Entertainment Technology: 14th International Conference, ACE 2017, London, UK, December 14-16, 2017, Proceedings. Vol. 10714. p. 531-542 12 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  21. aivis - artificial immune network visualisation

    Timmis, J., 2001, p. 61-69.

    Research output: Contribution to conferenceOther

  22. \Isetl-sc \Linda: Parallel Programming with Bags

    Douglas, A., Wood, A. & Rowstron, A., 1995, Department of Computer Science, University of York. (Computer Science Technical Report Series; vol. YCS-1995-257)

    Research output: Book/ReportOther report

  23. Zero-error subspaces of quantum channels

    Patra, M. K. & Braunstein, S., 5 Aug 2011, p. 104-108.

    Research output: Contribution to conferencePaperpeer-review

  24. ZB 2005: Formal Specification and Development in Z and B

    Treharne, H., King, S., Henson, M. C. & Schneider, S. A., 2005.

    Research output: Contribution to conferencePaperpeer-review

  25. ZB 2003: Formal Specification and Development in Z and B: Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003, Proceedings

    Bert, D. (ed.), Bowen, J. P. (ed.), King, S. (ed.) & Waldén, M. A. (ed.), 2003, Springer. (Lecture Notes in Computer Science; vol. 2651)

    Research output: Book/ReportBook

  26. ZB 2000: Formal Specification and Development in Z and B

    Bowen, J. P., Dunne, S., Galloway, A. & King, S., 2000.

    Research output: Contribution to conferencePaperpeer-review

  27. Z/eyes and the Mondex Electronic Purse

    Woodcock, J. & Reitas, L., 2006, THEORETICAL ASPECTS OF COMPUTING - ICTAC 2006. BERLIN: SPRINGER-VERLAG BERLIN, p. 15-34 20 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  28. Z/Eves and the Mondex Electronic Purse

    Woodcock, J. & Freitas, L., 2006, p. 15-34.

    Research output: Contribution to conferencePaperpeer-review

  29. Z in practice

    Barden, R., Stepney, S. & Cooper, D., 1995, Prentice Hall. (BCS practitioner series)

    Research output: Book/ReportBook

  30. Z and the Refinement Calculus

    King, S., 1990, p. 164-188.

    Research output: Contribution to conferencePaperpeer-review

  31. Young disabled people and sport

    Finch, N., Lawton, D., Williams, J. & Sloper, P., 2001, University of York, York : Social Policy Research Unit.

    Research output: Other contribution

  32. You Share

    Austin, J., 2012

    Research output: Non-textual formSoftware

  33. Yap: Tool Support for Deriving Safety Controllers from Hazard Analysis and Risk Assessments

    Gleirscher, M., 7 Dec 2020, Second Workshop on Formal Methods for Autonomous Systems (FMAS2020). Open Publishing Association, Vol. 329. p. 31 47 p. (Electronic Proceedings in Theoretical Computer Science; vol. 329).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  34. YORwalK: Desiging a Smartphone Exercise Application for People with Intermittent Claudication

    Shalan, A., Abdulrahman, A., Habli, I., Tew, G. & Thompson, A., 25 Apr 2018, Studies in health technology and informatics . Vol. 247. p. 311-315 5 p. (Studies in Health Technology and Informatics).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  35. YORLL: York Reinforcement Learning Library

    Reinforcement Learning Research Group, 2012

    Research output: Non-textual formSoftware

  36. YETI on the Cloud

    Oriol, M. & Ullah, F., 1 Apr 2010, p. 434--437.

    Research output: Contribution to conferencePaperpeer-review

  37. YASS: a Scaleable Sensornet Simulator for Large Scale Experimentation

    Tate, J. & Bate, I., 1 Sep 2008, Communicating Process Architectures 2008. Welch, PH., Stepney, S., Polack, FAC., Barnes, FRM., McEwan, AA. & Stiles, GS. (eds.). AMSTERDAM: I O S PRESS, p. 411-430 20 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  38. XVDM - Exercise and Execute VDM Directly

    Heping, H., Mander, K. C. & McDermid, J. A., 1990.

    Research output: Working paper

  39. XRound: Bidirectional transformations and unifications via a reversible template language

    Chivers, H. & Paige, R. F., 2005, MODEL DRIVEN ARCHITECTURE FOUNDATIONS AND APPLICATIONS, PROCEEDINGS. Hartman, A. & Kreische, D. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 205-219 15 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  40. XRound: Bidirectional Transformations and Unifications Via a Reversible Template Language

    Chivers, H. & Paige, R. F., 2005, p. 205-219.

    Research output: Contribution to conferencePaperpeer-review

  41. XRTJ: An extensible distributed high-integrity real-time Java environment

    Hu, E. Y. S., Wellings, A. & Bernat, G., 2003, REAL-TIME AND EMBEDDED COMPUTING SYSTEMS AND APPLICATIONS. Chen, J. & Hong, S. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 208-228 21 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

Previous 1 2 3 4 5 6 7 8 ...137 Next