David \v{S}afr\'anek

Identifiers

No identifiers captured yet.

Papers (2)

1. Inference of Qualitative Models from Steady-State Data via Weighted MaxSMT q-bio.MN · 2026 · author #4
2. Parameter Space Abstraction and Unfolding Semantics of Discrete Regulatory Networks cs.DM · 2018 · author #2

Mentions

No mention provenance yet.

Frequent Coauthors

• Juraj Kol\v{c}\'ak 1 shared papers
• Lo\"ic Paulev\'e 1 shared papers
• Martin Jon\'a\v{s} 1 shared papers
• Nikola Bene\v{s} 1 shared papers
• Ond\v{r}ej Huvar 1 shared papers
• Samuel Pastva 1 shared papers
• Stefan Haar 1 shared papers