( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Programmable Verifiers in Imperative Programming.

. UTP, том 6445 из Lecture Notes in Computer Science, стр. 172-187. Springer, (2010)

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.

Yifeng Hu

Yifeng Hu

Yifeng Zhou

Yifeng Hu

Yifeng Cui

 

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

Point Defects and Localized Excitons in 2D WSe2, , , , , , , , , и 1 other автор(ы). ACS Nano, 13 (5): 6050-6059 (2019)PMID: 31074961.The transplantation technology of communication intensive applications on heterogeneous clusters., , и . Trans. Emerg. Telecommun. Technol., (2020)Cross-Platform Parallel Programming in Parray: A Case Study., , и . NPC, том 8707 из Lecture Notes in Computer Science, стр. 579-582. Springer, (2014)Programmable Verifiers in Imperative Programming.. UTP, том 6445 из Lecture Notes in Computer Science, стр. 172-187. Springer, (2010)Formal methods for global synchrony.. University of Oxford, UK, (2001)British Library, EThOS.Abstraction of Object Graphs in Program Verification., и . MPC, том 6120 из Lecture Notes in Computer Science, стр. 80-99. Springer, (2010)Unifying Probability with Nondeterminism., и . FM, том 5850 из Lecture Notes in Computer Science, стр. 467-482. Springer, (2009)Coupling Bracket Segmentation and Tooth Surface Reconstruction on 3D Dental Models., , , , , , и . MICCAI (6), том 14225 из Lecture Notes in Computer Science, стр. 411-420. Springer, (2023)A New EEG-based Paradigm for Classifying Intention of Compound-Limbs Movement., , , и . RCAR, стр. 63-68. IEEE, (2022)Samsara parallel: a non-BSP parallel-in-time model., , , , и . PPoPP, стр. 49:1-49:2. ACM, (2016)