An approach for formal verification of business processes. - Armen Kostanyan; Vardan Matevosyan; Samvel K. Shoukourian; Anna Varosyan (SpringSim, 2009)

Computations in Boolean Algebra with Approximation. - Armen Kostanyan; Paruyr Khnkoyan (Fundam. Informaticae, 2014)

Fuzzy Segmentations of a String. - Armen Kostanyan; Arevik Harmandayan (CoRR, 2022)