Projects per year
Fingerprint
- 1 Similar Profiles
Network
-
RSF_RG_2018 - 5: Логические и алгебраические методы в теории формальных языков: 2022 г. этап 5
Охотин, А. С., Григорьев, С. В., Петров, С. А., Сажнева, Е. А., Макаров, В. М., Селиванов, В. Л., Мартынова, О. М. & Шеметова, Е. Н.
1/01/22 → 31/12/22
Project: Grant fulfilment › Grant stage fulfilment
-
IRC_2019 - 3: Санкт-Петербургский международный математический институт имени Леонарда Эйлера: 2021 г. этап 3
Кисляков, С. В., Захаров, А. О., Лишанский, А. А., Нордскова, А. В., Растегаев, Н. В., Лавренов, А. В., Бессонов, Р. В., Вайнманн, Т. Р., Агилар Ривера, М. А., Симарова, Е. Н., Дородный, М. А., Блэкер, К. А., Паршина, О. Г., Гангопадхай, Р., Гираудо, Д., Рунов, Б. А., Аксенова, Д. Д., Байбулов, И. В., Сачков, А. В., Струков, Г. А., Хасянов, Р. Ш., Сянлун, Д., Вергара, С. И. А., Папатанасиу, Д., Зайковский, А. А., Иванов, С. О., Карев, М. В., Матвеенко, С. Г., Мостовский, П. А., Павутницкий, Ф. Ю., Романов, Р. В., Старков, И. А., Тихомиров, С. Б., Мортенсон, Э., Скопенков, М. Б., Алексеев, И. А., Алпеев, А. В., Лопаткин, В. Е., Романовский, В. Р., Качковский, И., Басок, М. К., Калинин, Н. С., Панина, Г. Ю., Петров, Ф. В., Соснило, В. А., Адлер, Д. В., Алексеев, И. С., Азангулов, И. Ф., Бахарев, Ф. Л., Губкин, П. В., Джулиус, Евтушевский, В. Ю., Итс, А. Р., Калинин, К. М., Каюмов, И. Р., Мамаев, Д. А., Мельников Андрей, А., Мосеева, Т. Д., Павлов, Д. А., Пятницкий, А. Л., Смышляев, В. П., Тельпуховский, И. И., Фомин , Ф., Хамматова, Д. М., Чудновски, М., Яфаев, Д. Р., Мартынова, О. М., Пушницкий, А. Б., Пастур, Л., Доброхотов , С. Ю., Енин, А. И., Никола, А., Боричев, А. А., Макаров, В. М., Мрыхин, М. К., Ольховский, И. С., Халмукис , Н., Арсеньева, Е. А., Возианова, А. В., Вяткина, К. В., Глазман, А. Л., Коледа, Д., Сивацкий , А. С., Сперанский, С. О., Ставрова, А. К., Родин, А. В., Родин, А. В., Фролов, А. Н. & Хиотис, Д.
21/05/21 → 31/12/21
Project: Grant fulfilment › Total grant fulfilment
-
RSF_RG_2018 - 4: Логические и алгебраические методы в теории формальных языков: 2021 г. этап 4
Охотин, А. С., Григорьев, С. В., Петров, С. А., Сажнева, Е. А., Мрыхин, М. К., Макаров, В. М., Пентус, М. Р., Селиванов, В. Л., Мартынова, О. М. & Шеметова, Е. Н.
30/04/21 → 31/12/21
Project: Grant fulfilment › Grant stage fulfilment
-
RSF_RG_2018 - 3: Логические и алгебраические методы в теории формальных языков: 2020 г. этап 3
Охотин, А. С., Григорьев, С. В., Пентус, М. Р., Селиванов, В. Л., Макаров, В. М., Шеметова, Е. Н., Мартынова, О. М., Петров, С. А., Сажнева, Е. А., Азимов, Р. Ш. & Мрыхин, М. К.
1/01/20 → 31/12/20
Project: Grant fulfilment › Grant stage fulfilment
-
RSF_RG_2018 - 2: Логические и алгебраические методы в теории формальных языков: 2019 г. этап 2
Охотин, А. С., Григорьев, С. В., Пентус, М. Р., Селиванов, В. Л., Сорокин, А. А., Макаров, В. М., Сажнева, Е. А., Азимов, Р. Ш., Шеметова, Е. Н., Мартынова, О. М. & Петров, С. А.
1/01/19 → 31/12/19
Project: Grant fulfilment › Grant stage fulfilment
Research output
- 1 Citations by Pure records
- 1 h-Index by Pure records
- 2 Conference contribution
-
Lower bounds for graph-walking automata
Martynova, O. & Okhotin, A., 1 Mar 2021, 38th International Symposium on Theoretical Aspects of Computer Science, STACS 2021. Blaser, M. & Monmege, B. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 52. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 187).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review
1 Scopus citations -
State Complexity of Union and Intersection on Graph-Walking Automata
Martynova, O. & Okhotin, A., 30 Dec 2021, Descriptional Complexity of Formal Systems - 23rd IFIP WG 1.02 International Conference, DCFS 2021, Proceedings. Han, Y-S. & Ko, S-K. (eds.). Springer Nature, p. 125-136 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13037 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review