E-LIB Suche - Ergebnisse für: Zhang, Yuanrui

1

Mechanical properties and constitutive model of high-abunda..:

Yang, Fan ; Li, Changjun ; Wei, Na...
Ocean Engineering. 298 (2024) - p. 117245 , 2024

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

2

A dynamic logic with branching modalities:

Zhang, Yuanrui ; Liu, Zhiming
Journal of Logical and Algebraic Methods in Programming. 136 (2024) - p. 100921 , 2024

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

3

Recovering hydrocarbon from oily sludge using supercritical..:

Li, Changjun ; Song, Shuoshuo ; Jia, Wenlong...
The Journal of Supercritical Fluids. 206 (2024) - p. 106187 , 2024

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

4

Specification and Verification of Multi-Clock Systems Using..:

Zhang, Yuanrui ; Mallet, Frederic ; Zhang, Min.
Formal Aspects of Computing. 36 (2024) 2 - p. 1-51 , 2024

Link: https://doi.org/10.1145/..

5

Independent risk evaluation associated with short-term blac..:

Zhang, Xiaoling ; Zhang, Yuanrui ; Xiu, Meng...
Science of The Total Environment. 880 (2023) - p. 163273 , 2023

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

6

Simulation of multiphase behavior in supercritical CO2–heav..:

Jia, Wenlong ; Song, Shuoshuo ; Li, Changjun...
The Journal of Supercritical Fluids. 200 (2023) - p. 106001 , 2023

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

7

Pipelines reliability assessment considering corrosion-rela..:

Li, Changjun ; Yang, Fan ; Jia, Wenlong...
Process Safety and Environmental Protection. 178 (2023) - p. 226-239 , 2023

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

8

Systematic and dynamic impacts of the COVID-19 pandemic on ..:

Li, Chenggang ; Zhang, Yuanrui ; Chen, Ziling...
Ocean & Coastal Management. 244 (2023) - p. 106774 , 2023

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

9

Blast-loading simulators: Multiscale design of graded cellu..:

Zhang, Yuanrui ; Zhu, Yudong ; Chang, Baixue..
Journal of the Mechanics and Physics of Solids. 180 (2023) - p. 105402 , 2023

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

10

Crashworthiness design of graded cellular materials: Experi..:

Chang, Baixue ; Zheng, Zhijun ; Zhang, Yuanrui...
International Journal of Impact Engineering. 171 (2023) - p. 104366 , 2023

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

11

Auditing Google's Search Headlines as a Potential Gateway t..:

Zade, Himanshu ; Wack, Morgan ; Zhang, Yuanrui...
Journal of Online Trust and Safety. 1 (2022) 4 - p. , 2022

Link: https://doi.org/10.54501..

12

A dynamic logic for verification of synchronous models base..:

Zhang, Yuanrui ; Mallet, Frédéric ; Liu, Zhiming
Frontiers of Computer Science. 16 (2022) 4 - p. , 2022

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

13

Optimal diameter of liquid-phase ethane transportation pipe..:

Jia, Wenlong ; Zhang, Yuanrui ; Li, Changjun...
Journal of Natural Gas Science and Engineering. 107 (2022) - p. 104797 , 2022

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

14

A clock-based dynamic logic for schedulability analysis of ..:

Zhang, Yuanrui ; Mallet, Frédéric ; Zhu, Huibiao...
Science of Computer Programming. 202 (2021) - p. 102546 , 2021

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

15

Prevalence and multilocus sequence typing of Clostridium pe..:

Xu, Wenping ; Zhang, Huining ; Hu, Zixin...
Veterinary Medicine and Science. 7 (2021) 6 - p. 2339-2347 , 2021

Link: https://doi.org/10.1002/..