Sean Kim

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

Get your video featured.

JoVEPublish with JoVE
Journal

Publications (1)

|Apr 03, 2025
Playbook workflow builder: Interactive construction of bioinformatics workflows.

Daniel J B Clarke, John Erol Evangelista, Zhuorui Xie

Pageof 1

Frequent Collaborators

1 joint publications

Charles Hadley King

1 joint publications

Alexander Sickler

1 joint publications

Philip D Blood

1 joint publications

Avi Ma'ayan