Mengda He
Mengda He
Afiliación desconocida
Dirección de correo verificada de tees.ac.uk
Título
Citado por
Citado por
Año
Facial expression recongition using firefly-based feature optimization
K Mistry, L Zhang, G Sexton, Y Zeng, M He
2017 IEEE congress on evolutionary computation (CEC), 1652-1658, 2017
152017
Reasoning about fences and relaxed atomics
M He, V Vafeiadis, S Qin, JF Ferreira
2016 24th Euromicro International Conference on Parallel, Distributed, and …, 2016
142016
Using function approximation for personalized point-of-interest recommendation
B Chen, S Yu, J Tang, M He, Y Zeng
Expert Systems with Applications 79, 225-235, 2017
72017
GPS $$$$: Reasoning About Fences and Relaxed Atomics
M He, V Vafeiadis, S Qin, JF Ferreira
International Journal of Parallel Programming 46 (6), 1157-1183, 2018
32018
Automated specification inference in a combined domain via user-defined predicates
S Qin, G He, WN Chin, F Craciun, M He, Z Ming
Science of Computer Programming 148, 189-212, 2017
32017
A decision procedure for string logic with quadratic equations, regular expressions and length constraints
QL Le, M He
Asian Symposium on Programming Languages and Systems, 350-372, 2018
22018
Group sparse optimization for learning predictive state representations
Y Zeng, B Ma, B Chen, J Tang, M He
Information Sciences 412, 1-13, 2017
22017
Towards a Program Logic for C11 Release-Sequences
M He, S Qin, J Ferreira
2018 International Symposium on Theoretical Aspects of Software Engineering …, 2018
12018
A Program Logic for Reasoning About C11 Programs With Release-Sequences
M He, S Qin, Z Xu
IEEE Access 8, 173874-173903, 2020
2020
Navigating Discrete Difference Equation Governed WMR by Virtual Linear Leader Guided HMPC
C Huang, X Chen, E Tang, M He, L Bu, S Qin, Y Zeng
2020 International Conference on Robotics and Automation, 2020
2020
ABAC Requirements Engineering for Database Applications
J Longstaff, M He
2019 International Symposium on Theoretical Aspects of Software Engineering …, 2019
2019
Reasoning about C11 programs with fences and relaxed atomics
M He
Teesside University, 2018
2018
Using Function Approximation in Personal Point-of-Interest Recommendation
C Bilian, S Yu, J Tang, M He, Y Zeng
Expert Systems With Applications., 2017
2017
Firefly-based facial expression recognition
K Mistry, L Zhang, Y Zeng, M He
16th International Conference on Autonomous Agents and Multiagent Systems, 2017
2017
Reasoning about Fences and Relaxed Atomics (Technical Report)
M He, V Vafeiadis, S Qin, JF Ferreira
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–15