( en | de | ru )

 

Disambiguation of "Qiang, Wei"

Author of the publication

copydeleteadd this publication to your clipboard
Spoq: Scaling Machine-Checkable Systems Verification in Coq.

, , , , and . OSDI, page 851-869. USENIX Association, (2023)

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.

Qiang Wei

Xiaoyu Qiang

Wei Wei

Wei Wei

Wei Wei

 

Other publications of authors with the same name

Adaptive Neural Network Control of Lower Limb Exoskeleton Robots Using Disturbance Observer., , and . ICARM, page 246-251. IEEE, (2020)CAFA: A Checksum-Aware Fuzzing Assistant Tool for Coverage Improvement., , , , and . Secur. Commun. Networks, (2018)On Feasibility of Coordinated Time-Delay and False Data Injection Attacks on Cyber-Physical Systems., , , and . IEEE Internet Things J., 9 (11): 8720-8736 (2022)A performance simulation and verification method of packet scheduling algorithms for data stream based on QoS., , , and . Evol. Intell., 17 (1): 73-78 (2024)Flexible, Secure, and Reliable Data Sharing Service Based on Collaboration in Multicloud Environment., , and . Wirel. Commun. Mob. Comput., (2018)Exploring difference in public perceptions on HPV vaccine between gender groups from Twitter using deep learning., , , , and . CoRR, (2019)Neighbor-List Based Pairwise Key Management Scheme in Wireless Sensor Networks., , and . AMT, volume 5820 of Lecture Notes in Computer Science, page 522-528. Springer, (2009)Privacy-aware cross-cloud service recommendations based on Boolean historical invocation records., , , and . EURASIP J. Wireless Comm. and Networking, (2019)De novo pattern discovery enables robust assessment of functional consequences of non-coding variants., , , , , , , , and . Bioinform., 35 (9): 1453-1460 (2019)Finding competitive keywords from query logs to enhance search engine advertising., , , and . Inf. Manag., 54 (4): 531-543 (2017)