( en | de | ru )

 

Disambiguation of "Wang, Shengyuan"

Author of the publication

copydeleteadd this publication to your clipboard
同步数据流语言可信编译器的研究进展 (Survey on Trustworthy Compilers for Synchronous Data-flow Languages).

, and . 计算机科学, 46 (5): 21-28 (2019)

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.

Wang Wang

Linfang Wang

Investigation of the functions of 53BP1 in DNA demethylation. Uni Marburg, (2009)

Paul Wang

Lien Wang

Scheifoo Wang

 

Other publications of authors with the same name

同步数据流语言可信编译器的研究进展 (Survey on Trustworthy Compilers for Synchronous Data-flow Languages)., and . 计算机科学, 46 (5): 21-28 (2019)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)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)AlignBench: Benchmarking Chinese Alignment of Large Language Models., , , , , , , , , and 7 other author(s). CoRR, (2023)PNTM Integration of Petri Nets and Transactional Memory., , , and . PNSE, volume 723 of CEUR Workshop Proceedings, page 196-199. CEUR-WS.org, (2011)An extended openmp targeting on the hybrid architecture of SMP-cluster., , , and . ACST, page 50-54. IASTED/ACTA Press, (2006)A Net-Based Multi-tier Behavior Inheritance Modelling Method., , and . Ershov Memorial Conference, volume 2244 of Lecture Notes in Computer Science, page 279-286. Springer, (2001)A verifiable low-level concurrent programming model based on colored Petri nets., and . Sci. China Inf. Sci., 54 (10): 2013-2027 (2011)Community detection based on Graph Coloring., , and . SSCI, page 2114-2118. IEEE, (2019)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)