Persons: Gorlatch, Sergei Petrovich

Persons

RUS ENG

JavaScript is disabled in your browser. Please switch it on to enable full functionality of the website

Gorlatch, Sergei Petrovich

Professor

Candidate of physico-mathematical sciences

	Publications in Math-Net.Ru	Citations
	2021
1.	N. O. Garanina, S. P. Gorlatch, “Autotuning parallel programs by model checking”, Model. Anal. Inform. Sist., 28:4 (2021), 338–355	1
	2020
2.	N. O. Garanina, I. S. Anureev, V. E. Zyubin, S. M. Staroletov, T. V. Liakh, A. S. Rozov, S. P. Gorlatch, “Temporal logic for programmable logic controllers”, Model. Anal. Inform. Sist., 27:4 (2020), 412–427

Organisations