Maternal infections during pregnancy and the risk of childhood leukaemia in the offspring: Evidence from large-scale cohort studies by He, J

Studies towards the total synthesis of tetrodecamycin by He, J

Letter about ‘A More Complete Model of Communicating Processes' by He, J

CSP is a retract of CCS by He, J, Hoare, T

Morin Ameliorates Myocardial Injury in Diabetic Rats via Modulation of Autophagy, Apoptosis, Inflammation, and Oxidative Stress by Zhu L, He J

Get full text

Interest-Curiosity, Depression, and Peer Relationships Among Chinese Adolescents: A Cross-Lagged, Semi-Longitudinal Study by He J, Liu H

Get full text

Assessing the Causal Relationship Between Immune Cells and Temporomandibular Related Pain by Bi‑Directional Mendelian Randomization Analysis by He J, Chen X

Get full text

Linking Theories in Probabilistic Programming by He, J, Hoare, C

A Trace Model for Pointers and Objects by Hoare, C, He, J

Categorical Semantics for Programming Languages by He, J, Hoare, C

Linking Theories of Concurrency by He, J, Hoare, C

The Weakest Prespecification I by Hoare, C, He, J

From Algebra to Operational Semantics by He, J, Hoare, C

Unifying Theories for Parallel Programming by Hoare, C, He, J

Unifying theories of programming by He, J, Hoare, C

Unifying theories of healthiness condition by He, J, Hoare, C

The Weakest Prespecification by Hoare, C, He, J

Natural Transformations and Data Refinement by Hoare, C, He, J

Algebraic Specification and Proof of Properties of a Mail Service by Hoare, C, He, J

CSP Is a Retract of CCS by He, J, Hoare, C