FO model checking on geometric graphs. - Petr Hlinený; Filip Pokrývka; Bodhayan Roy (Comput. Geom., 2019)

Weighted Model Counting with Twin-Width. - Robert Ganian; Filip Pokrývka; André Schidler; Kirill Simonov; Stefan Szeider (SAT, 2022)

Twin-width and Limits of Tractability of FO Model Checking on Geometric Graphs. - Petr Hlinený; Filip Pokrývka (CoRR, 2022)

Weighted Model Counting with Twin-Width: Experimental Results. - Robert Ganian; Filip Pokrývka; André Schidler; Kirill Simonov; Stefan Szeider (Zenodo, 2022)

Sparse Graphs of Twin-Width 2 Have Bounded Tree-Width. - Benjamin Bergougnoux; Jakub Gajarský; Grzegorz Guspiel; Petr Hlinený; Filip Pokrývka; Marek Sokolowski 001 (ISAAC, 2023)

The χ-binding function of d-directional segment graphs. - Lech Duraj; Ross J. Kang; Hoang La; Jonathan Narboni; Filip Pokrývka; Clément Rambaud; Amadeus Reinald (CoRR, 2023)

Clique-width of point configurations. - Onur Çagirici; Petr Hlinený; Filip Pokrývka; Abhisekh Sankaran (J. Comb. Theory B, 2023)

3D-grids are not transducible from planar graphs. - Jakub Gajarský; Michal Pilipczuk; Filip Pokrývka (CoRR, 2025)