1. 2021
  2. Simultaneous Perturbation Stochastic Approximation-Based Consensus for Tracking Under Unknown-But-Bounded Disturbances

    Granichin, O., Erofeeva, V., Ivanskiy, Y. & Jiang, Y., авг 2021, в: IEEE Transactions on Automatic Control. 66, 8, стр. 3710-3717 8 стр., 9198090.

    Результаты исследований: Научные публикации в периодических изданияхстатьяРецензирование

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

    Sergeenko, A., Erofeeva, V., Granichin, O., Granichina, O. & Proskurnikov, A., 1 июл 2021, в: IFAC-PapersOnLine. 54, 7, стр. 126-131 6 стр.

    Результаты исследований: Научные публикации в периодических изданияхстатья в журнале по материалам конференцииРецензирование

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

    Bogdanov, E., Bozhnyuk, A., Sartasov, S. & Granichin, O., 22 июн 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 стр.

    Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференциинаучнаяРецензирование

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

    Kostyukov, Y., Mordvinov, D. & Fedyukovich, G., 18 июн 2021, PLDI 2021 - Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation. Freund, S. N. & Yahav, E. (ред.). Association for Computing Machinery, стр. 451-465 15 стр. (Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)).

    Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференциинаучнаяРецензирование

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

    Amelin, K., Granichin, O., Sergeenko, A. & Volkovich, Z. V., 8 июн 2021, в: Mathematics. 9, 12, 15 стр., 1314.

    Результаты исследований: Научные публикации в периодических изданияхстатьяРецензирование

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

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

    Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференциинаучнаяРецензирование

  8. S3M: Siamese Stack (Trace) Similarity Measure

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

    Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференциинаучнаяРецензирование

  9. 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 мар 2021, SIGCSE 2021 - Proceedings of the 52nd ACM Technical Symposium on Computer Science Education. Association for Computing Machinery, стр. 495-501 7 стр.

    Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференциинаучнаяРецензирование

  10. Multi-threshold token-based code clone detection

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

    Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференциинаучнаяРецензирование

  11. Efficient fair conjunction for structurally-recursive relations

    Lozov, P. & Boulytchev, D., 17 янв 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. (ред.). Association for Computing Machinery, стр. 58-73 16 стр. (Proceedings of the 2021 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation).

    Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференциинаучнаяРецензирование

ID: 30196