Bao, Jialu
107  Ergebnisse:
Personensuche X
?
1

Alpha-Linolenic Acid Ameliorates Cognitive Impairment and L..:

Zhang, Xian ; Bao, Jialu ; Zhang, Yan.
Diabetes, Metabolic Syndrome and Obesity.  17 (2024)  - p. 981-995 , 2024
 
?
2

Mancozeb induces nephrotoxicity by impairing the oxidative ..:

Zhang, Yan ; Wen, Ran ; Bao, Jialu..
Ecotoxicology and Environmental Safety.  249 (2023)  - p. 114471 , 2023
 
?
3

Data-Driven Invariant Learning for Probabilistic Programs:

, In: Computer Aided Verification; Lecture Notes in Computer Science,
Bao, Jialu ; Trivedi, Nitesh ; Pathak, Drashti.. - p. 33-54 , 2022
 
?
4

Low level of mancozeb exposure affects ovary in mice:

Bao, Jialu ; Zhang, Yan ; Wen, Ran..
Ecotoxicology and Environmental Safety.  239 (2022)  - p. 113670 , 2022
 
?
5

A separation logic for negative dependence:

Bao, Jialu ; Gaboardi, Marco ; Hsu, Justin.
Proceedings of the ACM on Programming Languages.  6 (2022)  POPL - p. 1-29 , 2022
 
?
6

A separation logic for negative dependence:

Bao, Jialu ; Gaboardi, Marco ; Hsu, Justin.
Proceedings of the ACM on Programming Languages.  6 (2022)  POPL - p. 1-29 , 2022
 
?
8

Transcriptomics and metabolomics revealed the molecular mec..:

Zhang, Yan ; Bao, Jialu ; Gong, Xincheng...
Ecotoxicology and Environmental Safety.  243 (2022)  - p. 114003 , 2022
 
?
11

Perfluorooctanoic acid exposure in early pregnancy induces ..:

Zhang, Yan ; Zhang, Linchao ; Bao, Jialu..
Environmental Science and Pollution Research.  28 (2021)  46 - p. 66355-66365 , 2021
 
?
12

A bunched logic for conditional independence:

, In: Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science,
Bao, Jialu ; Docherty, Simon ; Hsu, Justin. - p. 1-14 , 2021
 
?
13

Hidden Community Detection on Two-Layer Stochastic Models: ..:

, In: Lecture Notes in Computer Science; Theory and Applications of Models of Computation,
Bao, Jialu ; He, Kun ; Xin, Xiaodong.. - p. 365-376 , 2020
 
?
 
1-15