I agree that this site is using cookies. You can find further informations here.
X
Yao, Kaiqiang
4  results:
Bookchapter (Online) X
Search for persons X
?
1

Heracles: A Novel State-based Distributed Verification Fram..:

, In: Proceedings of the 2024 SIGCOMM Workshop on Formal Methods Aided Network Operation,
Hu, Kaiqiang ; Du, Haizhou ; Wang, Yao - p. 27-32 , 2024
Link: https://dl.acm.org/doi/1..
 
?
2

Rethinking DNS Configuration Verification with a Distribute..:

, In: Proceedings of the 8th Asia-Pacific Workshop on Networking,
Wang, Yao ; Yu, Kexin ; Wang, Ziyi... - p. 23-30 , 2024
Link: https://dl.acm.org/doi/1..
 
?
3

Effectiveness of Cold Spray Coating on Cast Iron to Prevent..:

, In: Lecture Notes in Mechanical Engineering; Proceedings of the 2nd International Conference on Advanced Surface Enhancement (INCASE 2021),
Tham, Nataniel Yong Syn ; Chua, Yao Shian ; Wu, Kaiqiang... - p. 155-158 , 2021
Link: https://doi.org/10.1007/..
 
?
4

Iterative Hypergraph Computation Based on Hyperedge-Connect..:

, In: Web and Big Data; Lecture Notes in Computer Science,
Yu, Kaiqiang ; Gu, Yu ; Yao, Shuo.. - p. 273-280 , 2019
Link: https://doi.org/10.1007/..
 
1-4