Sun, Jun.

Overview

Works:	1 works in 6 publications in 1 languages

Titles

FM 2014 = Formal methods : 19th International Symposium, Singapore, May 12-16, 2014 : proceedings / by: Jones, Cliff.; Pihlajasaari, Pekka.; Sun, Jun.; SpringerLink (Online service) (Electronic resources)

Nanoscale precipitation in hot rolled sheet steel. by: Sun, Jun.; Colorado School of Mines., Metallurgical and Materials Engineering. (Language materials, printed)

Mechanisms underlying host-microbiome interactions in pathophysiology of human diseases by: Sun, Jun.; Dudeja, Pradeep K.; SpringerLink (Online service) (Electronic resources)

Automated technology for verification and analysis = 21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023 : proceedings.. Part II / by: Sun, Jun.; SpringerLink (Online service); ATVA (Symposium) (2023 :); Andre, Etienne. (Electronic resources)

Inflammation, infection, and microbiome in cancers = evidence, mechanisms, and implications / by: Sun, Jun.; SpringerLink (Online service) (Electronic resources)

Automated technology for verification and analysis = 21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023 : proceedings.. Part I / by: Sun, Jun.; SpringerLink (Online service); Andre, Etienne.; ATVA (Symposium) (2023 :) (Electronic resources)

Bioinformatic and statistical analysis of microbiome data = from raw sequences to advanced modeling with QIIME 2 and R / by: Sun, Jun.; SpringerLink (Online service); Xia, Yinglin. (Electronic resources)

Modeling and finite element analysis of welding distortions and residual stresses in large and complex structures. by: Sun, Jun.; The Pennsylvania State University. (Electronic resources)

Subjects