Local Reasoning for Stateful Programs by Yang, H

An Example of Local Reasoning in BI Pointer Logic: the Schorr−Waite Graph Marking Algorithm by Yang, H

Composite replicated data types by Yang, H

Policy gradient methods for linear quadratic problems by Yang, H

Relational Separation Logic by Yang, H

Kevlar aramid fiber / by 305717 Yang, H. H.

A Comparative Discussion on the Selection of Cardiac Hypertrophy Models: TAC Surgery Vs Ang II Infusion [Letter] by Yang H, Wang X

Get full text

Enhancing Predictive Accuracy of Pediatric COVID-19 Mortality: Integrating Clinical Indicators Beyond HCT-ALB [Letter] by Yang H, Wang X

Get full text

Perceived Organizational Support and Creativity of Science-Technology Talents in the Digital Age: The Effects of Affective Commitment, Innovative Self-Efficacy and Digital Thinking by Yang H, Zhou D

Get full text

CircRNA DUSP16 Knockdown Suppresses Colorectal Cancer Progression by Regulating the miR-432-5p/E2F6 Axis by Wang G, Yang H

Get full text

Heterogeneity in Adolescents’ Non-Suicidal Self-Injury Behaviour Trajectories Based on the Group-Based Trajectory Model and a Decision Tree Analysis of Family-Related Determi... by Li L, Yang H

Get full text

Correctness of Data Representations involving Heap Data Structures by Reddy, U, Yang, H

Metric Spaces and Termination Analyses by Chawdhary, A, Yang, H

Correctness of Data Representations involving Heap Data Structures by Reddy, U, Yang, H

Data Refinement with Low−level Pointer Operations by Mijajlovic, I, Yang, H

Abstraction Refinement Guided by a Learnt Probabilistic Model by Yang, H, Grigore, R

Unique journal: Bio-Design and Manufacturing by Yang, H, Cui, Z

On the Semantics of Refinement Calculi by Yang, H, Reddy, U

Abstraction refinement guided by a learnt probabilistic model by Grigore, R, Yang, H

The Importance of Being Linearizable by Gotsman, A, Yang, H