Lihan Xie
102  Ergebnisse:
Personensuche X
?
 
?
3

A Natural Formalized Proof Language:

, In: Theoretical Aspects of Software Engineering; Lecture Notes in Computer Science,
Xie, Lihan ; Hui, Zhicheng ; Cao, Qinxiang - p. 446-464 , 2024
 
?
4

A Magnet‐Driven Soft Bistable Actuator:

Chen, Zhou ; Kong, Shangcheng ; He, Yunhu...
Advanced Functional Materials.  34 (2024)  17 - p. , 2024
 
?
6

Self-Delivery Nanomedicines Reverse Thermal Resistance to E..:

Lai, Jinmei ; Shi, Qunying ; Xie, Yongqi...
Molecular Pharmaceutics.  21 (2024)  3 - p. 1526-1536 , 2024
 
?
 
?
 
?
10

Deletion of Bak1 alleviates microglial necroptosis and neur..:

Qiu, Xiancheng ; Tao, Qianke ; Zhang, Lihan...
Journal of Neurochemistry.  164 (2023)  6 - p. 829-846 , 2023
 
?
15

Noun Compound Interpretation With Relation Classification a..:

Liu, Jingping ; Liu, Juntao ; Chen, Lihan...
IEEE Transactions on Knowledge and Data Engineering.  35 (2023)  9 - p. 8757-8769 , 2023
 
1-15