Yu Huang

Inducible ATP1B1 Upregulates Antiviral Innate Immune Responses by the Ubiquitination of TRAF3 and TRAF6

Ying Zhu, Gang Xu, Shi Liu, 2021, The Journal of Immunology.

Hepatitis B Surface Antigen Suppresses the Activation of Nuclear Factor Kappa B Pathway via Interaction With the TAK1-TAB2 Complex

Ying Zhu, Gang Xu, Shi Liu, 2021, Frontiers in Immunology.

Compositional Model Checking of Consensus Protocols via Interaction-Preserving Abstraction

Xiaoxing Ma, Yu Huang, Xiaosong Gu, 2022, 2022 41st International Symposium on Reliable Distributed Systems (SRDS).

Compositional Model Checking of Consensus Protocols Specified in TLA+ via Interaction-Preserving Abstraction

Xiaoxing Ma, Yu Huang, Xiaosong Gu, 2022, ArXiv.

MAVS integrates glucose metabolism and RIG-I-like receptor signaling

Gang Xu, Shi Liu, Longyu Nie, 2023, Nature communications.