- Some examples of universal and generic partial orders2011 | Faculty of Mathematics and Physics
- Big Ramsey Degrees of the Generic Partial Order2021 | Faculty of Mathematics and Physics
- Integrating Constraint Models for Sequential and Partial-Order Planning2009 | Faculty of Mathematics and Physics
- Algorithms for comparability of matrices in partial orders imposed by graph homomorphisms2005 | Faculty of Mathematics and Physics
- Hybrid Partial Order Reduction with Under-Approximate Dynamic Points-To and Determinacy Information2016 | Faculty of Mathematics and Physics
- A Sound Dynamic Partial Order Reduction Engine for Java Pathfinder2019 | Faculty of Mathematics and Physics
- Hybrid Analysis for Partial Order Reduction of Programs with Arrays2016 | Faculty of Mathematics and Physics
- Universal partial orders represented by means of oriented trees and other simple graphs +12005 | Faculty of Mathematics and Physics
- Ramsey Partial Orders from Acyclic Graphs2018 | Faculty of Mathematics and Physics
- The complexity of the partial order dimension problem: Closing the gap2017 | Faculty of Mathematics and Physics
- FTIR spectroscopy of partially ordered conducting polyaniline films2003 | Faculty of Mathematics and Physics
- Algorithms for Comparability of Matrices in Partial Orders Imposed by Graph Homomorphisms2005 | Faculty of Mathematics and Physics
- Big Ramsey Degrees of the Universal Homogeneous Partial Order are finite2020 | Faculty of Mathematics and Physics
- On Todorcevic orderings +22015 | Publication without faculty affiliation
- Cycle-Continuous Mappings-Order Structure2017 | Faculty of Mathematics and Physics
- WORKSHOP ON FORCING METHODPublication without faculty affiliation
- Vertex Deletion into Bipartite Permutation Graphs2020 | 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
- Base Tree Property2015 | Publication without faculty affiliation
- The Minimum Independence Number of a Hasse Diagram2006 | Faculty of Mathematics and Physics
- Minors of Boolean functions with respect to clique functions and hypergraph homomorphisms2010 | Faculty of Mathematics and Physics
- On the Homomorphism Order of Oriented Paths and Trees2021 | Faculty of Mathematics and Physics
- Density of universal classes of series-parallel graphs2007 | Faculty of Mathematics and Physics
- Solving Sequential Planning Problems via Constraint Satisfaction2010 | Faculty of Mathematics and Physics
- Homomorphism-homogeneous relational structures2006 | Faculty of Mathematics and Physics
- Universality of intervals of line graph order2014 | Faculty of Mathematics and Physics