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

Policies

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

Policies

Samuel Pastva

3PUBLICATIONS

17CO-AUTHORS

Programming languagesComputer aided designIntegrable systems (classical and quantum)

Get your video featured.

Publish with JoVE

Get your video featured.

Publish with JoVE

Publications (3)

Sort by Publication Date:

|Jun 12, 2026

TabularQual: A spreadsheet-based format for annotating and curating logical models in SBML-qual.

|Feb 11, 2026

Sketchbook: logical model inference from Boolean network sketches.

Ondřej Huvar, Nikola Beneš, Luboš Brim

|Jun 30, 2023

Trap spaces of multi-valued networks: definition, computation, and applications.

Van-Giang Trinh, Belaid Benhamou, Thomas Henzinger

Pageof 1

Frequent Collaborators

David Šafránek

Van-Giang Trinh

Nikola Beneš

Luna Xingyu Li

Carissa Bleker

Sylvain Soliman

Laurence Calzone

Noriko Hiroi

Tomáš Helikar

Matthias König

Frequent Collaborators

David Šafránek

Van-Giang Trinh

Nikola Beneš

Luna Xingyu Li