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. (ред.). Springer Nature, стр. 114-130 17 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 12232 LNCS).

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

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. (ред.). Springer Nature, стр. 167-185 19 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 12470 LNCS).

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

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. (ред.). Springer Nature, стр. 472-486 15 стр. (Lecture Notes in Computer Science ; том 12412 LNAI).

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

MIRF 2.0 - A framework for distributed medical images analysis

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

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

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. (ред.). Springer Nature, стр. 293-310 18 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 12470 LNCS).

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

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

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

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