- Computing explanations for the unary resource constraint2005 | Faculty of Mathematics and Physics
- Computing Explanations for the Unary Resource Constraints +12005 | Faculty of Mathematics and Physics
- O (n log n) filtering algorithms for unary resource constraint2004 | Publication without faculty affiliation
- Homomorphic images of finite subdirectly irreducible unary algebras2007 | Faculty of Mathematics and Physics
- Unary Integer Linear Programming with Structural Restrictions2018 | Faculty of Mathematics and Physics
- Extension of O(n log n) filtering algorithms for the unary resource constraint to optional activities +12005 | Faculty of Mathematics and Physics
- Universal topological unary varieties2003 | Faculty of Mathematics and Physics
- Unary Resource Constraint with Optional Activities2004 | Faculty of Mathematics and Physics, Central Library of Charles University
- The unary arithmetical algorithm in bimodular number systems2013 | Publication without faculty affiliation
- Minimal varietes and quasivarieties of semilattices with one automorphism2009 | Faculty of Mathematics and Physics
- Interactive Gantt ViewerPublication without faculty affiliation
- Scheduling Models for Multi-Agent Path Finding2017 | Faculty of Mathematics and Physics
- Global Constraints in Scheduling2007 | Faculty of Mathematics and Physics
- Structural Limits and Approximations of Mappings2015 | Faculty of Mathematics and Physics
- The dichotomy for conservative constraint satisfaction problems revisited2011 | Faculty of Mathematics and Physics
- On Monotone Modalities and Adjointness2011 | Faculty of Arts
- Smooth Approximations and Relational Width Collapses2021 | Faculty of Mathematics and Physics
- All those EPPA classes (strengthenings of the Herwig-Lascar theorem)2022 | Faculty of Mathematics and Physics
- Ramsey properties and extending partial automorphisms forhbox classes of finite structures2021 | Faculty of Mathematics and Physics
- New results on deterministic sgraffito automata2013 | Faculty of Mathematics and Physics
- A local approach to automated correction of violated precedence and resource constraints in manually altered schedules (Paper No. 6)2009 | Faculty of Mathematics and Physics
- A local approach to automated correction of violated precedence and resource constraints in manually altered schedules2009 | Faculty of Mathematics and Physics
- Adjoint maps between implicative semilattices and continuity of localic maps2022 | Faculty of Mathematics and Physics
- Reductio ad contradictionem: an algebraic perspective2016 | Faculty of Arts
- Two-dimensional Sgraffito automata2014 | Faculty of Mathematics and Physics
- Strongly polynomial sequences as interpretations2016 | Faculty of Mathematics and Physics
