On Definability and Redundancy in $ cal{EL}$ -TBoxes. - Denis K. Ponomaryov; Dmitry Vlasov (RR, 2012)

Concept Definability and Interpolation in Enriched Models of EL-TBoxes. - Denis K. Ponomaryov; Dmitry Vlasov (Description Logics, 2013)

System Description: Russell - A Logical Framework for Deductive Systems. - Dmitry Vlasov (CoRR, 2017)

Approach to combining different methods for detecting insiders. - Mikhail V. Buinevich; Konstantin E. Izrailov; Igor V. Kotenko; Igor Ushakov; Dmitry Vlasov (ICFNDS, 2020)