Han, Liuliu ; Zhu, Shuya ; Rao, Ziyuan ; Scheu, Christina ; Ponge, Dirk ; Ludwig, Alfred ; Zhang, Hongbin ; Gutfleisch, Oliver ; Hahn, Horst ; Liu, Zhiming ; Raabe, Dierk (2024)
Multifunctional high-entropy materials.
In: Nature Reviews Materials
doi: 10.1038/s41578-024-00720-y
Artikel, Bibliographie

Wasser, Nathan
Hrsg.: Li, Xuandong ; Liu, Zhiming ; Yi, Wang (2015)
Generating Specifications for Recursive Methods by Abstracting Program States.
Dependable Software Engineering: Theories, Tools, and Applications - First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings.
doi: 10.1007/978-3-319-25942-0_16
Konferenzveröffentlichung, Bibliographie

Willför, Stefan ; Alén, Raimo ; Dam, Jan van ; Liu, Zhiming ; Tähtinen, Miia
Hrsg.: Fardim, Pedro (2011)
Raw materials.
In: Chemical Pulping. Part 1. Fibre Chemistry and Technology
Buchkapitel, Bibliographie

Abdulla, Parosh Aziz ; Atto, Muhsin ; Cederberg, Jonathan ; Ji, Ran
Hrsg.: Liu, Zhiming ; Ravn, Anders (2009)
Automated Analysis of Data-Dependent Programs with Dynamic Memory.
Konferenzveröffentlichung, Bibliographie