Search research articles

ABOUT JoVE

Overview Leadership Blog JoVE Help Center

AUTHORS

Publishing Process Editorial Board Scope & Policies Peer Review FAQ Submit

LIBRARIANS

Testimonials Subscriptions Access Resources Library Advisory Board FAQ

RESEARCH

JoVE Journal Methods Collections JoVE Encyclopedia of Experiments Archive

EDUCATION

JoVE Core JoVE Business JoVE Science Education JoVE Lab Manual Faculty Resource Center Faculty Site

Terms & Conditions of Use

Xinye Yu

3PUBLICATIONS

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 (3)

Sort by Publication Date:

|Oct 22, 2025

CryoDataBot: a pipeline to curate cryoEM datasets for AI-driven structural biology.

Qibo Xu, Leon Wu, Michael Rebelo

|Sep 18, 2025

CryoDataBot: a pipeline to curate cryoEM datasets for AI-driven structural biology.

Qibo Xu, Leon Wu, Michael Rebelo

|Mar 11, 2024

TomoNet: A streamlined cryoET software pipeline with automatic particle picking on flexible lattices.

Hui Wang, Shiqing Liao, Xinye Yu

Pageof 1

Frequent Collaborators

3 joint publications

Z Hong Zhou

2 joint publications

Qibo Xu

2 joint publications

Leon Wu

2 joint publications

Michael Rebelo

2 joint publications

Shi Feng

2 joint publications

Farhanaz Farheen

2 joint publications

Daisuke Kihara

1 joint publications

Hui Wang

1 joint publications

Shiqing Liao

1 joint publications

Jiayan Zhang

Frequent Collaborators

3 joint publications

Z Hong Zhou

2 joint publications

Qibo Xu

2 joint publications

Leon Wu

2 joint publications

Michael Rebelo

Top Related Videos

A Pipeline to Investigate the Structures and Signaling Pathways of Sphingosine 1-Phosphate Receptors

A Pipeline to Investigate the Structures and Signaling Pathways of Sphingosine 1-Phosphate Receptors

Published on : Jun 08, 2022

The Automated Crystallography Pipelines at the EMBL HTX Facility in Grenoble

The Automated Crystallography Pipelines at the EMBL HTX Facility in Grenoble

Published on : Jun 05, 2021

Using Tomoauto: A Protocol for High-throughput Automated Cryo-electron Tomography

Using Tomoauto: A Protocol for High-throughput Automated Cryo-electron Tomography

Published on : Jan 30, 2016

See more related videos

Top Related Videos

A Pipeline to Investigate the Structures and Signaling Pathways of Sphingosine 1-Phosphate Receptors

A Pipeline to Investigate the Structures and Signaling Pathways of Sphingosine 1-Phosphate Receptors

Published on : Jun 08, 2022

The Automated Crystallography Pipelines at the EMBL HTX Facility in Grenoble

The Automated Crystallography Pipelines at the EMBL HTX Facility in Grenoble

Published on : Jun 05, 2021

Using Tomoauto: A Protocol for High-throughput Automated Cryo-electron Tomography

Using Tomoauto: A Protocol for High-throughput Automated Cryo-electron Tomography

Published on : Jan 30, 2016

See more related videos