( en | de | ru )

 

Disambiguation of "Zhang, Xiaoyu"

Author of the publication

copydeleteadd this publication to your clipboard
Accelerate Safety Model Checking Based on Complementary Approximate Reachability.

, , , , , and . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 42 (9): 3105-3117 (September 2023)

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.

Xiaoyu Zhang

Xiaoyu Li

Xiaoyu Qiang

Xiaoyu Chen

Xiaoyu Cheng

 

Other publications of authors with the same name

Using asynchronous circuits for communications in wireless endoscopic capsule., , and . APCCAS, page 1244-1247. IEEE, (2008)An Energy Efficient Implementation of On-demand MAC Protocol in Medical Wireless Body Sensor Networks., , , , and . ISCAS, page 3094-3097. IEEE, (2009)An object-oriented method based on multi-scale segmentation for classification and mapping from Quick bird images., , , , , , and . IGARSS, page 2565-2568. IEEE, (2013)Reconsidering Leakage Prevention in MapReduce., , and . INFOCOM Workshops, page 1350-1351. IEEE, (2020)On scheduling concurrent multicast sessions over resource reserved network., and . ICON, page 1-6. IEEE, (2008)Full occlusion handling for pedestrian tracking via hybrid system., , , and . Turkish J. Electr. Eng. Comput. Sci., (2017)Weighted Information Models for the Quantitative Prediction and Evaluation of the Geothermal Anomaly Area in the Plateau: A Case Study of the Sichuan-Tibet Railway., , , , , , , , , and 1 other author(s). Remote. Sens., 13 (9): 1606 (2021)Efficient DOA Estimation for Wideband Sources in Multipath Environment., , , and . Remote. Sens., 14 (16): 3951 (2022)BRAHMS: Beyond Conventional RRAM-based Neural Network Accelerators Using Hybrid Analog Memory System., , , and . DAC, page 1033-1038. IEEE, (2021)A New Data Replication Scheme for PVFS2., , , and . ICA3PP (3), volume 9530 of Lecture Notes in Computer Science, page 475-491. Springer, (2015)