E-LIB Suche - Ergebnisse für: Fu, Yu-Fu

1

Correction to: CoqCryptoLine: A Verified Model Checker with..:

, In: Computer Aided Verification; Lecture Notes in Computer Science,

Tsai, Ming-Hsien ; Fu, Yu-Fu ; Liu, Jiaxiang... - p. C1-C1 , 2023

Link: https://doi.org/10.1007/..

2

CoqCryptoLine: A Verified Model Checker with Certified Resu..:

, In: Computer Aided Verification; Lecture Notes in Computer Science,

Tsai, Ming-Hsien ; Fu, Yu-Fu ; Liu, Jiaxiang... - p. 227-240 , 2023

Link: https://doi.org/10.1007/..

3

Does the periportal end of a double-lumen endobronchial tub..:

Chen, Zhi-yuan ; Lin, Yu-mei ; Wu, Jian-hua...
Annals of Medicine. 55 (2023) 2 - p. , 2023

Link: https://doi.org/10.1080/..

4

Certified Verification for Algebraic Abstraction:

, In: Computer Aided Verification; Lecture Notes in Computer Science,

Tsai, Ming-Hsien ; Fu, Yu-Fu ; Liu, Jiaxiang... - p. 329-349 , 2023

Link: https://doi.org/10.1007/..

5

CoqQFBV: A Scalable Certified SMT Quantifier-Free Bit-Vecto..:

, In: Computer Aided Verification; Lecture Notes in Computer Science,

Shi, Xiaomu ; Fu, Yu-Fu ; Liu, Jiaxiang... - p. 149-171 , 2021

Link: https://doi.org/10.1007/..

6

Signed Cryptographic Program Verification with Typed Crypto..:

, In: Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security,

Fu, Yu-Fu ; Liu, Jiaxiang ; Shi, Xiaomu... - p. 1591-1606 , 2019

Link: https://dl.acm.org/doi/1..

7

A Complete Model of Lifetime Distribution for Electromigrat..:

Kuan-Yu Fu, Kuan-Yu Fu
Japanese Journal of Applied Physics. 34 (1995) 9R - p. 4834 , 1995

Link: https://doi.org/10.1143/..

8

Determination of90Sr in environmental and biological materi..:

Bjørnstad, H. E. ; Lien, H. N. ; Yu, Yu-Fu.
Journal of Radioanalytical and Nuclear Chemistry Articles. 156 (1992) 1 - p. 165-173 , 1992

Link: https://doi.org/10.1007/..

9

Recent advances in the determination of low level plutonium..:

Yu-Fu, Yu ; Salbu, B. ; Bjørnstad, H. E.
Journal of Radioanalytical and Nuclear Chemistry Articles. 148 (1991) 1 - p. 163-174 , 1991

Link: https://doi.org/10.1007/..

10

Improvement for α-energy resolution in determination of low..:

Yu-fu, Yu ; Salbu, B. ; Bjørnstad, H. E..
Journal of Radioanalytical and Nuclear Chemistry Letters. 145 (1990) 5 - p. 345-353 , 1990

Link: https://doi.org/10.1007/..

11

Solvent extraction of cerium/III/ with 1-/2-pyridylazo/-2-n..:

yu-fu, Yu ; zhi-jian, Zheng
Journal of Radioanalytical and Nuclear Chemistry Letters. 96 (1985) 3 - p. 257-264 , 1985

Link: https://doi.org/10.1007/..

12

Bioactive secondary metabolites isolated from the branches ..:

Liu, Ting ; Xu, Li-Ting ; Ning, De-Sheng...
Fitoterapia. 177 (2024) - p. 106145 , 2024

Link: https://doi.org/10.1016/..

13

Altered Brain Glymphatic Function at Diffusion-Tensor MRI i..:

Shu, Kun ; Fu, Yu-Chuan ; Huang, Mei...
Academic Radiology. , 2024

Link: https://doi.org/10.1016/..

14

Two three-dimensional coordination polymers as fluorescence..:

Dong, Lu-Lu ; Yang, Hua ; Sun, Xue-hua...
Spectrochimica Acta Part A: Molecular and Biomolecular Spectroscopy. , 2024

Link: https://doi.org/10.1016/..

15

Development and initial validation of the career resilience..:

Wang, An-Qi ; Cheng, Wen-Di ; Fu, Yu-Yan...
Frontiers in Public Health. 12 (2024) - p. , 2024

Link: https://doi.org/10.3389/..