Տեղեկատվական տեխնոլոգիաների կրթական եւ հետազոտական կենտրոն
YSU Information Technologies Educational and Research Center
.
>


,
String Matching in Case of Periodicity in the Pattern
2019 | Հոդված
International Conference on Information Technologies ICIT-2019, 61-66 էջ
,
Critical Problems for a Slicing Floorplan
2018 | Հոդված
CSIT-2017 Proceedings. 2018, IEEE Conference, 69-73 pp.
|
Fuzzy String Matching with Finite Automata
2018 | Հոդված
CSIT-2017 Proceedings. 2018, CSIT conference, 9-11 pp.
|
,
Инструментальная среда для представления и обработки нечетких знаний и ее приложения
2017 | Հոդված
Информационно-коммуникационные технологии в науке, производстве и образовании, ICIT-2017, стр. 150-157
|
,
Migration of a Net in a Slicing Floorplan
2017 | Հոդված
CSIT-2017 Proceedings. 2017, CSIT-2017, 156-159 pp.
|
Խնդիրների լուծում Prolog լեզվով
2016 | Գիրք
ԵՊՀ հրատ.: 2016թ․, 114 էջ
, , ,
Instrumental Environment of Virtual Learning of Yerevan State University and its Application
2012 | Հոդված
In Proc. of the Status and Prospects of the Development of Professional Retraining and Advanced Training of Specialists in the New NIS Countries Along New Directions Development Technics and Technologies, Moscow, Russia, 2012, pp. 55-60. (Russian)
, ,
Solvability of Formal Verification Problem for Business Process Templates
2010 | Հոդված
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 framework for conceptual knowledge representation
2010 | Հոդված
In Proc. of 4th Annual Scientific Conference of RAU, Yerevan, Armenia, 2010, pp. 171-176
, , ,
An approach for formal verification of business processes
2009 | Հոդված
In Proceedings of the 2009 Spring Simulation Multiconference, SpringSim 2009
, , ,
An Approach for Formal Verification of Business Processes
2009 | Հոդված
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
, , , ,
Process Based Management of Specific GRID Configurations: Verification of Changes"
2009 | Հոդված
Published in Proceedings of "The Future Business Technology Conference" (FUBUTEC'2009), EUROSIS, pp. 57-61, April 2009, Bruges, Belgium
, , , ,
“Tuning Of IT Management Processes To A Computing Grid”
2008 | Հոդված
In Proceedings of GRID’2008, Distributed Computing And GRID Technologies In Education And Science International Conference GRID’2008, Dubna, Russian Federation, 2008. pp. 71-74
,
Partial Recongnizing Algorithm for Verification of Workflow Processes
2008 | Հոդված
Proc. of "The Future Business Technology Conference"(FUBUTEC’2008) organized by EUROSIS, Porto, Portugal, 2008, pp. 89-94
Informatics, electronic school-book for 9-10 classes of high school
2005 | Գիրք
Yerevan State University, Yerevan, 2005
Basics of Programming Languages Design and Implementation
2005 | Գիրք
Textbook, Yerevan State University, Yerevan, 2005
,
Method of Slicing Floorplan Optimization
2005 | Հոդված
Proc. of the Conf. “Computer Science & Information Technologies”, Yerevan, Armenia, 2005, pp. 506-510
Approximative Computations over the Boolean Algebra
2003 | Հոդված
Proc. of the Conf. “Computer Science & Information Technologies”, Yerevan, Armenia, 2003, pp. 135-139
On a Method of Multi-Layer Chip Routing
2001 | Հոդված
Proc. of the Conf. “Computer Science & Information Technologies”, Yerevan, Armenia, 2001, pp. 341-345
,
Usage of Invariant Molds for Verification of a Particular Class of Object-oriented Programs
2001 | Հոդված
Proc. of the Conf. “Computer Science & Information Technologies”, Yerevan, Armenia, 2001, pp. 141-143
A Heuristic Search of Invariants for a Class of Programs
1999 | Հոդված
Kibernetikai sistemny analiz, Kiev, Ukraine, 1999, #2, pp.14-33
Results on Justification of a Unified Test Design Technology both for Offline and Online Testing
1997 | Հոդված
Proc. of the Conf. Computer Science & Information Technologies, Yerevan, Armenia, 1997, pp. 326-329
Peculiarities of Invariants Search for Programs with Arrays
1997 | Հոդված
Proc. of the Conf. Computer Science & Information Technologies, Yerevan, Armenia, 1997, pp. 34-36
A Problem of Verification for Linear Programs with Boolean Arrays
1995 | Հոդված
Kibernetika i sistemny analiz, Kiev, Ukraine, 1995, #5, pp. 87-94
, , ,
An Approach for System Tests Design and Its Applications
1995 | Հոդված
Proc. of the 13-th IEEE VLSI Test Symposium, NJ, Princeton, USA, 1995, pp. 448-453