( en | de | ru )

 

Disambiguation of "Wang, Peixin"

Author of the publication

copydeleteadd this publication to your clipboard
Proving Expected Sensitivity of Probabilistic Programs with Randomized Execution Time.

, , , , and . CoRR, (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)

Lei Wang

 

Other publications of authors with the same name

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)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)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)Unifying Qualitative and Quantitative Safety Verification of DNN-Controlled Systems., , , , and . CoRR, (2024)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)Time-of-arrival-based localization algorithm in mixed line-of-sight/non-line-of-sight environments., , , , and . IJDSN, (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)Proving expected sensitivity of probabilistic programs with randomized variable-dependent termination time., , , , and . Proc. ACM Program. Lang., 4 (POPL): 25:1-25:30 (2020)Intelligent Turning Tool Monitoring with Neural Network Adaptive Learning., , , , and . Complex., (2019)