Peizhi Shi

Dr

  • University of Huddersfield Queensgate Huddersfield HD1 3DH

    United Kingdom

  • Source: Scopus
  • Calculated based on no. of publications stored in Pure and citations from Scopus
20122021

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

    4 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)