Hypergraph Basic Categorial Grammars. - Tikhon Pshenitsyn (ICGT, 2020)

Weak Greibach Normal Form for Hyperedge Replacement Grammars. - Tikhon Pshenitsyn (GCM@STAF, 2020)

Lambek Calculus with Optional Divisions. - Tikhon Pshenitsyn (ESSLLI Student Sessions, 2021)

Powerful and NP-Complete: Hypergraph Lambek Grammars. - Tikhon Pshenitsyn (ICGT, 2021)

Introduction to a Hypergraph Logic Unifying Different Variants of the Lambek Calculus. - Tikhon Pshenitsyn (CoRR, 2021)

Cyclic Shift in the Lambek Calculus. - Tikhon Pshenitsyn (CoRR, 2021)

Grammars Based on a Logic of Hypergraph Languages. - Tikhon Pshenitsyn (GCM@STAF, 2021)

Grammars over the Lambek Calculus with Permutation: Recognizing Power and Connection to Branching Vector Addition Systems with States. - Tikhon Pshenitsyn (CoRR, 2022)

From Double Pushout Grammars to Hypergraph Lambek Grammars With and Without Exponential Modality. - Tikhon Pshenitsyn (TERMGRAPH@FSCD, 2022)

Hypergraph Lambek grammars. - Tikhon Pshenitsyn (J. Log. Algebraic Methods Program., 2022)

Multimodality in the Hypergraph Lambek Calculus. - Tikhon Pshenitsyn (AMSLO@ESSLLI, 2023)

Expressive Power of Hypergraph Lambek Grammars. - Tikhon Pshenitsyn (CoRR, 2023)

Hyperarithmetical Complexity of Infinitary Action Logic with Multiplexing. - Tikhon Pshenitsyn (CoRR, 2023)

Commutative Lambek Grammars. - Tikhon Pshenitsyn (J. Log. Lang. Inf., 2023)

Bonding Grammars. - Tikhon Pshenitsyn (UCNC, 2024)

A Comparative Analysis of Deletion Closure Operations and Their Properties. - Da-Jung Cho; Tikhon Pshenitsyn (DLT, 2025)

First-Order Intuitionistic Linear Logic and Hypergraph Languages. - Tikhon Pshenitsyn (ICALP, 2025)

On decidability and expressive power of fusion grammars. - Tikhon Pshenitsyn (Theor. Comput. Sci., 2025)

Complexity of the Uniform Membership Problem for Hyperedge Replacement Grammars. - Tikhon Pshenitsyn (CoRR, 2025)