Профиль организации

Стратегические академические единицы

  • Информационные и гуманитарные технологии представления знаний в образовательных системах

Fingerprint

Узнайте самые подробные результаты анализа активности Кафедра программирования ММФ. Указанные в этом разделе метки относятся к работам этих участников организации. Вместе они формируют уникальную картину его активности.

Сеть

Недавнее внешнее сотрудничество на уровне страны/территории. Просмотрите подробные сведения, нажав на точки или
  • Factorization of Boolean Polynomials: Parallel Algorithms and Experimental Evaluation

    Emelyanov, P. G., Krishna, M., Kulkarni, V., Nandy, S. K., Ponomaryov, D. K. & Raha, S., мар 2021, В : Programming and Computer Software. 47, 2, стр. 108-118 11 стр.

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

  • Preconditioning methods based on spanning tree algorithms

    Perevozkin, D. V. & Omarova, G. A., 4 янв 2021, В : Journal of Physics: Conference Series. 1715, 1, 012005.

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

    Открытый доступ
  • An ontology-based approach to support formal verification of concurrent systems

    Garanina, N., Anureev, I., Sidorova, E., Koznov, D., Zyubin, V. & Gorlatch, S., 1 сен 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. (ред.). Springer Nature, стр. 114-130 17 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 12232 LNCS).

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