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

Research Output

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

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

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)