Chen Yang

1PUBLICATIONS

10CO-AUTHORS

Formal methods for software

Featured researcher

Get your video featured.

Publish with JoVE

Featured researcher

Get your video featured.

Publish with JoVE

Publications (1)

Sort by Publication Date:

|Nov 05, 2026

Integration and annotation of spatial multi-omic data with DIRAC.

Pageof 1

Frequent Collaborators

1 joint publications

Yuan Cao

1 joint publications

Songren Wei

1 joint publications

Hechen Li

1 joint publications

Xiuwei Zhang

1 joint publications

Hui Shen

1 joint publications

Hongwen Deng

1 joint publications

Ao Chen

1 joint publications

Xun Xu

1 joint publications

Qinghua Jiang

1 joint publications

Boxiang Liu

Frequent Collaborators

1 joint publications

Yuan Cao

1 joint publications

Songren Wei

1 joint publications

Hechen Li

1 joint publications

Xiuwei Zhang