( en | de | ru )

 

Disambiguation of "Wang, Peng"

Author of the publication

copydeleteadd this publication to your clipboard
Extensible Extraction of Efficient Imperative Programs with Foreign Functions, Manually Managed Memory, and Proofs.

, , , , and . IJCAR (2), volume 12167 of Lecture Notes in Computer Science, page 119-137. Springer, (2020)

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.

Peng Wang

Peng Wang

Peng Wang

Peng-Hsiang Wang

Peng-Fei Wang

 

Other publications of authors with the same name

Effects of Charge Generation and Trapping on the X-ray Response of Strained AlGaN/GaN HEMTs., , , , , , , , , and . ASICON, page 1-4. IEEE, (2021)Resource allocation in MIMO-based ad hoc networks., , and . CISS, page 1-6. IEEE, (2011)An affine-scaling derivative-free trust-region method for solving nonlinear systems subject to linear inequality constraints., and . Int. J. Comput. Math., 92 (8): 1660-1687 (2015)A Novel Method for Near-Field Source Localization in Impulsive Noise Environments., and . CSSP, 35 (11): 4030-4059 (2016)Investigation on unsupervised clustering algorithms for video shot categorization., , and . Soft Comput., 11 (4): 355-360 (2007)A Planar-Coil-Based Current Transducer Used in Distribution Power System., , and . IEEE Trans. Instrumentation and Measurement, 59 (11): 3028-3033 (2010)An Algorithm for Segmentation of Conglutinate Manuscript Financial Chinese Characters Based on the Character of Stroke., and . PACIIA (1), page 602-605. IEEE Computer Society, (2008)Small and Practical Optical Fiber Fluorescence Temperature Sensor., , , , and . IEEE Trans. Instrumentation and Measurement, 65 (10): 2406-2411 (2016)Manage Distributed Ontologies on the Semantic Web., , , , and . ISPA, volume 3758 of Lecture Notes in Computer Science, page 1047-1054. Springer, (2005)Predicting protein structural class based on hidden Markov models., , , , and . BMEI, page 490-494. IEEE, (2013)