Tao, Yichen
569  results:
Search for persons X
?
 
?
4

Adaptivity Gap for Influence Maximization with Linear Thres..:

, In: Frontiers of Algorithmics; Lecture Notes in Computer Science,
Tao, Yichen ; Wang, Shuo ; Yang, Kuan - p. 160-170 , 2023
 
?
8

Design and Growth of Branched Organic Crystals: Recent Adva..:

Shi, Ying‐Li ; Lv, Qiang ; Tao, Yi‐Chen..
Angewandte Chemie International Edition.  61 (2022)  40 - p. , 2022
 
?
9

Microscopic mechanical analysis of sand production using a ..:

Wang, Yin ; Cheng, Kuang ; Yang, Yefeng..
International Journal of Multiphase Flow.  149 (2022)  - p. 103979 , 2022
 
?
10

LOGIC: A Coq Library for Logics:

, In: Dependable Software Engineering. Theories, Tools, and Applications; Lecture Notes in Computer Science,
Tao, Yichen ; Cao, Qinxiang - p. 205-226 , 2022
 
?
 
?
14

Numerical Simulation of Seepage Failure of Sandy Soil Betwe..:

Sun, Zhenhua ; Tao, Yichen ; Cao, Yang.
Arabian Journal for Science and Engineering.  46 (2021)  11 - p. 10489-10503 , 2021
 
1-15