Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Effects of Acute Moderate Intensity Exercise on Emotion Based on beta Power in EEG., , , , , and . CSAI, page 283-288. ACM, (2019)Cost-effective testing based fault localization with distance based test-suite reduction., , , , , and . Sci. China Inf. Sci., 60 (9): 092112:1-092112:15 (2017)Formal Verification of Masking Countermeasures for Arithmetic Programs.. ASE, page 1385-1387. IEEE, (2020)Train delays prediction based on feature selection and random forest., , , and . ITSC, page 1-6. IEEE, (2020)A Dynamic Fault Tree Based CBTC Onboard ATP System Safety Analysis Method*., , , and . ITSC, page 1-7. IEEE, (2020)A Hybrid Approach to Formal Verification of Higher-Order Masked Arithmetic Programs., , , and . ACM Trans. Softw. Eng. Methodol., 30 (3): 26:1-26:42 (2021)Model-based Automated Testing of JavaScript Web Applications via Longer Test Sequences., , , , and . CoRR, (2019)A memetic algorithm to optimize bus timetable with unequal time intervals., , , and . GECCO (Companion), page 1336-1344. ACM, (2019)A Novel Algorithm for Barrier Coverage Based on Hybrid Wireless Sensor Nodes., , , , , and . IEEE Access, (2019)Effects of Font Size, Line Spacing, and Font Style on Legibility of Chinese Characters on Consumer-Based Virtual Reality Displays., , , and . HCI (48), volume 1293 of Communications in Computer and Information Science, page 468-474. Springer, (2020)