( 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)Degrees of Freedom of Multi-Mode-Multi-Spatial (MOMS) in Line-of-Sight Channels., , , , , and . GLOBECOM, page 1-6. IEEE, (2020)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)Efficiently and Completely Verifying Synchronized Consistency Models., , , , and . ATVA, volume 8837 of Lecture Notes in Computer Science, page 264-280. Springer, (2014)Juicer: Scalable Extraction for Thread Meta-information of Web Forum., , , , , and . PAISI, volume 5477 of Lecture Notes in Computer Science, page 143-148. Springer, (2009)Power-Aware Lightpath Management for SDN-Based Elastic Optical Networks., , , and . ICCCN, page 1-9. IEEE, (2017)