Tong Zhang

1PUBLICATIONS
3CO-AUTHORS
Formal methods for software
Featured researcher

Get your video featured.

JoVEPublish with JoVE
Journal

Publications (1)

|Apr 26, 2025
RabbitSketch: a high-performance sketching library for genome analysis.

Tong Zhang, Zekun Yin, Xiaoming Xu

Pageof 1

Frequent Collaborators

1 joint publications

Xiaoming Xu

1 joint publications

Lifeng Yan

1 joint publications

Bertil Schmidt