Typetheoretic Approach to the Shimming Problem in Scientific Workflows

Andrey Kashlev, Shiyong Lu, Artem Chebotko. Typetheoretic Approach to the Shimming Problem in Scientific Workflows. IEEE T. Services Computing, 8(5):795-809, 2015. [doi]

Possibly Related Publications

The following publications are possibly variants of this publication: