Нет фото Елена Анатольевна Сидорова

Сидорова Елена Анатольевна

Кандидат физико-математических наук

20202021

Результат исследований по году

Если Вы внесли какие-либо изменения в Pure, они скоро будут видимы здесь.

Fingerprint

Узнайте самые подробные результаты анализа активности Елена Анатольевна Сидорова. Указанные в этом разделе метки относятся к работам этого человека. Вместе они формируют уникальную картину активности.
  • 6 Аналогичные профили

Сеть

Последние внешние коллаборации на уровне страны. Узнайте подробнее, нажав точки.
  • Identification of connected arguments based on reasoning schemes “from expert opinion”

    Salomatina, N. V., Kononenko, I. S., Sidorova, E. A. & Pimenov, I. S., 4 янв 2021, В : Journal of Physics: Conference Series. 1715, 1, 012013.

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

    Открытый доступ
  • 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).

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

Ваше сообщение было отправлено.
Ваше сообщение не было отправлено из-за ошибки.
Если Вы внесли какие-либо изменения в Pure, они скоро будут видимы здесь.