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

A Gain-Scheduled Robust Controller for Autonomous Vehicles Path Tracking Based on LPV System With MPC and H∞., , , and . IEEE Trans. Veh. Technol., 71 (9): 9350-9362 (2022)AlignBench: Benchmarking Chinese Alignment of Large Language Models., , , , , , , , , and 7 other author(s). CoRR, (2023)同步数据流语言可信编译器的研究进展 (Survey on Trustworthy Compilers for Synchronous Data-flow Languages)., and . 计算机科学, 46 (5): 21-28 (2019)PNTM Integration of Petri Nets and Transactional Memory., , , and . PNSE, volume 723 of CEUR Workshop Proceedings, page 196-199. CEUR-WS.org, (2011)ORC-OpenMP: An OpenMP Compiler Based on ORC., , , and . International Conference on Computational Science, volume 3038 of Lecture Notes in Computer Science, page 414-423. Springer, (2004)An extended openmp targeting on the hybrid architecture of SMP-cluster., , , and . ACST, page 50-54. IASTED/ACTA Press, (2006)Community detection based on Graph Coloring., , and . SSCI, page 2114-2118. IEEE, (2019)A verifiable low-level concurrent programming model based on colored Petri nets., and . Sci. China Inf. Sci., 54 (10): 2013-2027 (2011)Certify Once, Trust Anywhere: Modular Certification of Bytecode Programs for Certified Virtual Machine., , , and . APLAS, volume 5904 of Lecture Notes in Computer Science, page 275-293. Springer, (2009)Compiler Backend Generation for Application Specific Instruction Set Processors., , and . APLAS, volume 7078 of Lecture Notes in Computer Science, page 121-136. Springer, (2011)