Generalized Realizability and Basic Logic. - Aleksandr Yu. Konovalov (ACM Trans. Comput. Log., 2021)

A Generalized Realizability and Intuitionistic Logic. - Aleksandr Yu. Konovalov (ACM Trans. Comput. Log., 2023)

Symmetry-Sensitive Analysis of Molecular Graph Neural Network Models. - Kirill Karpov; Ivan S. Pikulin; Artem A. Mitrofanov; Anatoliy A. Chasovskikh; Aleksandr Yu. Konovalov; Grigory V. Bokov (J. Chem. Inf. Model., 2026)