On Generalized Heawood Inequalities for Manifolds: A Van Kampen-Flores-type Nonembeddability Result. - Xavier Goaoc; Isaac Mabillard; Pavel Paták; Zuzana Patáková; Martin Tancer; Uli Wagner 001 (SoCG, 2015)

Bounding Helly Numbers via Betti Numbers. - Xavier Goaoc; Pavel Paták; Zuzana Patáková; Martin Tancer; Uli Wagner 001 (SoCG, 2015)

Simplifying Inclusion-Exclusion Formulas. - Xavier Goaoc; Jirí Matousek 001; Pavel Paták; Zuzana Safernová; Martin Tancer (Comb. Probab. Comput., 2015)

Three-Monotone Interpolation. - Josef Cibulka; Jirí Matousek 001; Pavel Paták (Discret. Comput. Geom., 2015)

Bounds for Pach's Selection Theorem and for the Minimum Solid Angle in a Simplex. - Roman N. Karasev; Jan Kyncl; Pavel Paták; Zuzana Patáková; Martin Tancer (Discret. Comput. Geom., 2015)

A Direct Proof of the Strong Hanani-Tutte Theorem on the Projective Plane. - Éric Colin de Verdière; Vojtech Kaluza; Pavel Paták; Zuzana Patáková; Martin Tancer (J. Graph Algorithms Appl., 2017)

Shellability is NP-complete. - Xavier Goaoc; Pavel Paták; Zuzana Patáková; Martin Tancer; Uli Wagner 001 (J. ACM, 2019)

Disjoint Compatibility via Graph Classes. - Oswin Aichholzer; Julia Obmann; Pavel Paták; Daniel Perz; Josef Tkadlec; Birgit Vogtenhuber (WG, 2022)

Shellability Is Hard Even for Balls. - Pavel Paták; Martin Tancer (STOC, 2023)

Embeddings of k-Complexes into 2k-Manifolds. - Pavel Paták; Martin Tancer (Discret. Comput. Geom., 2024)

Jordan-Hölder Theorem with Uniqueness for Semimodular Lattices. - Pavel Paták (Order, 2024)