- Benders Decomposition in SMT for Rescheduling of Hierarchical Workflows2017 | Matematicko-fyzikální fakulta
- Machine Breakdown Recovery in Production Scheduling with Simple Temporal Constraints2015 | Matematicko-fyzikální fakulta
- Reactive Recovery from Machine Breakdown in Production Scheduling with Temporal Distance and Resource Constraints2015 | Matematicko-fyzikální fakulta
- Minimization of Useless Work in Resource Failure Recovery of Workflow Schedules2018 | Matematicko-fyzikální fakulta
- Příjem tvořící majetkovou podstatu v insolvenčním řízení a srážky z příjmu dlužníka prováděné v průběhu oddlužení plněného splátkovým kalendářem2017 | Právnická fakulta
- Hierarchical task model for resource failure recovery in production scheduling2017 | Matematicko-fyzikální fakulta
- Converbs from a cross-linguistic perspectivePublikace bez příslušnosti k fakultě