Volume 38, issue 6, part 1

Khanevskaya K.A., Tsiazhkorob U.V., Ignatiev V.N. Detection of Multiple Enumeration in the C# Source Code Using Static Analysis pp. 9-22

Domo0ratskiy E.A., Boulytchev D.Yu. Certified Unification for Rational Terms pp. 23-40

Kryukov O.S., Voloshko A.G., Ivutin A.N. Approach to static verification of multithreaded applications based on a graph model of a program pp. 41-62

Tikhonov D.M., Strijov V.V. Unifying state spaces of a dynamical system via multilinear mapping pp. 63-72

Moiseykin A.D., Drobyshevskiy M.D., Soloviov M.V. Tri-Level Anomaly Detection in Text-Attributed Graphs with Graph Foundation Model pp. 73-86

Balashov S.A. Comparative Analysis of Open-Source Video Analytics Systems for Task Distribution in Heterogeneous Computing Environments pp. 87-96

Poddubny I.A., Dorodnykh N.O., Armaev A.S. Study of Semantic Representation of Tabular Data for Fact Verification pp. 97-122

Poimanov D.R. Enhancing Quantization Efficiency in Mixture-of-Experts Large Language Models pp. 123-138