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

Research Output

  • 5 Paper
  • 4 Article
  • 3 Conference contribution
Filter
Paper
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)
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)
2017

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)

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