Wenxi Wang

55 papers A* 6A 2B 1C 1Journal 31Unranked 14
YearRankTypeTitle / Venue / Authors
2026 J jnl
A new characterization method for rapid prediction of recrystallization damage in single crystal superalloys considering plastic deformation.
J. Intell. Manuf.
Zichen Zhan, Congcong Han, Lai Zou, Jianmin Dong, Shengbo Yan, Wenxi Wang
2026 J jnl
Aligning Multi-Dimensional Preferences via Relevance Feedback: An Effortless and Training-Free Framework for Text-to-Image Diffusion.
CoRR
Wenxi Wang, Hongbin Liu, Mingqian Li, Junyan Yuan, Junqi Zhang
2026 J jnl
Can LLMs Reason Like Automated Theorem Provers for Rust Verification? VCoT-Bench: Evaluating via Verification Chain of Thought.
CoRR
Zichen Xie, Wenxi Wang
2026 J jnl
Distributed Real-Time Vehicle Control for Emergency Vehicle Transit: A Scalable Cooperative Method.
CoRR
Wenxi Wang, Junqi Zhang
2026 J jnl
Property-Driven Evaluation of GNN Expressiveness at Scale: Datasets, Framework, and Study.
CoRR
Sicong Che, Jiayi Yang, Sarfraz Khurshid, Wenxi Wang
2025 J jnl
A Survey on Hybrid HumanArtificial Intelligence in the Metaverse.
IEEE Trans. Hum. Mach. Syst.
Jing Zhang, Sha Li, Hongmei Wang, Wenxi Wang, Liming Chen, Yueliang Wan, Huansheng Ning
2025 J jnl
A novel dynamic observer-based contact force control strategy in robotic grinding to improve blade profile accuracy.
Robotics Comput. Integr. Manuf.
Yilin Mu, Lai Zou, Ziling Wang, Heng Li, Shengbo Yan, Wenxi Wang
2025 J jnl
Point-driven robot selective grinding method based on region growing for turbine blade.
Adv. Eng. Informatics
Ziling Wang, Lai Zou, Junjie Zhang, Yilin Mu, Wenxi Wang, Jinhao Xiao
2025 J jnl
Point-driven toolpath curve and orientation smoothing in robotic belt grinding for turbine blade.
Robotics Comput. Integr. Manuf.
Ziling Wang, Lai Zou, Jiantao Li, Junjie Zhang, Wenxi Wang
2025 A* conf
RFCScope: Detecting Logical Ambiguities in Internet Protocol Specifications.
ASE
Mrigank Pawagi, Lize Shao, Hyeonmin Lee, Yixin Sun, Wenxi Wang
2025 J jnl
Robotic grinding of complex surfaces with an internal structured compliant tool: Multi-performance optimization in confined spaces.
Robotics Comput. Integr. Manuf.
Mingcong Li, Wenxi Wang, Lai Zou, Chong Lv, Junjie Zhang, Yun Huang
2024 — conf
Analysis of Gamification Strategies for Children's Safety Popularization Education Based on AR Technology.
HCI (32)
Yan Hao, Wenxi Wang, Ziyang Li, Meng Wang
2024 — conf
Design and Research on the Integration of Gamification Design and Agricultural Harvesting.
HCI (33)
Zhenze Ju, Ziyang Li, Xiandong Cheng, Wenxi Wang
2024 J jnl
Metallic surface defect recognition network based on global feature aggregation and dual context decoupled head.
Appl. Soft Comput.
Kefei Qian, Lai Zou, Zhiwen Wang, Wenxi Wang
2024 A* conf
NeuroBack: Improving CDCL SAT Solving using Graph Neural Networks.
ICLR
Wenxi Wang, Yang Hu, Mohit Tiwari, Sarfraz Khurshid, Kenneth L. McMillan, Risto Miikkulainen
2024 — conf
Research on Strategies of Virtual Reality Technology to Promote Astronomy Science Popularization Education in Primary Schools.
HCI (32)
Ziyi Chen, Wenxi Wang, Ziyang Li, Jinyi Zhao, Ziyue Chen
2024 J jnl
Semantic perceptive infrared and visible image fusion Transformer.
Pattern Recognit.
Xin Yang, Hongtao Huo, Chang Li, Xiaowen Liu, Wenxi Wang, Cheng Wang
2024 — conf
The Digital Senses: An Analysis of Internet Use's Impact on Visual, Auditory, Olfactory, Gustatory, and Tactile Perceptions.
IIKI
Wanyu Tu, Mingzhi Yang, Wenxi Wang, Daniel Tesfai Gebretatios, Sha Li, Sahraoui Dhelim, Huansheng Ning, Jianguo Ding
2024 J jnl
Tool axis vector optimization for robotic grinding based on measured point cloud of complex curved blade.
Adv. Eng. Informatics
Ziling Wang, Lai Zou, Junjie Zhang, Heng Li, Wenxi Wang, Yun Huang
2023 J jnl
A Survey on the Metaverse: The State-of-the-Art, Technologies, Applications, and Challenges.
IEEE Internet Things J.
Hang Wang, Huansheng Ning, Yujia Lin, Wenxi Wang, Sahraoui Dhelim, Fadi Farha, Jianguo Ding, Mahmoud Daneshmand
2023 — conf
An Improved ELM Wireless Sensor Network Intrusion Detection Model Based on an Optimization Algorithm.
APIT
Wenxi Wang
2023 A conf
CadiBack: Extracting Backbones with CaDiCaL.
SAT
Armin Biere, Nils Froleyks, Wenxi Wang
2023 J jnl
Cyberology: Cyber-Physical-Social-Thinking Spaces-Based Discipline and Interdiscipline Hierarchy for Metaverse (General Cyberspace).
IEEE Internet Things J.
Huansheng Ning, Yujia Lin, Wenxi Wang, Hang Wang, Feifei Shi, Xiaohong Zhang, Mahmoud Daneshmand
2023 J jnl
Enhancement and evaluation in path accuracy of industrial robot for complex surface grinding.
Robotics Comput. Integr. Manuf.
Jiangyang Li, Lai Zou, Guoyue Luo, Wenxi Wang, Chong Lv
2023 A* conf
Fixing Privilege Escalations in Cloud Access Control with MaxSAT and Graph Neural Networks.
ASE
Yang Hu, Wenxi Wang, Sarfraz Khurshid, Kenneth L. McMillan, Mohit Tiwari
2023 J jnl
Greybox Penetration Testing on Cloud Access Control with IAM Modeling and Deep Reinforcement Learning.
CoRR
Yang Hu, Wenxi Wang, Mohit Tiwari
2022 — conf
A Review on Serious Games for Disaster Relief.
ICDIS
Huansheng Ning, Zhangfeng Pi, Wenxi Wang, Fadi Farha, Shunkun Yang
2022 J jnl
A Review on Serious Games for Disaster Relief.
CoRR
Huansheng Ning, Zhangfeng Pi, Wenxi Wang, Fadi Farha, Shunkun Yang
2022 J jnl
A Review on Serious Games in E-learning.
CoRR
Huansheng Ning, Hang Wang, Wenxi Wang, Xiaozhen Ye, Jianguo Ding, Per Backlund
2022 J jnl
A Survey of Hybrid Human-Artificial Intelligence for Social Computing.
IEEE Trans. Hum. Mach. Syst.
Wenxi Wang, Huansheng Ning, Feifei Shi, Sahraoui Dhelim, Weishan Zhang, Liming Chen
2022 J jnl
An Improved Entropy-Weighted Topsis Method for Decision-Level Fusion Evaluation System of Multi-Source Data.
Sensors
Lilan Liu, Xiang Wan, Jiaying Li, Wenxi Wang, Zenggui Gao
2022 A* conf
Repairing Order-Dependent Flaky Tests via Test Generation.
ICSE
Chengpeng Li, Chenguang Zhu, Wenxi Wang, August Shi
2022 J jnl
SocialNet of Things: A Ubiquitous Relationship Network Inspired by Social Space.
IEEE Netw.
Huansheng Ning, Wenxi Wang, Fadi Farha, Jinsheng Xie, Mahmoud Daneshmand
2022 — conf
SymMC: approximate model enumeration and counting using symmetry information for Alloy specifications.
ESEC/SIGSOFT FSE
Wenxi Wang, Yang Hu, Kenneth L. McMillan, Sarfraz Khurshid
2021 — conf
A Review on Serious Games in E-learning.
SSCI
Huansheng Ning, Hang Wang, Wenxi Wang, Xiaozhen Ye, Jianguo Ding, Per Backlund
2021 J jnl
A Survey of Hybrid Human-Artificial Intelligence for Social Computing.
CoRR
Wenxi Wang, Huansheng Ning, Feifei Shi, Sahraoui Dhelim, Weishan Zhang, Liming Chen
2021 J jnl
A Survey on Metaverse: the State-of-the-art, Technologies, Applications, and Challenges.
CoRR
Huansheng Ning, Hang Wang, Yujia Lin, Wenxi Wang, Sahraoui Dhelim, Fadi Farha, Jianguo Ding, Mahmoud Daneshmand
2021 — conf
ACHyb: a hybrid analysis approach to detect kernel access control vulnerabilities.
ESEC/SIGSOFT FSE
Yang Hu, Wenxi Wang, Casen Hunger, Riley Wood, Sarfraz Khurshid, Mohit Tiwari
2021 C conf
Initial Results on Counting Test Orders for Order-Dependent Flaky Tests Using Alloy.
ICTSS
Wenxi Wang, Pu Yi, Sarfraz Khurshid, Darko Marinov
2021 J jnl
NeuroComb: Improving SAT Solving with Graph Neural Networks.
CoRR
Wenxi Wang, Yang Hu, Mohit Tiwari, Sarfraz Khurshid, Kenneth L. McMillan, Risto Miikkulainen
2021 J jnl
The Internet of People: A Survey and Tutorial.
CoRR
Feifei Shi, Wenxi Wang, Hang Wang, Huansheng Ning
2020 — conf
A Study of Symmetry Breaking Predicates and Model Counting.
TACAS (1)
Wenxi Wang, Muhammad Usman, Alyas Almaawi, Kaiyuan Wang, Kuldeep S. Meel, Sarfraz Khurshid
2020 J jnl
A study of learning likely data structure properties using machine learning models.
Int. J. Softw. Tools Technol. Transf.
Muhammad Usman, Wenxi Wang, Kaiyuan Wang, Cagdas Yelen, Nima Dini, Sarfraz Khurshid
2020 A* conf
A study of the learnability of relational properties: model counting meets machine learning (MCML).
PLDI
Muhammad Usman, Wenxi Wang, Marko Vasic, Kaiyuan Wang, Haris Vikalo, Sarfraz Khurshid
2020 — conf
AlloyMC: Alloy meets model counting.
ESEC/SIGSOFT FSE
Jiayi Yang, Wenxi Wang, Darko Marinov, Sarfraz Khurshid
2020 A* conf
TestMC: Testing Model Counters using Differential and Metamorphic Testing.
ASE
Muhammad Usman, Wenxi Wang, Sarfraz Khurshid
2019 — conf
A Novel Location Privacy Protection Scheme with Generative Adversarial Network.
ICBDS
Wenxi Wang, Weilong Zhang, Jin Zhang, Keyan Sun, Runlin Zou, Chenrong Huang, Yuan Tian
2019 — conf
A Study of Learning Data Structure Invariants Using Off-the-shelf Tools.
SPIN
Muhammad Usman, Wenxi Wang, Kaiyuan Wang, Cagdas Yelen, Nima Dini, Sarfraz Khurshid
2019 J jnl
A Study of the Learnability of Relational Properties (Model Counting Meets Machine Learning).
CoRR
Muhammad Usman, Wenxi Wang, Kaiyuan Wang, Marko Vasic, Haris Vikalo, Sarfraz Khurshid
2019 J jnl
Deep convolutional neural network-based in-process tool condition monitoring in abrasive belt grinding.
Comput. Ind.
Can Cheng, Jianyong Li, Yueming Liu, Meng Nie, Wenxi Wang
2019 — conf
Incremental Analysis of Evolving Alloy Models.
TACAS (1)
Wenxi Wang, Kaiyuan Wang, Milos Gligoric, Sarfraz Khurshid
2019 A conf
Learning to Optimize the Alloy Analyzer.
ICST
Wenxi Wang, Kaiyuan Wang, Mengshi Zhang, Sarfraz Khurshid
2019 J jnl
Wombit: A Portfolio Bit-Vector Solver Using Word-Level Propagation.
J. Autom. Reason.
Wenxi Wang, Harald Søndergaard, Peter J. Stuckey
2016 B conf
A Bit-Vector Solver with Word-Level Propagation.
CPAIOR
Wenxi Wang, Harald Søndergaard, Peter J. Stuckey
2016 J jnl
Monitoring of Grouting Compactness in a Post-Tensioning Tendon Duct Using Piezoceramic Transducers.
Sensors
Tianyong Jiang, Qingzhao Kong, Wenxi Wang, Linsheng Huo, Gangbing Song