Means for parameterization of exemplar queries. - S. V. Kosikov; V. E. Wolfengagen; L. Yu. Ismailova; Igor O. Slieptsov (BICA, 2018)

A Cognitive Type System Simulation by a Dynamically Typed Language. - V. E. Wolfengagen; S. V. Kosikov; Igor O. Slieptsov (BICA, 2018)

Representation of Conceptual Dependencies in the Domain Description Code. - Igor O. Slieptsov; Larisa Y. Ismailova; Sergey Kosikov (BICA, 2019)

Analysis and comparison of generators of words of context-sensitive language on example of typed λ-calculus. - Igor O. Slieptsov; Larisa Y. Ismailova; Sergey Kosikov (BICA*AI, 2022)

Constructing generator of words of context-sensitive language on example of typed λ-calculus. - Igor O. Slieptsov; Viacheslav Wolfengagen; Sergey Kosikov (BICA*AI, 2022)

Semantic configuration model with natural transformations. - Viacheslav Wolfengagen; Larisa Y. Ismailova; Sergey Kosikov; Igor O. Slieptsov; Sebastian Dohrn; Alexander Marenkov; Vladislav Zaytsev (Cogn. Syst. Res., 2024)