Volgen
Mengda He
Mengda He
Onbekend partnerschap
Geverifieerd e-mailadres voor tees.ac.uk
Titel
Geciteerd door
Geciteerd door
Jaar
A decision procedure for string logic with quadratic equations, regular expressions and length constraints
QL Le, M He
Programming Languages and Systems: 16th Asian Symposium, APLAS 2018 …, 2018
202018
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
192017
Controlled concurrency testing via periodical scheduling
C Wen, M He, B Wu, Z Xu, S Qin
Proceedings of the 44th International Conference on Software Engineering …, 2022
162022
Reasoning about fences and relaxed atomics
M He, V Vafeiadis, S Qin, JF Ferreira
2016 24th Euromicro International Conference on Parallel, Distributed, and …, 2016
162016
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
132017
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
72018
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
62017
Extracting automata from neural networks using active learning
Z Xu, C Wen, S Qin, M He
PeerJ Computer Science 7, e436, 2021
42021
Group sparse optimization for learning predictive state representations
Y Zeng, B Ma, B Chen, J Tang, M He
Information Sciences 412, 1-13, 2017
42017
RPG: Rust Library Fuzzing with Pool-based Fuzz Target Generation and Generic Support
Z Xu, B Wu, C Wen, B Zhang, S Qin, M He
22024
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 IEEE International Conference on Robotics and Automation (ICRA), 151-157, 2020
12020
Abac requirements engineering for database applications
J Longstaff, M He
2019 International Symposium on Theoretical Aspects of Software Engineering …, 2019
12019
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
Reasoning about C11 programs with fences and relaxed atomics
M He
Teesside University, 2018
12018
Algebraic semantics for C++ 11 memory model
L Xiao, H Zhu, M He, S Qin
2022 IEEE 46th Annual Computers, Software, and Applications Conference …, 2022
2022
A Program Logic for Reasoning About C11 Programs With Release-Sequences
M He, S Qin, Z Xu
IEEE Access 8, 173874-173903, 2020
2020
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
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–19