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

Filip Rusz

1PUBLICATIONS

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

|Jun 27, 2026

bio.tools: an expanded web service for research software in the life sciences.

Pageof 1

Frequent Collaborators

1 joint publications

Ana I S Mendes

1 joint publications

Hans Ienasescu

1 joint publications

Erin Calhoun

1 joint publications

Piotr J Chmura

1 joint publications

Keiler Collier

1 joint publications

Ove J R Gustafsson

1 joint publications

Matúš Kalaš

1 joint publications

Erik Jaaniso

1 joint publications

Adriaan-Alexander Ludl

1 joint publications

Hervé Ménager

Frequent Collaborators

1 joint publications

Ana I S Mendes

1 joint publications

Hans Ienasescu

1 joint publications

Erin Calhoun

1 joint publications

Piotr J Chmura