According to our database1, Stepan Potiyenko authored at least 3 papers between 2010 and 2019.
Legend:Book In proceedings Article PhD thesis Other
Proceedings of the System Analysis and Modeling. Languages, Methods, and Tools for Industry 4.0, 2019
Proceedings of the Information and Software Technologies - 25th International Conference, 2019
Proceedings of the Second International Workshop on Invariant Generation, 2010