Wenxi Wang
This page is a disambiguation page, it actually contains multiple papers from persons of the same or a similar name.
Bibliography
2026
A new characterization method for rapid prediction of recrystallization damage in single crystal superalloys considering plastic deformation.
J. Intell. Manuf., March, 2026
Can LLMs Reason Like Automated Theorem Provers for Rust Verification? VCoT-Bench: Evaluating via Verification Chain of Thought.
CoRR, March, 2026
Aligning Multi-Dimensional Preferences via Relevance Feedback: An Effortless and Training-Free Framework for Text-to-Image Diffusion.
CoRR, March, 2026
Property-Driven Evaluation of GNN Expressiveness at Scale: Datasets, Framework, and Study.
CoRR, March, 2026
2025
IEEE Trans. Hum. Mach. Syst., June, 2025
Point-driven toolpath curve and orientation smoothing in robotic belt grinding for turbine blade.
Robotics Comput. Integr. Manuf., 2025
A novel dynamic observer-based contact force control strategy in robotic grinding to improve blade profile accuracy.
Robotics Comput. Integr. Manuf., 2025
Robotic grinding of complex surfaces with an internal structured compliant tool: Multi-performance optimization in confined spaces.
Robotics Comput. Integr. Manuf., 2025
Point-driven robot selective grinding method based on region growing for turbine blade.
Adv. Eng. Informatics, 2025
Proceedings of the 40th IEEE/ACM International Conference on Automated Software Engineering, 2025
2024
Pattern Recognit., 2024
Metallic surface defect recognition network based on global feature aggregation and dual context decoupled head.
Appl. Soft Comput., 2024
Tool axis vector optimization for robotic grinding based on measured point cloud of complex curved blade.
Adv. Eng. Informatics, 2024
The Digital Senses: An Analysis of Internet Use's Impact on Visual, Auditory, Olfactory, Gustatory, and Tactile Perceptions.
Proceedings of the International Conference on Identification, 2024
Proceedings of the Twelfth International Conference on Learning Representations, 2024
2023
A Survey on the Metaverse: The State-of-the-Art, Technologies, Applications, and Challenges.
IEEE Internet Things J., August, 2023
Enhancement and evaluation in path accuracy of industrial robot for complex surface grinding.
Robotics Comput. Integr. Manuf., June, 2023
Cyberology: Cyber-Physical-Social-Thinking Spaces-Based Discipline and Interdiscipline Hierarchy for Metaverse (General Cyberspace).
IEEE Internet Things J., March, 2023
Sampled and Normalized Satisfiable Instances from the main track of the SAT Competition 2004 to 2022.
Dataset, March, 2023
Greybox Penetration Testing on Cloud Access Control with IAM Modeling and Deep Reinforcement Learning.
CoRR, 2023
Proceedings of the 26th International Conference on Theory and Applications of Satisfiability Testing, 2023
Fixing Privilege Escalations in Cloud Access Control with MaxSAT and Graph Neural Networks.
Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, 2023
An Improved ELM Wireless Sensor Network Intrusion Detection Model Based on an Optimization Algorithm.
Proceedings of the 2023 5th Asia Pacific Information Technology Conference, 2023
2022
IEEE Trans. Hum. Mach. Syst., 2022
An Improved Entropy-Weighted Topsis Method for Decision-Level Fusion Evaluation System of Multi-Source Data.
Sensors, 2022
IEEE Netw., 2022
SymMC: approximate model enumeration and counting using symmetry information for Alloy specifications.
Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2022
Proceedings of the 44th IEEE/ACM 44th International Conference on Software Engineering, 2022
Proceedings of the 4th International Conference on Data Intelligence and Security, 2022
2021
Proceedings of the IEEE Symposium Series on Computational Intelligence, 2021
Proceedings of the ESEC/FSE '21: 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2021
Proceedings of the Testing Software and Systems, 2021
2020
Int. J. Softw. Tools Technol. Transf., 2020
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2020
Proceedings of the ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2020
A study of the learnability of relational properties: model counting meets machine learning (MCML).
Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2020
Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020
2019
J. Autom. Reason., 2019
A Study of the Learnability of Relational Properties (Model Counting Meets Machine Learning).
CoRR, 2019
Deep convolutional neural network-based in-process tool condition monitoring in abrasive belt grinding.
Comput. Ind., 2019
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019
Proceedings of the Model Checking Software - 26th International Symposium, 2019
Proceedings of the 12th IEEE Conference on Software Testing, Validation and Verification, 2019
Proceedings of the Big Data and Security - First International Conference, 2019
2016
Monitoring of Grouting Compactness in a Post-Tensioning Tendon Duct Using Piezoceramic Transducers.
Sensors, 2016
Proceedings of the Integration of AI and OR Techniques in Constraint Programming, 2016