Finite satisfiability of class diagrams: practical occurrence and scalability of the FiniteSat algorithm. - Victor Makarenkov; Pavel Jelnov; Azzam Maraee; Mira Balaban (MoDeVVa@MoDELS, 2009)

A pattern-based approach for improving model quality. - Mira Balaban; Azzam Maraee; Arnon Sturm; Pavel Jelnov (Softw. Syst. Model., 2015)

The Number of Parties and Decision-Making in Legislatures. - Marina Bannikova; Artyom Jelnov; Pavel Jelnov (Games, 2021)