Lifeng Yan

2PUBLICATIONS
4CO-AUTHORS
Formal methods for softwareApplications in life sciences
Featured researcher

Get your video featured.

JoVEPublish with JoVE
Journal

Publications (2)

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

Tong Zhang, Zekun Yin, Xiaoming Xu

|Nov 16, 2023
RabbitKSSD: accelerating genome distance estimation on modern multi-core architectures.

Xiaoming Xu, Zekun Yin, Lifeng Yan

Pageof 1