( en | de | ru )

 

Disambiguation of "Wang, Wenxi"

Author of the publication

copydeleteadd this publication to your clipboard
AlloyMC: Alloy meets model counting.

, , , and . ESEC/SIGSOFT FSE, page 1541-1545. ACM, (2020)

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.

Wenxi Chen

Wang Wang

Linfang Wang

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

Zhirong Wang

Li Wang

 

Other publications of authors with the same name

A Survey of Hybrid Human-Artificial Intelligence for Social Computing., , , , , and . IEEE Trans. Hum. Mach. Syst., 52 (3): 468-480 (2022)The Internet of People: A Survey and Tutorial., , , and . CoRR, (2021)An Improved Entropy-Weighted Topsis Method for Decision-Level Fusion Evaluation System of Multi-Source Data., , , , and . Sensors, 22 (17): 6391 (2022)TestMC: Testing Model Counters using Differential and Metamorphic Testing., , and . ASE, page 709-721. IEEE, (2020)CadiBack: Extracting Backbones with CaDiCaL., , and . SAT, volume 271 of LIPIcs, page 3:1-3:12. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)Incremental Analysis of Evolving Alloy Models., , , and . TACAS (1), volume 11427 of Lecture Notes in Computer Science, page 174-191. Springer, (2019)Greybox Penetration Testing on Cloud Access Control with IAM Modeling and Deep Reinforcement Learning., , and . CoRR, (2023)Metallic surface defect recognition network based on global feature aggregation and dual context decoupled head., , , and . Appl. Soft Comput., (2024)Analysis of Gamification Strategies for Children's Safety Popularization Education Based on AR Technology., , , and . HCI (32), volume 14715 of Lecture Notes in Computer Science, page 142-155. Springer, (2024)Cyberology: Cyber-Physical-Social-Thinking Spaces-Based Discipline and Interdiscipline Hierarchy for Metaverse (General Cyberspace)., , , , , , and . IEEE Internet Things J., 10 (5): 4420-4430 (March 2023)