Specifications by quantifier-free theory of superlinear inequalities and complexity of its decidability. - Nikolai Kossovski; Artem Tishkov (Sci. Ann. Cuza Univ., 1998)

The Propositional n-Agent Logic. - Nikolai Kossovski; Artem Tishkov; V. Iaroslavski (CEEMAS, 1999)

Security Checker Architecture for Policy-Based Security Management. - Artem Tishkov; Igor V. Kotenko; Ekaterina Sidelnikova (MMM-ACNS, 2005)

Security Policy Verification Tool for Geographical Information Systems. - Igor V. Kotenko; Artem Tishkov; Olga Chervatuk; Ekaterina Sidelnikova (IF&GIS, 2007)

Hybrid Multi-module Security Policy Verification. - Igor V. Kotenko; Olga Chervatuk; Ekaterina Sidelnikova; Artem Tishkov (POLICY, 2007)

The Common Approach to Determination of the Destructive Information Impacts and Negative Personal Tendencies of Young Generation Using the Neural Network Methods for the Internet Content Processing. - Alexander Branitskiy; Elena Doynikova; Igor V. Kotenko; Natalia Krasilnikova; Dmitry Levshun; Artem Tishkov; Nina Vanchakova (IDC, 2019)

Determination of Young Generation's Sensitivity to the Destructive Stimuli based on the Information in Social Networks. - Alexander Branitskiy; Dmitry Levshun; Natalia Krasilnikova; Elena Doynikova; Igor V. Kotenko; Artem Tishkov; Nina Vanchakova; Andrey Chechulin (J. Internet Serv. Inf. Secur., 2019)

Analysis of Formats of Young People's Communicative Behavior in Social Network. - Igor V. Kotenko; Alexander Branitskiy; Artem Tishkov; Elena Doynikova (ICSTCC, 2020)