Jove
Visualize
Contact Us
JoVE
x logofacebook logolinkedin logoyoutube logo
ABOUT JoVE
OverviewLeadershipBlogJoVE Help Center
AUTHORS
Publishing ProcessEditorial BoardScope & PoliciesPeer ReviewFAQSubmit
LIBRARIANS
TestimonialsSubscriptionsAccessResourcesLibrary Advisory BoardFAQ
RESEARCH
JoVE JournalMethods CollectionsJoVE Encyclopedia of ExperimentsArchive
EDUCATION
JoVE CoreJoVE BusinessJoVE Science EducationJoVE Lab ManualFaculty Resource CenterFaculty Site
Terms & Conditions of Use
Privacy Policy
Policies

David Šafránek

5PUBLICATIONS
35CO-AUTHORS
Programming languagesComputer aided designInformation systems philosophy, research methods and theoryStochastic analysis and modellingPsychosocial aspects of childbirth and perinatal mental health
Featured researcher

Get your video featured.

JoVEPublish with JoVE
Featured researcher

Get your video featured.

JoVEPublish with JoVE
Journal

Publications (5)

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 03, 2024
Systems Biology in ELIXIR: modelling in the spotlight.

Vitor Martins Dos Santos, Mihail Anton, Barbara Szomolay

|Nov 13, 2023
Combining formal methods and Bayesian approach for inferring discrete-state stochastic models from steady-state data.

Julia Klein, Huy Phung, Matej Hajnal

|Sep 15, 2022
Extracting individual characteristics from population data reveals a negative social effect during honeybee defence.

Tatjana Petrov, Matej Hajnal, Julia Klein

Pageof 1

Frequent Collaborators

2 joint publications

Tatjana Petrov

2 joint publications

Samuel Pastva

1 joint publications

Julia Klein

1 joint publications

Mihail Anton

1 joint publications

Martin Golebiewski

1 joint publications

Katharina F Heil

1 joint publications

Pascal Kahlem

1 joint publications

Maria I Klapa

1 joint publications

Alexey Kolodkin

1 joint publications

Martina Kutmon

Frequent Collaborators

2 joint publications

Tatjana Petrov

2 joint publications

Samuel Pastva

1 joint publications

Julia Klein

1 joint publications

Mihail Anton