Java Specification Extension for Automated Test Development. - Igor B. Bourdonov; Alexey V. Demakov; Andrew A. Jarov; Alexander S. Kossatchev; Victor V. Kuliamin; Alexander K. Petrenko; Sergey V. Zelenov (Ershov Memorial Conference, 2001)

Object-oriented description of graph data structures. - Alexey V. Demakov (Program. Comput. Softw., 2007)

Using abstract models for the generation of test data with a complex structure. - Alexey V. Demakov; Sergey V. Zelenov; Sophia A. Zelenova (Program. Comput. Softw., 2008)

Evaluating the length of distinguishing sequences for nondeterministic Input/Output automata. - Igor B. Burdonov; Alexandre S. Kossachev; Nina Yevtushenko 001; Alexey V. Demakov (EWDTS, 2019)

Optimization of ProVerif Programs for AKE Protocols. - Evgenii M. Vinarskii; Alexey V. Demakov (Program. Comput. Softw., 2022)