• University of Huddersfield
    Queensgate
    Huddersfield
    HD1 3DH

    United Kingdom

Calculated based on number of publications stored in Pure and citations from Scopus
20122023

Research activity per year

If you made any changes in Pure these will be visible here soon.
Filter
Conference contribution

Search results

  • 2016

    Online Level Generation in Super Mario Bros via Learning Constructive Primitives

    Shi, P. & Chen, K., 23 Sep 2016, 2016 IEEE Conference on Computational Intelligence and Games (CIG). IEEE, 8 p. 7860397

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    8 Citations (Scopus)
  • 2012

    Modular Verification of Concurrent Thread Management

    Guo, Y., Feng, X., Shao, Z. & Shi, P., 2012, Programming Languages and Systems: 10th Asian Symposium, APLAS 2012, Proceedings. Jhala, R. & Igarashi, A. (eds.). Springer, Vol. 7705. p. 315-331 17 p. (Lecture Notes in Computer Science; vol. 7705).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    4 Citations (Scopus)