E-LIB Suche - Ergebnisse für: Wang, Wansen

1

Advancing the Automation Capability of Verifying Security P..:

Wang, Wansen ; Huang, Wenchao ; Meng, Zhaoyi..
IEEE Transactions on Dependable and Secure Computing. , 2024

Link: https://doi.org/10.1109/..

2

SolScope: Effectively Hunting Potential Permission Backdoor..:

, In: 2023 9th International Conference on Big Data Computing and Communications (BigCom),

Ji, Renjie ; Wang, Wansen ; Xiong, Yan. - p. 88-95 , 2023

Link: https://doi.org/10.1109/..

3

EOSVERIF: An Automated Analyzer for EOSIO Smart Contracts:

, In: 2023 9th International Conference on Big Data Computing and Communications (BigCom),

Tu, Caichang ; Wang, Wansen ; Shi, Kaiwen.. - p. 103-109 , 2023

Link: https://doi.org/10.1109/..

4

Formal Verification of BNB Smart Contract:

, In: 2019 5th International Conference on Big Data Computing and Communications (BIGCOM),

Li, Xiaoyu ; Su, Cheng ; Xiong, Yan.. - p. 74-78 , 2019

Link: https://doi.org/10.1109/..

5

Study of Emotion Model on the Learner in the Network Enviro..:

, In: 2009 International Workshop on Intelligent Systems and Applications,

Han, Liji ; Wang, Wansen - p. None , 2009

Link: https://doi.org/10.1109/..

6

The Research of Emotional Cognition Model which Based On Ba..:

, In: 2009 International Conference on Computational Intelligence and Natural Computing,

Hua, Jiang Liu ; Wang, Wansen - p. None , 2009

Link: https://doi.org/10.1109/..

7

Rough Set Theory : Application in Electronic Commerce Da..:

, In: Proceedings of the 2004 IEEE/WIC/ACM International Conference on Web Intelligence,

Wang, Xuren ; Xu, Rongsheng ; Wang, Wansen - p. 541-544 , 2004

Link: https://dl.acm.org/doi/1..

8

An Automated Analyzer for Financial Security of Ethereum Sm..:

Wang, Wansen ; Huang, Wenchao ; Meng, Zhaoyi...
http://arxiv.org/abs/2208.12960. , 2022

Link: http://arxiv.org/abs/220..

9

Verifying Security Protocols using Dynamic Strategies:

Xiong, Yan ; Su, Cheng ; Huang, Wenchao...
http://arxiv.org/abs/1807.00669. , 2018

Link: http://arxiv.org/abs/180..

10

Autonomous Crowdsensing: Operating and Organizing Crowdsens..:

Wu, Wansen ; Yang, Weiyi ; Li, Juanjuan...
IEEE Transactions on Intelligent Vehicles. 9 (2024) 3 - p. 4254-4258 , 2024

Link: https://doi.org/10.1109/..

11

Atroposelective Synthesis of Diarylamines via Organocatalyz..:

Ye, Zidan ; Xie, Wansen ; Wang, Donglei..
ACS Catalysis. 14 (2024) 7 - p. 4958-4967 , 2024

Link: https://doi.org/10.1021/..

12

Significantly enhanced OER and HER performance of NiCo-LDH ..:

Ma, Wansen ; Zhang, Yuhan ; Wang, Biyun...
Chemical Engineering Journal. 494 (2024) - p. 153212 , 2024

Link: https://doi.org/10.1016/..

13

Coupling of modulating d-band center and optimizing interfa..:

Ma, Wansen ; Fei, Jinshuai ; Wang, Jiancheng...
Separation and Purification Technology. 351 (2024) - p. 128136 , 2024

Link: https://doi.org/10.1016/..

14

PANDA: Prompt-Based Context- and Indoor-Aware Pretraining f..:

, In: MultiMedia Modeling; Lecture Notes in Computer Science,

Liu, Ting ; Hu, Yue ; Wu, Wansen... - p. 187-200 , 2024

Link: https://doi.org/10.1007/..

15

ACT: Action-assoCiated and Target-Related Representations f..:

, In: MultiMedia Modeling; Lecture Notes in Computer Science,

Wang, Youkai ; Hu, Yue ; Wu, Wansen.. - p. 121-133 , 2024

Link: https://doi.org/10.1007/..