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

Research Output

  • 5 Paper
  • 4 Article
  • 3 Conference contribution
Filter
Article
2017

Automated Specification Inference in a Combined Domain via User-Defined Predicates

Qin, S., He, G., Chin, W-N., Craciun, F., He, M. & Ming, Z., 19 Jun 2017, In : Science of Computer Programming. p. -

Research output: Contribution to journalArticle

Open Access
File
150 Downloads (Pure)

GPS+: Reasoning About Fences and Relaxed Atomics

He, M., Vafeiadis, V., Qin, S. & Ferreira, J., 26 Sep 2017, In : International Journal of Parallel Programming. p. 1-27

Research output: Contribution to journalArticle

Open Access
File
120 Downloads (Pure)

Group sparse optimization for learning predictive state representations

Zeng, Y., Ma, B., Chen, B., Tang, J. & He, M., 19 May 2017, In : Information Sciences. p. -

Research output: Contribution to journalArticle

Open Access
File
154 Downloads (Pure)

Using Function Approximation in Personal Point-of-Interest Recommendation

Bilian, C., Yu, S., Tang, J., He, M. & Zeng, Y., 31 Aug 2017, In : Expert Systems With Applications.. p. -

Research output: Contribution to journalArticle

Open Access
File
65 Downloads (Pure)