( en | de | ru )

 

Disambiguation of "Zhang, Liwei"

Author of the publication

copydeleteadd this publication to your clipboard
Modular Certification of Low-Level Intermediate Representation Programs.

, , , and . COMPSAC (1), page 563-570. IEEE Computer Society, (2009)

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.

Liwei Fu

Liwei Wan

Liwei Gao

Zhang Zhang

Meng Zhang

Methods and implementations of road-network matching. TU München, (2009)
 

Other publications of authors with the same name

A Regularized Semi-Smooth Newton Method with Projection Steps for Composite Convex Programs., , , and . J. Sci. Comput., 76 (1): 364-389 (2018)Vision-based real-time 3D mapping for UAV with laser sensor., , , and . IROS, page 4524-4529. IEEE, (2016)An improved Bayesian NMF-based speech enhancement method using multivariate Laplace distribution., , , and . WCSP, page 1-6. IEEE, (2014)Integration of sorting system for contaminant removal from wool using a second computer., , , and . Comput. Ind., 56 (8-9): 843-853 (2005)Learning motion field of LiDAR point cloud with convolutional networks., , , , and . Pattern Recognit. Lett., (2019)Scene flow estimation by depth map upsampling and layer assignment for camera-LiDAR system., , , , and . J. Vis. Commun. Image Represent., (2019)Fingerprint-based Indoor Localization using Weighted K-Nearest Neighbor and Weighted Signal Intensity., , , and . AIAM, page 185-191. ACM, (2020)Spatio-Temporal Patterns of Ecosystem Services Provided by Urban Green Spaces and Their Equity along Urban-Rural Gradients in the Xi'an Metropolitan Area, China., , , , , , , and . Remote. Sens., 14 (17): 4299 (2022)Blind Multiuser Detection Based on Tikhonov Regularization., , and . IEEE Communications Letters, 15 (5): 482-484 (2011)Quantitative stability analysis of stochastic quasi-variational inequality problems and applications., , and . Math. Program., 165 (1): 433-470 (2017)