Publications
- On verification of nested workflows with extra constraints: From theory to practice2014 | Faculty of Mathematics and Physics
- Verifying Nested Workflows with Extra Constraints2013 | Faculty of Mathematics and Physics
- Automated Verification of Constraints in Nested Workflows2012 | Faculty of Mathematics and Physics
- FlowOpt: Bridging the Gap Between Optimization Technology and Manufacturing Planners +12012 | Faculty of Mathematics and Physics
- FlowOpt: A Set of Tools for Modeling, Optimizing, Analyzing, and Visualizing Production Workflows2011 | Faculty of Mathematics and Physics
- Workflow Optimization with FlowOpt, On Modelling, Optimizing, Visualizing, and Analysing Production Workflows2011 | Faculty of Mathematics and Physics
- FlowOptPublication without faculty affiliation
Loading network view...