Vladimír Rovenský

According to our database, Vladimír Rovenský authored at least 3 papers between 2012 and 2014.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2014

On verification of nested workflows with extra constraints: From theory to practice.

Roman Barták, Vladimír Rovenský

Expert Syst. Appl., 2014

2012

Verifying Nested Workflows with Extra Constraints.

Roman Barták, Vladimír Rovenský

Proceedings of the Advances in Artificial Intelligence, 2012

FlowOpt: Bridging the Gap Between Optimization Technology and Manufacturing Planners.

Roman Barták, Milan Jaska, Ladislav Novak, Vladimír Rovenský, Tomás Skalický, Martin Cully, Con Sheahan, Thanh-Tung Dang

Proceedings of the ECAI 2012, 2012