Տեղեկատվական տեխնոլոգիաների կրթական եվ հետազոտական կենտրոն
YSU Information Technologies Educational and Research Center
ԵՊՀ տեղեկատվական տեխնոլոգիաների (SS) կրթական և հետազոտական կենտրոնը ստեղծվել է 2007 թ-ին:
>
Սամվել Կիմի Շուքուրյան

ՏՏԿՀ կենտրոնի գիտական ղեկավար, ամբիոնի վարիչ | Տեղեկատվական համակարգերի ամբիոն
Կրթություն
1973 - 1976 թթ. Ուկրաինայի ԳԱ Կիբեռնետիկայի ինստիտուտի ասպիրանտուրա, Կիև
1967 - 1972 թթ. Երևանի պոլիտեխնիկական ինստիտուտ, Տեխնիկական կիբերնետիկայի ֆակուլտետ ինժեներ-մաթեմատիկի որակավորում
1957 - 1967 թթ. Պուշկինի անվան N 8 միջնակարգ դպրոց, ք. Երևան, ոսկե մեդալ

Գիտական աստիճան, կոչում
1996 թ. ՀՀ ԳԱԱ ակադեմիկոս
1993 թ. պրոֆեսոր,
ՌԴ Բարձրագույն Որակավորման Հանձնաժողովը (Մոսկվա)
1990 թ. ֆիզիկամաթեմատիկական գիտությունների դոկտոր,
կոչումը շնորհվել է Ուկրաինայի ԳԱ Կիբեռնետիկայի ինստիտուտի մասնագիտական խորհրդի որոշմամբ
Թեմա՝ «Լայն կիրառման ԷՀՄների ճարտարապետության կատարվող խնդիրներին միկրոծրագրային հարմարեցման սկզբունքներ»
1977 թ. ֆիզիկամաթեմատիկական գիտությունների թեկնածու,
կոչումը շնորհվել է Ուկրաինայի ԳԱ Կիբեռնետիկայի ինստիտուտի մասնագիտական խորհրդի որոշմամբ

Աշխատանքային գործունեություն
2007 թ-ից մինչ այժմ ԵՊՀ, ՏՏ կրթական և հետազոտական կենտրոն,

Գիտական ղեկավար
2007 թ-ից մինչ այժմ ԵՊՀ, ՏՏ կրթական և հետազոտական կենտրոն, Տեղեկատվական համակարգերի ամբիոն, ամբիոնի վարիչ
1993 – 2007 թթ. ԵՊՀ, Ինֆորմատիկայի և կիրառական մաթեմատիկայի ֆակուլտետ, Ալգորիթմական լեզուների ամբիոն, ամբիոնի վարիչ
2010 թ-ից մինչ այժմ «Սինոփսիս» ՓԲԸ, Ներդրված թեստավորման և վերանորոգման ծրագրի ավագ կառավարիչ
2000 – 2010 թթ. «Վիրաժ Լոջիք» կորպորացիա, Ներդրված թեստավորման և վերանորոգման ծրագրի տնօրեն
1999 – 2000 թթ. «Քրիդենս», Member of Research & Development Staff
1997 – 1998 թթ. «INET Global Research» ՍՊԸ, Ծրագրային ապահովման մշակման տնօրեն
1994 – 1997 թթ. ԵՄՄԳՀԻ Երևանի մաթեմատիկական մեքենաների գիտահե¬տա¬զո-տա¬կան ինստիտուտ (ԵրՄՄԳՀԻ),

Գլխավոր գիտական խորհրդատու
1990 – 1994 թթ.ԵրՄՄԳՀԻ, Ծրագրային ապահովման մշակման բաժնի վարիչ
1986 – 1990 թթ.ԵրՄՄԳՀԻ, բաժնի վարիչ
1980 – 1986 թթ. ԵրՄՄԳՀԻ, լաբորատորիայի վարիչ
1978 – 1980 թթ. ԵրՄՄԳՀԻ, ավագ գիտ. աշխատող
1976 – 1978 թթ. ԵրՄՄԳՀԻ, կրտսեր գիտ. աշխատող
1972 - 1973 թթ. ԵրՄՄԳՀԻ, ինժեներ

