1 - 473 out of 473Page size: 500
  1. 2024

  2. Comparing time. A new approach to the problem of time synchronization in a multi-agent system

    Сметанина, В. Д., Архипов, И. С., Граничин, О. Н. & Акинфиев, И. А., 1 Dec 2024, PROCEEDING OF THE 36TH CONFERENCE OF FRUCT ASSOCIATION: Conference of Open Innovations Association, FRUCT . FRUCT Oy, p. 843-846 4 p. (PROCEEDING OF THE CONFERENCE OF FRUCT ASSOCIATION; no. 36).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  3. Метод Б. Т. Поляка на основе стохастической функции Ляпунова для обоснования состоятельности оценок поискового алгоритма стохастической аппроксимации при неизвестных, но ограниченных помехах

    Граничин, О. Н., Иванский, Ю. В. & Копылова, К. Д., 15 Nov 2024, In: ЖУРНАЛ ВЫЧИСЛИТЕЛЬНОЙ МАТЕМАТИКИ И МАТЕМАТИЧЕСКОЙ ФИЗИКИ. 64, 4, p. 627-636

    Research output: Contribution to journal › Article › peer-review

  4. Lightning Fast Matching Dependency Discovery with Desbordante

    Шлёнских, А. А., Синельников, М. А., Николаев, Д. В., Литвинов, Ю. В. & Чернышев, Г. А., 14 Nov 2024, 2024 36th Conference of Open Innovations Association (FRUCT). Institute of Electrical and Electronics Engineers Inc., p. 729-740 (Conference of Open Innovation Association, FRUCT).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  5. Оптимизация расчётов поуровневых коэффициентов скорости колебательных энергообменов для O2 и NO-содержащих смесей

    Исаков, А. А., Гориховский, В. И. & Мельник, М. Ю., 23 Sep 2024.

    Research output: Contribution to conference › Abstract

  6. AI methods of control for distributed space systems: a review

    Граничин, О. Н., Тихонов, А. А., Иванский, Ю. В. & Копылова, К. Д., 19 Sep 2024, Conference Proceedings - 8th Scientific School "Dynamics of Complex Networks and their Applications", DCNA 2024. p. 79-82 4 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  7. Rational Index of Languages Defined by Grammars with Bounded Dimension of Parse Trees

    Шеметова, Е. Н., Охотин, А. С. & Григорьев, С. В., 1 Jun 2024, In: Theory of Computing Systems. 68, 3, p. 487-511 25 p.

    Research output: Contribution to journal › Article › peer-review

  8. Accelerated Decentralized Load Balancing in Multi-Agent Networks

    Erofeeva, V., Granichin, O. & Volodina, E., 2024, In: IEEE Access. 12, p. 161954-161967 14 p.

    Research output: Contribution to journal › Article › peer-review

  9. Multi-Agent Local Voting Protocol for Online DAG Scheduling

    Петросян, О. Л., Житнухин, Н. А., Жадан, А. Ю., Кондратов, И. В., Аллахвердян, А. Л., Граничин, О. Н., Романовский, А. & Харин, В., 2024, (Accepted/In press) In: Computer Research and Modeling.

    Research output: Contribution to journal › Article › peer-review

  10. Regression models for calculating state-to-state coefficients of the rate of vibrational energy exchanges

    Исаков, А. А., Гориховский, В. И. & Мельник, М. Ю., 2024, (Accepted/In press) In: Vestnik St. Petersburg University: Mathematics.

    Research output: Contribution to journal › Article › peer-review

  11. Модели регрессии для расчёта поуровневых коэффициентов скорости колебательных энергообменов

    Исаков, А. А., Гориховский, В. И. & Мельник, М. Ю., 2024, (Accepted/In press) In: ВЕСТНИК САНКТ-ПЕТЕРБУРГСКОГО УНИВЕРСИТЕТА. МАТЕМАТИКА. МЕХАНИКА. АСТРОНОМИЯ.

    Research output: Contribution to journal › Article › peer-review

  12. РАЗРАБОТКА ИНСТРУМЕНТА ДЛЯ СРАВНЕНИЯ АЛГОРИТМОВ CONTENT DEFINED CHUNKING НА RUST

    Пилецкий, О. А. & Гориховский, В. И., 2024, СОВРЕМЕННЫЕ ТЕХНОЛОГИИ В ТЕОРИИ И ПРАКТИКЕ ПРОГРАММИРОВАНИЯ: Сборник материалов научно-практической конференции студентов, аспирантов и молодых ученых. Издательство Санкт-Петербургского Государственного Политехнического Университета, p. 253-254

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research

  13. Разработка пакета нейросетевой аппроксимации дифференциальных уравнений DEGANN

    Алимов, П. Г. & Гориховский, В. И. (ed.), 2024, МАТ-МЕХ. НАУКА 2024: Материалы весенней научно-практической конференции по вопросам информатики, математики, механики и астрономии. Санкт-Петербург: Издательство «ВВМ», p. 5-11 7 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference abstracts › Research › peer-review

  14. 2023

  15. База данных: «База данных для оценки страхового поведения» (Insurance Behavior Assessment)

    Медяник, О. В. & Зеленчук, И. В., 14 Dec 2023, Федеральная служба по интеллектуальной собственности, Patent No. 2023624637, 28 Nov 2023, Priority date 14 Dec 2023

    Research output: Patenting and IP registration › Certificate of registration

  16. Framework for Machine Instruction Usage Analysis

    Печенев, Д. Е., Кириленко, Я. А. & Афонина, О. А., 30 Oct 2023, Spring/Summer Young Researchers' Colloquium on Software Engineering 2023. p. 163-170 8 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  17. Strategies for optimizing electronic tips service profit

    Лапина, Е. Д. & Гориховский, В. И., 25 Oct 2023, In: Journal of AppliedMath. 1, 2, 11 p., 105.

    Research output: Contribution to journal › Article › peer-review

  18. Stabilizing ℓ-semioptimal fractional controller for discrete non-minimum phase system under unknown-but boundeddisturbance

    Ivanov, D., Granichin, O., Pankov, V. & Granichina, O., 30 Sep 2023, In: Cybernetics and Physics. 12, 2, p. 121-128 8 p.

    Research output: Contribution to journal › Article › peer-review

  19. On Stochastic Optimization for Smartphone CPU Energy Consumption Decrease

    Pelogeiko, M., Sartasov, S. & Granichin, O., 25 Sep 2023, In: Informatics and Automation. 22, 5, p. 1004-1033 30 p.

    Research output: Contribution to journal › Article › peer-review

  20. Поуровневое моделирование релаксации CO2 в модели FHO

    Гориховский, В. И., Мехоношина, М. А. & Нагнибеда, Е. А., Aug 2023.

    Research output: Contribution to conference › Abstract › peer-review

  21. Генерация нейронных сетей для моделирования поведения динамических систем

    Алимов, П. Г. & Гориховский, В. И. (ed.), 10 Jul 2023, Материалы XXIII Международной конференции по вычислительной механике и современным прикладным программным системам (ВМСППС’2023). Московский авиационный институт, p. 91-92

    Research output: Chapter in Book/Report/Conference proceeding › Conference abstracts › Research › peer-review

  22. Модели регрессии для расчета поуровневых коэффициентов скорости колебательных энергообменов

    Исаков, А. А., Мельник, М. Ю. & Гориховский, В. И., 10 Jul 2023.

    Research output: Contribution to conference › Abstract › peer-review

  23. Heralded gate search with genetic algorithms for quantum computation

    Chernikov, A., Sysoev, S. S., Vashukevich, E. A. & Golubeva, T. Y., 7 Jul 2023, In: Physical Review A. 108, 1, 012609.

    Research output: Contribution to journal › Article › peer-review

  24. Distributed Load Balancing Based on Modified Local Voting Protocol

    Borisoglebskaya, E., Erofeeva, V., Granichin, O., Ivanskiy, Y. & Kizhaeva, N., 3 Jul 2023, 2023 9th International Conference on Control, Decision and Information Technologies (CoDIT). (2023 9th International Conference on Control, Decision and Information Technologies (CoDIT)).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  25. Frequency-independent smartphone peripherals energy consumption estimation

    Сартасов, С. Ю., Мирошников, В. И. & Кузнецов, И. А., 30 Jun 2023, In: Cybernetics and Physics. 12, 1, p. 42-50 9 p.

    Research output: Contribution to journal › Article › peer-review

  26. Recognition of Diffuse Hepatic Steatosis

    Гориховский, В. И. & Евдокимов, Д., 24 May 2023, Proceedings of the XXth Conference of Open Innovations. p. 318-324 7 p. (Conference of Open Innovations Association FRUCT).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  27. Создание веб-приложения для обработки данных по прохождению онлайн-курсов

    Уфимцев, Ю. Д. & Литвинов, Ю. В., 27 Apr 2023, Сборник материалов научно-практической конференции студентов, аспирантов и молодых ученых "Современные технологии в теории и практике программирования". Издательство Санкт-Петербургского Государственного Политехнического Университета, p. 88-90

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  28. Фреймворк для сбора и анализа данных об использовании машинных инструкций

    Печенев, Д. Е. & Кириленко, Я. А., 27 Apr 2023, Современные технологии в теории и практике программирования: Сборник материалов научно-практической конференции студентов, аспирантов и молодых ученых. Издательство Санкт-Петербургского Государственного Политехнического Университета, p. 217-219

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  29. Оптимизация расчетов колебательной кинетики углекислого газа

    Кустова, Е. В., Кунова, О. В. & Гориховский, В. И., Apr 2023, Всероссийский научный симпозиум по проблемам аэромеханики и газовой динамики, посвящённый 100-летию со дня рождения академика Горимира Горимировича Чёрного. М: Издательство Московского университета

    Research output: Chapter in Book/Report/Conference proceeding › Conference abstracts › Research › peer-review

  30. База данных для оценки финансовой тревожности потребителей (Financial Anxiety)

    Медяник, О. В. & Зеленчук, И. В., 21 Feb 2023, Patent No. 2023620674, 20 Dec 2022

    Research output: Patenting and IP registration › Certificate of registration

  31. A Method for Solving the Fredholm Integral Equation of the First Kind

    Макаров, А. А. & Куликов, Е. К., 2023, In: Journal of Mathematical Sciences. 272, 4, p. 558-565

    Research output: Contribution to journal › Article › peer-review

  32. FastGFDs: Efficient Validation of Graph Functional Dependencies with Desbordante

    Черников, А. А., Чернышев, Г. А., Литвинов, Ю. В. & Смирнов, К. К., 2023.

    Research output: Contribution to conference › Paper › peer-review

  33. Recognition of skin lesions from image

    Гориховский, В. И. & Ледовских, М. А., 2023, (Accepted/In press) In: Moscow University Physics Bulletin (English Translation of Vestnik Moskovskogo Universiteta, Fizika). 11 p.

    Research output: Contribution to journal › Article › peer-review

  34. 2022

  35. SENSOR NETWORK CONTROL BASED ON RANDOMIZED AND MULTI-AGENT APPROACHES

    Sergeenko, A. & Granichin, O., 30 Sep 2022, In: Cybernetics and Physics. 11, 2, p. 94-105 12 p.

    Research output: Contribution to journal › Article › peer-review

  36. Программа для определения типов финансового поведения пользователей (FinTech User Behavior)

    Медяник, О. В. & Зеленчук, И. В., 29 Sep 2022, Patent No. 202667946, 22 Sep 2022

    Research output: Patenting and IP registration › Certificate of registration

  37. SPSA ALGORITHM FOR HISTORY DATA MATCHING OF COMPLEX NON-GAUSSIAN GEOLOGICAL MODELS

    Pankov, V. & Granichin, O., 2 Jun 2022, In: Cybernetics and Physics. 11, 1, p. 18-24 7 p.

    Research output: Contribution to journal › Article › peer-review

  38. Lupa: A Framework for Large Scale Analysis of the Programming Language Usage

    Vlasova, A., Tigina, M., Vlasov, I., Birillo, A., Golubev, Y. & Bryksin, T., 23 May 2022, Proceedings - 2022 Mining Software Repositories Conference, MSR 2022. Institute of Electrical and Electronics Engineers Inc., p. 398-402 5 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  39. Construction of Approximation Functionals for Minimal Splines

    Kulikov, E. K. & Makarov, A. A., 1 Mar 2022, In: Journal of Mathematical Sciences (United States). 262, 1, p. 84-98 15 p.

    Research output: Contribution to journal › Article › peer-review

  40. TraceSim: An Alignment Method for Computing Stack Trace Similarity

    Rodrigues, I. M., Khvorov, A., Aloise, D., Vasiliev, R., Koznov, D., Fernandes, E. R., Chernishev, G., Luciv, D. & Povarov, N., Mar 2022, In: Empirical Software Engineering. 27, 2, 53.

    Research output: Contribution to journal › Article › peer-review

  41. Hyperstyle: A Tool for Assessing the Code Quality of Solutions to Programming Assignments

    Birillo, A., Vlasov, I., Burylov, A., Selishchev, V., Goncharov, A., Tikhomirova, E., Vyahhi, N. & Bryksin, T., 22 Feb 2022, SIGCSE 2022 - Proceedings of the 53rd ACM Technical Symposium on Computer Science Education. Association for Computing Machinery, p. 307-313 7 p. (SIGCSE 2022 - Proceedings of the 53rd ACM Technical Symposium on Computer Science Education; vol. 1).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  42. Development of a Probe System for Measuring the Plasma Parameters and the High-Energy Part of the Electron-Energy Distribution Function

    Saifutdinov, A. I. & Sysoev, S. S., 1 Feb 2022, In: Instruments and Experimental Techniques. 65, 1, p. 75-79 5 p.

    Research output: Contribution to journal › Article › peer-review

  43. Multiagent Control of Airplane Wing Stability with “Feathers” under the Flexural Torsional Flutter

    Shalymov, D., Granichin, O., Ivanskiy, Y. & Volkovich, Z., 13 Jan 2022, In: Mathematics. 10, 2, 19 p., 236.

    Research output: Contribution to journal › Article › peer-review

  44. Design of ℓ1 new suboptimal fractional delays controller for discrete non-minimum phase system under unknown-but-bounded disturbance

    Ivanov, D., Granichin, O., Pankov, V. & Volkovich, Z., 1 Jan 2022, In: Mathematics. 10, 1, 15 p., 69.

    Research output: Contribution to journal › Article › peer-review

  45. Smart Mobile Microscopy: Towards Fully-Automated Digitization

    Kornilova, A., Kirilenko, I., Iarosh, D., Kutuev, V. & Strutovsky, M., 2022, Proceedings of the Future Technologies Conference (FTC) 2021, Volume 2. Arai, K. (ed.). Springer Nature, Vol. 2. p. 617-635 19 p. (Lecture Notes in Networks and Systems; vol. 359 LNNS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  46. Архитектура ЭВМ: учебное пособие

    Луцив, Д. В., Мокаев, Р. Н., Гаранина, Н. О. & Кознов, Д. В., 2022, 152 p. ИНТУИТ.РУ.

    Research output: Other contribution › Education

  47. Об одном методе решения интегрального уравнения Фредгольма первого рода

    Макаров, А. А. & Куликов, Е. К., 2022, In: ЗАПИСКИ НАУЧНЫХ СЕМИНАРОВ САНКТ-ПЕТЕРБУРГСКОГО ОТДЕЛЕНИЯ МАТЕМАТИЧЕСКОГО ИНСТИТУТА ИМ. В.А. СТЕКЛОВА РАН. 514, p. 113-125

    Research output: Contribution to journal › Article › peer-review

  48. Управление настройкой роя телескопов в космосе в условиях произвольных помех и деформаций элементов системы

    Борисоглебская, Е. А., Копылова, К. Д., Чернов, А. О. & Граничин, О. Н., 2022, p. 119-121.

    Research output: Contribution to conference › Paper

  49. 2021

  50. Design of L1 new suboptimal fractional delays controller for discrete non-minimum phase system under unknown-but-bounded disturbance

    Ivanov, D., Granichin, O., Pankov, V. & Volkovich, Z., 26 Dec 2021, In: Mathematics. 10, 1, 69.

    Research output: Contribution to journal › Article › peer-review

  51. Dynamic voltage-frequency optimization using Simultaneous Perturbation Stochastic Approximation

    Bogdanov, E., Bozhnyuk, A., Bykov, D., Sartasov, S., Sergeenko, A. & Granichin, O., 10 Dec 2021, 2021 7th International Conference on Event-Based Control, Communication, and Signal Processing (EBCCSP). IEEE Circuits and Systems Society, 7 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  52. Cluster control of complex cyber-physical systems

    Uzhva, D. & Granichin, O., 30 Nov 2021, In: Cybernetics and Physics. 10, 3, p. 191-200 10 p.

    Research output: Contribution to journal › Article › peer-review

  53. Повышение точности следования БПЛА по заданной траектории при ветровых нагрузках методом SPSA

    Амелин, К. С., Граничин, О. Н., Мальцев, В. С. & Сергеев, С. Ф., 30 Nov 2021, In: РОБОТОТЕХНИКА И ТЕХНИЧЕСКАЯ КИБЕРНЕТИКА. 9, 4, p. 260-270

    Research output: Contribution to journal › Article › peer-review

  54. Проблемы и перспективы использования стохастической аппроксимации для регулирования частот процессора в Android OS

    Сартасов, С. Ю., Богданов, Е. А., Божнюк, А. С. & Граничин, О. Н., 30 Nov 2021, In: КОМПЬЮТЕРНЫЕ ИНСТРУМЕНТЫ В ОБРАЗОВАНИИ. 2

    Research output: Contribution to journal › Article › peer-review

  55. Some Features of The Digital Solutions Development in Geological Exploration

    Сабашный, В., Михалевич, О. & Немешев, М. Х., Nov 2021, ProGREss’21. European Association of Geoscientists and Engineers, p. 1-6 6 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  56. Формирование стратегии развития Комитета по искусственному интеллекту в Научно-образовательном центре «Инженерия будущего»

    Barinov, I. I., Borgest, N. M., Borovik, S. Y., Granichin, O. N., Grachev, S. P., Gromyko, Y. V., Doronin, R. I., Zinchenko, S. N., Ivanov, A. B., Kizeev, V. M., Kutlakhmetov, R. I., Laryukhin, V. B., Levashkin, S. P., Mochalkin, A. N., Panteleev, M. G., Popov, S. B., Sevastyanov, E. M., Skobelev, P. O., Chernyavsky, A. G., Shishkin, V. V. & 1 others, Shlyaev, S. I., 30 Sep 2021, In: Онтология проектирования. 11, 3, p. 260-293

    Research output: Contribution to journal › Article › peer-review

  57. Моделирование антенной системы радиотелескопа

    Копылова, К. Д., Граничин, О. Н. & Иванский, Ю. В., 25 Sep 2021, Навигация и управление движением: Материалы ХХIII конференции молодых ученых с международным участием.. СПб: ЦНИИ «Электроприбор», p. 268-270

    Research output: Chapter in Book/Report/Conference proceeding › Article in an anthology › Research › peer-review

  58. Distributed Stochastic Optimization with Heavy-Ball Momentum Term for Parameter Estimation

    Erofeeva, V., Granichin, O. & Sergeenko, A., 13 Sep 2021, Conference Proceedings - 5th Scientific School Dynamics of Complex Networks and their Applications, DCNA 2021. Hramov, A., Kurkin, S., Andreev, A. & Shusharina, N. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 69-72 4 p. (Conference Proceedings - 5th Scientific School Dynamics of Complex Networks and their Applications, DCNA 2021).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  59. Revizor: A Data-Driven Approach to Automate Frequent Code Changes Based on Graph Matching

    Smirnov, O., Lobanov, A., Golubev, Y., Tikhomirova, E. & Bryksin, T., 25 Aug 2021.

    Research output: Working paper › Preprint

  60. Unsupervised learning of general-purpose embeddings for code changes

    Pravilov, M., Bogomolov, E., Golubev, Y. & Bryksin, T., 23 Aug 2021, MaLTESQuE 2021 - Proceedings of the 5th International Workshop on Machine Learning Techniques for Software Quality Evolution, co-located with ESEC/FSE 2021. Ampatzoglou, A., Feitosa, D., Catolino, G. & Lenarduzzi, V. (eds.). Association for Computing Machinery, p. 7-12 6 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  61. Authorship attribution of source code: A language-agnostic approach and applicability in software engineering

    Bogomolov, E., Kovalenko, V., Rebryk, Y., Bacchelli, A. & Bryksin, T., 20 Aug 2021, ESEC/FSE 2021 - Proceedings of the 29th ACM Joint Meeting European Software Engineering Conference and Symposium on the Foundations of Software Engineering: Proceedings of the 29th ACM Joint Meeting European Software Engineering Conference and Symposium on the Foundations of Software Engineering. Spinellis, D. (ed.). Association for Computing Machinery, p. 932-944 13 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  62. One thousand and one stories: A large-scale survey of software refactoring

    Golubev, Y., Kurbatova, Z., Alomar, E. A., Bryksin, T. & Mkaouer, M. W., 20 Aug 2021, ESEC/FSE 2021 - Proceedings of the 29th ACM Joint Meeting European Software Engineering Conference and Symposium on the Foundations of Software Engineering. Spinellis, D. (ed.). Association for Computing Machinery, p. 1303-1313 11 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  63. PyNose: A Test Smell Detector For Python

    Wang, T., Golubev, Y., Smirnov, O., Li, J., Bryksin, T. & Ahmed, I., 10 Aug 2021.

    Research output: Working paper › Preprint

  64. Efficient Parallel Algorithms for String Comparison

    Mishin, N., Berezun, D. & Tiskin, A., 9 Aug 2021, 50th International Conference on Parallel Processing, ICPP 2021 - Main Conference Proceedings. Association for Computing Machinery, 10 p. 50. (ACM International Conference Proceeding Series).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  65. Image compression and enlargement algorithms

    Burova, I. G., Dem’yanovich, Y. K., Terekhov, A. N., Altynova, A. Y., Satanovskiy, A. D. & Babushkin, A. A., 5 Aug 2021, In: International Journal of Circuits, Systems and Signal Processing. 15, p. 836-846 11 p.

    Research output: Contribution to journal › Article › peer-review

  66. Simultaneous Perturbation Stochastic Approximation-Based Consensus for Tracking Under Unknown-But-Bounded Disturbances

    Granichin, O., Erofeeva, V., Ivanskiy, Y. & Jiang, Y., Aug 2021, In: IEEE Transactions on Automatic Control. 66, 8, p. 3710-3717 8 p., 9198090.

    Research output: Contribution to journal › Article › peer-review

  67. Convergence analysis of weighted SPSA-based consensus algorithm in distributed parameter estimation problem

    Sergeenko, A., Erofeeva, V., Granichin, O., Granichina, O. & Proskurnikov, A., 1 Jul 2021, In: IFAC-PapersOnLine. 54, 7, p. 126-131 6 p.

    Research output: Contribution to journal › Conference article › peer-review

  68. On Application of Simultaneous Perturbation Stochastic Approximation for Dynamic Voltage-Frequency Scaling in Android OS

    Bogdanov, E., Bozhnyuk, A., Sartasov, S. & Granichin, O., 22 Jun 2021, EBCCSP 2021 - Proceedings: 2021 7th International Conference on Event-Based Control, Communication and Signal Processing: 2021 7th International Conference on Event-Based Control, Communication and Signal Processing. Institute of Electrical and Electronics Engineers Inc., 7 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  69. Beyond the elementary representations of program invariants over algebraic data types

    Kostyukov, Y., Mordvinov, D. & Fedyukovich, G., 18 Jun 2021, PLDI 2021 - Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation. Freund, S. N. & Yahav, E. (eds.). Association for Computing Machinery, p. 451-465 15 p. (Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  70. Emergent Intelligence via Self-Organization in a Group of Robotic Devices

    Amelin, K., Granichin, O., Sergeenko, A. & Volkovich, Z. V., 8 Jun 2021, In: Mathematics. 9, 12, 15 p., 1314.

    Research output: Contribution to journal › Article › peer-review

  71. PSIMiner: A tool for mining rich abstract syntax trees from code

    Spirin, E., Bogomolov, E., Kovalenko, V. & Bryksin, T., 1 May 2021, 2021 IEEE/ACM 18TH INTERNATIONAL CONFERENCE ON MINING SOFTWARE REPOSITORIES (MSR 2021). Institute of Electrical and Electronics Engineers Inc., p. 13-17 5 p. 9463105. (IEEE International Working Conference on Mining Software Repositories).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  72. S3M: Siamese Stack (Trace) Similarity Measure

    Khvorov, A., Vasiliev, R., Chernishev, G., Rodrigues, I. M., Koznov, D. & Povarov, N., May 2021, 2021 IEEE/ACM 18th International Conference on Mining Software Repositories, MSR 2021: Proceedings . Institute of Electrical and Electronics Engineers Inc., p. 266-270 5 p. 9463141. (IEEE International Working Conference on Mining Software Repositories).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  73. TaskTracker-tool: A Toolkit for Tracking of Code Snapshots and Activity Data during Solution of Programming Tasks

    Lyulina, E., Birillo, A., Kovalenko, V. & Bryksin, T., 3 Mar 2021, SIGCSE 2021 - Proceedings of the 52nd ACM Technical Symposium on Computer Science Education. Association for Computing Machinery, p. 495-501 7 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  74. Multi-threshold token-based code clone detection

    Golubev, Y., Poletansky, V., Povarov, N. & Bryksin, T., Mar 2021, Proceedings - 2021 IEEE International Conference on Software Analysis, Evolution and Reengineering, SANER 2021. Institute of Electrical and Electronics Engineers Inc., p. 496-500 5 p. 9426013

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  75. Efficient fair conjunction for structurally-recursive relations

    Lozov, P. & Boulytchev, D., 17 Jan 2021, PEPM 2021 - Proceedings of the 2021 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, Co-located with POPL 2021. Lindley, S. & Mogensen, T. (eds.). Association for Computing Machinery, p. 58-73 16 p. (Proceedings of the 2021 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  76. Cluster flows and multiagent technology

    Granichin, O., Uzhva, D. & Volkovich, Z., 1 Jan 2021, In: Mathematics. 9, 1, p. 1-14 14 p., 22.

    Research output: Contribution to journal › Article › peer-review

  77. ADAPTATION OF MESHES FOR APPROXIMATION OF FUNCTIONS WITH BOUNDARY LAYER COMPONENT

    Kanashin, D. A., Kulikov, E. K. & Makarov, A. A., 2021, p. 524-525. 2 p.

    Research output: Contribution to conference › Paper

  78. Dynamic Voltage-Frequency Optimization using Simultaneous Perturbation Stochastic Approximation

    Bogdanov, E., Bozhnyuk, A., Bykov, D., Sartasov, S., Sergeenko, A. & Granichin, O., 2021, 60th IEEE Conference on Decision and Control, CDC 2021. Institute of Electrical and Electronics Engineers Inc., p. 3774-3779 6 p. (Proceedings of the IEEE Conference on Decision and Control; vol. 2021-December).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  79. MECHANIZED THEORY OF EVENT STRUCTURES: A CASE OF PARALLEL REGISTER MACHINE

    Гладштейн, В. П., Михайловский, Д. В., Моисеенко, Е. А. & Трунов, А., 2021, In: Труды института системного программирования РАН. 33, 3, p. 143-154

    Research output: Contribution to journal › Article › peer-review

  80. Navitas Framework: A Novel Tool for Android Applications Energy Profiling

    Сартасов, С. Ю., Мясников, В. Н., Шапошников, А. И., Гордиенко, Е. А., Афонина, О. А. & Гамаонов, А. Б., 2021, SEIM 2021 Software Engineering and Information Management: Proceedings of the Sixth Conference on Software Engineering and Information Management. Trifonov, P. & Podkopaev, A. (eds.). (CEUR Workshop Proceedings; vol. 2953).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  81. On modi ed spline collocations method for solving the Fredholm integral equation

    Kulikov, E. K. & Makarov, A. A., 2021, In: Differencialnie Uravnenia i Protsesy Upravlenia. 2021, 4, p. 211-223 13 p.

    Research output: Contribution to journal › Article › peer-review

  82. Static Checking Consistency of Temporal Requirements for Control Software

    Garanina, N. & Koznov, D., 2021, Advances in Model and Data Engineering in the Digitalization Era - MEDI 2021 International Workshops: DETECT, SIAS, CSMML, BIOC, HEDA, Proceedings. Bellatreche, L., Chernishev, G., Corral, A., Ouchani, S. & Vain, J. (eds.). Springer Nature, p. 189-203 15 p. (Communications in Computer and Information Science; vol. 1481 CCIS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  83. Visual Language for Device Management in Telecommunication Product Line

    Semenov, E., Kai, S., Gen, C., Luciv, D. & Koznov, D., 2021, Advances in Model and Data Engineering in the Digitalization Era - MEDI 2021 International Workshops: DETECT, SIAS, CSMML, BIOC, HEDA, Proceedings. Bellatreche, L., Chernishev, G., Corral, A., Ouchani, S. & Vain, J. (eds.). Springer Nature, p. 204-216 13 p. (Communications in Computer and Information Science; vol. 1481 CCIS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  84. Weighted SPSA-based Consensus Algorithm for Distributed Cooperative Target Tracking

    Erofeeva, V., Granichin, O., Granichina, O., Proskurnikov, A. & Sergeenko, A., 2021, 2021 European Control Conference, ECC 2021. Institute of Electrical and Electronics Engineers Inc., p. 1074-1079 6 p. (2021 European Control Conference, ECC 2021).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  85. АДАПТАЦИЯ РАСЧЕТНЫХ СЕТОК ПРИ ПРИБЛИЖЕНИИ ФУНКЦИЙ С ПОГРАНСЛОЙНОЙ СОСТАВЛЯЮЩЕЙ

    Канашин, Д. А., Куликов, Е. К. & Макаров, А. А., 2021, p. 238-239. 2 p.

    Research output: Contribution to conference › Paper

  86. Децентрализованное групповое управление роем автономных роботов без маршрутизации данных

    Амелин, К. С., Амелина, Н. О., Граничин, О. Н. & Сергеев, С. Ф., 2021, In: РОБОТОТЕХНИКА И ТЕХНИЧЕСКАЯ КИБЕРНЕТИКА. 9, 1(30), p. 42-48

    Research output: Contribution to journal › Article › peer-review

  87. О построении аппроксимационных функционалов для минимальных сплайнов

    Макаров, А. А. & Куликов, Е. К., 2021, In: ЗАПИСКИ НАУЧНЫХ СЕМИНАРОВ САНКТ-ПЕТЕРБУРГСКОГО ОТДЕЛЕНИЯ МАТЕМАТИЧЕСКОГО ИНСТИТУТА ИМ. В.А. СТЕКЛОВА РАН. 504, p. 136-156

    Research output: Contribution to journal › Article › peer-review

  88. Протокол кооперативной самоорганизации группового поведения роботов

    Амелин, К. С., Ерофеева, В. А., Граничин, О. Н., Сергеев, С. Ф. & Сергеенко, А. Н., 2021, XIV Всероссийская мультиконференция по проблемам управления (МКПУ-2021) : материалы XIV мультиконференции (Дивноморское, Геленджик, 27 сентября – 2 октября 2021 г.): в 4 т.. Ростов-на-Дону; Таганрог: Издательство Южного Федерального университета, Vol. 2. p. 94-96

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  89. 2020

  90. Development of special tools for IT specialists education

    Терехов, А. Н., 25 Dec 2020.

    Research output: Contribution to conference › Abstract

  91. Advanced SPSA-based Algorithm for Multi-Target Tracking in Distributed Sensor Networks

    Sergeenko, A., Granichin, O. & Proskurnikov, A. V., 14 Dec 2020, 2020 59th IEEE Conference on Decision and Control, CDC 2020. Institute of Electrical and Electronics Engineers Inc., p. 2424-2429 6 p. 9303942. (Proceedings of the IEEE Conference on Decision and Control; vol. 2020-December).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  92. On biorthogonal approximation of solutions of some boundary value problems on Shishkin mesh

    Kulikov, E. & Makarov, A., 3 Dec 2020, Application of Mathematics in Technical and Natural Sciences: 12th International On-line Conference for Promoting the Application of Mathematics in Technical and Natural Sciences, AMiTaNS 2020. Todorov, M. D. & Todorov, M. D. (eds.). American Institute of Physics, 110005. (AIP Conference Proceedings; vol. 2302).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  93. TraceSim: A method for calculating stack trace similarity

    Vasiliev, R., Koznov, D., Chernishev, G., Khvorov, A., Luciv, D. & Povarov, N., 13 Nov 2020, MaLTeSQuE 2020 - Proceedings of the 4th ACM SIGSOFT International Workshop on Machine-Learning Techniques for Software-Quality Evaluation, Co-located with ESEC/FSE 2020. Khomh, F., Salza, P. & Catolino, G. (eds.). Association for Computing Machinery, p. 25-30 6 p. (MaLTeSQuE 2020 - Proceedings of the 4th ACM SIGSOFT International Workshop on Machine-Learning Techniques for Software-Quality Evaluation, Co-located with ESEC/FSE 2020).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  94. Energy Consumption Measurement Frameworks forAndroid OS: A Systematic Literature Review

    Myasnikov, V., Sartasov, S., Slesarev, I. & Gessen, P., 29 Sep 2020, Proceedings of the Fifth Conference on Software Engineering and Information Management 2020 (SEIM 2020). Trifonov, P. & Yarygina, A. (eds.). 12 p. (Ceur workshop proceedings; vol. 2691).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  95. ПОДГОТОВКА IT КАДРОВ В СПБГУ

    Терехов, А. Н. & Платонова, М. В., 22 Sep 2020, Перспективные направления развития отечественных информационных технологий: Материалы VI межрегиональной научно-практической конференции. Севастополь: Севастопольский государственный университет, p. 289-290

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  96. Sosed: A tool for finding similar software projects

    Bogomolov, E., Golubev, Y., Lobanov, A., Kovalenko, V. & Bryksin, T., Sep 2020, Proceedings - 2020 35th IEEE/ACM International Conference on Automated Software Engineering, ASE 2020. Institute of Electrical and Electronics Engineers Inc., p. 1316-1320 5 p. 9286041. (Proceedings - 2020 35th IEEE/ACM International Conference on Automated Software Engineering, ASE 2020).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  97. A Sequential Subspace Quasi-Newton Method for Large-Scale Convex Optimization

    Senov, A., Granichin, O. & Granichina, O., Jul 2020, American Control Conference, ACC 2020. Institute of Electrical and Electronics Engineers Inc., p. 3627-3632 6 p. 9147989. (Proceedings of the American Control Conference).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

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

    Golubev, Y., Eliseeva, M., Povarov, N. & Bryksin, T., 29 Jun 2020, p. 54-64. 11 p.

    Research output: Contribution to conference › Paper › peer-review

  99. Using Large-Scale Anomaly Detection on Code to Improve Kotlin Compiler

    Bryksin, T., Petukhov, V., Alexin, I., Prikhodko, S., Shpilman, A., Kovalenko, V. & Povarov, N., 29 Jun 2020, p. 455-465. 11 p.

    Research output: Contribution to conference › Paper › peer-review

  100. Visualization of Methods Changeability Based on VCS Data

    Svitkov, S. & Bryksin, T., 29 Jun 2020, p. 477-480. 4 p.

    Research output: Contribution to conference › Paper › peer-review

  101. Building Implicit Vector Representations of Individual Coding Style

    Kovalenko, V., Bogomolov, E., Bryksin, T. & Bacchelli, A., 27 Jun 2020, p. 117-124. 8 p.

    Research output: Contribution to conference › Paper › peer-review

  102. Recommendation of Move Method Refactoring Using Path-Based Representation of Code

    Kurbatova, Z., Veselov, I., Golubev, Y. & Bryksin, T., 27 Jun 2020, p. 315-322. 8 p.

    Research output: Contribution to conference › Paper › peer-review

  103. Hamiltonian path problem: The performance comparison deoxyribonucleic acid computing and the branch-and-bound method

    Sergeenko, A. N., Granichin, O. N. & Yakunina, M. V., 21 May 2020, In: Journal of Physics: Conference Series. 1536, 1, 012003.

    Research output: Contribution to journal › Conference article › peer-review

  104. Network Traffic Load Balancing Protocol

    Amelina, N., Chernov, A., Granichin, O., Ivanskiy, Y. & Len, I., May 2020, European Control Conference 2020, ECC 2020. Institute of Electrical and Electronics Engineers Inc., p. 906-910 5 p. 9143622. (European Control Conference 2020, ECC 2020).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  105. Simultaneous Perturbation Stochastic Approximation for Few-Shot Learning

    Boiarov, A., Granichin, O. & Granichina, O., May 2020, European Control Conference 2020, ECC 2020. Institute of Electrical and Electronics Engineers Inc., p. 350-355 6 p. 9143831. (European Control Conference 2020, ECC 2020).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  106. Entropy-Based Approach for the Detection of Changes in Arabic Newspapers' Content

    Bernikova, O., Granichin, O., Lemberg, D., Redkin, O. & Volkovich, Z., Apr 2020, In: Entropy. 22, 4, 17 p., 441.

    Research output: Contribution to journal › Article › peer-review

  107. An ontology-based approach to support formal verification of concurrent systems

    Garanina, N., Anureev, I., Sidorova, E., Koznov, D., Zyubin, V. & Gorlatch, S., 2020, Formal Methods- FM 2019 International Workshops - Revised Selected Papers. Sekerinski, E., Moreira, N., Oliveira, J. N., Ratiu, D., Guidotti, R., Farrell, M., Luckcuck, M., Marmsoler, D., Campos, J., Astarte, T., Gonnord, L., Cerone, A., Couto, L., Dongol, B., Kutrib, M., Monteiro, P. & Delmas, D. (eds.). Springer Nature, p. 114-130 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12232 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  108. Certified Semantics for Relational Programming

    Rozplokhas, D., Vyatkin, A. & Boulytchev, D., 2020, Programming Languages and Systems - 18th Asian Symposium, APLAS 2020, Proceedings. Oliveira, B. C. (ed.). Springer Nature, p. 167-185 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12470 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  109. Consensus-based distributed algorithm for multisensor-multitarget tracking under unknown-but-bounded disturbances

    Amelina, N., Erofeeva, V., Granichin, O., Ivanskiy, Y., Jiang, Y., Proskurnikov, A. & Sergeenko, A., 2020, In: IFAC-PapersOnLine. 53, p. 3589-3595 7 p.

    Research output: Contribution to journal › Conference article › peer-review

  110. Invariance preserving control of clusters recognized in networks of kuramoto oscillators

    Granichin, O. & Uzhva, D., 2020, Artificial Intelligence : 18th Russian Conference, RCAI 2020, Proceedings. Kuznetsov, S. O., Panov, A. I. & Yakovlev, K. S. (eds.). Springer Nature, p. 472-486 15 p. (Lecture Notes in Computer Science ; vol. 12412 LNAI).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  111. MIRF 2.0 - A framework for distributed medical images analysis

    Литвинов, Ю. В., Швыркова, А. А., Фефелов, А. А., Чижова, А., Пономарев, Е. В., Ломакин, А. В. & Савельев, А. Г., 2020, CEUR Workshop Proceedings. Vol. 2691. 7 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  112. On approximate solution of one singular perturbation boundary value problem

    Kulikov, E. K. & Makarov, A. A., 2020, In: Differencialnie Uravnenia i Protsesy Upravlenia. 1, p. 91-102 12 p.

    Research output: Contribution to journal › Article › peer-review

  113. Relational Synthesis for Pattern Matching

    Kosarev, D., Lozov, P. & Boulytchev, D., 2020, Programming Languages and Systems - 18th Asian Symposium, APLAS 2020, Proceedings. Oliveira, B. C. (ed.). Springer Nature, p. 293-310 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12470 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  114. Sparse Gaussian mixture model clustering via simultaneous perturbation stochastic approximation

    Boiarov, A. & Granichin, O., 2020, In: IFAC-PapersOnLine. 53, 2, p. 995-1000 6 p.

    Research output: Contribution to journal › Conference article › peer-review

  115. ДНК-вычисления как способ решения задачи коммивояжера

    Сергеенко, А. Н. & Граничин, О. Н., 2020, Восемнадцатая национальная конференция по искусственному интеллекту с международным участием КИИ-2020: Труды конференции. М.: Московский физико-технический институт, p. 137-144

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  116. ОТСЛЕЖИВАНИЕ ПУТИ СЕТЕВЫХ ПАКЕТОВ В ЯДРЕ LINUX С ИСПОЛЬЗОВАНИЕМ ТЕХНОЛОГИИ EBPF.

    Ковалев, М. Г. & Терехов, А. Н., 2020, p. 116-117.

    Research output: Contribution to conference › Abstract

  117. ПОРТИРОВАНИЕ ОСРВ EMBOX НА ОТКРЫТУЮ АРХИТЕКТУРУ RISC-V.

    Нижарадзе, А. Т. & Терехов, А. Н., 2020, p. 72-73.

    Research output: Contribution to conference › Abstract

  118. Самоорганизация и искусственный интеллект в группах автономных роботов: методология, теория, практика

    Граничин, О. Н. (ed.) & Сергеев, С. Ф. (ed.), 2020, СПб.: Издательство «ВВМ». 125 p.

    Research output: Book/Report/Anthology › Teaching manual › peer-review

  119. 2019

  120. Моделирование бизнес-процессов в цифровую эпоху

    Терехов, А. Н. & Платонова, М. В., 27 Dec 2019, In: РОССИЙСКИЙ ЖУРНАЛ МЕНЕДЖМЕНТА. 17, 4, p. 487–498 11 p.

    Research output: Contribution to journal › Article › peer-review

  121. 服役破损叶片的曲面重构及刀路生成方法

    Zhao, X., Yang, J., Chen, J., Fradkov, A., Granichin, O. & Hu, P., 25 Dec 2019, In: Zhongguo Jixie Gongcheng/China Mechanical Engineering. 30, 24, p. 2906-2915 and 2924

    Research output: Contribution to journal › Article › peer-review

  122. Distributed Tracking via Simultaneous Perturbation Stochastic Approximation-based Consensus Algorithm

    Erofeeva, V., Granichin, O., Amelina, N., Ivanskiy, Y. & Jiang, Y., Dec 2019, 2019 IEEE 58th Conference on Decision and Control, CDC 2019. Institute of Electrical and Electronics Engineers Inc., p. 6050-6055 6 p. 9030129. (IEEE Conference on Decision and Control).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  123. Kotless: A serverless framework for kotlin

    Tankov, V., Golubev, Y. & Bryksin, T., 1 Nov 2019, Proceedings - 2019 34th IEEE/ACM International Conference on Automated Software Engineering, ASE 2019. Institute of Electrical and Electronics Engineers Inc., p. 1110-1113 4 p. (Proceedings - 2019 34th IEEE/ACM International Conference on Automated Software Engineering, ASE 2019).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  124. Real-time and multimodal brain slice-to-volume registration using CNN

    Chen, Z., Xu, Z., Yi, W., Yang, X., Hou, W., Ding, M. & Granichin, O., 1 Nov 2019, In: Expert Systems with Applications. 133, p. 86-96 11 p.

    Research output: Contribution to journal › Article › peer-review

  125. Extraction of Archetype from Near Duplicates in Software Documentation

    Луцив, Д. В., Кознов, Д. В., Чернышев, Г. А. & Григорьев, Д. А., Nov 2019, 2019 Actual Problems of Systems and Software Engineering (APSSE). p. 126-130

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  126. Interactive Near Duplicate Search in Software Documentation

    Luciv, D. V., Koznov, D. V., Shelikhovskii, A. A., Romanovsky, K. Y., Chernishev, G. A., Terekhov, A. N., Grigoriev, D. A., Smirnova, A. N., Borovkov, D. V. & Vasenina, A. I., Nov 2019, In: Programming and Computer Software. 45, 6, p. 346-355

    Research output: Contribution to journal › Article › peer-review

  127. Интерактивный поиск неточных повторов в документации программного обеспечения

    Луцив, Д. В., Кознов, Д. В., Шелиховский, А. А., Романовский, К. Ю., Чернышев, Г. А., Григорьев, Д. А., Терехов, А. Н., Смирнова, А. Н., Боровков, Д. В., Васенина, А. И. & Шеметова, Е. Н., Nov 2019, In: ПРОГРАММИРОВАНИЕ. 6, p. 55-66

    Research output: Contribution to journal › Article › peer-review

  128. Register impurities in the plasma forming gas helium in a large volume reactor using plasma electron spectroscopy method

    Sysoev, S. S. & Kudryavtsev, A. A., 29 Oct 2019, In: Journal of Physics: Conference Series. 1328, 1, 012073.

    Research output: Contribution to journal › Conference article › peer-review

  129. The Method of Averaged Models for Discrete-Time Adaptive Systems

    Amelina, N. O., Granichin, O. N. & Fradkov, A. L., 16 Oct 2019, In: Automation and Remote Control. 80, 10, p. 1755-1782 28 p.

    Research output: Contribution to journal › Article › peer-review

  130. The influence of the ambipolar field on the levitation conditions of dust particles in the positive column of the glow discharge with a change the spatial orientation of the discharge tube

    Kudryavtsev, A. A., Sysoev, S. S., Yuan, C., Li, S. & Zhou, Z., Sep 2019, In: IEEE Transactions on Plasma Science. 47, 9, p. 4391-4395 5 p., 8804382.

    Research output: Contribution to journal › Article › peer-review

  131. Stochastic Approximation Algorithm with Randomization at the Input for Unsupervised Parameters Estimation of Gaussian Mixture Model with Sparse Parameters

    Boiarov, A. A. & Granichin, O. N., 1 Aug 2019, In: Automation and Remote Control. 80, 8, p. 1403-1418 16 p.

    Research output: Contribution to journal › Article › peer-review

  132. On sport trainings in armed forces: Terms and definitions

    Khubbiev, S. Z., Pashuta, V. L., Romanenko, N. V. & Kozlov, A. V., Aug 2019, In: Teoriya i Praktika Fizicheskoy Kultury. 2019, 8, p. 6-8 3 p.

    Research output: Contribution to journal › Article › peer-review

  133. Synchronization of Multi-Agent System of 'Feathers' on the Surface of the Wing in a Turbulent Airflow

    Amelin, K., Amelina, N., Granichin, O., Granichina, O. & Ivanskiy, Y., Aug 2019, CCTA 2019 - 3rd IEEE Conference on Control Technology and Applications. Institute of Electrical and Electronics Engineers Inc., p. 355-359 5 p. 8920586. (CCTA 2019 - 3rd IEEE Conference on Control Technology and Applications).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  134. Способ реконструкции 3D модели статичного объекта и устройство для его реализации

    Немешев, М. Х., Смирнов, М. Н., Викулов, Е. И. & Терехов, А. Н., 2 Jul 2019, Patent No. 2693327, 14 Sep 2018

    Research output: Patenting and IP registration › Patent

  135. Stochastic fast gradient for tracking

    Kosaty, D., Vakhitov, A., Granichin, O. & Yuchi, M., 1 Jul 2019, 2019 American Control Conference, ACC 2019. Institute of Electrical and Electronics Engineers Inc., p. 1476-1481 8815070. (Proceedings of the American Control Conference; vol. 2019-July).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  136. Математические модели при анализе культурно-исторических и социальных явлений

    Граничин, О. Н., 1 Jun 2019, ИННОВАЦИИ И ТРАДИЦИИ В АРАБИСТИКЕ И ИСЛАМОВЕДЕНИИ: Сборник статей в честь профессора Олега Ивановича Редькина. СПб.: Издательство Санкт-Петербургского университета, p. 246-253

    Research output: Chapter in Book/Report/Conference proceeding › Article in an anthology › Research › peer-review

  137. Evaluation of move method refactorings recommendation algorithms: are we doing it right?

    Novozhilov, E., Veselov, I., Pravilov, M. & Bryksin, T., May 2019, IWOR '19: Proceedings of the 3rd International Workshop on Refactoring. p. 23-26 8844425

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  138. PathMiner: a library for mining of path-based representations of code

    Kovalenko, V., Bogomolov, E., Bryksin, T. & Bacchelli, A., May 2019, Proceedings - 2019 IEEE/ACM 16th International Conference on Mining Software Repositories, MSR 2019. Institute of Electrical and Electronics Engineers Inc., Vol. 2019. p. 13-17 5 p. 8816777

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  139. Detection of specific areas and densities for ultrasound tomography

    Erofeeva, V., Galyamina, V., Gonta, K., Leonova, A., Granichin, O., Pankov, V., Trofimov, S., Tursunova, M., Ding, M., Yuchi, M. & Fang, X., 1 Jan 2019, In: Cybernetics and Physics. 8, 3, p. 121-127

    Research output: Contribution to journal › Article › peer-review

  140. Implementation of "smart greenhouse" visual programming tool using deep metamodeling

    Kuzmina, E. & Litvinov, Y., 1 Jan 2019, In: CEUR Workshop Proceedings. 2372, p. 67-73

    Research output: Contribution to journal › Conference article › peer-review

  141. Automatic classification of error types in solutions to programming assignments at online learning platform

    Lobanov, A., Bryksin, T. & Shpilman, A., 2019, Artificial Intelligence in Education : 20th International Conference, Proceedings, Part II. Isotani, S., Millán, E., Ogan, A., McLaren, B., Hastings, P. & Luckin, R. (eds.). Springer Nature, p. 174-178 (Lecture Notes in Computer Science ; vol. 11626 ).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  142. Preface

    Avetisyan, A., Ivar, J., Pozin, B. A., Petrenko, A. K., Pozin, B. A., Petrenko, A. K., Cavalli, A. R., Petrenko, A. K., Avetisyan, A., Arlazarov, V., Avdoshin, S., Batovrin, V. K., Bershadsky, A. M., Boichenko, A., Juris, B., Vasenin, V. A., Schlingloff, H., Kalyanov, G., Kantorovich, G. G., Korolev, A. & 20 others, Kosolapov, M. S., Kostogryzov, A. I., Koznov, D. V., Kuznetsov, S., Prokhorov, S., Soyfer, V. A., Starykh, V. A., Stolyarov, G. K., Stupnikov, S. A., Telnov, Y. P., Shmid, A., Mira, K. M. M., Wentzl, W., Mayer, W. H., Yevtushenko, N., Zakharov, V., Zmeev, O., Cavalli, A. R., Petrenko, A. K. & Pozin, B. A., 2019, 6th International Conference Actual Problems of System and Software Engineering, APSSE 2019. p. 1-2 2 p. (CEUR Workshop Proceedings; vol. 2514).

    Research output: Chapter in Book/Report/Conference proceeding › Foreword/postscript › Research › peer-review

  143. SEIM-2019 Message from the editors

    Litvinov, Y. & Trifonov, P., 2019, In: CEUR Workshop Proceedings. 2372, p. 4 1 p.

    Research output: Contribution to journal › Editorial

  144. Введение в квантовые вычисления. Квантовые алгоритмы: Учебное пособие

    Сысоев, С. С., 2019, Издательство Санкт-Петербургского университета. 144 p.

    Research output: Book/Report/Anthology › Book › peer-review

  145. Когнитивные пределы научного мышления.

    Переслегин, С. Б., Королев, А. А. & Шилов, С. Ю., 2019, In: ЭКОНОМИЧЕСКИЕ СТРАТЕГИИ. 21, 2 (160), p. 44-55

    Research output: Contribution to journal › Article

  146. Политическая экономия информационно-коммуникационных технологий: место России на глобальном рынке.

    Ткаченко, С. Л. & Терехов, А. Н., 2019, Москва: Издательский дом НИУ ВШЭ. 312 p.

    Research output: Book/Report/Anthology › Book › peer-review

  147. 2018

  148. Typed embedding of a relational language in OCaml

    Kosarev, D. & Boulytchev, D., 31 Dec 2018, In: Electronic Proceedings in Theoretical Computer Science, EPTCS. 285, p. 1-22 22 p.

    Research output: Contribution to journal › Conference article › peer-review

  149. Ergatic System of Complex Safety of Subjects of Education1

    Trapitsin, S. Y., Granichina, O. A., Granichin, O. N. & Zharova, M. V., 5 Nov 2018, Proceedings of the 2018 IEEE International Conference "Quality Management, Transport and Information Security, Information Technologies", IT and QM and IS 2018. Institute of Electrical and Electronics Engineers Inc., p. 877-880 4 p. 8524965

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  150. Social capital of professors as a factor of increasing the effectiveness of the university

    Граничин, О. Н., Trapitsin, S. & Granichina, O., 5 Nov 2018, Proceedings of the 2018 IEEE International Conference "Quality Management, Transport and Information Security, Information Technologies", IT and QM and IS 2018. Institute of Electrical and Electronics Engineers Inc., p. 739-742 4 p. 8524943. (Proceedings of the 2018 IEEE International Conference "Quality Management, Transport and Information Security, Information Technologies", IT and QM and IS 2018).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  151. Ergatic system of complex safety of subjects of education

    Граничин, О. Н., Trapitsin, S., Granichina, O. & Zharova, M., 28 Sep 2018, Proc of the 2018 International Conference "Quality Management, Transport and Information Security, Information Technologies", IT and QM and IS2018, St. Petersburg, Russia, 2018.. Institute of Electrical and Electronics Engineers Inc.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  152. Automatic recommendation of move method refactorings using clustering ensembles

    Bryksin, T., Novozhilov, E. & Shpilman, A., 4 Sep 2018, IWoR 2018 - Proceedings of the 2nd International Workshop on Refactoring, co-located with ASE 2018. Ouni, A., Cinneide, M. O. & Kessentini, M. (eds.). Association for Computing Machinery, p. 42-45 4 p. (IWoR 2018 - Proceedings of the 2nd International Workshop on Refactoring, co-located with ASE 2018).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  153. Improving Refutational Completeness of Relational Search via Divergence Test

    Rozplokhas, D. & Булычев, Д. Ю., 3 Sep 2018, Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming. Association for Computing Machinery, 20 p. (Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  154. Detecting Near Duplicates in Software Documentation

    Luciv, D., Koznov, D., Chernishev, G. A., Terekhov, A. N., Romanovsky, K. Y. & Grigoriev, D. A., Sep 2018, In: Programming and Computer Software. 44, 5, p. 335-343 9 p.

    Research output: Contribution to journal › Article › peer-review

  155. Distributed state estimation of moving targets using cyclic simultaneous perturbation stochastic approximation

    Erofeeva, V. & Granichin, O., 30 Aug 2018, In: IFAC-PapersOnLine. 51, 23, p. 218-223 6 p.

    Research output: Contribution to journal › Article › peer-review

  156. Knowledge Management Capability Impact on Enterprise Performance in Russian High-Tech Sector

    Gorlacheva, E. N., Gudkov, A. G., Omelchenko, I. N., Drogovoz, P. A. & Koznov, D. V., 13 Aug 2018, 2018 IEEE International Conference on Engineering, Technology and Innovation, ICE/ITMC 2018 - Proceedings. Institute of Electrical and Electronics Engineers Inc., 8436316. (2018 IEEE International Conference on Engineering, Technology and Innovation, ICE/ITMC 2018 - Proceedings).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  157. Cyclic Stochastic Approximation with Disturbance on Input in the Parameter Tracking Problem Based on a Multiagent Algorithm

    Granichin, O. N. & Erofeeva, V. A., 1 Jun 2018, In: Automation and Remote Control. 79, 6, p. 1013-1028 16 p.

    Research output: Contribution to journal › Article › peer-review

  158. Poster: Duplicate finder toolkit

    Luciv, D., Koznov, D., Chernishev, G., Basit, H. A., Romanovsky, K. & Terekhov, A., 27 May 2018, PROCEEDINGS 2018 IEEE/ACM 40TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING - COMPANION (ICSE-COMPANION. Institute of Electrical and Electronics Engineers Inc., p. 171-172 2 p. (Proceedings of the IEEE-ACM International Conference on Software Engineering Companion).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  159. Patterning of writing style evolution by means of dynamic similarity

    Amelin, K., Granichin, O., Kizhaeva, N. & Volkovich, Z., May 2018, In: Pattern Recognition. 77, p. 45-64 20 p.

    Research output: Contribution to journal › Article › peer-review

  160. Графическая технология управления «умной теплицей»

    Литвинов, Ю. В. & Кузьмина, Е. В., 24 Apr 2018, Современные технологии в теории и практике программирования: сборник материалов конференции. СПб.: Издательство Санкт-Петербургского Государственного Политехнического Университета, p. 20-22

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  161. Решение задачи разбиения поля методом диаграммы Вороного

    Иванова, М. А. & Литвинов, Ю. В., 24 Apr 2018, Современные технологии в теории и практике программирования: сборник материалов конференции. СПб.: Издательство Санкт-Петербургского Государственного Политехнического Университета

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  162. Создание визуального предметно-ориентированного языка программирования дронов для симулятора AirSim

    Небогатиков, И. Ю. & Литвинов, Ю. В., 24 Apr 2018, Современные технологии в теории и практике программирования: сборник материалов конференции. СПб.: Издательство Санкт-Петербургского Государственного Политехнического Университета, p. 66-68

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  163. Typed Relational Conversion

    Lozov, P., Vyatkin, A. & Boulytchev, D., 19 Apr 2018, Trends in Functional Programming: 18th International Symposium, TFP 2017, Canterbury, UK, June 19-21, 2017, Revised Selected Papers. Springer Nature, p. 39-58 19 p. (Lecture Notes in Computer Science; vol. 10788).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  164. Методы фрактального анализа в исследовании изображений биомедицинских препаратов

    Ампилова, Н. Б., Соловьев, И. П., Сергеев, В. Д. & Куликов, Е. К., 30 Mar 2018, In: ДИФФЕРЕНЦИАЛЬНЫЕ УРАВНЕНИЯ И ПРОЦЕССЫ УПРАВЛЕНИЯ. 1, p. 109-125 17 p.

    Research output: Contribution to journal › Article › peer-review

  165. Adjustment of Consensus Protocol Step-Size in a Network System with Different Task Priorities via SPSA-like Algorithm under the Cost Constraints

    Amelina, N., Granichin, O., Granichina, O., Ivanskiy, Y. & Jiang, Y., 1 Jan 2018, In: IFAC-PapersOnLine. 51, 23, p. 100-105 6 p.

    Research output: Contribution to journal › Article › peer-review

  166. Counterexamples to the Kalman Conjectures⁎

    Kuznetsov, N. V., Kuznetsova, O. A., Koznov, D., Mokaev, R. N. & Andrievsky, B., 1 Jan 2018, In: IFAC-PapersOnLine. 51, 33, p. 138-143 6 p.

    Research output: Contribution to journal › Article › peer-review

  167. Evolution of clusters in large-scale dynamical networks

    Proskurnikov, A. V. & Granichin, O. N., 1 Jan 2018, In: Cybernetics and Physics. 7, 3, p. 102-129 28 p.

    Research output: Contribution to journal › Article › peer-review

  168. Lock-in range of BPSK Costas loop

    Aleksandrov, K. D., Koznov, D. V., Krasnikova, M. S., Kudryashova, E. V., Kuznetsov, N. V. & Kuznetsova, O. A., 1 Jan 2018, In: IFAC-PapersOnLine. 51, 25, p. 252-256 5 p.

    Research output: Contribution to journal › Article › peer-review

  169. On the Possibility of Using the Method of Sign-Perturbed Sums for the Processing of Dynamic Test Data

    Volkova, M. V., Granichin, O. N., Volkov, G. A. & Petrov, Y. V., 1 Jan 2018, In: Vestnik St. Petersburg University: Mathematics. 51, 1, p. 23-30 8 p.

    Research output: Contribution to journal › Article › peer-review

  170. Software engineering education for ensuring Russia's priorities in the digital economy

    Khalin, V., Terekhov, A., Tkachenko, S. & Yurkov, A., 1 Jan 2018, In: CEUR Workshop Proceedings. 2256

    Research output: Contribution to journal › Conference article › peer-review

  171. Applying deep learning to C# call sequence synthesis

    Chebykin, A. E. & Kirilenko, I. A., 2018, In: Труды института системного программирования РАН. 30, 3, p. 63-86

    Research output: Contribution to journal › Article › peer-review

  172. Auto-calibration and synchronization of camera and MEMS-sensors

    Polyakov, A. R., Kornilova, A. V. & Kirilenko, I. A., 2018, In: Труды института системного программирования РАН. 30, 4, p. 169-182

    Research output: Contribution to journal › Article › peer-review

  173. Automated refactoring of object-oriented code using clustering ensembles

    Bryksin, T., Shpilman, A. & Kudenko, D., 2018, The Workshops of the The Thirty-Second AAAI Conference on Artificial Intelligence, New Orleans, Louisiana, USA, February 2-7, 2018. p. 754-757

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  174. Cluster Degrees of Freedom in Fission of Actinides

    Unzhakova, A. V., Khantuleva, T. A. & Granichin, O. N., 2018, FISSION AND PROPERTIES OF NEUTRON-RICH NUCLEI: Proceedings of the Sixth International Conference on ICFN6 . J. H. H. A. V. R. A. P. T. (ed.). Singapore: WORLD SCIENTIFIC PUBL CO PTE LTD, p. 582-589 8 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  175. Comparison of Multi-Sensor Task Assignment Methods: Linear Matrix Inequalities vs. Brute Force

    Erofeeva, V., Granichin, O. & Leonova, A., 2018, In: IFAC-PapersOnLine. 51, 32, p. 648-653 6 p.

    Research output: Contribution to journal › Article › peer-review

  176. Data-based code synthesis in IntelliJ IDEA

    Брыксин, Т. А. & Танков, В. Д., 2018, Third Conference on Software Engineering and Information Management (SEIM-2018). Saint Petersburg, Vol. 2135. p. 37-43 7 p. (CEUR Workshop Proceedings).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  177. Detecting anomalies in Kotlin code

    Брыксин, Т. А., Петухов, В., Смиренко, К. П. & Поваров, Н., 2018, Detecting anomalies in Kotlin code. Companion Proceedings for the ISSTA/ECOOP 2018 Workshops ed. New York, NY, USA: Association for Computing Machinery, p. 10-12 3 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  178. Heterogeneous architectures programming library

    Kirgizov, G. V. & Kirilenko, I. A., 2018, In: Труды института системного программирования РАН. 30, 4, p. 45-62

    Research output: Contribution to journal › Article › peer-review

  179. Multi-Sensor Task Assignment Using Linear Matrix Inequalities in the Multiple Target Tracking Problem

    Erofeeva, V., Granichin, O. & Granichina, O., 2018, In: IFAC-PapersOnLine. 51, 15, p. 880-885 6 p.

    Research output: Contribution to journal › Article › peer-review

  180. Satisfying the Cost Constraints in a Network System Operating by the Consensus Protocol with Different Task Priorities

    Amelina, N., Granichin, O., Granichina, O., Ivanskiy, Y. & Jiang, Y., 2018, In: IFAC-PapersOnLine. 51, 32, p. 367-372 6 p.

    Research output: Contribution to journal › Article › peer-review

  181. Нужны ли кандидаты и доктора наук по программной инженерии для модернизации и техно-логического развития российской экономики?

    Терехов, А. Н., Халин, В. Г. & Юрков, А. В., 2018, In: ПРИКЛАДНАЯ ИНФОРМАТИКА. 14, 4 (76), p. 42-52

    Research output: Contribution to journal › Article › peer-review

  182. Памяти Геннадия Алексеевича Леонова

    Архипова, А. А., Беляев, А. К., Бауэр, С. М., Воронкова, Е. Б., Востоков, С. В., Гаген-Торн, В. А., Гелиг, А. Х., Демьянович, Ю. К., Ермаков, С. М., Иванов, О. А., Индейцев, Д. А., Кузнецов, Н. В., Кустова, Е. В., Матвеев, С. К., Михайлова, Е. Г., Морозов, В. А., Морозов, Н. Ф., Назаров, А. И., Невзоров, В. Б., Нежинский, В. М. & 15 others, Никитин, Я. Ю., Новиков, Б. А., Плисс, В. А., Пилюгин, С. Ю., Разов, А. И., Романовский, И. В., Рябов, В. М., Савельев, А. С., Смирнов, А. Л., Терехов, А. Н., Товстик, П. Е., Уральцева, Н. Н., Фрадков, А. Л., Холшевников, К. В. & Широков, Н. А., 2018, In: Вестник СПбГУ. Математика. Механика. Астрономия. 2018. . 5 (63), 4, p. 701-704 4 p.

    Research output: Contribution to journal › Biographical item

  183. Способы сегментации медицинских изображений

    Мусатян, С. А., Ломакин, А. В., Сартасов, С. Ю., Попыванов, Л. К., Монахов, И. Б. & Чижова, А., 2018, In: Труды института системного программирования РАН. 30, 4

    Research output: Contribution to journal › Article › peer-review

  184. 2017

  185. Dynamic fracture tests data analysis based on the randomized approach

    Volkova, M. V., Granichin, O. N., Petrov, Y. V. & Volkov, G. A., 27 Dec 2017, In: Advances in Systems Science and Applications. 17, 3, p. 34-41 8 p.

    Research output: Contribution to journal › Article › peer-review

  186. Минимизация функционала типа среднего риска на основе конечного (возможно малого) набора экспериментальных данных

    Граничин, О. Н. & Волкова, М. В., 20 Dec 2017, In: СТОХАСТИЧЕСКАЯ ОПТИМИЗАЦИЯ В ИНФОРМАТИКЕ. 13, 2, p. 3-37 35 p., 1.

    Research output: Contribution to journal › Article › peer-review

  187. How to make visual modeling more attractive to software developers

    Terekhov, A., Bryksin, T. & Litvinov, Y., 1 Nov 2017, Present and Ulterior Software Engineering. Springer Nature, p. 139-152 14 p.

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › Research › peer-review

  188. Information and mathematical models for evaluation of the effectiveness and quality of the university

    Trapitsin, S. Y., Granichina, O. A. & Granichin, O. N., 26 Oct 2017, Proceedings of the 2017 International Conference "Quality Management, Transport and Information Security, Information Technologies", IT and QM and IS 2017. Institute of Electrical and Electronics Engineers Inc., p. 287-291 5 p. 8085813

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  189. Lions, swans, monkeys - A new approach to biometric menagerie

    Sartasov, S., Zakharov, R. & Mikhalev, A., 20 Oct 2017, CEE-SECR 2017 - Proceedings of the 13th Central and Eastern European Software Engineering Conference in Russia. Association for Computing Machinery, 3166113

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  190. Duplicate management in software documentation maintenance

    Koznov, D. V., Luciv, D. V. & Chernishev, G. A., 1 Oct 2017, In: CEUR Workshop Proceedings. 1989, p. 195-201 7 p.

    Research output: Contribution to journal › Conference article › peer-review

  191. Extreme Complex Systems, Uncertain and Uncooperative Robotic Networks, and Control Strategies Based Upon Stochastic Algorithms

    Граничин, О. Н. & Dudziak, M., 1 Oct 2017, In: Экстремальная робототехника. 1, 1, p. 450-456 7 p.

    Research output: Contribution to journal › Conference article › peer-review

  192. Improving control engineering education with TRIK cybernetic system

    Luchin, R. M., Shirokolobov, I. Y., Sokolov, D. V., Kirilenko, I. A., Terekhov, A. N. & Stone, A., 1 Jul 2017, In: IFAC-PapersOnLine. 50, 1, p. 15716-15721 6 p.

    Research output: Contribution to journal › Article › peer-review

  193. Local voting protocol for the adaptation of airplane's 'feathers' in a turbulence flow

    Granichin, O., Khantuleva, T. & Granichina, O., 29 Jun 2017, 2017 American Control Conference, ACC 2017. Institute of Electrical and Electronics Engineers Inc., p. 5684-5689 6 p. 7963840. (Proceedings of the American Control Conference).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  194. DeepAPI#: CLR/C# call sequence synthesis from text query

    Chebykin, A., Kita, M. & Kirilenko, I., 1 Jan 2017, In: CEUR Workshop Proceedings. 1864

    Research output: Contribution to journal › Conference article › peer-review

  195. Adaptation of Aircraft's Wings Elements in Turbulent Flows by Local Voting Protocol

    Granichin, O., Khantuleva, T. & Amelina, N., 2017, In: IFAC-PapersOnLine. 50, 1, p. 1904-1909 6 p.

    Research output: Contribution to journal › Article › peer-review

  196. An approach to designing software engineering thesis papers

    Koznov, D. & Nemeshev, M., 2017, IC3K 2017 - Proceedings of the 9th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management. Liu, K., Salgado, A. C., Bernardino, J., Filipe, J. & Filipe, J. (eds.). SciTePress, p. 139-145 7 p. (IC3K 2017 - Proceedings of the 9th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management; vol. 3).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  197. DeepAPI: Синтез цепочки вызовов API CLR/С# по текстовому запросу

    Chebykin, A., Kita, M. & Kirilenko, I., 2017, SEIM 2017. Proceedings of the Second Conference on Software Engineering and Information Management. 6 p. (CEUR Workshop Proceedings; vol. 1864).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  198. DISCOVERING NEAR DUPLICATE TEXT IN SOFTWARE DOCUMENTATION

    Kanteev, L. D., Kostyukov., Y. O., Luciv, D. V., Koznov, D. V. & Smirnov, M. N., 2017, In: Труды института системного программирования РАН. 29, 4, p. 303-314

    Research output: Contribution to journal › Article › peer-review

  199. History of Development of Visual Modeling Tools at the Saint Petersburg State University

    Брыксин, Т. А., Литвинов, Ю. В. & Терехов, А. Н., 2017, Selected Papers - 2017 4th International Conference "Computer Technology in Russia and in the Former Soviet Union", SoRuCom 2017. Krayneva, I. & Tomilin, A. (eds.). Zelenograd, Russia, p. 109-113 5 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  200. Online Parameter Estimation for MPC Model Uncertainties Based on LSCR Approach

    Kalmuk, A., Tyushev, K., Granichin, O. & Yuchi, M., 2017, 2017 IEEE CONFERENCE ON CONTROL TECHNOLOGY AND APPLICATIONS (CCTA 2017). IEEE Canada, p. 1256-1261 6 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  201. Projective Approximation Based Gradient Descent Modification

    Senov, A. & Granichin, O., 2017, In: IFAC-PapersOnLine. 50, 1, p. 3899-3904 6 p.

    Research output: Contribution to journal › Article › peer-review

  202. Real-time digital video stabilization using MEMS-sensors

    Kornilova, A. V., Kirilenko, I. A. & Zabelina, NI., 2017, In: Труды института системного программирования РАН. 29, 4, p. 73-86

    Research output: Contribution to journal › Article › peer-review

  203. Sign-Perturbed Sums Approach for Data Treatment of Dynamic Fracture Tests

    Volkova, M., Volkov, G., Granichin, O. & Petrov, Y., 2017, 2017 IEEE 56TH ANNUAL CONFERENCE ON DECISION AND CONTROL (CDC). Institute of Electrical and Electronics Engineers Inc., Vol. 2018-January. p. 1652-1656 5 p. (Proceedings od the IEEE Conference on Decision and Control).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  204. Simultaneous Perturbation Stochastic Approximation for Clustering of a Gaussian Mixture Model under Unknown but Bounded Disturbances

    Boiarov, A., Granichin, O. & Hou Wenguang, 2017, 2017 IEEE CONFERENCE ON CONTROL TECHNOLOGY AND APPLICATIONS (CCTA 2017). IEEE Canada, p. 1740-1745 6 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  205. Sistema programmirovaniya kiberneticheskih geterogennyh arhitektur s ispolzovaniem LLVM

    Melentev, K., Belkov, R. & Kirilenko, I., 2017, Second Conference on Software Engineering and Information Management (SEIM-2017)(short papers). p. 31 1 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  206. Spectral Profiling of Writing Process

    Kizhaeva, N., Volkovich, Z., Granichin, O., Granichina, O. & Kiyaev, V., 2017, 2017 IEEE CONFERENCE ON CONTROL TECHNOLOGY AND APPLICATIONS (CCTA 2017). IEEE Canada, p. 2063-2068 6 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  207. The knowledge managment capability of high-technology enterprises

    Gorlacheva, E., Gudkov, A., Koznov, D. & Omelchenko, I., 2017, IC3K 2017 - Proceedings of the 9th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management. Liu, K., Salgado, A. C., Bernardino, J., Filipe, J. & Filipe, J. (eds.). SciTePress, p. 131-138 8 p. (IC3K 2017 - Proceedings of the 9th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management; vol. 3).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  208. TRIK Studio: Technical Introduction

    Мордвинов, Д. А., Литвинов, Ю. В. & Bryksin, T., 2017, PROCEEDINGS OF THE 20TH CONFERENCE OF OPEN INNOVATIONS ASSOCIATION (FRUCT 2017). Balandin, S. (ed.). IEEE Canada, p. 296-308 13 p. (Proceedings Conference of Open Innovations Association FRUCT).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  209. Адаптация элементов крыла в турбулентном потоке с помощью протокола локального голосования

    Граничин, О. Н. & Хантулева, Т. А., 2017, In: АВТОМАТИКА И ТЕЛЕМЕХАНИКА. 10, p. 168-188 21 p.

    Research output: Contribution to journal › Article › peer-review

  210. Поддержка отладки текстовых языков программирования в TRIK Studio

    Литвинов, Ю. В. & Малютин, Д. П., 2017, Современные технологии в теории и практике программирования: Материалы научно-практической конференции студентов, аспирантов и молодых учёных . СПб: Издательство Санкт-Петербургского Государственного Политехнического Университета, p. 62-63

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  211. Поддержка программирования микроконтроллера STM32 в TRIK Studio

    Литвинов, Ю. В. & Приходько, С. В., 2017, Материалы научно-практической конференции студентов, аспирантов и молодых учёных "Современные технологии в теории и практике программирования". Издательство Санкт-Петербургского Государственного Политехнического Университета, p. 71-72

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  212. Робототехнический стенд "Танчики роботов"

    Литвинов, Ю. В. & Сергеев, Е. Д., 2017, СПИСОК-2017. Материалы 7-й всероссийской научной конференции по проблемам информатики. Издательство «ВВМ», p. 90-98

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  213. Среда предметно-ориентированного визуального моделирования REAL.NET

    Литвинов, Ю. В., Кузьмина, Е. В., Небогатиков, И. Ю. & Алымова, Д. А., 2017, СПИСОК-2017. Материалы 7-й всероссийской научной конференции по проблемам информатики. p. 80-89

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  214. 2016

  215. Modeling and visualization of media in Arabic

    Volkovich, Z., Granichin, O., Redkin, O. & Bernikova, O., May 2016, In: Journal of Informetrics. 10, 2, p. 439-453 15 p.

    Research output: Contribution to journal › Article › peer-review

  216. Randomized Control Strategies Under Arbitrary External Noise

    Amelin, K. & Granichin, O., May 2016, In: IEEE Transactions on Automatic Control. 61, 5, p. 1328-1333 6 p.

    Research output: Contribution to journal › Article › peer-review

  217. Estimating the position of a moving object based on test disturbance of camera position

    Krivokon, D. S., Vakhitov, A. T. & Granichin, O. N., 1 Feb 2016, In: Automation and Remote Control. 77, 2, p. 297-312 16 p.

    Research output: Contribution to journal › Article › peer-review

  218. A Dynamic Threshold Based Algorithm for Change Detection in Autonomous Systems

    Kalmuk, A., Granichin, O., Granichina, O. & Ding, M., 2016, In: IFAC Proceedings Volumes (IFAC-PapersOnline). 49, 13, p. 141-145 5 p.

    Research output: Contribution to journal › Article › peer-review

  219. A New Randomized Algorithm for Community Detection in Large Networks

    Kirianovskii, I., Granichin, O. & Proskurnikov, A., 2016, In: IFAC Proceedings Volumes (IFAC-PapersOnline). 49, 13, p. 31-35 5 p.

    Research output: Contribution to journal › Article › peer-review

  220. A survey of open government data in Russian Federation

    Koznov, D., Andreeva, O., Nikula, U., Maglyas, A., Muromtsev, D. & Radchenko, I., 2016, KMIS 2016 - 8th International Conference on Knowledge Management and Information Sharing. Fred, A., Dietz, J., Aveiro, D., Liu, K., Bernardino, J., Filipe, J. & Filipe, J. (eds.). SciTePress, p. 173-180 8 p. (IC3K 2016 - Proceedings of the 8th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management; vol. 3).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  221. Clone Detection in Reuse of Software Technical Documentation

    Koznov, D., Luciv, D., Basit, H. A., Lieh, O. E. & Smirnov, M., 2016, Lecture Notes in Computer Science. Springer Nature, p. 170-185

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  222. Detection of Abrupt Changes in Autonomous System Fault Analysis Using Spatial Adaptive Estimation of Nonparametric Regression

    Kalmuk, A., Granichin, O., Granichina, O. & Ding, M., 2016, 2016 AMERICAN CONTROL CONFERENCE (ACC). IEEE Canada, p. 6839-6844 6 p. (Proceedings of the American Control Conference).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  223. Multi-agent based adaptive swarm robotics control in dynamically changing and noisy environments

    Erofeeva, V., Granichin, O. & Kiyaev, V., 2016, Суперкомпьютерные дни в России Труды международной конференции. p. 808-813

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research

  224. On Fuzzy Repetitions Detection in Documentation Reuse

    Luciv, D. V., Koznov, D. V., Basit, H. A. & Terekhov, A. N., 2016, In: Programming and Computer Software. 42, 4, p. 216–224

    Research output: Contribution to journal › Article › peer-review

  225. Political economy of Russia’s IT sector.

    Tkachenko, S. & Terekhov, A., 2016, In: Baltic Rim Economies. 20, 1, p. 35-36

    Research output: Contribution to journal › Review article › peer-review

  226. Randomized Algorithms with Adaptive Tuning of Parameters for Detecting Communities in Graphs

    Amelina, N., Granichin, O., Granichina, O., Kirianovskii, I. & Prodanov, T., 2016, 2016 IEEE 55TH CONFERENCE ON DECISION AND CONTROL (CDC). IEEE Canada, p. 6222-6227 6 p. (IEEE Conference on Decision and Control).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  227. Technology for application family creation based on domain analysis

    Gudoshnikova, A. A. & Litvinov, Y. V., 2016, In: Труды института системного программирования РАН. 28, 2, p. 97-110

    Research output: Contribution to journal › Article › peer-review

  228. Using Stochastic Approximation Type Algorithm for Choice of Consensus Protocol Step-Size in Changing Conditions

    Amelina, N., Granichin, O., Granichina, O., Ivanskiy, Y. & Jiang, Y., 2016, In: IFAC Proceedings Volumes (IFAC-PapersOnline). 49, 13, p. 265-269 5 p.

    Research output: Contribution to journal › Article › peer-review

  229. Задача поиска нечётких повторов при организации повторного использования документации

    Луцив, Д. В., Кознов, Д. В., Басит, Х. А. & Терехов, А. Н., 2016, In: ПРОГРАММИРОВАНИЕ. 42, 4, p. 39-49

    Research output: Contribution to journal › Article › peer-review

  230. Интеграция среды программирования роботов TRIK Studio со средой трехмерного моделирования V-REP

    Литвинов, Ю. В. & Приходько, С. В., 2016, Современные технологии в теории и практике программирования: Материалы научно-практической конференции студентов, аспирантов и молодых учёных . Издательство Санкт-Петербургского Государственного Политехнического Университета, p. 58-60

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  231. Новые возможности среды программирования роботов TRIK Studio

    Мордвинов, Д. А. & Литвинов, Ю. В., 2016, VI Всероссийская конференция «Современное технологическое обучение: от компьютера к роботу»: сборник тезисов. СПб: ЗАО «Полиграфическое предприятие № 3», p. 41-43

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  232. Обзор применения формальных методов в робототехнике

    Литвинов, Ю. В. & Мордвинов, Д. А., 2016, In: НАУЧНО-ТЕХНИЧЕСКИЕ ВЕДОМОСТИ САНКТ-ПЕТЕРБУРГСКОГО ГОСУДАРСТВЕННОГО ПОЛИТЕХНИЧЕСКОГО УНИВЕРСИТЕТА. ИНФОРМАТИКА. ТЕЛЕКОММУНИКАЦИИ. УПРАВЛЕНИЕ. 1 (236), p. 84-107

    Research output: Contribution to journal › Article › peer-review

  233. Оценка положения движущегося объекта на основе пробного возмущения положения камеры

    Кривоконь, Д. С., Вахитов, А. Т. & Граничин, О. Н., 2016, In: АВТОМАТИКА И ТЕЛЕМЕХАНИКА. 2, p. 142–161

    Research output: Contribution to journal › Article

  234. Поддержка выполнения кода JavaScript на двумерной модели робота

    Литвинов, Ю. В. & Малютин, Д. П., 2016, Современные технологии в теории и практике программирования: Материалы научно-практической конференции студентов, аспирантов и молодых учёных. СПб: Издательство Санкт-Петербургского Государственного Политехнического Университета, p. 54-55

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  235. Поддержка диаграммы классов языка UML 2.5 в среде QReal

    Литвинов, Ю. В. & Храмышкина, Ю. С., 2016, Материалы научно-практической конференции студентов, аспирантов и молодых учёных "Современные технологии в теории и практике программирования". Издательство Санкт-Петербургского Государственного Политехнического Университета, p. 86-87

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  236. Поддержка работы с подпрограммами в DSM-платформе

    Литвинов, Ю. В. & Когутич, Д. А., 2016, Современные технологии в теории и практике программирования: Материалы научно-практической конференции студентов, аспирантов и молодых учёных. Издательство Санкт-Петербургского Государственного Политехнического Университета, p. 47-49

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  237. Разработка онлайн-метаредактора QReal-Web

    Литвинов, Ю. В. & Черниговская, Л. А., 2016, Материалы научно-практической конференции студентов, аспирантов и молодых учёных "Современные технологии в теории и практике программирования". Издательство Санкт-Петербургского Государственного Политехнического Университета, p. 29-31

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  238. Реализация редактора сетей Петри в системе QReal

    Литвинов, Ю. В. & Тарасова, П. М., 2016, Материалы научно-практической конференции студентов, аспирантов и молодых учёных "Современные технологии в теории и практике программирования". Издательство Санкт-Петербургского Государственного Политехнического Университета, p. 84-85

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  239. Сравнение образовательных сред визуального программирования роботов

    Литвинов, Ю. В. & Мордвинов, Д. А., 2016, In: КОМПЬЮТЕРНЫЕ ИНСТРУМЕНТЫ В ОБРАЗОВАНИИ. 3, p. 32-49

    Research output: Contribution to journal › Article › peer-review

  240. 2015

  241. Combinators and type-driven transformers in Objective Caml

    Boulytchev, D., 15 Dec 2015, In: Science of Computer Programming. 114, p. 57-73 17 p.

    Research output: Contribution to journal › Article › peer-review

  242. Проблемы сетевого управления

    Фрадков, А. Л., Ананьевский, М. С., Амелина, Н. О., Граничин, О. Н., Пчелкина, И. В. А. И. В. ., Проскурников, А. В., Матвеев, А. С., Селиванов, А. А., Джунусов, И. А., Фуртат, И. Б., Фридман, Э. & Андриевский, Б. Р., Dec 2015, Москва-Ижевск: Institute of Computer Science. 329 p.

    Research output: Book/Report/Anthology › Book › peer-review

  243. Optimal step-size of a local voting protocol for differentiated consensuses achievement in a stochastic network with priorities

    Amelina, N., Granichin, O., Granichina, O., Ivanskiy, Y. & Jiang, Y., 16 Nov 2015, 2015 European Control Conference, ECC 2015. Institute of Electrical and Electronics Engineers Inc., p. 628-633 6 p. 7330612. (2015 European Control Conference, ECC 2015).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  244. Optimal step-size of a local voting protocol for differentiated consensuses achievement in a stochastic network with cost constraints

    Ivanskiy, Y., Amelina, N., Granichin, O., Granichina, O. & Jiang, Y., 4 Nov 2015, 2015 IEEE Conference on Control and Applications, CCA 2015 - Proceedings. Institute of Electrical and Electronics Engineers Inc., p. 1367-1372 6 p. 7320802. (2015 IEEE Conference on Control and Applications, CCA 2015 - Proceedings).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  245. Writing style determination using the KNN text model

    Granichin, O., Kizhaeva, N., Shalymov, D. & Volkovich, Z., 26 Oct 2015, 2015 IEEE International Symposium on Intelligent Control, ISIC 2015 - Proceedings. Institute of Electrical and Electronics Engineers Inc., p. 900-905 6 p. 7307296. (IEEE International Symposium on Intelligent Control - Proceedings; vol. 2015-October).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  246. ALGOL 68 and its impact on the USSR and Russian Programming

    Terekhov, A., 5 Feb 2015, Proceedings - 3rd International Conference on Computer Technology in Russia and in the Former Soviet Union, SoRuCom 2014. Tomilin, A. N., Impaglliazzo, J., Proydakov, E., Cheremnykh, N., Shilov, V. & Gerovitch, S. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 97-106 10 p. 7032965. (Proceedings - 3rd International Conference on Computer Technology in Russia and in the Former Soviet Union, SoRuCom 2014).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  247. Clustering

    Granichin, O., 1 Jan 2015, Randomized Algorithms in Automatic Control and Data Mining. Springer Nature, p. 131-161 31 p. (Intelligent Systems Reference Library; vol. 67).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › Research › peer-review

  248. Cluster validation

    Granichin, O., 1 Jan 2015, Randomized Algorithms in Automatic Control and Data Mining. Springer Nature, p. 163-228 66 p. (Intelligent Systems Reference Library; vol. 67).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › Research › peer-review

  249. Historical overview

    Granichin, O., 1 Jan 2015, Randomized Algorithms in Automatic Control and Data Mining. Springer Nature, p. 23-46 24 p. (Intelligent Systems Reference Library; vol. 67).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › Research › peer-review

  250. Linear models

    Granichin, O., 1 Jan 2015, Randomized Algorithms in Automatic Control and Data Mining. Springer Nature, p. 75-105 31 p. (Intelligent Systems Reference Library; vol. 67).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › Research › peer-review

  251. Randomized control strategies

    Granichin, O., 1 Jan 2015, Randomized Algorithms in Automatic Control and Data Mining. Springer Nature, p. 107-127 21 p. (Intelligent Systems Reference Library; vol. 67).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › Research › peer-review

  252. Randomized stochastic approximation

    Granichin, O., 1 Jan 2015, Randomized Algorithms in Automatic Control and Data Mining. Springer Nature, p. 51-74 24 p. (Intelligent Systems Reference Library; vol. 67).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › Research › peer-review

  253. Application of Scenario Approach to Optimal Choice of Feedback Coefficients in Trading Strategy Using PI-Controller

    Kornivetc, A. & Granichin, O., 2015, PROCEEDINGS OF THE NINTH INTERNATIONAL CONFERENCE ON MANAGEMENT SCIENCE AND ENGINEERING MANAGEMENT. Xu, J., Nickel, S., Machado, VC. & Hajiyev, A. (eds.). Springer Nature, p. 991-998 8 p. (Advances in Intelligent Systems and Computing; vol. 362).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  254. Differentiated Consensuses in Decentralized Load Balancing Problem with Randomized Topology, Noise, and Delays

    Amelina, N., Granichin, O. N., Granichina, O. & Jiang, Y., 2015, 53RD IEEE ANNUAL CONFERENCE ON DECISION AND CONTROL Proceedings. 2015. p. 4613-4618

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research

  255. Polynomial-Time Optimal Pretty-Printing Combinators with Choice

    Podkopaev, A. & Boulytchev, D., 2015, In: Lecture Notes in Computer Science. 8974, p. 257-265

    Research output: Contribution to journal › Article

  256. Randomized Algorithms in Automatic Control and Data Mining

    Granichin, O., Volkovich, Z. V. & Toledano-Kitai, D., 2015, Berlin, Heidelberg: Springer Nature. 251 p. (Intelligent Systems Reference Library; vol. 67)

    Research output: Book/Report/Anthology › Book › peer-review

  257. Simultaneous Perturbation Stochastic Approximation for Tracking under Unknown but Bounded Disturbances

    Granichin, O. & Amelina, N., 2015, In: IEEE Transactions on Automatic Control. 60, 6, p. 1653-1658

    Research output: Contribution to journal › Article

  258. Simultaneous Perturbation Stochastic Approximation in Decentralized Load Balancing Problem

    Amelina, N., Erofeeva, V., Granichin, O. & Malkovskii, N., 2015, In: IFAC Proceedings Volumes (IFAC-PapersOnline). 48, 11, p. 936-941

    Research output: Contribution to journal › Article

  259. Stochastic approximation search algorithms with randomization at the input.

    Granichin, O. N., 2015, In: Automation and Remote Control. p. 762-775

    Research output: Contribution to journal › Article › peer-review

  260. Studying of KNN Two-Sample Test Approach Applications for Writing Style Comparison of English and Russian Text Collections

    Kizhaeva, N., Shalymov, D., Granichin, O. & Volkovich, Z., 2015, Proceedings of the AINL-ISMW FRUCT : Artificial Intelligence and Natural Language & Information Extraction, Social Media and Web Search, Saint-Petersburg, Russia, 9-14 November 2015. p. 163-166

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research

  261. TRIK Studio: среда обучения программированию с применением роботов

    Литвинов, Ю. В. & Кириленко, Я. А., 2015, V Всероссийская конференция «Современное технологическое обучение: от компьютера к роботу» (сборник тезисов). ЗАО «Полиграфическое предприятие № 3», p. 5-7

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  262. View to view transformations in domain specific modeling

    Koznov, D. V., Larchik, E. V. & Terekhov, A. N., 2015, In: Programming and Computer Software. 4, p. 208-214

    Research output: Contribution to journal › Article › peer-review

  263. Writing Style Comparison Method Based on the KNN Two-Sample Test Approach for English and Russian Text Collections

    Kizhaeva, N., Shalymov, D., Granichin, O. & Volkovich, Z., 2015, Artificial Intelligence and Natural Language & Information Extraction, Social Media and Web Search (AINL-ISMW FRUCT), St-Petersburg, Russia, 9-14 November 2015.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research

  264. Генерация кода в режиме метамоделирования на лету в системе QReal

    Литвинов, Ю. В. & Литвинова, М. В., 2015, Материалы научно-практической конференции студентов, аспирантов и молодых учёных "Современные технологии в теории и практике программирования". Издательство Санкт-Петербургского Государственного Политехнического Университета, p. 53-54

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  265. Мониторинг и мультиагентное управление

    Граничин, О. Н. & Кияев, В. И., 2015, ПРЕПОДАВАНИЕ ИНФОРМАЦИОННЫХ ТЕХНОЛОГИЙ В РОССИЙСКОЙ ФЕДЕРАЦИИ: Материалы Тринадцатой открытой Всероссийской конференции. p. 90-91

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research

  266. Поддержка конструктора EV3 в TRIK Studio

    Литвинов, Ю. В., Когутич, Д. А. & Смирнов, М. А., 2015, Материалы научно-практической конференции студентов, аспирантов и молодых учёных "Современные технологии в теории и практике программирования". Издательство Санкт-Петербургского Государственного Политехнического Университета, p. 40-41

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  267. Развитие нефтегазовых комплексов и сетей: мониторинг и мультиагентное управление

    Амелина, Н. О., Амелин, К. С., Граничин, О. Н. & Кияев, В. И., 2015, Сб. тезисов V научно-практическая конференция «Суперкомпьютерные технологии в нефтегазовой отрасли. Математические методы, программное и аппаратное обеспечение». p. 17- 21

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research

  268. Рандомизированные алгоритмы при исследовании моделей культурно-исторических и социальных явлений

    Граничин, О. Н., 2015, Азия и Африка в меняющемся мире: тезисы докладов. СПб: НП-Принт, p. 448-449

    Research output: Chapter in Book/Report/Conference proceeding › Conference abstracts › Research

  269. Реализация алгоритма вывода типов Хиндли-Милнера для языка Lua в TRIK Studio

    Литвинов, Ю. В., Малютин, Д. П. & Приходько, С. В., 2015, Материалы научно-практической конференции студентов, аспирантов и молодых учёных "Современные технологии в теории и практике программирования". Издательство Санкт-Петербургского Государственного Политехнического Университета, p. 76-76

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  270. Сравнение способов получения редакторов по метамодели и скорости их работы

    Литвинов, Ю. В., Тарасова, П. М. & Храмышкина, Ю. С., 2015, Материалы научно-практической конференции студентов, аспирантов и молодых учёных "Современные технологии в теории и практике программирования". Издательство Санкт-Петербургского Государственного Политехнического Университета, p. 79-80

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  271. 2014

  272. Functional reactive programming: From natural user interface to natural robotics behavior

    Soshnikov, D. & Kirilenko, I., 23 Oct 2014, CEE-SECR 2014 - Proceedings of the 10th Central and Eastern European Software Engineering Conference in Russia. Association for Computing Machinery, Vol. 23-24-October-2014. a9

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  273. Precise garbage collection for C++ with a non-cooperative compiler

    Berezun, D. & Boulytchev, D., 23 Oct 2014, CEE-SECR 2014 - Proceedings of the 10th Central and Eastern European Software Engineering Conference in Russia. Association for Computing Machinery, a15. (ACM International Conference Proceeding Series; vol. 23-24-October-2014).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  274. Robotics reactive programming with F#/Mono

    Kirsanov, A., Kirilenko, I. & Melentyev, K., 23 Oct 2014, CEE-SECR 2014 - Proceedings of the 10th Central and Eastern European Software Engineering Conference in Russia. Association for Computing Machinery, Vol. 23-24-October-2014. p. 16 1 p. a16

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  275. AN APPROACH TO DESIGN THESIS PAPERS IN SOFTWARE ENGINEERING

    Koznov, D. V. & Nikolaeva, D. M., 2014, In: УНИВЕРСИТЕТСКИЙ НАУЧНЫЙ ЖУРНАЛ. 8, p. 131-143

    Research output: Contribution to journal › Article

  276. Differentiated Consensuses in a Stochastic Network with Priorities

    Amelina, N., Granichin, O., Granichina, O., Ivanskiy, Y. & Jiang, Y., 2014, 2014 IEEE INTERNATIONAL SYMPOSIUM ON INTELLIGENT CONTROL (ISIC). IEEE Canada, p. 264-269 6 p. (IEEE International Symposium on Intelligent Control).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  277. Differentiated Consensuses in Decentralized Load Balancing Problem with Randomized Topology, Noise, and Delays

    Amelina, N., Granichin, O., Granichina, O. & Jiang, Y., 2014, 2014 IEEE 53RD ANNUAL CONFERENCE ON DECISION AND CONTROL (CDC). February ed. IEEE Canada, Vol. 2015-February. p. 6969-6974 6 p. (Proceedings of the IEEE Conference on Decision and Control).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  278. Exact confidence regions for linear regression parameter under external arbitrary noise

    Senov, A., Amelin, K., Amelina, N. & Granichin, O., 2014, In: Proc. of the 2014 American Control Conference (ACC),. p. 5097-5102

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research

  279. Experimental investigation of a short glow discharge in helium for gas analyzers based on ples methods

    Sysoev, S., Saifutdinov, A., Eleseev, S., Kudryavtsev, A. & Bekasov, V., 2014, In: High Temperature Materials and Processes. 1-2, p. 91-98

    Research output: Contribution to journal › Article

  280. From Abstract Parsing to Abstract Translation

    Grigoriev, S. & Kirilenko, I., 2014, Preliminary Proceedings of the 8th Spring/Summer Young Researchers’ Colloquium on Software Engineering.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  281. How to make visual modeling more attractive to software developers

    Литвинов, Ю. В., Терехов, А. Н. & Брыксин, Т. А., 2014, 11th LASER Summer School on Software Engineering.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  282. Multi-agent tasks scheduling system in software defined networks

    Skobelev, P. O., Granichin, O. N., Budaev, D. S., Laryukhin, V. B. & Mayorov, I. V., 2014, Multi-agent tasks scheduling system in software defined networks. p. 012006

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  283. Randomized stochastic approximation algorithms

    Amelin, K., Granichin, O. & Granichina, O., 2014, 2014 European Control Conference, ECC 2014. p. 2827-2832

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research

  284. Алгол 68 и его влияние на программирование в СССР и России (часть 2)

    Терехов, А. Н., 2014, Труды SORUCOM. 2014. Развитие вычислительной техники и ее программного обеспечения в России и странах бывшего СССР: история и перспективы : Сборник материалов конференции. Казань: Казанский национальный исследовательский технический университет им. А.Н. Туполева, p. 348-353

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research

  285. Архитектура средств графического бизнес-моделирования в технологии ОРГ-Мастер

    Кознов, Д. В., Кудрявцев, Д. В., Григорьев, Л. Ю., Гагарский, Р. К. & Романовский, К. Ю., 2014, In: ПРОГРАММНАЯ ИНЖЕНЕРИЯ. 1, p. 3-11

    Research output: Contribution to journal › Article

  286. ВИЗУАЛЬНОЕ МОДЕЛИРОВАНИЕ ИНФОРМАЦИОННЫХ E-СЕРВИСОВ В ПУБЛИЧНОЙ СФЕРЕ

    Кознов, Д. В., 2014, Издательство Санкт-Петербургского университета.

    Research output: Book/Report/Anthology › Book

  287. Влияние параметров геометрически нелинейной эндохронной теории неупругости на описание процесса релаксации напряжений

    Кадашевич, Ю. И., Помыткин, С. П. & Помыткина, Т. Б., 2014, In: ИЗВЕСТИЯ МОСКОВСКОГО ГОСУДАРСТВЕННОГО ТЕХНИЧЕСКОГО УНИВЕРСИТЕТА "МАМИ". 4, 4(22), p. 67-70

    Research output: Contribution to journal › Article › peer-review

  288. В. Ф. Демьянов

    Иголкин, В. Н., Карелин, В. В., Мышков, С. К., Полякова, Л. Н., Тамасян, Г. Ш., Петросян, Л. А., Веремей, Е. И., Даль, Ю. М., Дривотин, О. И., Добрынин, В. Ю., Егоров, Н. В., Жабко, А. П., Камачкин, А. М., Леонов, Г. А., Новоселов, В. С., Овсянников, Д. А., Терехов, А. Н., Чистяков, С. В., Харитонов, В. Л., Буре, В. М. & 11 others, Александров, А. Ю., Андрианов, С. Н., Бочкарёв, А. О., Евстафьева, В. В., Ермолин, В. С., Захаров, В. В., Олемской, И. В., Пронина, Ю. Г., Сергеев, С. Л., Утешев, А. Ю. & Чижова, О. Н., 2014, In: ВЕСТНИК САНКТ-ПЕТЕРБУРГСКОГО УНИВЕРСИТЕТА. СЕРИЯ 10: ПРИКЛАДНАЯ МАТЕМАТИКА, ИНФОРМАТИКА, ПРОЦЕССЫ УПРАВЛЕНИЯ. 2, p. 153-156

    Research output: Contribution to journal › Editorial › peer-review

  289. Информационные технологии и системы в современном менеджменте

    Граничин, О. Н. & Кияев, В. И., 2014, Издательство «ВВМ».

    Research output: Book/Report/Anthology › Book

  290. К 60-летию Андрея Евгеньевича Барабанова

    Гелиг, А. Х., Леонов, Г. А., Терехов, А. Н., Фрадков, А. Л. & Шепелявый, А. И., 2014

    Research output: Other contribution › Research

  291. МЕТОД ПОИСКА ПОВТОРЯЮЩИХСЯ ФРАГМЕНТОВ ТЕКСТА В ТЕХНИЧЕСКОЙ ДОКУМЕНТАЦИИ

    Луцив, Д. В., Кознов, Д. В., Басит, Х. А., Ли, О. Е., Смирнов, М. Н. & Романовский, К. Ю., 2014, In: НАУЧНО-ТЕХНИЧЕСКИЙ ВЕСТНИК ИНФОРМАЦИОННЫХ ТЕХНОЛОГИЙ, МЕХАНИКИ И ОПТИКИ. 4(92), p. 106-114

    Research output: Contribution to journal › Article › peer-review

  292. Невидимая революция

    Амелин, К. С., Амелина, Н. О., Будаев, Д. С., Граничин, О. Н., Левин, Е. С., Майоров, И. В. & Скобелев, П. О., 2014, In: Суперкомпьютеры. 4(20), p. 20-25

    Research output: Contribution to journal › Article

  293. Применение рандомизации при выборе значимых точек контура шаблона в задаче идентификации объектов на зашумленном изображении.

    Сысоев, С. С. & Велюхов, Ю., 2014, p. 655. 1 p.

    Research output: Contribution to conference › Abstract

  294. 2013

  295. CEE-SECR 2013 - Proceedings: 9th Central and Eastern European Software Engineering Conference in Russia

    Puntikov, N., Terekhov, A. N. & Tsepkov, M., 1 Jan 2013, CEE-SECR 2013 - Proceedings: 9th Central and Eastern European Software Engineering Conference in Russia. Association for Computing Machinery, (ACM International Conference Proceeding Series).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › Research › peer-review

  296. QReal: Robots - An environment for teaching computer science and robotics in schools

    Terekhov, A., Litvinov, Y. & Bryksin, T., 1 Jan 2013.

    Research output: Contribution to conference › Paper › peer-review

  297. Cargo transportation models analysis using multi-agent adaptive real-time truck scheduling system

    Granichin, O., Skobelev, P., Lada, A., Mayorov, I. & Tsarev, A., 2013, ICAART 2013 - Proceedings of the 5th International Conference on Agents and Artificial Intelligence. SciTePress, p. 244-249

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research

  298. GLR-based abstract parsing

    Grigorev, S. & Kirilenko, I., 2013, ACM International Conference Proceeding Series.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  299. Good technology makes the difficult task easy

    Terekhov, A., 2013, 9th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, ESEC/FSE 2013 - Proceedings. p. 683-686

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research

  300. Local voting protocol in decentralized load balancing problem with switched topology, noise, and delays

    Amelina, N., Granichin, O. & Kornivetc, A., 2013, Local voting protocol in decentralized load balancing problem with switched topology, noise, and delays. p. 4613-4618

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research

  301. QReal DSM Platform: An Environment for Creation of Specific Visual IDEs

    Литвинов, Ю. В., Брыксин, Т. А., Перешеина, А. О., Кузенкова, А. С. & Поляков, В., 2013, Proceedings of 8th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE 2013). SciTePress, p. 251-257

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  302. QReal: платформа визуального предметно-ориентированного моделирования

    Терехов, А. Н., Брыксин, Т. А. & Литвинов, Ю. В., 2013, In: ПРОГРАММНАЯ ИНЖЕНЕРИЯ. 6, p. 11-19

    Research output: Contribution to journal › Article

  303. Randomized Algorithm for UAVs Group Flight Optimization

    Amelin, K., Amelina, N., Granichin, O., Granichina, O. & Andrievsky, B., 2013, Proc. of 11th IFAC International Workshop on Adaptation and Learning in Control and Signal Processing, July 3-5, 2013, Caen, France. p. 205-208

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research

  304. Task Allocation Algorithm for the Cooperating Group of Light Autonomous Unmanned Aerial Vehicles

    Amelin, K., Amelina, N., Granichin, O. & Putov, V. V., 2013, Task Allocation Algorithm for the Cooperating Group of Light Autonomous Unmanned Aerial Vehicles. p. 152-155

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research

  305. Адаптивная мультиагентная операционная система реального времени

    Амелин, К. С., Баклановский, М. В., Граничин, О. Н., Иванский, Ю. В., Корнивец, А. Д., Мальковский, Н. В., Найданов, Д. Г. & Шеин, Р. Е., 2013, In: СТОХАСТИЧЕСКАЯ ОПТИМИЗАЦИЯ В ИНФОРМАТИКЕ. 9, 1, p. 3-16

    Research output: Contribution to journal › Article

  306. Александр Михайлович Шауман (1935-2012)

    Леонов, Г. А., Дегтярев, В. И., Дейкало, Г. Ф., Сабанеев, В. С., Терехов, А. Н. & Чирков, М. К., 2013

    Research output: Other contribution › Research

  307. Инструменты для управления вариативностью – готовность к промышленному применению

    Кознов, Д. В., Новицкий, И. А. & Смирнов, М. Н., 2013, In: Труды СПИИРАН: SPIIRAS Proceedings. 3(26), p. 297-331

    Research output: Contribution to journal › Article › peer-review

  308. Мультиагентная система планирования задач в программно-конфигурируемых сетях

    Скобелев, П. О., Граничин, О. Н., Будаев, Д. C., Ларюхин, В. Б. & Майоров, И. В., 2013, In: КОМПЬЮТЕРНЫЕ ИНСТРУМЕНТЫ В ОБРАЗОВАНИИ. 4, p. 3-11

    Research output: Contribution to journal › Article

  309. Научная конференция по проблемам информатики СПИСОК и её роль в учебном процессе

    Луцив, Д. В., 2013, In: КОМПЬЮТЕРНЫЕ ИНСТРУМЕНТЫ В ОБРАЗОВАНИИ. 6, p. 57-66

    Research output: Contribution to journal › Literature review

  310. О проектировании текстов дипломных работ с помощью ментальных карт

    Кознов, Д. В., 2013, In: КОМПЬЮТЕРНЫЕ ИНСТРУМЕНТЫ В ОБРАЗОВАНИИ. 6, p. 45-56

    Research output: Contribution to journal › Article

  311. О рандомизированных и мультиагентных гранях параллелизма

    Бендерская, Е. Н., Граничин, О. Н. & Кияев, В. И., 2013, Труды Международной суперкомпьютерной конференции «Научный сервис в сети Интернет: все грани параллелизма». Издательство Московского университета, p. 224-228

    Research output: Chapter in Book/Report/Conference proceeding › Article in an anthology › Research

  312. Поддержка механизма рефакторингов в DSM-платформе QReal

    Литвинов, Ю. В. & Кузенкова, А., 2013, Материалы межвузовского конкурса-конференции студентов, аспирантов и молодых ученых Северо-Запада "Технологии Microsoft в теории и практике программирования". Издательство Санкт-Петербургского Государственного Политехнического Университета, p. 71-72

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  313. Подходы к заданию семантики интерпретации диаграмм, основанные на технологии преобразования графов

    Поляков, В. А. & Брыксин, Т. А., 2013, In: КОМПЬЮТЕРНЫЕ ИНСТРУМЕНТЫ В ОБРАЗОВАНИИ. 2, p. 3-17

    Research output: Contribution to journal › Article

  314. Предметно-ориентированное визуальное решение для сбора и упорядочивания информации при разработке информационной Web-системы

    Кознов, Д. В., 2013, In: КОМПЬЮТЕРНЫЕ ИНСТРУМЕНТЫ В ОБРАЗОВАНИИ. 5, p. 3-16

    Research output: Contribution to journal › Article

  315. Разработка синтаксических анализаторов в проектах по автоматизированному реинжинирингу информационных систем

    Кириленко, Я. А., Григорьев, С. В. & Авдюхин, Д. А., 2013, In: НАУЧНО-ТЕХНИЧЕСКИЕ ВЕДОМОСТИ САНКТ-ПЕТЕРБУРГСКОГО ГОСУДАРСТВЕННОГО ПОЛИТЕХНИЧЕСКОГО УНИВЕРСИТЕТА. ИНФОРМАТИКА. ТЕЛЕКОММУНИКАЦИИ. УПРАВЛЕНИЕ. 3, p. 94-98 5 p.

    Research output: Contribution to journal › Article › peer-review

  316. Рандомизация и мультиагентный подход в вычислительных технологиях: новые грани параллелизма и суперкомпьютинг

    Бендерская, Е. Н., Граничин, О. Н. & Кияев, В. И., 2013, Информационные технологии в бизнесе : сборник 8-й Международной научной конференции (19-20 июня 2013 г., Санкт-Петербург). СПб.: Инфо-да, p. 13-21

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research

  317. Рандомизированное обобщенное преобразование Хафа в задаче идентификации объектов на изображениях местности

    Сысоев, С. С., 2013, Стохастическая оптимизация в информатике. Издательство Санкт-Петербургского университета, Vol. 9. p. 138-149 12 p.

    Research output: Chapter in Book/Report/Conference proceeding › Article in an anthology › Research

  318. Реализация визуальных средств программирования роботов для изучения информатики в школах

    Литвинов, Ю. В., 2013, In: КОМПЬЮТЕРНЫЕ ИНСТРУМЕНТЫ В ОБРАЗОВАНИИ. 1, p. 36-45

    Research output: Contribution to journal › Article

  319. Среда визуального программирования роботов QReal:Robots

    Литвинов, Ю. В., Брыксин, Т. А. & Терехов, А. Н., 2013, III Всероссийская конференция "Современное технологическое обучение: от компьютера к роботу" (сборник тезисов). p. 2-5

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  320. Среда для обучения информатике и робототехнике QReal:Robots

    Литвинов, Ю. В., Брыксин, Т. А. & Терехов, А. Н., 2013, Девятая независимая научно-практическая конференция «Разработка ПО 2013» (CEE SEC(R)-2013).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  321. Средства типизации и прагматика языка моделирования ОРГ-Мастер

    Кудрявцев, Д. В., Кознов, Д. В. & Григорьев, Л. Ю., 2013, In: Научно-технический вестник информационных технологий, механики и оптики. 6 (88), p. 79-85

    Research output: Contribution to journal › Article › peer-review

  322. Суперкомпьютеры и мультиагентные технологии для решения сложных задач управления ресурсами в реальном времени

    Граничин, О. Н. & Скобелев, П. О., 2013, In: Суперкомпьютеры. 4 (16), p. 54-59

    Research output: Contribution to journal › Article

  323. Эффективный алгоритм построения генетических карт по полностью секвенированным участкам геномов.

    Сысоев, С. С., 2013, Стохастическая оптимизация в информатике. Издательство Санкт-Петербургского университета, Vol. 9. p. 87-94 8 p.

    Research output: Chapter in Book/Report/Conference proceeding › Article in an anthology › Research

  324. 2012

  325. 48-50-я международные конференции «Принятие решений и управление» (IEEE CDC/CCC 2009, CDC 2010 и CDC-ECC 2011)

    Граничин, О. Н., 2012, In: СТОХАСТИЧЕСКАЯ ОПТИМИЗАЦИЯ В ИНФОРМАТИКЕ. 8, 1, p. 142-151

    Research output: Contribution to journal › Article

  326. Automation of QA in the project of DB migration from SQL Server into Oracle

    Kirilenko, I. & Baranov, E., 2012, Proceedings of the Spring/Summer Young Researchers’ Colloquium on Software Engineering.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  327. Combined Procedure with Randomized Controls for the Parameters' Confidence Region of Linear Plant under External Arbitrary Noise

    Amelin, K., Amelina, N., Granichin, O. & Granichina, O., 2012, 2012 IEEE 51ST ANNUAL CONFERENCE ON DECISION AND CONTROL (CDC). IEEE Canada, p. 2134-2139 6 p. (IEEE Conference on Decision and Control).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  328. Comparing adaptive and non-adaptive models of cargo transportation in multi-agent system for real time truck scheduling

    Granichin, O., Skobelev, P., Lada, A., Mayorov, I. & Tsarev, A., 2012, IJCCI 2012 - Proceedings of the 4th International Joint Conference on Computational Intelligence. p. 282-285

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research

  329. Educational Cybernetical Construction Set for Schools and Universities

    Terekhov, A., Luchin, R. & Filippov, S., 2012, In: IFAC Proceedings Volumes (IFAC-PapersOnline). 9, 1, p. 430-435

    Research output: Contribution to journal › Article

  330. Fast Algorithm for Finding True Number of Clusters. Applications to Control Systems

    Morozkov, M., Granichin, O., Volkovich, Z. & Zhang, X., 2012, PROCEEDINGS OF THE 2012 24TH CHINESE CONTROL AND DECISION CONFERENCE (CCDC). IEEE Canada, p. 2001-2006 6 p. (Chinese Control and Decision Conference).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  331. Introduction to the Development of Applications on the Intel Atom Platform for Netbooks and Tablets

    Amelin, K. S., Granichin, O. N., Kiyaev, V. I. & Koryavko, A. V., 2012, Издательство «ВВМ».

    Research output: Book/Report/Anthology › Book

  332. Multi-Agent Stochastic Systems with Switched Topology and Noise

    Amein, K., Amelina, N., Granichin, O. & Granichina, O., 2012, p. 438-443.

    Research output: Contribution to conference › Paper

  333. Multistroke Mouse Gestures Recognition in QReal metaCASE Technology

    Литвинов, Ю. В., Брыксин, Т. А. & Осечкина, М., 2012, SYRCoSE 2012: Proceedings of the 6th Spring/Summer Young Researchers’ Colloquium on Software Engineering. p. 194-200

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  334. Randomized Algorithm of Finding the True Number of Clusters Based on Chebychev Polynomial Approximation

    Avros, R., Granichin, O., Shalymov, D., Volkovich, Z. & Weber, G. -W., 2012, DATA MINING: FOUNDATIONS AND INTELLIGENT PARADIGMS, VOL 1: CLUSTERING, ASSOCIATION AND CLASSIFICATION. Holmes, DE. & Jain, LC. (eds.). Springer Nature, p. 131-155 25 p. (Intelligent Systems Reference Library; vol. 23).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › Research › peer-review

  335. Randomized Controls for Linear Plants and Confidence Regions for Parameters under External Arbitrary Noise

    Amelin, K. & Granichin, O., 2012, 2012 AMERICAN CONTROL CONFERENCE (ACC). Institute of Electrical and Electronics Engineers Inc., p. 851-856 6 p. (Proceedings of the American Control Conference).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  336. Teaching to write software engineering documents with focus on document design by means of mind maps

    Koznov, D. V., 2012, Proceedings of the IASTED International Conference on Computers and Advanced Technology in Education, CATE 2012. p. 112-118 7 p. (Proceedings of the IASTED International Conference on Computers and Advanced Technology in Education, CATE 2012).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  337. The nonasymptotic confidence set for parameters of a linear control object under an arbitrary external disturbance

    Granichin, O. N., 2012, In: Automation and Remote Control. 73, 1, p. 20-30 11 p.

    Research output: Contribution to journal › Article › peer-review

  338. Two Procedures with Randomized Controls for the Parameters' Confidence Region of Linear Plant under External Arbitrary Noise

    Amelin, K., Amelina, N., Granichin, O. & Granichina, O., 2012, 2012 IEEE MULTI-CONFERENCE ON SYSTEMS AND CONTROL (2012 IEEE MSC). IEEE Canada, p. 1226-1231 6 p. (IEEE International Symposium on Intelligent Control).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  339. Визуальные средства программирования роботов и их использование в школах

    Литвинов, Ю. В., 2012, Современные информационные технологии и ИТ-образование, сборник избранных трудов VII Международной научно-практической конференции. Под ред. проф. В.А. Сухомлина. Москва: ИНТУИТ.РУ, p. 858-868

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  340. ИЕРАРХИЧЕСКИЙ АЛГОРИТМ DIFF ПРИ РАБОТЕ СО СЛОЖНЫМИ ДОКУМЕНТАМИ

    Луцив, Д. В., Кознов, Д. В. & Андреев, В. С., 2012, In: СИСТЕМНОЕ ПРОГРАММИРОВАНИЕ. 7, 1, p. 57-68

    Research output: Contribution to journal › Article › peer-review

  341. Информационная поддержка российских туристов при путешествиях в Финляндию

    Морозов, А. В., Кознов, Д. В., Самочадин, А. В. & Лебедкова, Т. А., 2012, In: СИСТЕМНОЕ ПРОГРАММИРОВАНИЕ. 7, 1, p. 137-160

    Research output: Contribution to journal › Article › peer-review

  342. Информационные технологии в управлении (учебн. пособие, 2-е изд.)

    Граничин, О. Н. & Кияев, В. И., 2012, Издательство «ВВМ». 354 p.

    Research output: Book/Report/Anthology › Teaching materials

  343. Кибернетика и перспективы развития суперкомпьютеров

    Граничин, О. Н., 2012, In: Суперкомпьютеры. 4(12), p. 45-49

    Research output: Contribution to journal › Literature review

  344. Компонентизация языковых процессоров на основе расширяемых типов данных и управляемых ими преобразователей

    Булычев, Д. Ю., 2012, In: СИСТЕМНОЕ ПРОГРАММИРОВАНИЕ. 7, 1, p. 69-89

    Research output: Contribution to journal › Article › peer-review

  345. Метод выявления и ранжирования востребованности информации пользователями Интернета

    Самочадин, А. В., Кознов, Д. В., Морозов, А. В., Аллахвердиев, Э. Р., Р.Шакирова, Е. & Хамаева, Э. А., 2012, In: СИСТЕМНОЕ ПРОГРАММИРОВАНИЕ. 7, 1, p. 107-130

    Research output: Contribution to journal › Article › peer-review

  346. МОДЕЛЬНО-ОРИЕНТИРОВАННЫЙ МЕТОД СПЕЦИФИКАЦИИ ГОСУДАРСТВЕННЫХ УСЛУГ

    Кознов, Д. В., Азарсков, А. В., Самочадин, А. В., Шевцова, Ю. А. & Романовский, К. Ю., 2012, In: ВЕСТНИК САНКТ-ПЕТЕРБУРГСКОГО УНИВЕРСИТЕТА. СЕРИЯ 10: ПРИКЛАДНАЯ МАТЕМАТИКА, ИНФОРМАТИКА, ПРОЦЕССЫ УПРАВЛЕНИЯ. 4, p. 102-116

    Research output: Contribution to journal › Article › peer-review

  347. НЕАСИМПТОТИЧЕСКОЕ ДОВЕРИТЕЛЬНОЕ МНОЖЕСТВО ДЛЯ ПАРАМЕТРОВ ЛИНЕИНОГО ОБЪЕКТА УПРАВЛЕНИЯ ПРИ ПРОИЗВОЛЬНОМ ВНЕШНЕМ ВОЗМУЩЕНИИ

    Граничин, О. Н., 2012, In: АВТОМАТИКА И ТЕЛЕМЕХАНИКА. 1, p. 24-35

    Research output: Contribution to journal › Article

  348. Обратные связи, усреднение и рандомизация в управлении и извлечении знаний

    Граничин, О. Н., 2012, In: СТОХАСТИЧЕСКАЯ ОПТИМИЗАЦИЯ В ИНФОРМАТИКЕ. 8, 2, p. 3-48

    Research output: Contribution to journal › Article

  349. ОПЫТ ОЗНАКОМЛЕНИЯ СТУДЕНТОВ С GPGPU В ФОРМАТЕ ЛЕТНЕЙ ШКОЛЫ

    Сартасов, С. Ю., 2012, p. 172-174.

    Research output: Contribution to conference › Abstract › peer-review

  350. Параллельные вычисления на базе нелинейных динамических элементов: проблемы и перспективы

    Бендерская, Е. Н., Граничин, О. Н. & Кияев, В. И., 2012, Труды Международной суперкомпьютерной конференции «Научный сервис в сети Интернет: поиск новых решений». Издательство Московского университета, p. 325-329

    Research output: Chapter in Book/Report/Conference proceeding › Article in an anthology › Research

  351. Перспективный децентрализованный подход к балансировке загрузки в многоядерных процессорах

    Амелина, Н. О., Васильев, В. И., Граничин, О. Н. & Кияев, В. И., 2012, В сб. тр. Всерос. научн. конф. «Научный сервис в сети Интернет: поиск новых решений» (18-21 сентября 2012 г., г. Новороссийск). М.. Издательство Московского университета, p. 345-347

    Research output: Chapter in Book/Report/Conference proceeding › Article in an anthology › Research

  352. Подходы к заданию семантики интерпретации диаграмм в рамках DSM-подхода

    Поляков, В. А. & Брыксин, Т. А., 2012, In: СИСТЕМНОЕ ПРОГРАММИРОВАНИЕ. 7, 1, p. 187-216

    Research output: Contribution to journal › Article › peer-review

  353. ПОИСК КЛОНОВ ПРИ РЕФАКТОРИНГЕ ТЕХНИЧЕСКОЙ ДОКУМЕНТАЦИИ

    Кознов, Д. В., Смирнов, М. Н., Шутак, А. В. & Смажевский, М. А., 2012, In: КОМПЬЮТЕРНЫЕ ИНСТРУМЕНТЫ В ОБРАЗОВАНИИ. 4, p. 30-40

    Research output: Contribution to journal › Article

  354. Предисловие

    Кознов, Д. В., 2012

    Research output: Other contribution › Research

  355. Применение DSM-платформы QReal при разработке среды программирования роботов QReal:Robots

    Литвинов, Ю. В., 2012, In: СИСТЕМНОЕ ПРОГРАММИРОВАНИЕ. 7, 1, p. 161-186

    Research output: Contribution to journal › Article › peer-review

  356. Применение алгоритма локального голосования для достижения консенсуса в децентрализованной сети интеллектуальных агентов

    Амелин, К. С., Амелина, Н. О., Граничин, О. Н. & Корявко, А. В., 2012, In: НЕЙРОКОМПЬЮТЕРЫ: РАЗРАБОТКА, ПРИМЕНЕНИЕ. 11, p. 39-47

    Research output: Contribution to journal › Article

  357. Разработка приложений для мобильных интеллектуальных систем на платформе Intel Atom

    Амелин, К. С., Амелина, Н. О., Граничин, О. Н. & Кияев, В. И., 2012, Издательство «ВВМ».

    Research output: Book/Report/Anthology › Book

  358. Среда программирования QReal:Robots

    Литвинов, Ю. В. & Тихонова, М., 2012, СПИСОК-2012 Материалы Всероссийской научной конференции по проблемам информатики. p. 70-75

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  359. 2011

  360. 48th and 49th international conferences “decision and control” (IEEE CDC/CCC 2009 and CDC 2010)

    Granichin, O. N., 2011, In: Automation and Remote Control. 72, 12, p. 2578-2582

    Research output: Contribution to journal › Article › peer-review

  361. 48-я и 49-я международные конференции «Принятие решений и управление» (IEEE CDC/CCC 2009 и CDC 2010)

    Граничин, О. Н., 2011, In: АВТОМАТИКА И ТЕЛЕМЕХАНИКА. 12, p. 173-178

    Research output: Contribution to journal › Literature review

  362. A randomized algorithm for estimating the number of clusters

    Granichin, O. N., Shalymov, D. S., Avros, R. & Volkovich, Z., 2011, In: Automation and Remote Control. 72, 4, 12 p.

    Research output: Contribution to journal › Article › peer-review

  363. Mind maps merging in collaborative work

    Koznov, D., Larchik, E., Pliskin, M. & Artamonov, N., 2011, In: Programming and Computer Software. 37, 6, p. 315-321

    Research output: Contribution to journal › Article › peer-review

  364. Necessary Conditions for the Confidence Level of the Randomized Algorithm of Finding the True Number of Clusters

    Granichin, O., Morozkov, M. & Volkovich, Z., 2011, 2011 IEEE INTERNATIONAL SYMPOSIUM ON INTELLIGENT CONTROL (ISIC). IEEE Canada, p. 1002-1007 6 p. (IEEE INTERNATIONAL SYMPOSIUM ON INTELLIGENT CONTROL - PROCEEDINGS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  365. Potential of randomization in kalman-type prediction algorithms at arbitrary external noise in observations

    Amelin, K. S. & Granichin, O. N., 2011, In: Gyroscopy and Navigation. 2, 4, p. 277-284

    Research output: Contribution to journal › Article › peer-review

  366. Process Model of DSM Solution Development and Evolution for Small and Medium-Sized Software Companies

    Koznov, D., 2011, Proceedings - IEEE International Enterprise Distributed Object Computing Workshop. Article number 6037606 ed. p. 85-92 (Proceedings - IEEE International Enterprise Distributed Object Computing Workshop).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research

  367. REFACTORING THE DOCUMENTATION OF SOFTWARE PRODUCT LINES

    Romanovsky, K., Koznov, D. & Minchin, L., 2011, In: Lecture Notes in Computer Science. 4980, p. 158-170

    Research output: Contribution to journal › Article

  368. Towards E-government services in Russia

    Koznov, D., Samochadin, A., Azarskov, A. & Chevzova, J., 2011, Proceedings of the International Conference on Knowledge Management and Information Sharing. p. 294-301

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research

  369. Ubiq Mobile + QReal a Technology for Development of Distributed Mobile Services

    Литвинов, Ю. В., Брыксин, Т. А., Терехов, А. Н. & Оносовский, В., 2011, 10th Conference of Open Innovations Association FRUCT and the 2nd Finnish-Russian Mobile Linux Summit: Proceedings. Санкт-Петербургский государственный университет аэрокосмического приборостроения, p. 27-35

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  370. WebMLDoc: подход к автоматизированному отслеживанию изменений в пользовательской документации Web-приложений.

    Кознов, Д. В., Смирнов, М. Н., Дорохов, В. А. & Романовский, К. Ю., 2011, In: ВЕСТНИК САНКТ-ПЕТЕРБУРГСКОГО УНИВЕРСИТЕТА. СЕРИЯ 10: ПРИКЛАДНАЯ МАТЕМАТИКА, ИНФОРМАТИКА, ПРОЦЕССЫ УПРАВЛЕНИЯ. 3, p. 112-126

    Research output: Contribution to journal › Article › peer-review

  371. Введение в разработку приложений для мобильных платформ

    Амелин, К. С., Граничин, О. Н., Кияев, В. И. & Корявко, А. В., 2011, Издательство «ВВМ». 535 p.

    Research output: Book/Report/Anthology › Book

  372. Взгляд на перспективы развития принципиально новых компьютерных устройств и систем

    Амелин, К. С., Граничин, О. Н., Кияев, В. И. & Корявко, А. В., 2011, В сб. тр. Всерос. научн. конф. «Научный сервис в сети Интернет: экзафлопсное будущее». p. 28-31

    Research output: Chapter in Book/Report/Conference proceeding › Article in an anthology › Research

  373. ВОЗМОЖНОСТИ РАНДОМИЗАЦИИ В АЛГОРИТМАХ ПРЕДСКАЗАНИЯ КАЛМАНОВСКОГО ТИПА ПРИ ПРОИЗВОЛЬНЫХ ВНЕШНИХ ПОМЕХАХ В НАБЛЮДЕНИИ

    Амелин, К. С. & Граничин, О. H., 2011, In: ГИРОСКОПИЯ И НАВИГАЦИЯ. 2(73), p. 38-50

    Research output: Contribution to journal › Article

  374. Метамоделирование: современный подход к созданию средств визуального проектирования

    Литвинов, Ю. В., Брыксин, Т. А. & Кузенкова, А. С., 2011, Материалы второй научно-технической конференции молодых специалистов «Старт в будущее», посвященной 50-летию полета Ю.А. Гагарина в космос. p. 228-231

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  375. Мобильность и супервычисления на охране природы

    Граничин, О. Н., Амелин, К. С., Иевлев, Н. В. & Кияев, В. И., 2011

    Research output: Other contribution › Research

  376. Мультиагентное сетевое управление группой легких БПЛА

    Амелин, К. С. & Граничин, О. Н., 2011, In: НЕЙРОКОМПЬЮТЕРЫ: РАЗРАБОТКА, ПРИМЕНЕНИЕ. 6, p. 64-72

    Research output: Contribution to journal › Article

  377. Новые рандомизированные алгоритмы в управлении и обработке данных

    Амелин, К. С. & Граничин, О. Н., 2011, In: СТОХАСТИЧЕСКАЯ ОПТИМИЗАЦИЯ В ИНФОРМАТИКЕ. 7, p. 3-69

    Research output: Contribution to journal › Article

  378. О возможном пути развития принципиально новых компьютерных устройств и систем

    Амелин, К. С., Граничин, О. Н. & Кияев, В. И., 2011, Информационные технологии в экономике, управлении и образовании. Издательство Санкт-Петебургского государственного экономического университета, p. 12-21

    Research output: Chapter in Book/Report/Conference proceeding › Article in an anthology › Research

  379. О задаче слияния карт памяти (Mind Maps) при коллективной разработке

    Кознов, Д., Ларчик, Е., Плискин, М. & Артамонов, Н., 2011, In: ПРОГРАММИРОВАНИЕ. 6, p. 1-10

    Research output: Contribution to journal › Article › peer-review

  380. О спецификации диаграммных преобразований в графических редакторах.

    Кознов, Д. В., 2011, In: ВЕСТНИК САНКТ-ПЕТЕРБУРГСКОГО УНИВЕРСИТЕТА. СЕРИЯ 10: ПРИКЛАДНАЯ МАТЕМАТИКА, ИНФОРМАТИКА, ПРОЦЕССЫ УПРАВЛЕНИЯ. 3, p. 100-111

    Research output: Contribution to journal › Article › peer-review

  381. Персональная робототехника: от увлекательной игры – к серьезной науке

    Амелин, К. С., Граничин, О. Н., Кияев, В. И. & Лучин, Р. М., 2011, In: Суперкомпьютеры. 4(8), p. 62-64

    Research output: Contribution to journal › Literature review

  382. Перспективы принципиально новых компьютерных устройств и систем

    Граничин, О. Н., 2011, In: Суперкомпьютеры. 2(6), p. 8-14

    Research output: Contribution to journal › Literature review

  383. Поддержка метамоделирования в среде визуального программирования QReal

    Литвинов, Ю. В., Перешеина, А. О. & Кузенкова, А. С., 2011, Материалы межвузовского конкурса-конференции студентов, аспирантов и молодых ученых Северо-Запада "Технологии Microsoft в теории и практике программирования". СПб: Издательство Санкт-Петербургского Государственного Политехнического Университета, p. 100-101

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  384. Рандомизированные алгоритмы в задачах обработки данных и принятия решений

    Граничин, О. Н., 2011, In: СИСТЕМНОЕ ПРОГРАММИРОВАНИЕ. 6, 142-162

    Research output: Contribution to journal › Article › peer-review

  385. Рандомизированный алгоритм нахождения количества кластеров

    Граничин, О. Н., Шалымов, Д. С., Аврос, Р. & Волкович, З., 2011, In: АВТОМАТИКА И ТЕЛЕМЕХАНИКА. 4, p. 86-98

    Research output: Contribution to journal › Article

  386. Реализация механизма слияния карт памяти (Mind Maps) в продукте Comapping

    Ларчик, Е. В., Кознов, Д. В. & Плискин, М. М., 2011, In: СИСТЕМНОЕ ПРОГРАММИРОВАНИЕ. 6, 1, p. 6-24

    Research output: Contribution to journal › Article › peer-review

  387. Среда визуального программирования роботов QReal:Robots

    Литвинов, Ю. В. & Брыксин, Т. А., 2011, Информационные технологии в образовании и науке: Материалы международной конференции. Самара, p. 332-334

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  388. Средства быстрой разработки предметно-ориентированных решений в metaCASE-средстве QReal

    Кузенкова, А. С., Дерипаска, А. О., Таран, К. С., Подкопаев, А. В., Литвинов, Ю. В. & Брыксин, Т. А., 2011, In: НАУЧНО-ТЕХНИЧЕСКИЕ ВЕДОМОСТИ САНКТ-ПЕТЕРБУРГСКОГО ГОСУДАРСТВЕННОГО ПОЛИТЕХНИЧЕСКОГО УНИВЕРСИТЕТА. 4, 128, p. 142-145

    Research output: Contribution to journal › Article › peer-review

  389. Стохастическая оптимизация в информатике, выпуск 7

    Граничин, О. Н., Кривулин, Н. К., Леонов, Г. А., Поляк, Б. Т., Соколов, А. В., Терехов, А. Н., Чирков, М. К. & Щербаков, П. С., 2011, Издательство Санкт-Петербургского университета. 288 p.

    Research output: Book/Report/Anthology › Anthology

  390. СТУДЕНЧЕСКИЕ ПРОЕКТЫ ПО ПРОГРАММИРОВАНИЮ КАК СРЕДСТВО ФОРМИРОВАНИЯ ПРОФЕССИОНАЛЬНЫХ НАВЫКОВ

    Брыксин, Т. А., 2011, In: СИСТЕМНОЕ ПРОГРАММИРОВАНИЕ. 6, 1, p. 121-140

    Research output: Contribution to journal › Article › peer-review

  391. Технология визуального предметно-ориентированного проектирования и разработки ПО QReal

    Литвинов, Ю. В. & Брыксин, Т. А., 2011, Материалы второй научно-технической конференции молодых специалистов «Старт в будущее», посвященной 50-летию полета Ю.А. Гагарина в космос. p. 222-225

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  392. Универсальный алгоритм определения подножия континентального склона на основе батиметрических данных

    Ставров, К. Г., Костенич, А. В., Каврайский, А. В., Пирогова, Е. А., Граничин, О. Н., Вахитов, А. Т., Степанов, Е. В. & Гуревич, Л. С., 2011, In: НАВИГАЦИЯ И ГИДРОГРАФИЯ. 32, p. 38-43

    Research output: Contribution to journal › Article

  393. Характеристики перспективных принципиально новых компьютерных устройств и систем

    Граничин, О. Н., 2011, In: МЕХАНИКА, УПРАВЛЕНИЕ И ИНФОРМАТИКА. 5, p. 147-161

    Research output: Contribution to journal › Article

  394. 2010

  395. Randomization of data acquisition and l(1)-optimization (recognition with compression)

    Granichin, O. N. & Pavlenko, D. V., Nov 2010, In: Automation and Remote Control. 71, 11, p. 2259-2282 24 p.

    Research output: Contribution to journal › Review article › peer-review

  396. The economics of hiring and staff retention for an IT company in Russia

    Terekhov, A. & Terekhova, K., 1 Jan 2010, Software Engineering Approaches for Offshore and Outsourced Development - 4th International Conference, SEAFOOD 2010, Proceedings. Springer Nature, p. 54-63 10 p. (Lecture Notes in Business Information Processing; vol. 54 LNBIP).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  397. Adaptive Autonomous Soaring of Multiple UAVs Using Simultaneous Perturbation Stochastic Approximation

    Antal, C., Granichin, O. & Levi, S., 2010, 49TH IEEE CONFERENCE ON DECISION AND CONTROL (CDC). IEEE Canada, p. 3656-3661 6 p. (Proceedings of the IEEE Conference on Decision and Control).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  398. Adaptive Control of SISO Plant with Time-Varying Coefficients Based on Random Test Perturbation.

    Granichin, O., Vakhitov, A. & Vlasov, V., 2010, 2010 AMERICAN CONTROL CONFERENCE. IEEE Canada, p. 4004-4009 6 p. (Proceedings of the American Control Conference).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  399. Computational model based on evolutionary primitives: Turing machine generalization

    Granichin, O. N. & Vasil’ev, V. I., 2010, In: International Journal of Nanotechnology and Molecular Computation. 2, 1, p. 30-43

    Research output: Contribution to journal › Article

  400. Hardware description language based on message passing and implicit pipelining

    Boulytchev, D. & Medvedev, O., 2010, Proceedings of IEEE East-West Design and Test Symposium, EWDTS'10. p. 438-441 4 p. 5742095. (Proceedings of IEEE East-West Design and Test Symposium, EWDTS'10).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  401. Pандомизация данных и ℓ1-оптимизация

    Граничин, О. Н. & Павленко, Д. В., 2010, In: КОМПЬЮТЕРНЫЕ ИНСТРУМЕНТЫ В ОБРАЗОВАНИИ. 1, p. 5-13

    Research output: Contribution to journal › Article

  402. Randomization of data acquisition and ℓ1-optimization (recognition with compression)

    Granichin, O. N. & Pavlenko, D. V., 2010, In: Automation and Remote Control. 71, 11, p. 2259-2282

    Research output: Contribution to journal › Literature review › peer-review

  403. Гибридная модель процесса вычислений: обобщение концепции машины Тьюринга

    Граничин, О. Н. & Васильев, В. И., 2010, In: НЕЙРОКОМПЬЮТЕРЫ: РАЗРАБОТКА, ПРИМЕНЕНИЕ. 6, p. 51-58

    Research output: Contribution to journal › Article

  404. Мобильность или супервычисления: кто кого?

    Амелин, К. С., Граничин, О. Н. & Кияев, В. И., 2010, In: Суперкомпьютеры. 4, p. 30-33

    Research output: Contribution to journal › Article

  405. Обзор проекта Eclipse Modeling Project

    Сорокин, А. & Кознов, Д., 2010, In: СИСТЕМНОЕ ПРОГРАММИРОВАНИЕ. 5, p. 6-31

    Research output: Contribution to journal › Article › peer-review

  406. Обзор реализации механизма циклической разработки диаграмм классов UML и программного кода в современных CASE-средствах

    Холтыгина, Н. & Кознов, Д., 2010, In: СИСТЕМНОЕ ПРОГРАММИРОВАНИЕ. 5, p. 76-94

    Research output: Contribution to journal › Article › peer-review

  407. Определение подножия континентального склона на основе батиметрических данных

    Граничин, О. Н., Гуревич, Л. С. & Степанов, Е. В., 2010, In: СТОХАСТИЧЕСКАЯ ОПТИМИЗАЦИЯ В ИНФОРМАТИКЕ. 6, 1-1, p. 45-51

    Research output: Contribution to journal › Article

  408. Опыт подготовки ИТ-специалистов на базе корпоративной университетской лаборатории

    Граничин, О. Н., Кияев, В. И. & Немнюгин, С. А., 2010, In: ПРИКЛАДНАЯ ИНФОРМАТИКА. 2(26), p. 12-20

    Research output: Contribution to journal › Article › peer-review

  409. ПОДДЕРЖКА ЖЕСТОВ МЫШЬЮ В МЕТА-CASE-СИСТЕМАХ

    Осечкина, М. С., Брыксин, Т. А., Литвинов, Ю. В. & Кириленко, Я. А., 2010, In: СИСТЕМНОЕ ПРОГРАММИРОВАНИЕ. 5, 1, p. 52-75

    Research output: Contribution to journal › Article › peer-review

  410. Программная среда WebMLDoc для автоматизированного отслеживания изменений в пользовательской документации Web-приложений

    Смирнов, М. Н., Кознов, Д. В., Дорохов, В. А. & Романовский, К. Ю., 2010, In: СИСТЕМНОЕ ПРОГРАММИРОВАНИЕ. 5, p. 32-51

    Research output: Contribution to journal › Article › peer-review

  411. Рандомизация получения данных и ℓ1-оптимизация (опознание со сжатием)(Обзор)

    Граничин, О. Н. & Павленко, Д. В., 2010, In: АВТОМАТИКА И ТЕЛЕМЕХАНИКА. 11, p. 3-28

    Research output: Contribution to journal › Article

  412. Стохастическая оптимизация и системное программирование

    Граничин, О. Н., 2010, In: СТОХАСТИЧЕСКАЯ ОПТИМИЗАЦИЯ В ИНФОРМАТИКЕ. 6, p. 3-44

    Research output: Contribution to journal › Article

  413. Что такое программная инженерия

    Терехов, А. Н., 2010, In: ПРОГРАММНАЯ ИНЖЕНЕРИЯ. 1, p. 40-45

    Research output: Contribution to journal › Article

  414. 2009

  415. Algorithm for stochastic approximation with trial input perturbation in the nonstationary problem of optimization

    Vakhitov, A. T., Granichin, O. N. & Gurevich, L. S., Nov 2009, In: Automation and Remote Control. 70, 11, p. 1827-1835 9 p.

    Research output: Contribution to journal › Article › peer-review

  416. A Knowledge Management Approach for Industrial Model-Based Testing

    Koznov, D., Malinov, V., Sokhransky, E. & Novikova, M., 2009, Proceedings of the International Conference on Knowledge Management and Information Sharing. p. 200-205

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research

  417. Discrete-Time Minimum Tracking Based on Stochastic Approximation Algorithm With Randomized Differences

    Granichin, O., Gurevich, L. & Vakhitov, A., 2009, PROCEEDINGS OF THE 48TH IEEE CONFERENCE ON DECISION AND CONTROL, 2009 HELD JOINTLY WITH THE 2009 28TH CHINESE CONTROL CONFERENCE (CDC/CCC 2009). IEEE Canada, p. 5763-5767 5 p. (Proceedings of the IEEE Conference on Decision and Control).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  418. Minimum Tracking with SPSA and Applications to Image Registration

    Granichin, O., Gurevich, L. & Vakhitov, A., 2009, NESTER 2009: NETWORKED EMBEDDED AND CONTROL SYSTEM TECHNOLOGIES: EUROPEAN AND RUSSIAN R&D COOPERATION, PROCEEDINGS. Pascoal, A. & Ufnarovsky (eds.). Institute for Systems and Technologies of Information, Control and Communication, p. 66-74 9 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  419. SPSA With a Fixed Gain for Intelligent Control in Tracking Applications

    Granichin, O., Gurevich, L. & Vakhitov, A., 2009, 2009 IEEE CONTROL APPLICATIONS CCA & INTELLIGENT CONTROL (ISIC), VOLS 1-3. IEEE Canada, p. 1415-1420 6 p. (IEEE International Conference on Control Applications).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  420. АВТОМАТИЗИРОВАННЫЙ РЕФАКТОРИНГ ДОКУМЕНТАЦИИ СЕМЕЙСТВ ПРОГРАММНЫХ ПРОДУКТОВ

    Кознов, Д. В. & Романовский, К. Ю., 2009, In: СИСТЕМНОЕ ПРОГРАММИРОВАНИЕ. 4, p. 128-150

    Research output: Contribution to journal › Article › peer-review

  421. Алгоритм случайной выборки в задаче поиска образца в изображении

    Граничин, О. Н., Вахитов, А. Т. & Павленко, Д. В., 2009, In: Труды СПИИРАН: SPIIRAS Proceedings. 9, p. 178-185

    Research output: Contribution to journal › Article › peer-review

  422. АРХИТЕКТУРА СРЕДЫ ВИЗУАЛЬНОГО МОДЕЛИРОВАНИЯ QREAL

    Терехов, А. Н., Брыксин, Т. А., Литвинов, Ю. В., Смирнов, К. К., Никандров, Г. А., Иванов, В. Ю. & Такун, Е. И., 2009, In: СИСТЕМНОЕ ПРОГРАММИРОВАНИЕ. 4, p. 172-197

    Research output: Contribution to journal › Article › peer-review

  423. ИСТОРИЯ ОДНОЙ ИДЕИ

    Андрей, Н. Т., 2009, In: КОМПЬЮТЕРНЫЕ ИНСТРУМЕНТЫ В ОБРАЗОВАНИИ. 2, p. 30-40

    Research output: Contribution to journal › Article

  424. МЕТОДЫ ОЦЕНИВАНИЯ ПРОПУСКНОЙ СПОСОБНОСТИ КАНАЛОВ ДАННЫХ В РАСПРЕДЕЛЕННЫХ СИСТЕМАХ

    Вахитов, А. Т., Граничин, О. Н. & Паньшенсков, М. А., 2009, In: НЕЙРОКОМПЬЮТЕРЫ: РАЗРАБОТКА, ПРИМЕНЕНИЕ. 11, p. 45-52

    Research output: Contribution to journal › Article

  425. МОДЕЛИРОВАНИЕ ИНТЕРФЕЙСА ПОЛНОФУНКЦИОНАЛЬНЫХ WEB-ПРИЛОЖЕНИЙ, ИНТЕНСИВНО РАБОТАЮЩИХ С ДАННЫМИ User interface modeling for Rich Data Intensive Internet Applications.

    Иванов, А. Н., Кознов, Д. В. & Тыжгеев, М. Г., 2009, In: ВЕСТНИК САНКТ-ПЕТЕРБУРГСКОГО УНИВЕРСИТЕТА. СЕРИЯ 10: ПРИКЛАДНАЯ МАТЕМАТИКА, ИНФОРМАТИКА, ПРОЦЕССЫ УПРАВЛЕНИЯ. 3, p. 189-204

    Research output: Contribution to journal › Article › peer-review

  426. ОБ ОПЫТЕ ДЕЯТЕЛЬНОСТИ ЛАБОРАТОРИИ СПРИНТ СПБГУ ПО ПОДГОТОВКЕ ИТ-СПЕЦИАЛИСТОВ В ОБЛАСТИ ВЫСОКОПРОИЗВОДИТЕЛЬНЫХ ВЫЧИСЛЕНИЙ

    Немнюгин, С. А., Вахитов, А. Т., Граничин, О. Н. & Кияев, В. И., 2009, НАУЧНЫЙ СЕРВИС В СЕТИ ИНТЕРНЕТ: МАСШТАБИРУЕМОСТЬ, ПАРАЛЛЕЛЬНОСТЬ, ЭФФЕКТИВНОСТЬ Труды Всероссийской суперкомпьютерной конференции. . Москва: Издательство Московского университета, p. 440-443 4 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  427. Опыт деятельности корпоративных университетских лабораторий по подготовке ИТ-специалистов

    Граничин, О. Н., Кияев, В. И. & Немнюгин, С. А., 2009, Сб. докл. Седьмой открытой Всероссийской конференции «Преподавание Информационных Технологий в России» / Мар. гос. ун-т. Марийский государственный университет, p. 257-262

    Research output: Chapter in Book/Report/Conference proceeding › Article in an anthology › Research

  428. ПОДГОТОВКА МЕНЕДЖЕРОВ ПРОГРАММНЫХ ПРОЕКТОВ Training software project managers

    Терехов, А., 2009, In: ОТКРЫТЫЕ СИСТЕМЫ. СУБД. 5, p. 44-47

    Research output: Contribution to journal › Article

  429. ПОДДЕРЖКА КОНЦЕПТУАЛЬНОГО МОДЕЛИРОВАНИЯ ПРИ РАЗРАБОТКЕ ВИЗУАЛЬНЫХ ЯЗЫКОВ С ИСПОЛЬЗОВАНИЕМ MICROSOFT DSL TOOLS

    Кознов, Д. В. & Иванов, А. Н., 2009, In: СИСТЕМНОЕ ПРОГРАММИРОВАНИЕ. p. 105-127

    Research output: Contribution to journal › Article › peer-review

  430. ПОСТРОЕНИЕ ОСЛАБЛЕННОГО LALR-ТРАНСЛЯТОРА НА ОСНОВЕ АНАЛИЗА ГРАММАТИКИ НА ИЗБЫТОЧНОСТЬ

    Ефимов, А. А. & Кириленко, Я. А., 2009, In: СИСТЕМНОЕ ПРОГРАММИРОВАНИЕ. 4, p. 80-104

    Research output: Contribution to journal › Article › peer-review

  431. РАНДОМИЗАЦИЯ ИЗМЕРЕНИЙ И L-1 ОПТИМИЗАЦИЯ

    Граничин, О. Н., 2009, In: СТОХАСТИЧЕСКАЯ ОПТИМИЗАЦИЯ В ИНФОРМАТИКЕ. 5, 1-1, p. 3-23

    Research output: Contribution to journal › Article

  432. РАСШИРЕНИЕ ЯЗЫКА WEBML СРЕДСТВАМИ МОДЕЛИРОВАНИЯ ИНТЕРФЕЙСОВ ПОЛНОФУНКЦИОНАЛЬНЫХ WEB-ПРИЛОЖЕНИЙ, ИНТЕНСИВНО РАБОТАЮЩИХ С ДАННЫМИ

    Иванов, А. Н., Кознов, Д. В. & Тыжгеев, М. Г., 2009, In: СИСТЕМНОЕ ПРОГРАММИРОВАНИЕ. p. 31-50

    Research output: Contribution to journal › Article › peer-review

  433. РЕШЕНИЕ ЗАДАЧИ АВТОМАТИЧЕСКОГО РАСПОЗНАВАНИЯ ОТДЕЛЬНЫХ СЛОВ РЕЧИ ПРИ ПОМОЩИ РАНДОМИЗИРОВАННОГО АЛГОРИТМА СТОХАСТИЧЕСКОЙ АППРОКСИМАЦИИ

    Граничин, О. Н. & Шалымов, Д. С., 2009, In: НЕЙРОКОМПЬЮТЕРЫ: РАЗРАБОТКА, ПРИМЕНЕНИЕ. 3, p. 58-64

    Research output: Contribution to journal › Article

  434. СТАТИСТИЧЕСКИЙ СПОСОБ ВЫДЕЛЕНИЯ СЛОВ И СЛОВОСОЧЕТАНИЙ ИЗ ВЬЕТНАМСКИХ ПЕЧАТНЫХ ТЕКСТОВ Using application of statistics for word extraction from vietnamese documents.

    Лe, Ч. Х. & Граничин, О. Н., 2009, In: ВЕСТНИК САНКТ-ПЕТЕРБУРГСКОГО УНИВЕРСИТЕТА. СЕРИЯ 10: ПРИКЛАДНАЯ МАТЕМАТИКА, ИНФОРМАТИКА, ПРОЦЕССЫ УПРАВЛЕНИЯ. 3, p. 161-169

    Research output: Contribution to journal › Article › peer-review

  435. Стохастическая оптимизация в информатике. Межвузовский сборник. Выпуск 5

    Граничин, О. Н., Кривулин, Н. К., Леонов, Г. А., Поляк, Б. Т., Соколов, А. В., Терехов, А. Н., Чирков, М. К. & Щербаков, П. С., 2009, Издательство Санкт-Петербургского университета. 240 p.

    Research output: Book/Report/Anthology › Anthology

  436. 2008

  437. PageRank based clustering of hypertext document collections

    Avrachenkov, K., Dobrynin, V., Nemirovsky, D., Pham, S. K. & Smirnova, E., 15 Dec 2008, ACM SIGIR 2008 - 31st Annual International ACM SIGIR Conference on Research and Development in Information Retrieval, Proceedings. p. 873-874 2 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  438. SOPHIA-TCBR: A knowledge discovery framework for textual case-based reasoning

    Patterson, D., Rooney, N., Galushka, M., Dobrynin, V. & Smirnova, E., 1 Jul 2008, In: Knowledge-Based Systems. 21, 5, p. 404-414 11 p.

    Research output: Contribution to journal › Article › peer-review

  439. Method of measurements with random perturbation: Application in photoemission experiments

    Fedin, D. S., Granichin, O. N., Dedkov, Y. S. & Molodtsov, S. L., Mar 2008, In: Review of Scientific Instruments. 79, 3, 3 p., 036103.

    Research output: Contribution to journal › Article › peer-review

  440. An investigation into the stability of contextual document clustering

    Rooney, N., Patterson, D., Galushka, M., Dobrynin, V. & Smirnova, E., 15 Jan 2008, In: Journal of the American Society for Information Science and Technology. 59, 2, p. 256-266 11 p.

    Research output: Contribution to journal › Article › peer-review

  441. Computer-Supported Collaborative Learning with Mind-Maps

    Koznov, D. & Pliskin, M., 2008, ISoLA 2008, Third International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (Greece). Springer Nature, p. 478-489

    Research output: Chapter in Book/Report/Conference proceeding › Article in an anthology › Research

  442. DocLine: A method for software product lines documentation development

    Koznov, D. V. & Romanovsky, K. Y., 2008, In: Programming and Computer Software. 34, 4, p. 216-224

    Research output: Contribution to journal › Article › peer-review

  443. DOCLINE: МЕТОД РАЗРАБОТКИ ДОКУМЕНТАЦИИ СЕМЕЙСТВ ПРОГРАММНЫХ ПРОДУКТОВ DocLine: A Method for Software Product Lines Documentation Development

    Кознов, Д. В. & Романовский, К. Ю., 2008, In: ПРОГРАММИРОВАНИЕ. 34, 4, p. 41-53

    Research output: Contribution to journal › Article › peer-review

  444. Изменение акцентов IT-образования в период кризиса

    Терехов, А. А. & Терехов, А. Н., 2008, Современные информационные технологии и ИТ-образование.

    Research output: Chapter in Book/Report/Conference proceeding › Article in an anthology › Research

  445. Интегрировано-распределенная автоматизированная информационная система для крупного научно-образовательного учреждения

    Комаров, С. Н., Терехов, А. Н. & Граничина, О. А., 2008, In: ВЕСТНИК САНКТ-ПЕТЕРБУРГСКОГО УНИВЕРСИТЕТА. СЕРИЯ 10: ПРИКЛАДНАЯ МАТЕМАТИКА, ИНФОРМАТИКА, ПРОЦЕССЫ УПРАВЛЕНИЯ. 1, p. 87-94

    Research output: Contribution to journal › Article › peer-review

  446. Информационные технологии в управлении

    Граничин, О. Н. & Кияев, В. И., 2008, БИНОМ. Лаборатория знаний. 336 p.

    Research output: Book/Report/Anthology › Teaching materials

  447. КОРПОРАТИВНЫЕ УНИВЕРСИТЕТСКИЕ ЛАБОРАТОРИИ И СПЕЦИАЛЬНЫЕ ПРАКТИКУМЫ ДЛЯ ПОДГОТОВКИ ИТ-СПЕЦИАЛИСТОВ

    Немнюгин, С. А., Граничин, О. Н. & Кияев, В. И., 2008, СОВРЕМЕННЫЕ ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ И ИТ-ОБРАЗОВАНИЕ III Международная научно-практическая конференция: сборник докладов. . Москва: МАКС Пресс, p. 252-260 9 p.

    Research output: Chapter in Book/Report/Conference proceeding › Article in an anthology › Research › peer-review

  448. МЕТОДИКА ОБУЧЕНИЯ ПРОГРАММНОЙ ИНЖЕНЕРИИ НА ОСНОВЕ КАРТ ПАМЯТИ

    Кознов, Д. В., 2008, In: СИСТЕМНОЕ ПРОГРАММИРОВАНИЕ. 1, p. 121-140

    Research output: Contribution to journal › Article › peer-review

  449. Обзор алгоритмов стереозрения

    Вахитов, Т., Гуревич, Л. & Павленко, Д., 2008, In: СТОХАСТИЧЕСКАЯ ОПТИМИЗАЦИЯ В ИНФОРМАТИКЕ. 4, 1-1, p. 151-169

    Research output: Contribution to journal › Article

  450. РАЗРАБОТКА И СОПРОВОЖДЕНИЕ DSM-РЕШЕНИЙ НА ОСНОВЕ MSF

    Кознов, Д. В., 2008, In: СИСТЕМНОЕ ПРОГРАММИРОВАНИЕ. 3, 1, p. 80-96

    Research output: Contribution to journal › Article › peer-review

  451. РАЗРАБОТКА И СОПРОВОЖДЕНИЕ DSM-РЕШЕНИЙ НА ОСНОВЕ MSF ∗

    Кознов, Д. В., 2008, In: СИСТЕМНОЕ ПРОГРАММИРОВАНИЕ. 1, p. 80-96

    Research output: Contribution to journal › Article › peer-review

  452. Создание информационной системы контроля качества образовательного процесса в вузе

    Граничин, О. Н. & Граничина, О. А., 2008, In: СТОХАСТИЧЕСКАЯ ОПТИМИЗАЦИЯ В ИНФОРМАТИКЕ. 4, 1, p. 249-278

    Research output: Contribution to journal › Article

  453. Стохастическая оптимизация в информатике. Межвузовский сборник. Выпуск 4

    Граничин, О. Н., Кривулин, Н. К., Леонов, Г. А., Поляк, Б. Т., Соколов, А. В., Терехов, А. Н., Чирков, М. К. & Щербаков, П. С., 2008, Издательство Санкт-Петербургского университета. 299 p.

    Research output: Book/Report/Anthology › Anthology

  454. 2007

  455. Implementation of the conformation of MSC and SDL diagrams in the REAL technology

    Terekhov, A. N. & Sokolov, V. V., 1 Feb 2007, In: Programming and Computer Software. 33, 1, p. 24-33 10 p.

    Research output: Contribution to journal › Article › peer-review

  456. BURS-based instruction set selection

    Boulytchev, D., 2007, Perspectives of Systems Informatics - 6th International Andrei Ershov Memorial Conference, PSI 2006, Revised Papers. Springer Nature, p. 431-437 7 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4378 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  457. 2006

  458. A randomized stochastic optimization algorithm: Its estimation accuracy

    Vakhitov, AT., Granichin, ON. & Sysoev, SS., 1 Jan 2006, In: Automation and Remote Control. 67, 4, p. 589-597 9 p.

    Research output: Contribution to journal › Article › peer-review

  459. Алгоритмы классификации за минимальное число шагов

    Вахитов, А. Т. & Граничина, O. А., 2006, In: СТОХАСТИЧЕСКАЯ ОПТИМИЗАЦИЯ В ИНФОРМАТИКЕ. 2, 1-1, p. 167-175

    Research output: Contribution to journal › Article

  460. Создание гибридных сверхбыстрых компьютеров и системное программировани

    Граничин, О. Н. & Молодцов, С. Л., 2006, Издательство Санкт-Петербургского университета. 108 p.

    Research output: Book/Report/Anthology › Book

  461. Точность оценивания рандомизированного алгоритма стохастической оптимизации

    Вахитов, А. Т., Граничин, О. Н. & Сысоев, С. С., 2006, In: АВТОМАТИКА И ТЕЛЕМЕХАНИКА. 4, p. 86-96

    Research output: Contribution to journal › Article

  462. 2005

  463. A randomized stochastic approximation algorithm for self-learning

    Granichin, ON. & Izmakova, OA., 2005, In: Automation and Remote Control. 66, 8, p. 1239-1248 10 p.

    Research output: Contribution to journal › Article › peer-review

  464. Deductive Approach to Semistructured Schema Evolution

    Luciv, D. V., 2005, Proceedings of the Spring Young Researcher’s Colloquium on Database and Information Systems SYRCoDIS, St.-Petersburg, Russia, 2005: Volume A. Издательство «ВВМ», p. 17-24 (CEUR Workshop proceedings; vol. 154).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  465. ПРОБЛЕМЫ ТЕСТИРОВАНИЯ СЕРВЕРА КАК ЗАДАЧИ О МОДЕЛИРОВАНИИ РЕДКИХ СОБЫТИЙ

    Граничин, О. Н., Сысоев, С. С. & Чуйко, Д. С., 2005, In: СТОХАСТИЧЕСКАЯ ОПТИМИЗАЦИЯ В ИНФОРМАТИКЕ. 1-1, p. 48-72

    Research output: Contribution to journal › Article

  466. Рандомизированные алгоритмы стохастической оптимизации, квантовые компьютеры, искусственный интеллект

    Сысоев, С. С., 2005, In: СТОХАСТИЧЕСКАЯ ОПТИМИЗАЦИЯ В ИНФОРМАТИКЕ. 1, p. 206-221

    Research output: Contribution to journal › Article

  467. 2004

  468. Linear regression and filtering under nonstandard assumptions (arbitrary noise)

    Granichin, O. N., Oct 2004, In: IEEE Transactions on Automatic Control. 49, 10, p. 1830-1835 6 p.

    Research output: Contribution to journal › Article › peer-review

  469. Адаптивное управление распределением загрузки в простейшей вычислительной сети

    Сысоев, С. С., 2004, Труды III ммеждународной конференции "Идентификация систем и задачи управления", М., 2004. p. 1563-1571

    Research output: Chapter in Book/Report/Conference proceeding › Article in an anthology › Research › peer-review

  470. Алгоритм стохастической оптимизации с возмущением на входе в задаче самообучения

    Измакова, О. А. & Сысоев, С. С., 2004, Труды Международной школы-семинара "Адаптивные роботы - 2004". p. 49-52

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research

  471. Многоканальная оптоэлектронная коммутационная система

    Жувикин, Г. В. & Терехов, А. Н., 2004

    Research output: Other contribution › Research

  472. Принципы информатизации системы управления в Санкт-Петербургского государственном университете

    Терехов, А. Н., Кияев, В. И. & Комаров, С. Н., 2004, In: ВЕСТНИК САНКТ-ПЕТЕРБУРГСКОГО УНИВЕРСИТЕТА. СЕРИЯ 8: МЕНЕДЖМЕНТ. 2, p. 187-200

    Research output: Contribution to journal › Article › peer-review

  473. 2003

  474. On some characteristics of computers of new generation

    Granichin, O. N. & Sysoev, S. S., 1 Jan 2003, 2003 INTERNATIONAL CONFERENCE PHYSICS AND CONTROL, VOLS 1-4, PROCEEDINGS. Institute of Electrical and Electronics Engineers Inc., Vol. 3. p. 804-807 4 p. 1237006

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  475. Optimal Convergence Rate of the Randomized Algorithms of Stochastic Approximation in Arbitrary Noise

    Granichin, O. N., 1 Jan 2003, In: Automation and Remote Control. 64, 2, p. 252-262 11 p.

    Research output: Contribution to journal › Article › peer-review

  476. Optimal rate of convergence for randomized algorithms of stochastic approximation under arbitrary perturbations

    Granichin, O. N., 1 Jan 2003, In: Avtomatika i Telemekhanika. 2, p. 88-99 12 p.

    Research output: Contribution to journal › Article › peer-review

  477. 2002

  478. Nonminimax filtering in unknown irregular constrained observation noise

    Granichin, ON., Sep 2002, In: Automation and Remote Control. 63, 9, p. 1482-1488 7 p.

    Research output: Contribution to journal › Article › peer-review

  479. Randomized algorithms for stochastic approximation under arbitrary disturbances

    Granichin, O. N., Feb 2002, In: Automation and Remote Control. 63, 2, p. 209-219 11 p.

    Research output: Contribution to journal › Article › peer-review

  480. Non-minimax filtering with unknown-but-bounded measurement noise

    Granichin, O. N., 1 Jan 2002, In: Avtomatika i Telemekhanika. 9, p. 125-133 9 p.

    Research output: Contribution to journal › Article › peer-review

  481. Parameter estimation in linear regression under arbitrary interference

    Granichin, O. N., 1 Jan 2002, In: Avtomatika i Telemekhanika. 1, p. 30-41 12 p.

    Research output: Contribution to journal › Article › peer-review

  482. Randomized algorithms of stochastic approximation under arbitrary noise

    Granichin, O. N., 1 Jan 2002, In: Avtomatika i Telemekhanika. 2, p. 44-45 2 p.

    Research output: Contribution to journal › Article › peer-review

  483. Estimating the parameters of linear regression in an arbitrary noise

    Granichin, ON., Jan 2002, In: Automation and Remote Control. 63, 1, p. 25-35 11 p.

    Research output: Contribution to journal › Article › peer-review

  484. Концепция информатизации Санкт-Петербургского государственного университета

    Терехов, А. Н., Кияев, В. И., Комаров, С. Н. & Сепман, В. Ю., 2002, Труды всероссийской научно-методической конференции "Телематика-2002», 3-6 июня 2002. p. 72-75

    Research output: Chapter in Book/Report/Conference proceeding › Article in an anthology › Research

  485. Подход к построению распределенных информационных систем для крупных образовательных структур и организаций

    Комаров, С. Н., Кияев, В. И. & Терехов, А. Н., 2002, Труды Всероссийской научно-методической конференции «Телематика’ 2002».. НИУ ИТМО, p. 72-75

    Research output: Chapter in Book/Report/Conference proceeding › Article in an anthology › Research

  486. 2001

  487. Academic vs. industrial software engineering: Closing the gap

    Terekhov, A. N. & Erlikh, L., 1 Dec 2001, Perspectives of System Informatics - 4th International Andrei Ershov Memorial Conference, PSI 2001, Revised Papers. p. 317-323 7 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2244 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  488. Designing the discrete suboptimal controller of the continuous-time object in nonregular bounded noise

    Granichin, O. N., Mar 2001, In: Automation and Remote Control. 62, 3, p. 422-429 8 p.

    Research output: Contribution to journal › Article › peer-review

  489. An empirical study of retargetable compilers

    Boulytchev, D. & Lomov, D., 2001, In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2244, p. 328-335 8 p.

    Research output: Contribution to journal › Article › peer-review

  490. 2000

  491. Stochastic approximation with exciting perturbation under dependent noises

    Granichin, O., 2000, CONTROL OF OSCILLATIONS AND CHAOS, VOLS 1-3, PROCEEDINGS. Chernousko, FL. & Fradkov, AL. (eds.). IEEE Canada, p. 146-149 4 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  492. 1999

  493. RTST++: Methodology and a CASE tool for the development of information systems and software for real-time systems

    Terekhov, A. N., Romanovskii, K. Y., Koznov, D. V., Dolgov, P. S. & Ivanov, A. N., 1 Sep 1999, In: Programming and Computer Software. 25, 5, p. 276-281 6 p.

    Research output: Contribution to journal › Article › peer-review

  494. 1998

  495. Анализ нестационарных потоков вокруг плохообтекаемых тел произвольной формы с помощью вычислительных средств

    Луцив, Д. В. & Трубицын, Н. Ф., 1998, Проблемы пространства, времени, движения: Труды 5-й международной конференции . 10 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  496. 1997

  497. Моделирование нерегулярных явлений в динамических механических системах

    Граничин, О. Н. & Кривулин, Н. К., 1997, Издательство Санкт-Петербургского университета. 32 p.

    Research output: Book/Report/Anthology › Teaching materials

  498. 1994

  499. Public-key cryptography: from the theory to standard

    Terekhov, A. N. & Tiskin, A. V., 1 Sep 1994, In: Programmirovanie. 5, p. 17-22 6 p.

    Research output: Contribution to journal › Article › peer-review

  500. 1992

  501. Estimation of unknown function point of minima observed in the presence of dependent noises

    Granichin, O. N., 1 Apr 1992, In: Problemy Peredachi Informatsii. 28, 2, p. 16-20 5 p.

    Research output: Contribution to journal › Article › peer-review

  502. Procedure of stochastic approximation with disturbances at the input

    Granichin, O. N., 1 Feb 1992, In: Automation and Remote Control. 53, 2, p. 232-237 8 p.

    Research output: Contribution to journal › Article › peer-review

  503. 1976

  504. Алгол 68. Методы реализации

    Балуев, А. Н., Братчиков, И. Л., Гиндыш, И. Б., Крупко, Н. А., Цейтин, Г. С., Терехов, А. Н. & Мартыненко, Б. К., 1976, Издательство Санкт-Петербургского университета.

    Research output: Book/Report/Anthology › Book

ID: 30196