- On the Verification of Totally-Ordered HTN Plans2021 | Faculty of Mathematics and Physics
- Projectivity in Totally Ordered Rooted Trees: An Alternative Definition of Projectivity and Optimal Algorithms for Detecting Non-Projective Edges and Projectivizing Totally Ordered Rooted Trees +12005 | Faculty of Mathematics and Physics
- Using Earley Parser for Recognizing Totally Ordered Hierarchical Plans2023 | Faculty of Mathematics and Physics
- On Total-Order HTN Plan Verification with Method Preconditions – An Extension of the CYK Parsing Algorithm2023 | Faculty of Mathematics and Physics
- Characterization of uniformly quasi-concave functions2012 | Faculty of Mathematics and Physics
- Uniformly monotone functions - Definition, properties, characterizations2016 | Faculty of Mathematics and Physics
- ON COVERED PRIME ELEMENTS AND COMPLETE HOMOMORPHISMS OF FRAMES2014 | Faculty of Mathematics and Physics
- Ramsey numbers of ordered graphs2020 | Faculty of Mathematics and Physics, Central Library of Charles University
- Minimum and maximum against k lies +12012 | Faculty of Mathematics and Physics
- Ramsey numbers of ordered graphs2015 | Faculty of Mathematics and Physics
- Lessons Learned from the CYK Algorithm for Parsing-based Verification of Hierarchical Plans2023 | Faculty of Mathematics and Physics
- Relative error streaming quantiles2021 | Faculty of Mathematics and Physics
- Relative Error Streaming Quantiles +12022 | Faculty of Mathematics and Physics
- ON ONLINE LABELING WITH LARGE LABEL SET2019 | Faculty of Mathematics and Physics