Total number of publications: 6
2025
-
Hardness of 4-Colouring 𝐺-Colourable Graphs
STOC '25: Proceedings of the 57th Annual ACM Symposium on Theory of Computing, year: 2025
2024
-
Hardness of Linearly Ordered 4-Colouring of 3-Colourable 3-Uniform Hypergraphs
41ST INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF COMPUTER SCIENCE, STACS 2024, year: 2024
2023
-
Computing Homotopy Classes for Diagrams
DISCRETE & COMPUTATIONAL GEOMETRY, year: 2023, volume: 70, edition: 3, DOI
2020
-
Embeddability of Simplicial Complexes is Undecidable
PROCEEDINGS OF THE THIRTY-FIRST ANNUAL ACM-SIAM SYMPOSIUM ON DISCRETE ALGORITHMS (SODA'20), year: 2020
2014
-
Effective homology for homotopy colimit and cofibrant replacement
Arch. Math. (Brno), year: 2014, volume: 50, edition: 5, DOI
2012
-
Effective chain complexes for twisted products
Arch. Math. (Brno), year: 2012, volume: 48, edition: 5, DOI