OMAE2020-18109 Dynamic Modelling of Deep-Water Riser With Slug Flow Based on ALE-ANCF

von Liu, Depeng
Veröffentlicht in ASME International Conference on Ocean, Offshore and Arctic Engineering (39. : 2020 : Online) Proceedings of the ASME 39th International Conference on Ocean, Offshore and Arctic Engineering - 2020 ; Volume 4: Pipelines, risers, and subsea systems (2020)

Venfying Pufferfish Privacy in Hidden Markov Models

von Liu, Depeng
Veröffentlicht in VMCAI (23. : 2022 : Philadelphia, Pa.) Verification, Model Checking, and Abstract Interpretation (2022)

Service implementation in manufacturing firms : the role of service-orientated human resource management practices and demand-side search

von Zhao, Yapu
Veröffentlicht in Management decision (2017)

Formal Verification of Consensus in the Taurus Distributed Database

von Gao, Song
Veröffentlicht in FM (24. : 2021 : Online) Formal Methods (2021)