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

Victoria Lim

1PUBLICATIONS

16CO-AUTHORS

Formal methods for software

Featured researcher

Get your video featured.

Publish with JoVE

Featured researcher

Get your video featured.

Publish with JoVE

Publications (1)

Sort by Publication Date:

|Aug 18, 2025

alchemlyb: the simple alchemistry library.

Zhiyi Wu, David L Dotson, Irfan Alibay

Pageof 1

Frequent Collaborators

2 joint publications

Shuai Liu

1 joint publications

Zhiyi Wu

1 joint publications

David L Dotson

1 joint publications

Irfan Alibay

1 joint publications

Bryce K Allen

1 joint publications

Mohammad Soroush Barhaghi

1 joint publications

Jérôme Hénin

1 joint publications

Thomas T Joseph

1 joint publications

Ian M Kenney

1 joint publications

Hyungro Lee

Frequent Collaborators

2 joint publications

Shuai Liu

1 joint publications

Zhiyi Wu

1 joint publications

David L Dotson

1 joint publications

Irfan Alibay

Top Related Videos

Curation of Computational Chemical Libraries Demonstrated with Alpha-Amino Acids

Curation of Computational Chemical Libraries Demonstrated with Alpha-Amino Acids

Published on : Apr 13, 2022

See more related videos

Top Related Videos

Curation of Computational Chemical Libraries Demonstrated with Alpha-Amino Acids

Curation of Computational Chemical Libraries Demonstrated with Alpha-Amino Acids

Published on : Apr 13, 2022

See more related videos