( en | de | ru )

 

Disambiguation of "Lv, Yi"

Author of the publication

copydeleteadd this publication to your clipboard
An Experiment on Decision Diagrams for Model Checking Probabilistic Timed Automata.

, , , and . ICECCS, page 111-121. 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 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 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 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)Fast Verification of Memory Consistency for Chip Multi-Processor., , , and . CIS, page 1497-1502. IEEE Computer Society, (2011)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)Efficiently and Completely Verifying Synchronized Consistency Models., , , , and . ATVA, volume 8837 of Lecture Notes in Computer Science, page 264-280. Springer, (2014)Running guide: design of a marathon navigation system for visually impaired people., , , and . CCHI, page 7-15. ACM, (2019)Power-Aware Lightpath Management for SDN-Based Elastic Optical Networks., , , and . ICCCN, page 1-9. IEEE, (2017)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)