Ond\v{r}ej Huvar

Identifiers

No identifiers captured yet.

Papers (2)

1. Inference of Qualitative Models from Steady-State Data via Weighted MaxSMT q-bio.MN · 2026 · author #1
2. SMT with Uninterpreted Functions and Monotonicity Constraints in Systems Biology cs.LO · 2026 · author #1

Mentions

No mention provenance yet.

Frequent Coauthors

• Martin Jon\'a\v{s} 2 shared papers
• Samuel Pastva 2 shared papers
• David \v{S}afr\'anek 1 shared papers
• Nikola Bene\v{s} 1 shared papers