2020

• Clique-Width of Point Configurations

  CAGIRICI Onur HLINĚNÝ Petr POKRÝVKA Filip SANKARAN Abhisekh

  Article in Proceedings

  Graph-Theoretic Concepts in Computer Science, WG 2020, year: 2020

2019

• FO model checking on geometric graphs

  HLINĚNÝ Petr POKRÝVKA Filip ROY Bodhayan

  Article in Periodical

  Computational geometry, year: 2019, volume: 78, edition: 1, DOI

2018

• FO model checking of geometric graphs

  HLINĚNÝ Petr POKRÝVKA Filip ROY Bodhayan

  Article in Proceedings

  12th International Symposium on Parameterized and Exact Computation (IPEC 2017), year: 2018