( en | de | ru )

 

Disambiguation of "Wang, Peixin"

Author of the publication

copydeleteadd this publication to your clipboard
Cost analysis of nondeterministic probabilistic programs.

, , , , , and . PLDI, page 204-220. ACM, (2019)

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.

Peixin Zhu

Peixin Cao

Wang Wang

Linfang Wang

Investigation of the functions of 53BP1 in DNA demethylation. Uni Marburg, (2009)

Sha Wang

 

Other publications of authors with the same name

Principle of Flux-Switching Permanent Magnet Machine by Magnetic Field Modulation Theory Part I: Back-Electromotive-Force Generation., , , , and . IEEE Trans. Ind. Electron., 69 (3): 2370-2379 (2022)Torque Ripple Suppression of Flux-Switching Permanent Magnet Machine Based on General Air-Gap Field Modulation Theory., , , , and . IEEE Trans. Ind. Electron., 69 (12): 12379-12389 (2022)Proving Expected Sensitivity of Probabilistic Programs with Randomized Execution Time., , , , and . CoRR, (2019)Investigating academic conference publications from provincial administrative regions in the mainland of China., , , and . Learn. Publ., 35 (2): 92-104 (2022)Taming Reachability Analysis of DNN-Controlled Systems via Abstraction-Based Training., , , , , and . VMCAI (2), volume 14500 of Lecture Notes in Computer Science, page 73-97. Springer, (2024)Unifying Qualitative and Quantitative Safety Verification of DNN-Controlled Systems., , , , and . CoRR, (2024)Time-of-arrival-based localization algorithm in mixed line-of-sight/non-line-of-sight environments., , , , and . IJDSN, (2020)Proving expected sensitivity of probabilistic programs with randomized variable-dependent termination time., , , , and . Proc. ACM Program. Lang., 4 (POPL): 25:1-25:30 (2020)Inductance Characteristics of Flux-Switching Permanent Magnet Machine Based on General Air-Gap Filed Modulation Theory., , , , and . IEEE Trans. Ind. Electron., 69 (12): 12270-12280 (2022)Intelligent Turning Tool Monitoring with Neural Network Adaptive Learning., , , , and . Complex., (2019)