SYMBOLIC TEMPORAL VERIFICATION TECHNIQUES WITH EXTENDED REGULAR EXPRESSIONS

by SONG YAHUI
Published 2023

Realizing a record photothermal conversion efficiency of spiky gold nanoparticles in the second near-infrared window by structure-based rational design

by Bi, Cuixia, Chen, Jin, Chen, Ying, Song, Yahui, Li, Anran, Li, Shuzhou, Mao, Zhengwei, Gao, Changyou, Wang, Dayang, Möhwald, Helmuth, Xia, Haibing
Published 2020