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

Luis Bonah

1PUBLICATIONS

6CO-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:

|Dec 16, 2021

Internal rotation arena: Program performances on the low barrier problem of 4-methylacetophenone.

Sven Herbers, Oliver Zingsheim, Ha Vinh Lam Nguyen

Pageof 1

Frequent Collaborators

1 joint publications

Sven Herbers

1 joint publications

Oliver Zingsheim

1 joint publications

Ha Vinh Lam Nguyen

1 joint publications

Bettina Heyne

1 joint publications

Nadine Wehres

1 joint publications

Stephan Schlemmer

Frequent Collaborators

1 joint publications

Sven Herbers

1 joint publications

Oliver Zingsheim

1 joint publications

Ha Vinh Lam Nguyen

1 joint publications

Bettina Heyne

Top Related Videos

Versatile CO<sub>2</sub> Transformations into Complex Products: A One-pot Two-step Strategy

Versatile CO<sub>2</sub> Transformations into Complex Products: A One-pot Two-step Strategy

Published on : Nov 09, 2019

See more related videos

Top Related Videos

Versatile CO<sub>2</sub> Transformations into Complex Products: A One-pot Two-step Strategy

Versatile CO<sub>2</sub> Transformations into Complex Products: A One-pot Two-step Strategy

Published on : Nov 09, 2019

See more related videos