An Optimal Algorithm for Conflict-Free Coloring for Tree of Rings - Einollah Pira (CoRR, 2012)

Verification of confliction and unreachability in rule-based expert systems with model checking. - Einollah Pira; Mohammad Reza Zand Miralvand; Fakhteh Soltani (CoRR, 2014)

EMCDM: Efficient model checking by data mining for verification of complex software systems specified through architectural styles. - Einollah Pira; Vahid Rafe; Amin Nikanjam (Appl. Soft Comput., 2016)

Deadlock detection in complex software systems specified through graph transformation using Bayesian optimization algorithm. - Einollah Pira; Vahid Rafe; Amin Nikanjam (J. Syst. Softw., 2017)

Searching for violation of safety and liveness properties using knowledge discovery in complex systems specified through graph transformations. - Einollah Pira; Vahid Rafe; Amin Nikanjam (Inf. Softw. Technol., 2018)

Using evolutionary algorithms for reachability analysis of complex software systems specified through graph transformation. - Einollah Pira; Vahid Rafe; Amin Nikanjam (Reliab. Eng. Syst. Saf., 2019)

MS-ACO: a multi-stage ant colony optimization to refute complex software systems specified through graph transformation. - Vahid Rafe; Mahsa Darghayedi; Einollah Pira (Soft Comput., 2019)

A novel approach to solve AI planning problems in graph transformations. - Einollah Pira (Eng. Appl. Artif. Intell., 2020)

Using Markov Chain Based Estimation of Distribution Algorithm for Model-Based Safety Analysis of Graph Transformation. - Einollah Pira (J. Comput. Sci. Technol., 2021)

Using deep learning techniques for solving AI planning problems specified through graph transformations. - Einollah Pira (Soft Comput., 2022)

Using knowledge discovery to propose a two-phase model checking for safety analysis of graph transformations. - Einollah Pira (Softw. Qual. J., 2022)

City councils evolution: a socio-inspired metaheuristic optimization algorithm. - Einollah Pira (J. Ambient Intell. Humaniz. Comput., 2023)

Combinatorial t-way test suite generation using an improved asexual reproduction optimization algorithm. - Einollah Pira; Mohammad Khodizadeh-Nahari (Appl. Soft Comput., 2024)

A three-phase approach to improve the functionality of t-way strategy. - Einollah Pira; Vahid Rafe; Sajad Esfandyari (Soft Comput., 2024)

An improved gazelle optimization algorithm using dynamic opposition-based learning and chaotic mapping combination for solving optimization problems. - Atiyeh Abdollahpour; Alireza Rouhi; Einollah Pira (J. Supercomput., 2024)

A new metaheuristic optimization algorithm based on the participation of smart students to increase the class performance. - Einollah Pira; Alireza Rouhi (Soft Comput., 2025)