Counterexample generation for probabilistic model checking micro-scale cyber-physical systems

by Liu, Yang, Ma, Yan, Yang, Yongsheng, Zheng, Tingting
Published 2022

Phytochemical composition, antioxidant activity, and enzyme inhibitory activities (alpha-glucosidase, xanthine oxidase, and acetylcholinesterase) of musella lasiocarpa

by Li, Rurui, Ru, Yuerong, Wang, Zhenxing, He, Xiahong, Kong, Kin-Weng, Zheng, Tingting, Zhang, Xuechun
Published 2021

Integrative multiomics analysis reveals host-microbe-metabolite interplays associated with the aging process in Singaporeans

by Chen, Liwei, Zheng, Tingting, Yang, Yifan, Chaudhary, Prem Prashant, Teh, Jean Pui Yi, Cheon, Bobby Kyungbeom, Moses, Daniela, Schuster, Stephan Christoph, Schlundt, Joergen, Li, Jun, Conway, Patricia Lynne
Published 2022