• University of Huddersfield Queensgate Huddersfield HD1 3DH

    United Kingdom

  • 11 Citations
  • 2 h-Index
20122020

Research output per year

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

Research Output

  • 11 Citations
  • 2 h-Index
  • 6 Article
  • 2 Conference contribution
Filter
Conference contribution
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 contribution

2 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 contribution

3 Citations (Scopus)