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

Research Output

  • 5 Paper
  • 4 Article
  • 3 Conference contribution
2020

Navigating Discrete Difference Equation Governed WMR by Virtual Linear Leader Guided HMPC

Huang, C., Chen, X., Tang, E., He, M., Bu, L., Qin, S. & Zeng, Y., 2020, (Accepted/In press).

Research output: Contribution to conferencePaper

Open Access
File
14 Downloads (Pure)
2019

ABAC Requirements Engineering for Database Applications

Longstaff, J. & He, M., 29 Jul 2019, Proceedings: 2019 13th International Symposium on Theoretical Aspects of Software Engineering. Institute of Electrical and Electronics Engineers Inc., p. 33 - 40 8 p.

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

Open Access
File
78 Downloads (Pure)
2018

A Decision Procedure for String Logic with Quadratic Equations, Regular Expressions and Length Constraints

Le, Q. L. & He, M., 13 Aug 2018, (Accepted/In press).

Research output: Contribution to conferencePaper

Open Access
File
110 Downloads (Pure)

Towards a program logic for C11 release-sequences

He, M., Qin, S. & Ferreira, J., 4 Dec 2018, Proceedings - 2018 12th International Symposium on Theoretical Aspects of Software Engineering, TASE 2018. Institute of Electrical and Electronics Engineers Inc., 8560730. (Proceedings - 2018 12th International Symposium on Theoretical Aspects of Software Engineering, TASE 2018; vol. 2018-January).

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

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)

Facial Expression Recognition using a Firefly-based Feature Optimization

Mistry, K., Zhang, L., Sexton, G., Zeng, Y. & He, M., 5 Jun 2017.

Research output: Contribution to conferencePaper

Open Access
File
36 Downloads (Pure)

Facial expression recongition using firefly-based feature optimization

Mistry, K., Zhang, L., Sexton, G., Zeng, Y. & He, M., 7 Jul 2017, 2017 IEEE Congress on Evolutionary Computation, CEC 2017 - Proceedings. Institute of Electrical and Electronics Engineers Inc., p. 1652-1658 7 p. 7969500

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

2 Citations (Scopus)

Firefly-based Facial Expression Recognition

Mistry, K., Zhang, L., Zeng, Y. & He, M., 8 May 2017.

Research output: Contribution to conferencePaper

Open Access
File
19 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)
2016

Reasoning about Fences and Relaxed Atomics

He, M., Vafeiadis, V., Qin, S. & Ferreira, J., 17 Feb 2016.

Research output: Contribution to conferencePaper

Open Access
File
120 Downloads (Pure)