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]
@article{KashlevLC15,
title = {Typetheoretic Approach to the Shimming Problem in Scientific Workflows},
author = {Andrey Kashlev and Shiyong Lu and Artem Chebotko},
year = {2015},
doi = {10.1109/TSC.2014.2347049},
url = {http://doi.ieeecomputersociety.org/10.1109/TSC.2014.2347049},
researchr = {https://researchr.org/publication/KashlevLC15},
cites = {0},
citedby = {0},
journal = {IEEE T. Services Computing},
volume = {8},
number = {5},
pages = {795-809},
}