Персоналии
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
 
Щедров Андрей Олегович

В базах данных Math-Net.Ru
Лекций и докладов: 7

Статистика просмотров:
Эта страница:190
профессор
Сайт: http://www.cis.upenn.edu/~scedrov

Основные темы научной работы

logic, cybersecurity, information assurance, information privacy, computer security and privacy, cryptographic protocols, formal methods


http://www.mathnet.ru/rus/person80837
Список публикаций на Google Scholar
Список публикаций на ZentralBlatt

Публикации в базе данных Math-Net.Ru
2021
1. Max Kanovich, Stepan Kuznetsov, Andre Scedrov, “Language models for some extensions of the Lambek calculus”, Inform. and Comput., 2021,  104760–16  mathnet  scopus
2. Max Kanovich, Stepan Kuznetsov, Andre Scedrov, “The multiplicative-additive Lambek calculus with subexponential and bracket modalities”, J. Logic Lang. Inf., 30 (2021),  31–88  mathnet  isi  scopus
2020
3. Max Kanovich, Stepan Kuznetsov, Andre Scedrov, “Reconciling Lambek's restriction, cut-elimination, and substitution in the presence of exponential modalities”, J. Logic Comput., 30:1 (2020),  239–256  mathnet  mathscinet  isi  scopus
4. Max Kanovich, Stepan Kuznetsov, Vivek Nigam, Andre Scedrov, “Soft subexponentials and multiplexing”, Lecture Notes in Comput. Sci., 12166 (2020),  500–517  mathnet  scopus
2019
5. Max Kanovich, Stepan Kuznetsov, Andre Scedrov, “Undecidability of a Newly Proposed Calculus for CatLog3”, Lecture Notes in Comput. Sci., 11668 (2019),  67–83  mathnet  mathscinet  scopus
6. Max Kanovich, Stepan Kuznetsov, Andre Scedrov, “L-models and R-models for Lambek calculus enriched with additives and the multiplicative unit”, Lecture Notes in Comput. Sci., 11541 (2019),  373–391  mathnet  mathscinet  scopus
7. Max Kanovich, Stepan Kuznetsov, Andre Scedrov, “The complexity of multiplicative-additive Lambek calculus: 25 years later”, Lecture Notes in Comput. Sci., 11541 (2019),  356–372  mathnet  mathscinet  scopus
8. Max Kanovich, Stepan Kuznetsov, Vivek Nigam, Andre Scedrov, “Subexponentials in non-commutative linear logic”, Math. Structures Comput. Sci., 29:8 (2019),  1217–1249  mathnet  mathscinet  isi  scopus
2018
9. Glyn Morrill, Stepan Kuznetsov, Max Kanovich, Andre Scedrov, “Bracket induction for the Lambek calculus with bracket modalities”, Lecture Notes in Comput. Sci., 10950 (2018),  84–101  mathnet  mathscinet  scopus
10. Max Kanovich, Stepan Kuznetsov, Vivek Nigam, Andre Scedrov, “A logical framework with commutative and non-commutative subexponentials”, Lecture Notes in Comput. Sci., 10900 (2018),  228–245  mathnet  mathscinet  isi  scopus
2017
11. Max Kanovich, Stepan Kuznetsov, Glyn Morrill, Andre Scedrov, “A polynomial-time algorithm for the Lambek calculus with brackets of bounded order”, Leibniz Internat. Proc. in Inform., 84:22 (2017),  1–17  mathnet  mathscinet  scopus
12. Max Kanovich, Stepan Kuznetsov, Andre Scedrov, “Undecidability of the Lambek calculus with subexponential and bracket modalities”, Lecture Notes in Comput. Sci., 10472 (2017),  326–340  mathnet  mathscinet  scopus
2016
13. Max Kanovich, Stepan Kuznetsov, Andre Scedrov, “Undecidability of the Lambek calculus with a relevant modality”, Lecture Notes in Comput. Sci., 9804 (2016),  240–256  mathnet  mathscinet  zmath  elib  scopus
14. M. Kanovich, S. Kuznetsov, A. Scedrov, “On Lambek's restriction in the presence of exponential modalities”, Lecture Notes in Comput. Sci., 9537 (2016),  146–158  mathnet  mathscinet  zmath  isi  elib  scopus

Доклады и лекции в базе данных Math-Net.Ru
1. Adventures in Lambek calculus
A. Scedrov
Logical Perspectives 2021: Conference
10 июня 2021 г. 19:00   
2. Анализ кибер-физических протоколов безопасной передачи информации
А. О. Щедров
Коллоквиум Факультета компьютерных наук НИУ ВШЭ
11 апреля 2019 г. 18:10   
3. Исчисление Ламбека, обогащенное субэкспоненциалами
А. О. Щедров
Традиционная зимняя сессия МИАН–ПОМИ, посвященная теме «Математическая логика»
25 декабря 2018 г. 14:30   
4. Subexponentials in non-commutative linear logic
A. Scedrov
Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar"
14 июня 2018 г. 18:30
5. Lambek calculus extended with subexponential and bracket modalities
A. Scedrov
Workshop on Proof Theory, Modal Logic and Reflection Principles
20 октября 2017 г. 10:35   
6. Multiset Rewriting with Dense Time and the Analysis of Cyber-Physical Security Protocols
A. Scedrov
Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar"
28 декабря 2015 г. 18:30
7. Bounded Memory Protocols and the Unbounded Adversary
A. Scedrov
Симпозиум по логике и вычислимости «Logic and Computation Day»
7 июня 2013 г. 10:00

Организации
 
Обратная связь:
 Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2021