Persons
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
 
Scedrov, Andre

Statistics Math-Net.Ru
Total publications: 17
Scientific articles: 17
Presentations: 7

Number of views:
This page:488
Abstract pages:1458
Professor
Website: http://www.cis.upenn.edu/~scedrov

Subject:

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


https://www.mathnet.ru/eng/person80837
List of publications on Google Scholar
List of publications on ZentralBlatt

Publications in Math-Net.Ru Citations
2023
1. Eben Blaisdell, Max Kanovich, Stepan L. Kuznetsov, Elaine Pimentel, Andre Scedrov, “Explorations in subexponential non-associative non-commutative linear logic”, Electron. Proc. Theor. Comput. Sci., 381 (2023),  4–19  mathnet  mathscinet
2022
2. Max Kanovich, Stepan Kuznetsov, Andre Scedrov, “Language models for some extensions of the Lambek calculus”, Inform. and Comput., 287 (2022),  104760–16  mathnet  scopus 2
3. Eben Blaisdell, Max Kanovich, Stepan L. Kuznetsov, Elaine Pimentel, Andre Scedrov, “Non-associative, Non-commutative Multi-modal Linear Logic”, Lecture Notes in Comput. Sci., 13385 (2022),  449–467  mathnet  mathscinet 1
4. Max. I. Kanovich, Stepan G. Kuznetsov, Stepan L. Kuznetsov, Andre Scedrov, “Decidable fragments of calculi used in CatLog”, Stud. Comput. Intell., 999 (2022),  1–24  mathnet 1
2021
5. 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  mathscinet  isi  scopus 5
2020
6. 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 6
7. Max Kanovich, Stepan Kuznetsov, Vivek Nigam, Andre Scedrov, “Soft subexponentials and multiplexing”, Lecture Notes in Comput. Sci., 12166 (2020),  500–517  mathnet  scopus 5
2019
8. 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 1
9. 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 4
10. 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 7
11. 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 22
2018
12. 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 5
13. 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 9
2017
14. 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
15. 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  isi  scopus 9
2016
16. 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 13
17. 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 3

Presentations in Math-Net.Ru
1. Adventures in Lambek calculus
A. Scedrov
Logical Perspectives 2021: Conference
June 10, 2021 19:00   
2. Анализ кибер-физических протоколов безопасной передачи информации
A. Scedrov
Colloquium of the Faculty of Computer Science
April 11, 2019 18:10   
3. Исчисление Ламбека, обогащенное субэкспоненциалами
A. Scedrov
Traditional winter session MIAN–POMI devoted to the topic "Mathematical logic"
December 25, 2018 14:30   
4. Subexponentials in non-commutative linear logic
A. Scedrov
Seminars "Proof Theory" and "Logic Online Seminar"
June 14, 2018 18:30
5. Lambek calculus extended with subexponential and bracket modalities
A. Scedrov
Workshop on Proof Theory, Modal Logic and Reflection Principles
October 20, 2017 10:35   
6. Multiset Rewriting with Dense Time and the Analysis of Cyber-Physical Security Protocols
A. Scedrov
Seminars "Proof Theory" and "Logic Online Seminar"
December 28, 2015 18:30
7. Bounded Memory Protocols and the Unbounded Adversary
A. Scedrov
Symposium on logic and computability "Logic and Computation Day"
June 7, 2013 10:00

Organisations
 
  Contact us:
 Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2024