|
ИСТИНА |
Войти в систему Регистрация |
Интеллектуальная Система Тематического Исследования НАукометрических данных |
||
Пшеницын Тихон Григорьевич пользователь
Прежние места работы (Нажмите для отображения)7 статей, 14 докладов на конференциях, 4 тезисов докладов, 1 НИР, 3 награды, 1 стажировка, 1 членство в программном комитете
Количество цитирований статей в журналах по данным
Scopus: 4
IstinaResearcherID (IRID): 329392482
ORCID: 0000-0003-4779-3143
Деятельность
-
Статьи в журналах
-
- 2022 Hypergraph Lambek grammars
- Pshenitsyn Tikhon
- в журнале JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, том 129 DOI
-
-
Статьи в сборниках
-
- 2023 From Double Pushout Grammars to Hypergraph Lambek Grammars With and Without Exponential Modality
- Pshenitsyn Tikhon
- в сборнике Proceedings Twelfth International Workshop on Computing with Terms and Graphs (TERMGRAPH 2022), серия Electronic Proceedings in Theoretical Computer Science, место издания Open Publishing Association, том 377, с. 9-26 DOI
-
- 2023 Multimodality in the Hypergraph Lambek Calculus
- Pshenitsyn Tikhon
- в сборнике Proceedings Modalities in substructural logics: Applications at the interfaces of logic, language and computation, Ljubljana, Slovenia, August 7-8, 2023, серия Electronic Proceedings in Theoretical Computer Science, место издания Open Publishing Association, том 381, с. 46-59 DOI
-
-
- 2021 Powerful and NP-Complete: Hypergraph Lambek Grammars
- Pshenitsyn Tikhon
- в сборнике Graph Transformation - 14th International Conference, ICGT 2021, Held as Part of STAF 2021, Virtual Event, June 24-25, 2021, Proceedings, серия Lecture Notes in Computer Science, место издания Springer, том 12741, с. 102-121 DOI
-
- 2020 Hypergraph Basic Categorial Grammars
- Pshenitsyn Tikhon
- в сборнике Graph Transformation - 13th International Conference, ICGT 2020, Held as Part of STAF 2020, Bergen, Norway, June 25-26, 2020, Proceedings, серия Lecture Notes in Computer Science, место издания Springer, том 12150, с. 146-162 DOI
-
- 2020 Weak Greibach Normal Form for Hyperedge Replacement Grammars
- Pshenitsyn Tikhon
- в сборнике Proceedings of the Eleventh International Workshop on Graph Computation Models, Online-Workshop, 24th June 2020, серия Electronic Proceedings in Theoretical Computer Science, место издания Open Publishing Association, том 330, с. 108-125 DOI
-
-
Доклады на конференциях
-
- 2023 Algebraic semantics for hypergraph Lambek calculus (Устный)
- Автор: Pshenitsyn Tikhon
- Semantical and Computational Aspects of Non-Classical Logics 2023 (SCAN 2023), Москва, Математический институт им. В.А. Стеклова Российской академии наук, Россия, 13-17 июня 2023
-
- 2022 Commutative Lambek Grammars are not Context Free (Устный)
- Автор: Пшеницын Тихон Григорьевич
- Вторая конференция Математических центров России, г. Москва, Россия, 7–11 ноября 2022 г., Россия, 7-11 ноября 2022
-
- 2022 Transformation of DPO Grammars into Hypergraph Lambek Grammars with the Conjunctive Kleene Star (Устный)
- Автор: Pshenitsyn Tikhon
- 12th International Workshop on Computing with Terms and Graphs, Technion - Israel Institute of Technology, Израиль, 1 августа 2022
-
- 2022 Displacement Calculus и гиперграфовое исчисление Ламбека (Устный)
- Автор: Пшеницын Тихон Григорьевич
- XXIX Международная научная конференция студентов, аспирантов и молодых ученых "Ломоносов 2022", МГУ имени М.В. Ломоносова, Россия, 11-22 апреля 2022
-
- 2021 Мощные и NP-полные: гиперграфовые грамматики Ламбека (Устный)
- Автор: Пшеницын Тихон Григорьевич
- Конкурс Мёбиуса 2021, Москва, Россия, 4 декабря 2021
-
- 2021 Modelling Focus in the Lambek Calculus (Устный)
- Автор: Pshenitsyn Tikhon
- ESSLLI 2021 Student Session, дистанционно, Италия, 4-13 августа 2021
-
- 2021 Grammars Based on a Logic of Hypergraph Languages (Устный)
- Автор: Pshenitsyn Tikhon
- 12th International Workshop on Graph Computation Models, GCM 2021, дистанционно, Норвегия, 22 июня 2021
-
- 2021 Исчисление Ламбека с операциями следования и предшествования (Устный)
- Автор: Пшеницын Тихон Григорьевич
- XXVIII Международная научная конференция студентов, аспирантов и молодых ученых "Ломоносов 2021", МГУ им. М.В. Ломоносова, Москва, Россия, 12-23 апреля 2021
-
- 2020 Последовательное замыкание классов языков относительно пересечения и гомоморфизмов (Устный)
- Автор: Пшеницын Тихон Григорьевич
- Международная научная конференция студентов, аспирантов и молодых учёных «Ломоносов-2020», Москва, Россия, 10-27 ноября 2020
-
- 2020 Hypergraph Basic Categorial Grammars (Устный)
- Автор: Pshenitsyn Tikhon
- 13th International Conference on Graph Transformation, дистанционно, Норвегия, 25-26 июня 2020
-
- 2021 Powerful and NP-Complete: Hypergraph Lambek Grammars (Устный)
- Автор: Pshenitsyn Tikhon
- 14th International Conference on Graph Transformation, ICGT 2021, дистанционно, Норвегия, 24-25 июня 2020
-
- 2020 Weak Greibach normal form for hyperedge replacement grammars (Устный)
- Автор: Pshenitsyn Tikhon
- 11th International Workshop on Graph Computation Models, дистанционно, Норвегия, 24 июня 2020
-
- 2019 Optional division Lambek calculus grammars (Устный)
- Автор: Pshenitsyn Tikhon
- ESSLLI 2019 Student Session, Рига, Латвия, Латвия, 5-16 августа 2019
-
- 2019 Групповые грамматики и контекстно-свободные грамматики (Устный)
- Автор: Пшеницын Тихон Григорьевич
- Международная научная конференция студентов, аспирантов и молодых учёных «Ломоносов-2019», Москва, Россия, 11 апреля 2019
-
-
Тезисы докладов
-
- 2022 Displacement Calculus и гиперграфовое исчисление Ламбека
- Пшеницын Тихон Григорьевич
- в сборнике Материалы Международного молодежного научного форума «Ломоносов-2022», издательство ООО "МАКС Пресс" (Москва), тезисы
- редакторы Алешковский Иван Андреевич, Андриянов Андрей Владимирович, Антипов Евгений Александрович, Зимакова Екатерина Игоревна
-
- 2021 Исчисление Ламбека с операциями следования и предшествования
- Пшеницын Тихон Григорьевич
- в сборнике Материалы Международного молодежного научного форума «Ломоносов-2021», издательство ООО "МАКС Пресс" (Москва), тезисы
- редакторы Алешковский Иван Андреевич, Андрианов А.В., Антипов Евгений Александрович, Зимакова Екатерина Игоревна
-
- 2020 О конъюнкции в групповых грамматиках
- Пшеницын Тихон Григорьевич
- в сборнике Материалы Международного молодежного научного форума «Ломоносов-2020», издательство ООО "МАКС Пресс" (Москва), том 2, тезисы
- редакторы Алешковский Иван Андреевич, Андриянов Андрей Владимирович, Антипов Евгений Александрович
-
- 2019 Групповые грамматики и контекстно-свободные грамматики
- Пшеницын Тихон Григорьевич
- в сборнике Материалы Международного молодежного научного форума «Ломоносов-2019», издательство ООО "МАКС Пресс" (Москва), тезисы
- редакторы Алешковский Иван Андреевич, Алешковский Иван Андреевич, Андриянов Андрей Владимирович, Андриянов Андрей Владимирович, Антипов Евгений Александрович, Антипов Евгений Александрович
-
-
НИРы
-
- 1 января 2020 - 31 декабря 2022 Неклассические семантики и исчисления
- Кафедра математической логики и теории алгоритмов
- Руководитель: Пентус М.Р. Ответственные исполнители: Золин Е.Е., Плиско В.Е. Участники НИР: Боков Г.В., Гершгорин Р.А., Коновалов А.Ю., Крупский В.Н., Пшеницын Т.Г.
-
-
Награды и премии
-
- 2023 Медаль Российской академии наук
- Лауреат: Пшеницын Тихон Григорьевич
- Российская академия наук, Россия
-
- 2021 "Best ICGT Paper" Award
- Лауреат: Pshenitsyn Tikhon
- European Association for Theoretical Computer Science, Норвегия
-
- 2019 Лучший доклад в секции "Математическая логика, алгебра и теория чисел" на конференции "Ломоносов-2019"
- Лауреат: Пшеницын Тихон Григорьевич
- Московский государственный университет им. М. В. Ломоносова, Россия
-
-
Стажировки в организациях
-
- 5 октября 2019 - 15 октября 2019 ОЦ "Сириус", Россия
-
-
Участие в программных комитетах конференций
-
- 8-19 августа 2022 ESSLLI 2022 Student Session
- Член организационного комитета
- Голуэй, Ирландия
-