Algorithm for reduction of Element Calculus to Element Algebra
2010
| Հոդված/Article
In Russian-Armenian (Slavonic) University Bulletin, Physical and Mathematical Sciences, ISSN 1829-0450, Number 1, Yerevan, pp. 22-28, 2010
2010
| Հոդված/Article
International Journal of Information Technology and Database Systems, vol. 1, Serials Publications, ISSN 2231-1807, New Delhi (India), pp. 43-56, 2010
Solvability of Formal Verification Problem for Business Process Templates
2010
| Հոդված/Article
Published in Proceedings of Emerging M&S Applications in Industry and Academia Symposium 2010 (EAIA 2010), SpringSim’2010 Multi-conference of Society for Computer Simulation, pp. 66-74, 11-15 April 2010, Orlando, FL, USA
“Fault Location and Diagnosis Algorithm for Static and Dynamic Faults in SRAMs”
2010
| Հոդված/Article
Proceedings of the National Academy of Sciences of Armenia and the State Engineering University of Armenia. Series of Technical Sciences, 2010, Vol. 63, No. 3, pp. 280-287
An Approach for Formal Verification of Business Processes
2009
| Հոդված/Article
Published in Business and Industry Symposium 2009 (BIS'09), SpringSim'09 Multi-conference of Society for Computer Simulation, ACM Press, March 2009, San Diego, USA