Peixin Wang - RankMe

47 papers A* 3A 1Journal 35Unranked 8

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	A Formal Framework for Predicting Distributed System Performance under Faults (Extended Version). CoRR Ziwei Zhou, Si Liu, Zhou Zhou, Peixin Wang, Min Zhang
2026	J	`jnl`	Mitigating Object Hallucinations in LVLMs via Attention Imbalance Rectification. CoRR Han Sun, Qin Li, Peixin Wang, Min Zhang
2026	J	`jnl`	Neural Theorem Proving for Verification Conditions: A Real-World Benchmark. CoRR Qiyuan Xu, Xiaokun Luan, Renxi Wang, Joshua Ong Jun Leang, Peixin Wang, Haonan Li, Wenda Li, Conrad Watt
2026	J	`jnl`	Precise Rotor Position Detection for Skewed-PM Axial Flux Motors Using Orthogonal Third-Harmonic Hall Signals. IEEE Trans. Ind. Electron. Peixin Wang, Zhennan Cai, Jikai Si, Yuchen Wang, Shaofeng Jia, Wei Hua
2025	A	`conf`	A Variable Stiffness Supernumerary Robotic Limb with Pneumatic-Tendon Coupled Actuation IROS Mengcheng Zhao, Jiajun Xu, Peixin Wang, Juanxia Zhou, Tianyi Zhang, Kaizhen Huang, Aihong Ji, Xuyan Hou, Guoli Song, You-Fu Li
2025	J	`jnl`	ATA: An Abstract-Train-Abstract approach for explanation-friendly deep reinforcement learning. Neural Networks Shi Peng, Si Liu, Dapeng Zhi, Peixin Wang, Chenyang Xu, Cheng Chen, Min Zhang
2025	—	`conf`	Air-Ground-Wall Robot with Multimodal Morphological Adaptation. ICIRA (2) Juanxia Zhou, Jiajun Xu, Mengcheng Zhao, Peixin Wang, Youfu Li
2025	J	`jnl`	Analytical Modeling and Optimal Design of Slotted Axial Flux PM Motor With Equidirectional Toroidal Winding. IEEE Trans. Ind. Electron. Yanqi Wei, Peixin Wang, Rui Nie, Shuai Xu, Jing J. Liang, Jikai Si
2025	J	`jnl`	Comparative Analysis of Barrier-like Function Methods for Reach-Avoid Verification in Stochastic Discrete-Time Systems. CoRR Zhipeng Cao, Peixin Wang, Luke Ong, Dorde Zikelic, Dominik Wagner, Bai Xue
2025	J	`jnl`	DEVAL: A Framework for Evaluating and Improving the Derivation Capability of Large Language Models. CoRR Yifan Li, Qin Li, Min Zhang, Peixin Wang
2025	—	`conf`	Design and Human-Robot Collaborative Control of Reconfigurable Supernumerary Robotic Limb for Overhead Work. ICIRA (2) Peixin Wang, Jiajun Xu, Mengcheng Zhao, Juanxia Zhou, Xingyu Liu, Youfu Li
2025	J	`jnl`	General Analytical Modeling for Armature Magnetic Field of Equidirectional Toroidal Winding Motor Based on CDMPF Method. IEEE Trans. Ind. Electron. Guixian Chen, Rui Nie, Peixin Wang, Shuai Xu, Jikai Si
2025	J	`jnl`	Multimode Drive and Control for Double-Stator Switched Reluctance Motor by a Three-Switch Symmetrical Converter. IEEE Trans. Ind. Electron. Shuai Xu, Luwei Tao, Hanyang Chen, Kuan Zhang, Rui Nie, Peixin Wang, Jikai Si
2025	J	`jnl`	Quantitative Verification of Omega-regular Properties in Probabilistic Programming. CoRR Peixin Wang, Jianhao Bai, Min Zhang, C.-H. Luke Ong
2025	J	`jnl`	Refined Barrier Conditions for Finite-Time Safety and Reach-Avoid Guarantees in Stochastic Systems. CoRR Bai Xue, Luke Ong, Dominik Wagner, Peixin Wang
2025	J	`jnl`	Structural Abstraction and Refinement for Probabilistic Programs. CoRR Guanyan Li, Juanen Li, Zhilei Han, Peixin Wang, Hongfei Fu, Fei He
2025	J	`jnl`	Structural Abstraction and Refinement for Probabilistic Programs. Proc. ACM Program. Lang. Guanyan Li, Juanen Li, Zhilei Han, Peixin Wang, Hongfei Fu, Fei He
2025	—	`conf`	UIOrchestra: Generating High-Fidelity Code from UI Designs with a Multi-agent System. EMNLP (Findings) Chuhuai Yue, Jiajun Chai, Yufei Zhan, Zixiang Ding, Xihao Liang, Peixin Wang, Shihai Chen, Wang Yixuan, Wang Yanping, Guojun Yin, Wei Lin
2024	J	`jnl`	A Dual-Rotor Axial-Flux PM Motor With Equidirectional Toroidal Winding and 3-Slot/4-Pole Unit Block for Torque Density Improvement. IEEE Trans. Ind. Electron. Jikai Si, Sen Li, Rui Nie, Peixin Wang, Shuai Xu, Chun Gan
2024	—	`conf`	EEG Decoding of Auditory Spatial Attention Based on Visibility Graph and Machine Learning. CVDL Peixin Wang, Tasleem Kausar, Heng Li, Siyang Jiang, Yingying Rong, Yun Lu
2024	—	`conf`	Modeling Multiple Adverse Pregnancy Outcomes: Learning from Diverse Data Sources. AIME (1) Saurabh Mathur, Veerendra P. Gadekar, Rashika Ramola, Peixin Wang, Ramachandran Thiruvengadam, David M. Haas, Shinjini Bhatnagar, Nitya Wadhwa, Garbhini Study Group, Predrag Radivojac, Himanshu Sinha, Kristian Kersting, Sriraam Natarajan
2024	J	`jnl`	Opening the black box of Library Hi Tech: a social network and bibliometric analysis. Libr. Hi Tech Guijie Zhang, Fangfang Wei, Peixin Wang
2024	A*	`conf`	Robustness Verification of Deep Reinforcement Learning Based Control Systems Using Reward Martingales. AAAI Dapeng Zhi, Peixin Wang, Cheng Chen, Min Zhang
2024	J	`jnl`	Static Posterior Inference of Bayesian Probabilistic Programming via Polynomial Solving. Proc. ACM Program. Lang. Peixin Wang, Tengshun Yang, Hongfei Fu, Guanyan Li, C.-H. Luke Ong
2024	—	`conf`	Taming Reachability Analysis of DNN-Controlled Systems via Abstraction-Based Training. VMCAI (2) Jiaxu Tian, Dapeng Zhi, Si Liu, Peixin Wang, Guy Katz, Min Zhang
2024	J	`jnl`	Unified Analytical Modeling of Armature Magnetic Field of Slotless PM Motor With Equidirectional Toroidal Winding. IEEE Trans. Ind. Electron. Yanqi Wei, Jikai Si, Rui Nie, Peixin Wang, Shuai Xu, Chun Gan, Jing J. Liang
2024	—	`conf`	Unifying Qualitative and Quantitative Safety Verification of DNN-Controlled Systems. CAV (2) Dapeng Zhi, Peixin Wang, Si Liu, C.-H. Luke Ong, Min Zhang
2024	J	`jnl`	Unifying Qualitative and Quantitative Safety Verification of DNN-Controlled Systems. CoRR Dapeng Zhi, Peixin Wang, Si Liu, Luke Ong, Min Zhang
2023	A*	`conf`	Boosting Verification of Deep Reinforcement Learning via Piece-Wise Linear Decision Neural Networks. NeurIPS Jiaxu Tian, Dapeng Zhi, Si Liu, Peixin Wang, Cheng Chen, Min Zhang
2023	J	`jnl`	Kriging-Assisted Multiobjective Optimization of Embedded Magnetic Encoder in PM Synchronous Machines. IEEE Trans. Instrum. Meas. Yuchen Wang, Hengliang Zhang, Junli Zhang, Hang Yin, Peixin Wang, Chao Zhang, Wei Hua
2023	J	`jnl`	Robustness Verification of Deep Reinforcement Learning Based Control Systems using Reward Martingales. CoRR Dapeng Zhi, Peixin Wang, Cheng Chen, Min Zhang
2023	J	`jnl`	Template-Based Static Posterior Inference for Bayesian Probabilistic Programming. CoRR Peixin Wang, Hongfei Fu, Tengshun Yang, Guanyan Li, Luke Ong
2022	—	`conf`	Application of Association Rules in Telecommunication Network Fraud Cases. ICCSIE Shuo Wen, Weiting Huang, Qi Wu, Jinying Zheng, Peixin Wang, Zhilong Ye, Shangxuan Jiang
2022	J	`jnl`	BBReach: Tight and Scalable Black-Box Reachability Analysis of Deep Reinforcement Learning Systems. CoRR Jiaxu Tian, Dapeng Zhi, Si Liu, Peixin Wang, Guy Katz, Min Zhang
2022	J	`jnl`	Implementation of Embedded Magnetic Encoder for Rotor Position Detection Based on Arbitrary Phase-Shift Phase-Lock Loop. IEEE Trans. Ind. Electron. Yuchen Wang, Xuguang Bao, Wei Hua, Kai Liu, Peixin Wang, Mingjin Hu, Hengliang Zhang
2022	J	`jnl`	Inductance Characteristics of Flux-Switching Permanent Magnet Machine Based on General Air-Gap Filed Modulation Theory. IEEE Trans. Ind. Electron. Peixin Wang, Wei Hua, Gan Zhang, Bo Wang, Ming Cheng
2022	J	`jnl`	Investigating academic conference publications from provincial administrative regions in the mainland of China. Learn. Publ. Guijie Zhang, Fangfang Wei, Peixin Wang, Yikai Liang
2022	J	`jnl`	Principle of Flux-Switching PM Machine by Magnetic Field Modulation Theory Part II: Electromagnetic Torque Generation. IEEE Trans. Ind. Electron. Peixin Wang, Wei Hua, Gan Zhang, Bo Wang, Ming Cheng
2022	J	`jnl`	Principle of Flux-Switching Permanent Magnet Machine by Magnetic Field Modulation Theory Part I: Back-Electromotive-Force Generation. IEEE Trans. Ind. Electron. Peixin Wang, Wei Hua, Gan Zhang, Bo Wang, Ming Cheng
2022	J	`jnl`	Stability for the 2D anisotropic surface quasi-geostrophic equation with horizontal dissipation. Appl. Math. Lett. Peixin Wang
2022	J	`jnl`	Torque Ripple Suppression of Flux-Switching Permanent Magnet Machine Based on General Air-Gap Field Modulation Theory. IEEE Trans. Ind. Electron. Peixin Wang, Wei Hua, Gan Zhang, Bo Wang, Ming Cheng
2020	J	`jnl`	Proving expected sensitivity of probabilistic programs with randomized variable-dependent termination time. Proc. ACM Program. Lang. Peixin Wang, Hongfei Fu, Krishnendu Chatterjee, Yuxin Deng, Ming Xu
2020	J	`jnl`	Time-of-arrival-based localization algorithm in mixed line-of-sight/non-line-of-sight environments. Int. J. Distributed Sens. Networks Peixin Wang, Youming Li, Shengming Chang, Xiaoping Jin, Xiaoli Wang
2019	J	`jnl`	Cost Analysis of Nondeterministic Probabilistic Programs. CoRR Krishnendu Chatterjee, Hongfei Fu, Amir Kafshdar Goharshady, Peixin Wang, Xudong Qin, Wenjun Shi
2019	A*	`conf`	Cost analysis of nondeterministic probabilistic programs. PLDI Peixin Wang, Hongfei Fu, Amir Kafshdar Goharshady, Krishnendu Chatterjee, Xudong Qin, Wenjun Shi
2019	J	`jnl`	Intelligent Turning Tool Monitoring with Neural Network Adaptive Learning. Complex. Maohua Du, Peixin Wang, Junhua Wang, Zheng Cheng, Shensong Wang
2019	J	`jnl`	Proving Expected Sensitivity of Probabilistic Programs with Randomized Execution Time. CoRR Peixin Wang, Hongfei Fu, Krishnendu Chatterjee, Kangli He, Ming Xu