Vladimír Rovenský

Publication Activity (10 Years)

Years Active: 2012-2014
Publications (10 Years): 0

Top Topics

Theoretical Insights

Advanced Technology

Global Constraints

Nested Relations

Top Venues

Expert Syst. Appl.

Publications

Roman Barták, Vladimír Rovenský
On verification of nested workflows with extra constraints: From theory to practice. Expert Syst. Appl. 41 (3) (2014)
Roman Barták, Vladimír Rovenský
Verifying Nested Workflows with Extra Constraints. MICAI (1) (2012)
Roman Barták, Milan Jaska, Ladislav Novak, Vladimír Rovenský, Tomás Skalický, Martin Cully, Con Sheahan, Thanh-Tung Dang
FlowOpt: Bridging the Gap Between Optimization Technology and Manufacturing Planners. ECAI (2012)