( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
C Code Verification based on the Extended Labeled Transition System Model.

, , , , и . D&P@MoDELS, том 1725 из CEUR Workshop Proceedings, стр. 48-55. CEUR-WS.org, (2016)

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.

Xiao-Guang Chen

Guang Bai

Guang Rao

Guang Yu

Guang Guo

 

Другие публикации лиц с тем же именем

Evaluation of Hybrid Si/SiC Three-Level Active Neutral-Point-Clamped Inverters., , , и . ISIE, стр. 840-845. IEEE, (2019)Globally Optimal Vertical Direction Estimation in Atlanta World., , и . IEEE Trans. Pattern Anal. Mach. Intell., 44 (4): 1949-1962 (2022)Dual-Stream Transformer for Generic Event Boundary Captioning., , , , , и . CoRR, (2022)MoNet: Motion-based Point Cloud Prediction Network., , , , , и . CoRR, (2020)A Compare-Aggregate Model with Dynamic-Clip Attention for Answer Selection., , , , и . CIKM, стр. 1987-1990. ACM, (2017)Deep High-Level Policy Model Predictive Contour Control for Autonomous Racing., , , и . IV, стр. 1-7. IEEE, (2023)A lower-dimensional-search evolutionary algorithm and its application in constrained optimization problems., , , , , и . IEEE Congress on Evolutionary Computation, стр. 1255-1260. IEEE, (2007)Image Grid Recognition and Regression for Fast and Accurate Face Detection., , , и . ICPR, стр. 1164-1170. IEEE, (2022)Cooperation in the snowdrift game on directed small-world networks under self-questioning and noisy conditions., , , , и . Comput. Phys. Commun., 181 (12): 2057-2062 (2010)Which Defect Should Be Fixed First? Semantic Prioritization of Static Analysis Report., , , , и . SATE, том 11293 из Lecture Notes in Computer Science, стр. 3-19. Springer, (2018)