Տեղեկատվական տեխնոլոգիաների կրթական եվ հետազոտական կենտրոն
YSU Information Technologies Educational and Research Center
ԵՊՀ տեղեկատվական տեխնոլոգիաների (SS) կրթական և հետազոտական կենտրոնը ստեղծվել է 2007 թ-ին:
>
Manukyan M. G. , Harutunyan V. K.
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
Element Algebra (extended version)
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
A. Kostanyan , L. Soghomonyan
A framework for conceptual knowledge representation
2010 | Հոդված/Article
In Proc. of 4th Annual Scientific Conference of RAU, Yerevan, Armenia, 2010, pp. 171-176
“Minimal March Test Algorithms for Detection of All Realistic Two-Operation, Two-Cell Dynamic Faults from Subclasses Sav and Sva”
2010 | Հոդված/Article
Reports of National Academy of Sciences of Armenia, 2010, Vol. 110, No. 2, pp. 143-150
G. E. Harutyunyan , D. V. Melkumyan
“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
Armen Kostanyan , Vardan Matevosyan, Samvel K. Shoukourian , Anna Varosyan
An approach for formal verification of business processes
2009 | Հոդված/Article
In Proceedings of the 2009 Spring Simulation Multiconference, SpringSim 2009
Vardanyan V.A. , Bozoyan Sh.E., Simonyan S.H., Vardanyan R.R., Maranjyan H.B., Buniatyan V.V., Khudaverdyan S.Kh., Petrosyan S.G., Babayan A.H., Harutyunyan A.G., Travajyan M.G., Yeghiazaryan S.S., Gomtsyan H.A., Melikyan V.Sh., Movsisyan V.M., Muradyan M.A., Ayvazyan G.E., Melkonyan S.V., Minasyan A.K., Tumanyan A.K., Stepanyan H.L., Tananyan H.G.
I-IV Armenian Microelectronics Olympiad Tests and Problems
2009 | Գիրք/Book
SEUA, Yerevan, 2009.-218 P. (in Armenian)
Element Algebra
2009 | Հոդված/Article
In Proc. of ADBIS’2009, LNCS 5968, Springer, pp. 113-120, 2009
A. Kostanyan , V. Matevosyan, S. Shoukourian , A.Varosyan
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