Petr Ku\v{c}era

Identifiers

• name variant Petr Ku\v{c}era 0.60 · backfill

Papers (3)

1. Parameterized Complexity Of Representing Models Of MSO Formulas cs.AI · 2026 · author #1
2. Approximating minimum representations of key Horn functions cs.DS · 2018 · author #4
3. Solutions to the Navier-Stokes Equations with Mixed Boundary Conditions in Two-Dimensional Bounded Domains math.AP · 2014 · author #2

Mentions

• 1409.4666 #2 · backfill · confidence 0.70 Petr Ku\v{c}era

Frequent Coauthors

• Endre Boros 1 shared papers
• Kazuhisa Makino 1 shared papers
• Krist\'of B\'erczi 1 shared papers
• Michal Bene\v{s} 1 shared papers
• Ond\v{r}ej \v{C}epek 1 shared papers
• Petr Martinek 1 shared papers