remote sensing for Earth observation, high performance scientific computing, algebraic methods in system verfication

1. Shokin Yu.I., Dobretsov N.N., Mamash E.A., Kikhtenko V.A., Voronina P.V., Smirnov V.V., Chubarov D.L., “Informatsionnaya sistema priema, obrabotki i dostupa k sputnikovym dannym i ee primenenie dlya resheniya zadach monitoringa okruzhayuschei sredy”, Vychislitelnye tekhnologii, 20:5 (2015), 157-174
2. Belov S.D., Zaitsev A.S., Kaplin V.I., Korol A.A., Skovpen K.Yu., Sukharev A.M., Adakin A.S., Nikultsev V.S., Chubarov D.L., Kuchin N.V., Lomakin S.V., Kalyuzhnyi V.A., “Ispolzovanie virtualizovannoi superkompyuternoi infrastruktury Novosibirskogo nauchnogo tsentra dlya obrabotki dannykh eksperimentov fiziki vysokikh energii”, Vychislitelnye tekhnologii, 17:6 (2012), 36-46
3. D. Chubarov, A. Voronkov, “Basis of solutions for a system of linear inequalities in integers: Computation and applications”, Mathematical Foundations of Computer Science 2005, Proceedings, Lecture notes in Computer Science, 3618, Springer, 2005, 260-270

• Institute of Computational Technologies, Siberian Branch of the Russian Academy of Sciences, Novosibirsk
• CityAir