( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Bisimulation for Higher-Order Pi-calculus.

, и . APLAS, стр. 216-229. (2002)

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.

Yongjian Huang

Yongjian Bao

Yongjian Hu

Yongjian Ding

Li Li

 

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

Mechanized proofs for the parameter abstraction and guard strengthening principle in parameterized verification of cache coherence protocols.. SAC, стр. 1534-1535. ACM, (2007)Theoretical study of the vertical excited states of benzene, pyrimidine, and pyrazine by the symmetry adapted cluster - Configuration interaction method., , и . J. Comput. Chem., 28 (10): 1658-1667 (2007)Understanding the electronic energy transfer pathways in the trimeric and hexameric aggregation state of cyanobacteria phycocyanin within the framework of förster theory., , , , , , , , , и 2 other автор(ы). J. Comput. Chem., 34 (12): 1005-1012 (2013)Simultaneous Measurement of Multiparameter of Diesel Engine Exhaust Based on Mid-Infrared Laser Absorption Spectroscopy., , , и . IEEE Trans. Instrum. Meas., (2023)Producer's choice of design-for-environment under environmental taxation., , , и . Eur. J. Oper. Res., 297 (2): 532-544 (2022)Diagnosis of atrial fibrillation using self-complementary attentional convolutional neural network., , , , , , и . Comput. Methods Programs Biomed., (августа 2023)An inductive approach to strand spaces., и . Formal Aspects Comput., 25 (4): 465-501 (2013)Lattice Boltzmann model for dense suspended particles based on improved bounce-back method., , , , , и . Comput. Math. Appl., 80 (3): 552-567 (2020)Optimal strategies for financing a three-level supply chain through blockchain platform finance., , и . Int. J. Prod. Res., 61 (11): 3564-3581 (2023)Effect of EPR coefficient policy on the production decision in precious metal accessory recycling., , , и . Int. J. Prod. Res., 55 (4): 1129-1146 (2017)