Publications
“A Parallel Algorithm for the State Space Exploration”, Scalable Computing: Practice and Experience, vol. 17, no. 2, p. 141, 2016.
, “Sequential and Parallel Algorithms for the State Space Exploration”, CYBERNETICS AND INFORMATION TECHNOLOGIES, vol. 16, no. 1, p. 18, 2016.
, “Towards Distributed Solution to the State Explosion Problem”, Third International Conference on Information System Design and Intelligent Applications, vol. 433. Springer, Vishakapatnam, India, pp. 541-550, 2016.
, “Towards Distributed Solution to the State Explosion Problem”, Third International Conference on Information System Design and Intelligent Applications, vol. LNCS 433. Springer, Visakhapatnam, India, pp. 541-550, 2016.
,