- Some examples of universal and generic partial orders2011 | Matematicko-fyzikální fakulta
- Big Ramsey Degrees of the Generic Partial Order2021 | Matematicko-fyzikální fakulta
- Integrace constraintových modelů pro sekvenční a částečně uspořádané plánování2009 | Matematicko-fyzikální fakulta
- Algoritmy pro porovnávání matic v uspořádáních podle grafových homomorfismů2005 | Matematicko-fyzikální fakulta
- Hybrid Partial Order Reduction with Under-Approximate Dynamic Points-To and Determinacy Information2016 | Matematicko-fyzikální fakulta
- A Sound Dynamic Partial Order Reduction Engine for Java Pathfinder2019 | Matematicko-fyzikální fakulta
- Hybrid Analysis for Partial Order Reduction of Programs with Arrays2016 | Matematicko-fyzikální fakulta
- Universální částečná uspořádání representovatelná pomocí orientovaných stromů a dalšími jednoduchými grafy2005 | Matematicko-fyzikální fakulta
- Ramsey Partial Orders from Acyclic Graphs2018 | Matematicko-fyzikální fakulta
- The complexity of the partial order dimension problem: Closing the gap2017 | Matematicko-fyzikální fakulta
- FTIR spectroscopy of partially ordered conducting polyaniline films2003 | Matematicko-fyzikální fakulta
- Algorithms for Comparability of Matrices in Partial Orders Imposed by Graph Homomorphisms2005 | Matematicko-fyzikální fakulta
- Big Ramsey Degrees of the Universal Homogeneous Partial Order are finite2020 | Matematicko-fyzikální fakulta
- Universal partial orders represented by means of oriented trees and other simple graphs2005 | Matematicko-fyzikální fakulta
- On Todorcevic orderings +22015 | Publikace bez příslušnosti k fakultě
- Cycle-Continuous Mappings-Order Structure2017 | Matematicko-fyzikální fakulta
- Workshop "Forcing metoda"Publikace bez příslušnosti k fakultě
- Vertex Deletion into Bipartite Permutation Graphs2020 | Matematicko-fyzikální fakulta
- Characterization of uniformly quasi-concave functions2012 | Matematicko-fyzikální fakulta
- Uniformly monotone functions - Definition, properties, characterizations2016 | Matematicko-fyzikální fakulta
- Base Tree Property2015 | Publikace bez příslušnosti k fakultě
- Minimální nezávislost Hasseových diagramů2006 | Matematicko-fyzikální fakulta
- Minory Booleovských funkcí vzhledem ke klikovým funkcím a hypergrafovým homomorfismům2010 | Matematicko-fyzikální fakulta
- On the Homomorphism Order of Oriented Paths and Trees2021 | Matematicko-fyzikální fakulta
- Hustota univerzálních tříd sériově-paralelních grafů2007 | Matematicko-fyzikální fakulta
- Řešení problémů sekvenčního plánování technikou splňování podmínek2010 | Matematicko-fyzikální fakulta
- Homomorfismově homogenní relační struktury2006 | Matematicko-fyzikální fakulta
- Universality of intervals of line graph order2014 | Matematicko-fyzikální fakulta