( en | de | ru )

 

Disambiguation of "Lv, Yi"

Author of the publication

copydeleteadd this publication to your clipboard
A novel approach to parameterized verification of cache coherence protocols.

, , , , and . ICCD, page 560-567. IEEE Computer Society, (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. You can also use the button next to the name to display some publications already assigned to the person.

Ivan Lvov

Zhiyi Lv

Guohua Lv

Zuopeng LV

Li-Ping Lv

 

Other publications of authors with the same name

A Web Based Security Monitoring and Information Management System for Nursing Homes., , , and . ICIRA (3), volume 11742 of Lecture Notes in Computer Science, page 72-81. Springer, (2019)A human hybrid tracking and localization method for mixed reality simulation of complex system., , , , and . Int. J. Model. Simul. Sci. Comput., 13 (2): 2241011:1-2241011:13 (2022)A Deep-Learning-Based Framework for Automatic Segmentation and Labelling of Intracranial Artery., , , , and . ISBI, page 1-5. IEEE, (2023)Running guide: design of a marathon navigation system for visually impaired people., , , and . CCHI, page 7-15. ACM, (2019)3D Attention U-Net with Pretraining: A Solution to CADA-Aneurysm Segmentation Challenge., , , , , , and . CADA@MICCAI, volume 12643 of Lecture Notes in Computer Science, page 58-67. Springer, (2020)Fast Verification of Memory Consistency for Chip Multi-Processor., , , and . CIS, page 1497-1502. IEEE Computer Society, (2011)Degrees of Freedom of Multi-Mode-Multi-Spatial (MOMS) in Line-of-Sight Channels., , , , , and . GLOBECOM, page 1-6. IEEE, (2020)Efficiently and Completely Verifying Synchronized Consistency Models., , , , and . ATVA, volume 8837 of Lecture Notes in Computer Science, page 264-280. Springer, (2014)An Automatic Proving Approach to Parameterized Verification., , , , , , and . ACM Trans. Comput. Log., 19 (4): 27:1-27:25 (2018)A mixed reality simulation evaluation method for complex system., , , , , and . Int. J. Model. Simul. Sci. Comput., 13 (2): 2241012:1-2241012:15 (2022)