Գիտական հետաքրքրություններ
Կոմպյուտերային համակարգերի ճարտարապետություն,
էլեկտրոնային սարքերի և համակարգերի տեստավորում,
տեղեկատվական տեխնոլոգիաներ,
բաշխված կոմպյուտերային համակարգերի և ծրագրերի ֆորմալ մոդելներ

Կարդացվող դասընթացներ
Օպերացիոն համակարգեր
Ներդրված համակարգերի նախագծում

Մասնակցությունը դրամաշնորհներում
2012 – 2014 թթ. բաց Հասարակության Ինստիտուտի դրամաշնորհ N17508, N18293 “Basic Toolkit for a Comprehensive Course Development and Its Application”, նախագծի տնօրեն
2011 թ-ից մինչ այժմ պետբյուջեից ֆինանսավորվող դրամաշնորհ No.11-1b292, գիտական ղեկավար
2008 – 2010 թթ. պետբյուջեից ֆինանսավորվող դրամաշնորհ No. 136, գիտական ղեկավար
2005 - 2007 թթ. պետբյուջեից ֆինանսավորվող դրամաշնորհ No. 0122, գիտական ղեկավար
2002 – 2004 թթ. պետբյուջեից ֆինանսավորվող դրամաշնորհ No. 0825, գիտական ղեկավար
2001 - 2005 թթ. Բաց Հասարակության Ինստիտուտի դրամաշնորհ միջնակարգ դպրոցի բարձր դասարանների համար հեռաուսուցման համակարգի ստեղծում
2010 - 2012 թթ. Grant of the DAAD (Germany)
2007 - 2009 թթ. Grant of International Science and Technology Center ISTC (USA, EU, Japan)
2003 - 2006 թթ. Grant of International Science and Technology Center ISTC (USA, EU, Japan)
1997 - 1999 թթ. Grant of the U.S. CRDF (USA)
1996 թ. Grant of the NATO Science Fellowships Program
1996 թ. Grant of AT & T Bell Labs - Lucent Technologies (USA)
1995 թ. Grant of the DFG (Germany)
1995 թ. Grant of the DAAD (Germany)
1993 թ. Grant of Armenian Professional Society (USA)
1991 թ. Գիտության և նորարության ազգային հիմնադրամի դրամաշնորհ, Grant of Science and Innovation National Fond (Armenia)

Պարգևներ
2009 թ. Հայաստանի վարչապետի շնորհակալագիր
1986 թ. ԽՍՀՄ Ժողովրդական տնտեսության նվաճումների ցուցահանդեսի արծաթե մեդալ

Լեզուներ
Հայերեն, անգլերեն և ռուսերեն (ազատ)

