Статьи в журналах
Статьи в сборниках
Тезисы докладов
Доклады на научных конференциях
НИР и НИОКР
Награды и премии
Стажировки в организациях
Участие в программных комитетах конференций
–
Статьи в журналах
-
- 2024 Hyperarithmetical complexity of infinitary action logic with multiplexing
- Pshenitsyn Tikhon
- в журнале Logic Journal of the IGPL, издательство Oxford University Press (United Kingdom) DOI
-
- 2023 Commutative Lambek Grammars
- Pshenitsyn Tikhon
- в журнале Journal of Logic, Language and Information, издательство Springer Nature (Switzerland) DOI
-
- 2022 Hypergraph Lambek grammars
- Pshenitsyn Tikhon
- в журнале JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, том 129 DOI
Статьи в сборниках
-
- 2024 Bonding Grammars
- Pshenitsyn Tikhon
- в сборнике Unconventional Computation and Natural Computation, издательство Springer Nature (Switzerland), с. 1-17 DOI
-
- 2023 Lambek Calculus with Optional Divisions
- Pshenitsyn Tikhon
- в сборнике Selected Reflections in Language, Logic, and Information, издательство Springer Nature (Switzerland), с. 187-202 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
-
- 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
-
-
- 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 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
-
- 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
Тезисы докладов
-
- 2022 Displacement Calculus и гиперграфовое исчисление Ламбека
- Пшеницын Тихон Григорьевич
- в сборнике Материалы Международного молодежного научного форума «Ломоносов-2022», серия Гидрометеорология, издательство ООО "МАКС Пресс" (Москва), том 39, тезисы
- редакторы Алешковский Иван Андреевич, Андриянов Андрей Владимирович, Антипов Евгений Александрович, Зимакова Екатерина Игоревна
-
- 2021 Исчисление Ламбека с операциями следования и предшествования
- Пшеницын Тихон Григорьевич
- в сборнике Материалы Международного молодежного научного форума «Ломоносов-2021», серия География, издательство ООО "МАКС Пресс" (Москва), тезисы
- редакторы Алешковский Иван Андреевич, Андрианов А.В., Антипов Евгений Александрович, Зимакова Екатерина Игоревна
-
- 2020 О конъюнкции в групповых грамматиках
- Пшеницын Тихон Григорьевич
- в сборнике Материалы Международного молодежного научного форума «Ломоносов-2020», издательство ООО "МАКС Пресс" (Москва), тезисы
- редакторы Алешковский Иван Андреевич, Андриянов Андрей Владимирович, Антипов Евгений Александрович
-
- 2019 Групповые грамматики и контекстно-свободные грамматики
- Пшеницын Тихон Григорьевич
- в сборнике Материалы Международного молодежного научного форума «Ломоносов-2019», издательство ООО "МАКС Пресс" (Москва), тезисы
- редакторы Алешковский Иван Андреевич, Андриянов Андрей Владимирович, Антипов Евгений Александрович
Доклады на научных конференциях
-
- 2023 Разрешимость задачи порождения для грамматик слияния (Устный)
- Автор: Пшеницын Тихон Григорьевич
- Третья конференция Математических центров России., г.Майкоп, Россия, Russia, 10-15 октября 2023
-
- 2023 Algebraic semantics for hypergraph Lambek calculus (Устный)
- Автор: Pshenitsyn Tikhon
- Semantical and Computational Aspects of Non-Classical Logics 2023 (SCAN 2023), Москва, Математический институт им. В.А. Стеклова Российской академии наук, Russia, 13-17 июня 2023
-
- 2022 Commutative Lambek Grammars are not Context Free (Устный)
- Автор: Пшеницын Тихон Григорьевич
- Вторая конференция Математических центров России, г. Москва, Россия, 7–11 ноября 2022 г., Russia, 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, Israel, 1 августа 2022
-
- 2022 Displacement Calculus и гиперграфовое исчисление Ламбека (Устный)
- Автор: Пшеницын Тихон Григорьевич
- XXIX Международная научная конференция студентов, аспирантов и молодых ученых "Ломоносов 2022", МГУ имени М.В. Ломоносова, Russia, 11-22 апреля 2022
-
- 2021 Мощные и NP-полные: гиперграфовые грамматики Ламбека (Устный)
- Автор: Пшеницын Тихон Григорьевич
- Конкурс Мёбиуса 2021, Москва, Russia, 4 декабря 2021
-
- 2021 Modelling Focus in the Lambek Calculus (Устный)
- Автор: Pshenitsyn Tikhon
- ESSLLI 2021 Student Session, дистанционно, Italy, 4-13 августа 2021
-
- 2021 Grammars Based on a Logic of Hypergraph Languages (Устный)
- Автор: Pshenitsyn Tikhon
- 12th International Workshop on Graph Computation Models, GCM 2021, дистанционно, Norway, 22 июня 2021
-
- 2021 Исчисление Ламбека с операциями следования и предшествования (Устный)
- Автор: Пшеницын Тихон Григорьевич
- XXVIII Международная научная конференция студентов, аспирантов и молодых ученых "Ломоносов 2021", МГУ им. М.В. Ломоносова, Москва, Russia, 12-23 апреля 2021
-
- 2021 Powerful and NP-Complete: Hypergraph Lambek Grammars (Устный)
- Автор: Pshenitsyn Tikhon
- 14th International Conference on Graph Transformation, ICGT 2021, дистанционно, Norway, 24-25 июня 2020
-
- 2020 Последовательное замыкание классов языков относительно пересечения и гомоморфизмов (Устный)
- Автор: Пшеницын Тихон Григорьевич
- XXVII Международная научная конференция студентов, аспирантов и молодых ученых "Ломоносов 2020", Москва, Russia, 20 ноября 2020
-
- 2020 Hypergraph Basic Categorial Grammars (Устный)
- Автор: Pshenitsyn Tikhon
- 13th International Conference on Graph Transformation, дистанционно, Norway, 25-26 июня 2020
-
- 2020 Weak Greibach normal form for hyperedge replacement grammars (Устный)
- Автор: Pshenitsyn Tikhon
- 11th International Workshop on Graph Computation Models, дистанционно, Norway, 24 июня 2020
-
- 2019 Optional division Lambek calculus grammars (Устный)
- Автор: Pshenitsyn Tikhon
- ESSLLI 2019 Student Session, Рига, Латвия, Latvia, 5-16 августа 2019
-
- 2019 Групповые грамматики и контекстно-свободные грамматики (Устный)
- Автор: Пшеницын Тихон Григорьевич
- Международная научная конференция студентов, аспирантов и молодых учёных «Ломоносов-2019», Москва, Russia, 11 апреля 2019
НИР и НИОКР
-
- 1 января 2020 - 31 декабря 2022 Неклассические семантики и исчисления
- Кафедра математической логики и теории алгоритмов
- Руководитель: Пентус М.Р. Ответственные исполнители: Плиско В.Е., Золин Е.Е. Участники НИР: Пшеницын Т.Г., Коновалов А.Ю., Боков Г.В., Крупский В.Н., Гершгорин Р.А.
Награды и премии
-
- 2023 Первая премия на конкурсе Августа Мёбиуса (категория "Студенты")
- Лауреат: Пшеницын Тихон Григорьевич
- Независимый Московский университет, Россия
-
- 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
- Член организационного комитета
- Голуэй, Ireland