Публикации

A. Huletski, D. Kartashov

Central & Eastern European Software Engineering Conference in Russia (CEE-SECR ’16), Октябрь 2016

George Chernishev, Vyacheslav Galaktionov, Valentin Grigorev, Evgeniy Klyuchikov, Kirill Smirnov

A study of PosDB Performance in a Distributed Environment

In Proceedings of the Second Conference on Software Engineering and Information Management. Saint Petersburg, Russia. CEUR Workshop Proceedings, 1864, Апрель 2017

Yaroslav Golubev, Maria Eliseeva, Nikita Povarov, Timofey Bryksin

A Study of Potential Code Borrowing and License Violations in Java Projects on GitHub

17th International Conference on Mining Software Repositories (MSR), Июнь 2020

Viacheslav Galaktionov, George Chernishev, Kirill Smirnov, Boris Novikov, and Dmitry A. Grigoriev

A Study of Several Matrix-Clustering Vertical Partitioning Algorithms in a Disk-Based Environment

Springer International Publishing, Cham, pages 163–177, 2017

Nikita Bobrov, Anastasia Birillo, George Chernishev.

A survey of database dependency concepts

Proceedings of the Second Conference on Software Engineering and Information Management. Saint Petersburg, Russia, Апрель 2017

A. Tyurin, I. Tyulyandin, V. Maltsev, I. Kirilenko, and D. Berezun

A Survey of Smart Contract Safety and Programming Languages

Preliminary Proceedings of the 13 rd Spring/Summer Young Researchers’ Colloquium on Software Engineering (SYRCoSE 2019), May 29-31, 2019 – Saratov, Russian Federation, 2019

Haberland R., Krinkin K., Ivanovskiy S.

Abstract predicate entailment over points-to heaplets is syntax recognition

Proceedings 18th Conference of Open Innovations Association and Seminar on Information Security and Protection of Information Technology (FRUCT-ISPIT), 2016 Pp. 66-74, Апрель 2016

Kirill K. Smirnov, Georgiy A. Chernishev

ACM SIGMOD Programming Contest: an opportunity to study distinguished aspects of database systems and software engineering (in Russian)

Компьютерные инструменты в образовании, 6, 2012

Polina Ovsiannikova, Daniil Chivilikhin, Vladimir Ulyantsev, Andrey Stankevich, Ilya Zakirzyanov, Valeriy Vyatkin, Anatoly Shalyto

Active Learning of Formal Plant Models For Cyber-Physical Systems

IEEE, Июль 2018

Alina Dubatovka, Elena Mikhailova, Mikhail Zotov, and Boris Novikov

Adaptive techniques for extracting mental activity phases from heart beat rate streams

n Guntis Arnicans, Vineta Arnicane, Juris Borzovs, and Laila Niedrite, editors, Databases and Information Systems IX - Selected Papers from the Twelfth International Baltic Conference, DB&IS 2016, Riga, Latvia, July 4-6, 2016, volume 291 of Frontiers in Artificial Intelligence and Applications, pages 197–210. IOS Press, 2016

Valery Isaev

Algebraic Presentations of Dependent Type Theories

arXiv, Февраль 2016

I. Nekrestyanov, B. Novikov, and E. Pavlova.

An analysis of alternative methods for storing semistructured data in relations

In Proc. of the ADBIS’2000, volume 1884 of Lecture Notes in Computer Science, pages 354–361, Prague, Chech, Springer, Сентябрь 2000

Staroletov S., Fedorov V

An Application of Test-Driven Development Methodology into the Process of Hardware Creation (a View from a Software Perspective)

10th workshop “Program semantics, specification and verification: Theory and applications”, 2019

Bulavskij D., Zyubin V., Karlson N., Krivoruchko V., Mironov V

An Automated Control System for a Silicon Single-Crystal Growth Furnace

Autometria, Vol. 32, No 2 (1996), pp. 25–30, 1996

Dmitry Boulytchev, Dmitry Lomov

An Empirical Study of Retargetable Compilers

Proceedings of 4th International Andrei Ershov Memorial Conference on Perspectives of System Informatics, 2001

Публикации

Сортировка:

Фильтр по группам: