On the strong topological completeness of GLP (joint work with Juan P. Aguilera)
(submitted)

Strong Kripke Completeness of the Closed Fragment of GLP (joint work with Juan P. Aguilera)
AiML 2024 conference paper

Numerical evaluation of integer multiplication algorithms
ITaS 2019 conference paper

Solution of acoustic equations using method of integral equation on GPU
60th MIPT conference paper, 2017











[main page]