Выберите категорию обращения:
Общие вопросы
Отчеты
Рейтинги
Мониторинговый отчёт
Диссертационные советы
Конкурсы
Ввод данных
Структура организаций
Аспирантура
Научное оборудование
Импорт педагогической нагрузки
Журналы и импакт-факторы
Тема обращения:
Описание проблемы:
Введите почтовый адрес:
ИСТИНА
Войти в систему
Регистрация
Интеллектуальная Система Тематического Исследования НАукометрических данных
Главная
Поиск
Статистика
О проекте
Помощь
В связи с техническими работами в центре обработки данных, часть прикреплённых файлов в настоящее время недоступна.
скрыть
отправить сообщение
Пшеницын Тихон Григорьевич
пользователь
Прежние места работы
(Нажмите для отображения)
МГУ имени М.В. Ломоносова
,
Механико-математический факультет
,
Отделение математики
,
Кафедра математической логики и теории алгоритмов
, студент, 1 сентября 2019 - 31 августа 2023
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
Grammars Based on a Logic of Hypergraph Languages
Pshenitsyn Tikhon
в сборнике
Proceedings Twelfth International Workshop on Graph Computational Models, GCM@STAF 2021, Online, 22nd June 2021
, серия
EPTCS
, том 350, с. 1-18
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
Член организационного комитета
Голуэй, Ирландия