Samuel Pastva

3PUBLICATIONS
17CO-AUTHORS
Programming languagesComputer aided designIntegrable systems (classical and quantum)
Featured researcher

Get your video featured.

JoVEPublish with JoVE
Journal

Publications (3)

|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