Проекты за года
Личный профиль
Образование/академическая квалификация
PhD
17 апр 2017 → …
Дата присуждения гранта 06: 17 апр 2017
PhD, Queen's University
1 сен 2001 → 31 окт 2004
Дата присуждения гранта 06: 3 июн 2005
физико-математические науки, кандидат наук
14 мар 2003 → …
Дата присуждения гранта 06: 14 мар 2003
кандидат наук, Московский государственный университет им. М. В. Ломоносова
20 дек 2002
Дата присуждения гранта 06: 20 дек 2002
«Отпечаток»
- 1 похожих профилей - всего
Сотрудничество
-
RSF_RG_2018 - 5: Логические и алгебраические методы в теории формальных языков: 2022 г. этап 5
Охотин, А. С., Григорьев, С. В., Петров, С. А., Сажнева, Е. А., Макаров, В. М., Селиванов, В. Л., Мартынова, О. М. & Шеметова, Е. Н.
1/01/22 → 31/12/22
Проект: исполнение гранта/договора › исполнение этапа гранта/договора
-
RSF_RG_2018 - 4: Логические и алгебраические методы в теории формальных языков: 2021 г. этап 4
Охотин, А. С., Григорьев, С. В., Петров, С. А., Сажнева, Е. А., Мрыхин, М. К., Макаров, В. М., Пентус, М. Р., Селиванов, В. Л., Мартынова, О. М. & Шеметова, Е. Н.
30/04/21 → 31/12/21
Проект: исполнение гранта/договора › исполнение этапа гранта/договора
-
RSF_RG_2018 - 3: Логические и алгебраические методы в теории формальных языков: 2020 г. этап 3
Охотин, А. С., Григорьев, С. В., Пентус, М. Р., Селиванов, В. Л., Макаров, В. М., Шеметова, Е. Н., Мартынова, О. М., Петров, С. А., Сажнева, Е. А., Азимов, Р. Ш. & Мрыхин, М. К.
1/01/20 → 31/12/20
Проект: исполнение гранта/договора › исполнение этапа гранта/договора
-
KTSE-03 - 2: Создание и функционирование международного научно-методического центра для распространения лучших международных практик подготовки, переподготовки и стажировки продвинутых кадров цифровой экономики в областях математики, информатики, технологий» федерального проекта «Кадры для цифровой экономики» национальной программы «Цифровая экономика в Российской Федерации (КЦЭ-03): 2020 г. этап 2
Авдюшенко, А. Ю., Арзуманян, М. Ю., Белов, Ю. С., Бессонов, Р. В., Брагилевский, В. Н., Гаврилова, Т. А., Зятчин, А. В., Иванов, С. В., Кононова, А. А., Кротов, К. В., Куликов, А. С., Ланцова, М. А., Лебедева, Д. А., Охотин, А. С., Ручьёва, А. С. & Тихомиров, С. Б.
1/01/20 → 31/12/20
Проект: исполнение гранта/договора › исполнение гранта/договора в целом
-
KTSE-03 - 1: Создание и функционирование международного научно-методического центра для распространения лучших международных практик подготовки, переподготовки и стажировки продвинутых кадров цифровой экономики в областях математики, информатики, технологий» федерального проекта «Кадры для цифровой экономики» национальной программы «Цифровая экономика в Российской Федерации (КЦЭ-03): 2019 г. этап 1
Авдюшенко, А. Ю., Арзуманян, М. Ю., Белов, Ю. С., Бессонов, Р. В., Брагилевский, В. Н., Гаврилова, Т. А., Зятчин, А. В., Иванов, С. В., Кононова, А. А., Кротов, К. В., Куликов, А. С., Ланцова, М. А., Лебедева, Д. А., Охотин, А. С., Ручьёва, А. С. & Тихомиров, С. Б.
10/12/19 → 31/12/19
Проект: исполнение гранта/договора › исполнение этапа гранта/договора
Результаты исследований
-
Formal languages over GF(2)
Bakinova, E., Basharin, A., Batmanov, I., Lyubort, K., Okhotin, A. & Sazhneva, E., фев 2022, В: Information and Computation. 283, 19 стр., 104672.Результат исследований: Научные публикации в периодических изданиях › статья › рецензирование
2 Цитирования (Scopus) -
State complexity of GF(2)-operations on unary languages
Okhotin, A. & Sazhneva, E., мар 2022, В: Information and Computation. 284, 15 стр., 104693.Результат исследований: Научные публикации в периодических изданиях › статья › рецензирование
-
Computational and Proof Complexity of Partial String Avoidability
Itsykson, D., Okhotin, A. & Oparin, V., мар 2021, В: ACM Transactions on Computation Theory. 13, 1, 3442365.Результат исследований: Научные публикации в периодических изданиях › статья › рецензирование
-
Deterministic One-Way Simulation of Two-Way Deterministic Finite Automata over Small Alphabets
Geffert, V. & Okhotin, A., 30 дек 2021, Descriptional Complexity of Formal Systems - 23rd IFIP WG 1.02 International Conference, DCFS 2021, Proceedings. Han, Y-S. & Ko, S-K. (ред.). Springer Nature, стр. 26-37 12 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 13037 LNCS).Результат исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции › научная › рецензирование
-
Input-Driven Pushdown Automata on Well-Nested Infinite Strings
Okhotin, A. & Selivanov, V. L., июн 2021, Computer Science – Theory and Applications - 16th International Computer Science Symposium in Russia, CSR 2021, Proceedings. Santhanam, R. & Musatov, D. (ред.). Springer Nature, стр. 349-360 12 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 12730 LNCS).Результат исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции › рецензирование
Виды деятельности
-
Cyclic shift on multi-component grammars
Александр Сергеевич Охотин (Докладчик) & Алексей Андреевич Сорокин (Докладчик)
21 сен 2021Деятельность: выступление › выступление с устной презентацией
-
Input-driven pushdown automata on well-nested infinite strings
Александр Сергеевич Охотин (Докладчик) & Виктор Львович Селиванов (Докладчик)
30 июн 2021Деятельность: выступление › выступление с устной презентацией
-
13th International Conference on Language and Automata Theory and Applications, LATA 2019
Александр Сергеевич Охотин (Председатель) & Carlos Martín-Vide (Председатель)
26 мар 2019 → 29 мар 2019Деятельность: Участие в мероприятиях или организация мероприятий (событий) › Организация конференции, заседания рабочей группы, ...