Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Xiao, Shengping
287  Ergebnisse:
Personensuche X
?
1

Competition and synergy of Arp2/3 and formins in nucleating..:

Chua, Xiang Le ; Tong, Chee San ; Su, Maohan...
Cell Reports.  43 (2024)  7 - p. 114423 , 2024
Link: https://doi.org/10.1016/..
 
?
2

Accelerate Safety Model Checking Based on Complementary App..:

Zhang, Xiaoyu ; Xiao, Shengping ; Xia, Yechuan...
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.  42 (2023)  9 - p. 3105-3117 , 2023
Link: https://doi.org/10.1109/..
 
?
3

Computing minimal unsatisfiable core for LTL over finite tr..:

Niu, Tong ; Xiao, Shengping ; Zhang, Xiaoyu...
Journal of Logic and Computation.  , 2023
Link: https://doi.org/10.1093/..
 
?
4

Model-Guided Synthesis for LTL over Finite Traces:

, In: Lecture Notes in Computer Science; Verification, Model Checking, and Abstract Interpretation,
Xiao, Shengping ; Li, Yongkang ; Huang, Xinyue... - p. 186-207 , 2023
Link: https://doi.org/10.1007/..
 
?
5

Combining BMC and Complementary Approximate Reachability to..:

, In: Proceedings of the 41st IEEE/ACM International Conference on Computer-Aided Design,
Zhang, Xiaoyu ; Xiao, Shengping ; Li, Jianwen.. - p. 1-9 , 2022
Link: https://dl.acm.org/doi/1..
 
?
6

Overexpressed TTC3 Protein Tends to be Cleaved into Fragmen..:

Gong, Yueqing ; Wang, Kun ; Xiao, Sheng-Ping...
NeuroMolecular Medicine.  21 (2018)  1 - p. 85-96 , 2018
Link: https://doi.org/10.1007/..
 
?
7

Identifying Boundary Conditions with the Syntax and Semanti..:

Xia, Yechuan ; Li, Jianwen ; Xiao, Shengping..
http://arxiv.org/abs/2203.12903.  , 2022
Link: http://arxiv.org/abs/220..
 
?
8

FuzzBtor2: A Random Generator of Word-Level Model Checking ..:

Xiao, Shengping
doi:10.5281/zenodo.7234680.  , 2022
Link: https://zenodo.org/recor..
 
?
9

Improved delay-dependent stability criteria for systems wit..:

Zeng, Hongbing ; Xiao, Sheng-Ping ; Liu, Bin
1671-1793.  ,
Link: http://hdl.handle.net/18..
 
?
10

New Stability Criteria for Recurrent Neural Networks with a..:

Zeng, Hong-Bing ; Xiao, Sheng-Ping ; Liu, Bin
1476-8186.  ,
Link: http://hdl.handle.net/18..
 
?
11

Covalently Functionalized Nanopores for Highly Selective Se..:

Guo, Liping ; Liu, Yuancheng ; Zeng, Haiou...
Advanced Materials.  36 (2024)  1 - p. , 2024
Link: https://doi.org/10.1002/..
 
?
12

Acetamide Electrosynthesis from CO2 and Nitrite in Water:

Kuang, Siyu ; Xiao, Tiantian ; Chi, Haoyuan...
Angewandte Chemie.  136 (2024)  9 - p. , 2024
Link: https://doi.org/10.1002/..
 
?
13

Emerging Advances around Nanofluidic Transport and Mass Sep..:

Guo, Liping ; Wu, Ningran ; Zhang, Shengping...
Small.  , 2024
Link: https://doi.org/10.1002/..
 
?
14

PhotoSolver: A bidirectional photonic solver for systems of..:

Xiao, Yao ; Cheng, Zhitao ; Liu, Shengping...
Optics and Lasers in Engineering.  183 (2024)  - p. 108524 , 2024
Link: https://doi.org/10.1016/..
 
?
15

Trends and cross-country inequalities in the global burden ..:

Cao, Fan ; Xu, Zhiwei ; Li, Xiao-Xiao...
Ageing Research Reviews.  99 (2024)  - p. 102382 , 2024
Link: https://doi.org/10.1016/..
 
1-15