Sun, Jun.

Overview

Works:	1 works in 7 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.; SpringerLink (Online service); Dudeja, Pradeep K. (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); Andre, Etienne.; ATVA (Symposium) (2023 :) (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)

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

Dependable software engineering = theories, tools, and applications : 9th International Symposium, SETTA 2023, Nanjing, China, November 27-29, 2023 : proceedings / by: Sun, Jun.; SpringerLink (Online service); Hermanns, Holger.; Bu, Lei.; SETTA (Symposium) (2023 :) (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)

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)

Subjects