Yao Shi

Timing Analysis of a Protected Operating System Kernel

Bernard Blackham, Yao Shi, Sudipta Chattopadhyay et al. · 2011 · 72 citations

Wcet Analysis, Engineering, Hardware Verification Language +18

Telomere shortening activates TGF-β/Smads signaling in lungs and enhances both lipopolysaccharide and bleomycin-induced pulmonary fibrosis

Yingying Liu, Yao Shi, Ya Liu et al. · Acta Pharmacologica Sinica · 2018 · 48 citations · Full text

Fibrosis, Inflammatory Lung Disease, Bleomycin-induced Pulmonary Fibrosis +10

Improving interrupt response time in a verifiable protected microkernel

Bernard Blackham, Yao Shi, Gernot Heiser · 2012 · 26 citations

Engineering, Information Security, Verification +22

Martensitic transformation and work hardening of metastable austenite induced by abrasion in austenitic Fe-C-Cr-Mn-B Alloy - a TEM study

Xiaochuan Xu, Zhenwei Yu, Y. Q. et al. · Materials Science and Technology · 2002 · 20 citations

Materials Science, Engineering, Severe Plastic Deformation +14

Joint DL/UL Decoupled Cell-Association and Resource Allocation in D2D-Underlay HetNets

Yao Shi, Emad Alsusa, Mohammed W. Baidas · IEEE Transactions on Vehicular Technology · 2021 · 20 citations

Subchannel Allocation, Engineering, Device-to-device Communication +11