Testing electronic memories based on fault and test algorithm periodicity
2017 | Արտոնագիր/Patent
SYNOPSYS, INC. (Mountain View, CA). 9831000. Nov 28, 2017
D. Sargsyan, Gurgen Harutyunyan , Samvel K. Shoukourian , Yervant Zorian
Automated flow for test pattern creation for IPs in SoC
2017 | Հոդված/Article
EWDTS. 2017: 1-4
S. Martirosyan, Gurgen Harutyunyan , Samvel K. Shoukourian , Yervant Zorian
An efficient testing methodology for embedded flash memories
2017 | Հոդված/Article
EWDTS. 2017: 1-4
G. Tshagharyan, Gurgen Harutyunyan , Samvel K. Shoukourian , Yervant Zorian
Experimental study on Hamming and Hsiao codes in the context of embedded applications
2016 | Հոդված/Article
EWDTS, 2017: 1-4
Lusine Martirosyan, Gurgen Harutyunyan , Samvel K. Shoukourian , Yervant Zorian
A power based memory BIST grouping methodology
2015 | Հոդված/Article
East-West Design & Test Symposium (EWDTS). 2015, p. 27-30
|
Grigor Tshagharyan, Gurgen Harutyunyan , Samvel K. Shoukourian , Yervant Zorian
Overview study on fault modeling and test methodology development for FinFET-based memories
2015 | Հոդված/Article
East-West Design & Test Symposium (EWDTS). 2015, p. 19-22
|
Grigor Tshagharyan, Gurgen Harutyunyan , Samvel K. Shoukourian , Yervant Zorian
Overview study on fault modeling and test methodology development for FinFET-based memories
2015 | Հոդված/Article
East-West Design & Test Symposium (EWDTS), Batumi, Georgia September 26-29, 2015, pp. 5-9 (english)
Vrezh Sargsyan, Valery A. Vardanian , Samvel K. Shoukourian , Yervant Zorian, Avetik Yessayan
An efficient approach for memory repair by reducing the number of spares
2015 | Հոդված/Article
East-West Design & Test Symposium (EWDTS) Batumi, Georgia September 26-29, 2015, pp. 21-25 (english)
|
Lusine Martirosyan, Gurgen Harutyunyan , Samvel K. Shoukourian , Yervant Zorian
A power based memory BIST grouping methodology
2015 | Հոդված/Article
East-West Design and Test Symposium (EWDTS), Batumi, Georgia September 26-29, 2015, pp. 11-15 (english)
Extending fault periodicity table for testing faults in memories under 20nm
2014 | Հոդված/Article
East-West Design & Test Symposium (EWDTS), Kiev, Ukraine September 26-29, 2014, pp. 5 - 9 (english)
“An Efficient Fault Diagnosis and Localization Algorithm for Successive-Approximation Analog to Digital Converters''
2012 | Հոդված/Article
Proc. IEEE East-West Design and Test Symposium, Kharkov National University of Radioelectronics, Kharkov, Ukraine, Sep. 14-17, 2012, pp. 15-18
Alexanyan K., Amirkhanyan K., Karapetyan S., Shoukourian S. , Shubat A., Vardanian V. , Zorian Y.
“Various methods and apparatuses for memory modeling using a structural primitive verification for memory compilers”
2012 | Թեզիս/Thesis
US Patent No. 8,112,730, 2012
Instrumental Environment of Virtual Learning of Yerevan State University and its Application
2012 | Հոդված/Article
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)
“A New Method for March Test Algorithm Generation and Its Application for Fault Detection in RAMs”
2012 | Հոդված/Article
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD), Volume 31, Number 6, June 2012, pp. 941-949
“Fault and Test Algorithm Periodicity Hypothesis in Memory Devices and Its Application to Memory BIST Processor Architecture”
2012 | Հոդված/Article
Reports of National Academy of Sciences of Armenia, 2012, Vol. 112, No. 3, pp. 229-238
"An Efficient Fault Diagnosis and Localization Algorithm for Successive-Approximation Analog to Digital Converters"
2012 | Հոդված/Article
IEEE East-West Design and Test Symposium (EWDTS), Ukraine, 2012, pp. 15-18
K. Amirkhanyan, A. Davtyan, G. Harutyunyan , T. Melkumyan, S. Shoukourian , V. Vardanian , Y. Zorian
"Application of Defect Injection Flow for Fault Validation in Memories"
2012 | Հոդված/Article
IEEE East-West Design and Test Symposium (EWDTS), Ukraine, 2012, pp. 19-22
Karen Amirkhanyan, Karen Darbinyan, Arman Davtyan, Gurgen Harutyunyan , Samvel Shoukourian , Valery Vardanian , Yervant Zorian
“GENERATION OF MEMORY STRUCTURAL MODEL BASED ON MEMORY LAYOUT”
2012 | Հոդված/Article
No. 13/531,189, Filing date – June 22, 2012
“Generic BIST Architecture for Testing of Content Addressable Memories”
2011 | Հոդված/Article
IEEE International On-Line Testing Symposium (IOLTS), Greece, 2011, pp. 86-91
“A Robust Solution for Embedded Memory Test and Repair”
2011 | Հոդված/Article
IEEE Asian Test Symposium (ATS), India, 2011, pp. 461-462
“Symmetry Measure for Memory Test and Its Application in BIST Optimization”
2011 | Հոդված/Article
Journal of Electronic Testing: Theory and Applications (JETTA), Volume 27, Number 6, December 2011, pp. 753-766
“TESTING ELECTRONIC MEMORIES BASED ON FAULT AND TEST ALGORITHM PERIODICITY”
2011 | Հոդված/Article
No. 13/183,468, Filing date - July 15, 2011
Karen Amirkhanyan, Hayk Grigoryan, Gurgen Harutyunyan , Tatevik Melkumyan, Samvel Shoukourian , Alex Shubat, Valery Vardanian , Yervant Zorian
“DETECTING RANDOM TELEGRAPH NOISE INDUCED FAILURES IN AN ELECTRONIC MEMORY”
2011 | Հոդված/Article
No. 13/183,471, Filing date - July 15, 2011
“DETERMINING A DESIRABLE NUMBER OF SEGMENTS FOR A MULTI-SEGMENT SINGLE ERROR CORRECTING CODING SCHEME”
2011 | Հոդված/Article
No. 13/310,479, Filing date – December 2, 2011
Alexander A. Letichevsky, Arsen S. Shoukourian, Samvel K. Shoukourian
The Equivalence Problem of Deterministic Multitape Finite Automata: A New Proof of Solvability Using a Multidimensional Tape
2010 | Հոդված/Article
Proceedings of LATA 2010: Language and Automata Theory and Applications, 4th International Conference, Trier, Germany, May 24-28, 2010, Lecture Notes in Computer Science, 6031, Springer 2010,: 392-402
“Minimal Algorithms for Testing Content-Addressable Memories”
2010 | Թեզիս/Thesis
In proc. of IEEE East-West Design & Test Symposium 2010, St. Petersburg, Russia, September 17-20, 2010
Aleksanyan K., Amirkhanyan K., Shoukourian S. , Vardanian V. , Zorian Y.
“Memory Modeling Using an Intermediate Level Structural Description”
2010 | Հոդված/Article
US Patent, No 7768840, USA, 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
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
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
L.Boyakhchyan, A.Kostanyan , V.Matevosyan, S.Shoukourian , A.Varosyan
Process Based Management of Specific GRID Configurations: Verification of Changes"
2009 | Հոդված/Article
Published in Proceedings of "The Future Business Technology Conference" (FUBUTEC'2009), EUROSIS, pp. 57-61, April 2009, Bruges, Belgium
H.A.Grigorian, S.K.Shoukourian
The Equivalence Problem of Multidimensional Multitape Automata
2008 | Հոդված/Article
Journal of Computer and System Sciences Volume 74, Issue 7, November 2008, Pages 1131-1138, Copyright 2008 Elsevier Inc
I. Boyakhchyan, A. Kostanyan , V. Matevosyan, S. Shoukourian , A. Varosyan
“Tuning Of IT Management Processes To A Computing Grid”
2008 | Հոդված/Article
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
H.A.Grigorian, S.K.Shoukourian
The Equivalence of 2-dimensional Multitape Automata
2008 | Թեզիս/Thesis
Cybernetics and Systems Analysis, Number 1, 2008
S..Shoukourian , Y.Zorian
Hierarchical Silicon Aware Test and Repair IP: Development and Integration Flow Reducing Time to Market for Systems on Chip
2006 | Թեզիս/Thesis
Invited paper, 4th IEEE East-West Design and Test Workshop, Sochi, Russia, September 2006
SoC yield optimization via an embedded memory test and repair infrastructure
2004 | Հոդված/Article
IEEE Design & Test of Computers, vol.21, May-June, 2004, pp. 200-207
A methodology for design and evaluation of redundancy allocation algorithms
2004 | Հոդված/Article
Proc. IEEE VLSI Test Symposium, Napa Valley, USA, 2004, pp. 249-255
Y.Zorian, S.Shoukourian
Embedded Memory Test & Repair: Infrastructure IP for SOC Yield
2003 | Հոդված/Article
IEEE Design and Test of Computers, May-June, 2003, pp.58-66
S.Khoshafian, S.Shoukourian , G.Sargsyan
A bridge between two models of processes for distributed systems
2003 | Թեզիս/Thesis
Proceedings of BISINESS SIMULATION‘2003, SCS International Advanced Simulation Technologies Conference ASTC’2003, Orlando, USA, April 2003
P.Raulefs, S.Shoukourian , L.Tarumyan, V.Matevosyan
Determination of critical paths for hammock type processes
2003 | Թեզիս/Thesis
Proceedings of HIGH PERFORMANCE COMPUTING‘2003, SCS International Advanced Simulation Technologies Conference ASTC’2003, Orlando, USA, April 2003
P.Raulefs, S.Shoukourian , A.Grigoryan
Verification of hammock type processes
2003 | Հոդված/Article
Proceedings of DESIGN AND ANALYSIS OF DISTRIBUTED SYSTEMS‘2003, SCS International Advanced Simulation Technologies Conference ASTC’2003, Orlando, USA, April 2003
Y.Zorian, S.Shoukourian , R.Kapur
Embedded memory test, debug and repair using CTL
2002 | Թեզիս/Thesis
Embedded Tutorial at European Test Workshop, May 2002, Corfu, Greece
S.Baghdasaryan, S.Shoukourian
An approach for CTL implementation
2002 | Հոդված/Article
Proceedings of IEEE 6th International Workshop on Testing of Embedded Core Systems, Monterey, USA, pp. 43-49, May 2002
P.Raulefs, S.Shoukourian , A.Grigoryan
Transformation of hammock type processes
2002 | Հոդված/Article
Proceedings of HIGH PERFORMANCE COMPUTING‘2002, SCS International Advanced Simulation Technologies Conference ASTC’2002, San Diego, USA, pp. 288-293, April 2002
‘An approach for evaluation of redundancy analysis algorithms’
2001 | Հոդված/Article
Records of IEEE Int. Workshop on Memory Technology, Design and Testing’, MTDT’01, San Jose, USA, pp. 51-55, 2001
I.E.Boyakhchyan, S.K.Shoukourian
Tuning of multicomputers to specific tasks
2000 | Հոդված/Article
A Review, Proceedings of Yerevan State University, Yerevan, Armenia, , pp. 34-40, October-December 2000
S.K.Shoukourian , S.V.Baghdasaryan
Design of reliable testing systems via feeble testers
2000 | Հոդված/Article
A model and applications, Digest of papers, IEEE 4th International Workshop on System Test and Diagnosis, Atlantic City, USA, pp. 83-91, October 2000
Combination of separate processes in a distributed environment
2000 | Հոդված/Article
A case of study, Proceedings of HIGH PERFORMANCE COMPUTING‘2000, SCS International Advanced Simulation Technologies Conference ASTC’2000, USA, , pp. 280-285, April 2000
A.Arabyan, S.Shoukourian , I.Boyakhchyan
Tuning the architecture of multi-computers to specific algorithms
1999 | Հոդված/Article
Proceedings of Joint Workshop of Iowa State University (USA) and Institute for Informatics and Automation Problems of NAS (Armenia), August 1999, Yerevan, Armenia
An approach for access differentiation design in medical distributed applications built on databases
1999 | Հոդված/Article
Proceedings of 15th European Congress on Medical Informatics, MIE ’99, Ljubljana, Slovenia, pp. 392-397, August 1999
A unified design methodology for off-line and on-line testing
1998 | Հոդված/Article
IEEE Design and Test of Computers, pp. 73-79, April-June, 1998
Designing a virtual operating room for prediction of operative interventions under some pathologies of middle ear
1998 | Թեզիս/Thesis
A case of the database, Proceedings of 9th World Congress on Medical Informatics, Medinfo ’98, Seoul, Korea, August 1998
H.G.Geoletsyan, S.K.Shoukourian , D.Tavangarian
Fast algorithms of tuning computer systems based on a concurrent network architecture
1998 | Հոդված/Article
Proceedings of HIGH PERFORMANCE COMPUTING ‘98, SCS International Advanced Simulation Technologies Conference ASTC’98, Boston, USA, pp.163-167, April 1998
Results on Justification of a Unified Test Design Technology both for Offline and Online Testing
1997 | Հոդված/Article
Proc. of the Conf. Computer Science & Information Technologies, Yerevan, Armenia, 1997, pp. 326-329
S.K.Shoukourian, D.Tavangarian
Implementation of algorithms on computer systems using a concurrent network architecture
1996 | Հոդված/Article
HIGH PERFORMANCE COMPUTING ‘96, “Grand Challenges in Computer Simulation” Proceedings of SCS International Simulation Multiconference, New Orleans, USA, pp. 302-307, 1996
S.Shoukourian , A. Kostanian , V.Margarian, A.Ashour
An Approach for System Tests Design and Its Applications
1995 | Հոդված/Article
Proc. of the 13-th IEEE VLSI Test Symposium, NJ, Princeton, USA, 1995, pp. 448-453
L.L.Harutyunyan, M.A.Mkrtchyan, S.E.Topchyan, S.K.Shukuryan
Dynamic adaptation system for EC1170 computer
1991 | Հոդված/Article
Voprosy radioelectroniki, seriya EVT, 10:12-15, 1991
V.A.Margaryan, S.K.Shukuryan
A control program for multicomputer complex testing
1990 | Հոդված/Article
Voprosy radioelectroniki, seriya EVT, 11:31-37, 1990
S.K.Shukuryan , S.E.Topchyan, L.L.Harutyunyan
Software tools for automatic generation of microcode assists for EC1046 Computer
1989 | Հոդված/Article
Voprosy radioelectroniki, seriya EVT, 12:54-56,1989
An approach for microcode assists synthesis problem
1989 | Հոդված/Article
Kibernetika, 4:26-32, 1989.(translated into English in USA)
A.T.Kuchukyan, S.K.Shukuryan
Adaptation to applications in EC1046 computer via microprogramming
1988 | Հոդված/Article
Vychislitelnaya tekchnika socialisticheskikch stran, 23:45-48, 1988
Principles of microprogram adaptation to a given workload for mainframe type computers
1988 | Հոդված/Article
Proceedings of Radioindustry ministry conference on computers, 1988, 103-105
V.A.Margaryan, S.K.Shukuryan
Dynamic microprogramming in functional tests design for the EC type computers
1987 | Հոդված/Article
Proceedings of All-Union conference on computers, 1987, 134-135
S.K.Shukuryan , S.E.Topchyan, L.E.Manukyan
Peculiarities of dynamic microprogramming and engineering assists implementation in EC1046 computer
1986 | Հոդված/Article
Voprosy radioelectroniki, seriya EVT, 11: 3-10, 1986
Engineering assists in EC1046 computer
1984 | Հոդված/Article
Voprosy radioelectroniki, seriya EVT, 6:92-99, 1984
K.S.Sarkisyan, A.G.Tadevosyan, S.K.Shukuryan
A tool for analyzing the completeness of functional tests
1983 | Հոդված/Article
Proceedings of All-Union conference on computer aided design, 1983, 231-232
S.K.Shukuryan , S.E.Topchyan, L.E.Manukyan
APL dialogue system
1983 | Հոդված/Article
Voprosy radioelectroniki, seriya EVT, 8: 51-59, 1983
S.K.Shukuryan , S.E.Topchyan
Emulation of an APL machine on EC1045 computer
1981 | Հոդված/Article
Voprosy radioelectroniki, seriya EVT, 16:19-27, 1981
A.B.Godlevskii, A.A.Letichevskii, S.K.Shukuryan
On a reducibility of the equivalence problem for program schemata in a rank 1 nontrivial basis to the equivalence problem for multidimensional multihead automata
1980 | Հոդված/Article
Kibernetika, 6:1-7, 1980 (translated into English in USA)
A result on the functional equivalence problem for program schemata in a rank 1 nontrivial basis
1979 | Հոդված/Article
Programmirovanie, 2:41-49, 1979
A practical method for recognizing the equivalence of algorithms
1977 | Հոդված/Article
Voprosy radioelectroniki, seriya EVT, 12:8-12, 1977
On the execution time comparison for two-way automata and the equivalence problem for a class of discrete processors and program schemata
1977 | Հոդված/Article
Kibernetika, 2:9-14, 1977 (translated into English in USA)
On some solvable cases of the equivalence problem for X-Y-automata
1976 | Հոդված/Article
Doklady AN Arm. SSR, 1:27-32, 1976 (translated into English in USA)
The equivalence problem for a class of multitape multihead automata and program schemata
1976 | Հոդված/Article
Kibernetika, 4:12-16, 1976 (translated into English in USA)