- On the Verification of Totally-Ordered HTN Plans2021 | Matematicko-fyzikální fakulta
- Projektivita v úplně uspořádaných kořenových stromech: alternativní definice projektivity a optimální algoritmy pro zprojektivnění a nalezení neprojektivních hran2005 | Matematicko-fyzikální fakulta
- Projectivity in Totally Ordered Rooted Trees: An Alternative Definition of Projectivity and Optimal Algorithms for Detecting Non-Projective Edges and Projectivizing Totally Ordered Rooted Trees2005 | Matematicko-fyzikální fakulta
- Using Earley Parser for Recognizing Totally Ordered Hierarchical Plans2023 | Matematicko-fyzikální fakulta
- On Total-Order HTN Plan Verification with Method Preconditions – An Extension of the CYK Parsing Algorithm2023 | Matematicko-fyzikální fakulta
- Characterization of uniformly quasi-concave functions2012 | Matematicko-fyzikální fakulta
- Uniformly monotone functions - Definition, properties, characterizations2016 | Matematicko-fyzikální fakulta
- ON COVERED PRIME ELEMENTS AND COMPLETE HOMOMORPHISMS OF FRAMES2014 | Matematicko-fyzikální fakulta
- Ramsey numbers of ordered graphs2020 | Matematicko-fyzikální fakulta, Ústřední knihovna
- Minimum a maximum s k falešnými informacemi +12012 | Matematicko-fyzikální fakulta
- Ramsey numbers of ordered graphs2015 | Matematicko-fyzikální fakulta
- Lessons Learned from the CYK Algorithm for Parsing-based Verification of Hierarchical Plans2023 | Matematicko-fyzikální fakulta
- Relative error streaming quantiles2021 | Matematicko-fyzikální fakulta
- Relative Error Streaming Quantiles +12022 | Matematicko-fyzikální fakulta
- ON ONLINE LABELING WITH LARGE LABEL SET2019 | Matematicko-fyzikální fakulta