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

Michael Rebelo

2PUBLICATIONS

7CO-AUTHORS

Formal methods for software

Featured researcher

Get your video featured.

Publish with JoVE

Featured researcher

Get your video featured.

Publish with JoVE

Publications (2)

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

Pageof 1

Frequent Collaborators

2 joint publications

Qibo Xu

2 joint publications

Leon Wu

2 joint publications

Shi Feng

2 joint publications

Xinye Yu

2 joint publications

Farhanaz Farheen

2 joint publications

Daisuke Kihara

2 joint publications

Z Hong Zhou

Frequent Collaborators

2 joint publications

Qibo Xu

2 joint publications

Leon Wu

2 joint publications

Shi Feng

2 joint publications

Xinye Yu

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

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

See more related videos