Browsing by Author Bulycev Dmitrij Urevic
Showing results 1 to 3 of 3
Preview | Issue Date | Title | Author(s) |
---|---|---|---|
2023 | The investigation of generative models in the problem of finding the optimal answer to specialized questions with application to StackOverflow | Омельченко Максим Андреевич; Omelcenko Maksim Andreevic | |
2023 | Static type inference for Python in IDE | Мирошников Владислав Игоревич; Mirosnikov Vladislav Igorevic | |
2022 | Verification of model checking algorithm for concurrent programs in the Coq theorem prover | Гладштейн Владимир Петрович; Gladstejn Vladimir Petrovic |