Anatoly A. Shalyto

Work place: ITMO University, Saint Petersburg, 197101, Russian Federation
Post: Department Head
Degree: D.Sc., Professor
E-mail: shalyto@mail.ifmo.ru
Velder S. ., Shalyto A. A. MODEL CHECKING AUTOMATA-BASED PROGRAMS USING REDUCED TRANSITION GRAPH CONSTRUCTION
The article was published in issue 6(64) in 2009
Kleban V. ., Shalyto A. A. SMALL-SIZED HELICOPTER CONTROL SYSTEM DEVELOPMENT
The article was published in issue 2(72) in 2011
Alekseev S. A., Kalinichenko A. ., Kleban V. ., Shalyto A. A. AUTOMATIC SYNTHESIS OF MOBILE ROBOT CONTROL SYSTEM FOR SOLVING THE "KEGELRING" PROBLEM
The article was published in issue 2(72) in 2011
Sergeev A. ., Kleban V. ., Shalyto A. A. GPU EFFECTIVENESS ANALYSIS FOR AUTOMATIC SYNTHESIS OF ROBOT CONTROL SYSTEM
The article was published in issue 2(72) in 2011
Alekseev S. A., Kleban V. ., Shalyto A. A. HARDWARE AND SOFTWARE COMPLEX FOR FINITE STATE MOBILE ROBOT CONTROL STUDY
The article was published in issue 2(72) in 2011
Trofimov D. ., Shalyto A. A. STRATEGY OPTIMIZATION METHODS FOR TWO-PLAYER GAMES WITH GENETIC ALGORITHMS
The article was published in issue 2(72) in 2011
Danilov V. ., Shalyto A. A. REPRESENTATION OF FINITE STATE AUTOMATA BY LINEAR BINARY GRAPHS IN GENETIC PROGRAMMING
The article was published in issue 2(72) in 2011
Tikhomirov A. V., Shalyto A. A. GENETIC APPROACH FOR CELLULAR AUTOMATA GENERATION
The article was published in issue 2(72) in 2011
Zakonov A. ., Shalyto A. A. GENETIC ALGORITHMS APPLICATION TO TEST GENERATION FOR AUTOMATA PROGRAMS
The article was published in issue 2(72) in 2011
Egorov K. ., Tsarev F. ., Shalyto A. A. APPLICATION OF GENETIC PROGRAMMING AND MODEL CHECKING FOR FINITE-STATE MACHINE INDUCTION ON THE BASE OF TESTS AND SPECIFICATION
The article was published in issue 5(69) in 2010
Клебанов А. А., Shalyto A. A. ON THE FORMAL SPECIFICATION AND VERIFICATION OF AUTOMATA-BASED PROGRAMS BY SPECIFICATION PATTERNS
The article was published in issue 5(69) in 2010
Vasilev V. N., Parfenov V. ., Shalyto A. A. INNOVATIVE SYSTEMOF EDUCATION SPECIALISTS IN SOFTWARE DESIGN SPHERE IN St.P SU ITMO
The article was published in issue 4(62) in 2009
Akhi A. ., Stankevich A. ., Shalyto A. A. AUTOMATIC SOLUTION MODIFICATIONS FOR TESTING SOLUTION CHECKERS
The article was published in issue 1(77) in 2012
Stepanov D. ., Shalyto A. A. GENETIC ALGORITHM APPROACH TO OBSERVER'S OPTIMAL TRAJECTORY DESIGN
The article was published in issue 1(77) in 2012
Tikhomirov A. V., Shalyto A. A. GENETIC PROGRAMMING APPLICATION FOR CELL AUTOMATA GENERATION
The article was published in issue 1(77) in 2012
Kazakov S. ., Tsarev F. ., Shalyto A. A. PROGRAMMING METHOD OF TOP-LEVEL FINITE AUTOMATA CREATION FOR THE UNMANNED AIRPLANE MODEL CONTROL BY TRAINING EXAMPLES
The article was published in issue 6(76) in 2011
Alexandrov A. V., Kazakov S. ., Melnikov S. ., Sergushichev A. A., Tsarev F. ., Shalyto A. A. ERRORS CORRECTION METHOD IN THE READINGS SET OF NUCLEOTIDE SEQUENCE
The article was published in issue 5(75) in 2011
Shalyto A. A., Царев М. Н., Tsarev F. . ГРАФИЧЕСКИЙ ЯЗЫК ОПИСАНИЯ ИГРОВЫХ ЭПИЗОДОВ В ФУТБОЛЕ
The article was published in issue 7(52) in 2008
Shalyto A. A. AUTOMATA-BASED PROGRAMMING PARADIGM
The article was published in issue 8(53) in 2008
Polikarpova N. ., Tochilin N. ., Shalyto A. A. APPLICATION OF GENETIC PROGRAMMING FOR GENERATION OF AUTOMATA HAVING A LOT OF INPUT VARIABLE
The article was published in issue 8(53) in 2008
Lobanov P. ., Sytnik S. ., Shalyto A. A. CONSTRUCTION OF A CONTROL SYSTEM FOR A HELICOPTER MODEL USING GENETIC ALGORITHMS
The article was published in issue 8(53) in 2008
Bedny Y. ., Shalyto A. A. CONSTRUCTION OF A CONTROL SYSTEM FOR ROBOCODE TANK USING GENETIC ALGORITHMS
The article was published in issue 8(53) in 2008
Velder S. ., Shalyto A. A. METHODS OF AUTOMATA-BASED PROGRAMS VERIFICATION
The article was published in issue 8(53) in 2008
Shalyto A. A., Lukin M. . VERIFICATION OF AUTOMATA-BASED PROGRAMS WITH SPIN VERIFIER
The article was published in issue 8(53) in 2008
Egorov K. ., Shalyto A. A. DEVELOPMENT OF A VERIFIER FOR AUTOMATA-BASED PROGRAMS
The article was published in issue 8(53) in 2008
Клебанов А. А., Shalyto A. A. DEVELOPMENT OF CORECT JAVA CARD-APPLICATION WITH AUTOMATA-BASED APPROACH
The article was published in issue 8(53) in 2008
Gurov V. ., Mazin M. ., Shalyto A. A. TEXTUAL LANGUAGE FOR AUTOMATA-BASED PROGRAMMING
The article was published in issue 8(53) in 2008
Kleban V. ., Parfenov V. ., Shalyto A. A. APPLICATION OF AUTOMATA-BASED APPROACH FOR A MOBILE ROBOT CONTROL SYSTEM
The article was published in issue 8(53) in 2008
Shalyto A. A., Боб Е. Б., Латников А. В., Мальцев А. М., Потехин А. Е. ЭВОЛЮЦИЯ МЕТОДОВ И ТЕХНОЛОГИЙ ПРОГРАММИРОВАНИЯ
The article was published in issue 3(48) in 2008
Shalyto A. A., Боб Е. Б., Латников А. В., Мальцев А. М., Потехин А. Е. ПРОГРАММИСТЫ, КОМПИЛЯТОРЫ, ПРОЦЕССОРЫ – ПОИСК ЕДИНОГО ВЕКТОРА
The article was published in issue 3(48) in 2008
Shalyto A. A., Rubinov K. . О НЕКОТОРЫХ ЗАДАЧАХ ТЕСТИРОВАНИЯ ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ
The article was published in issue 1(46) in 2008
Gurov V. ., Mazin M. ., Shalyto A. A. ТЕКСТОВЫЙ ЯЗЫК АВТОМАТНОГО ПРОГРАММИРОВАНИЯ
The article was published in issue 8(42) in 2007
Lobanov P. ., Shalyto A. A. ИСПОЛЬЗОВАНИЕ АВТОМАТОВ С ФЛАГАМИ ДЛЯ РЕШЕНИЯ
The article was published in issue 8(42) in 2007
Shalyto A. A. Автоматно-ориентированное программирование
The article was published in issue 5(21) in 2005
Korneev G. ., Shalyto A. A. Язык описания визуализаторов алгоритмов
The article was published in issue 9(32) in 2006
Gurov V. ., Mazin M. ., Shalyto A. A. UNIMOD – инструментальное средство для автоматного программировани
The article was published in issue 7(30) in 2006
Korneev G. ., Shalyto A. A. ПОСТРОЕНИЕ ВИЗУАЛИЗАТОРОВ АЛГОРИТМОВ ДИСКРЕТНОЙ МАТЕМАТИКИ
The article was published in issue 7(23) in 2005
Korneev G. ., Shalyto A. A. VIZI — ЯЗЫК ОПИСАНИЯ ЛОГИКИ ВИЗУАЛИЗАТОРОВ АЛГОРИТМОВ
The article was published in issue 7(23) in 2005
Shalyto A. A., Korneev G. . ПОСТРОЕНИЕ МОДЕЛИ ДАННЫХ ПРОГРАММЫ ПО ИСХОДНОМУ КОДУ
The article was published in issue 2(25) in 2006
Tikhomirov A. V., Shalyto A. A. APPLICATION OF THE DIRECTED MUTATION TO CELLULAR AUTOMATA GENERATION PROCESS
The article was published in issue 2(90) in 2014
Chivilikhin D. S., Ulyantsev V. I., Vyatkin V. V., Shalyto A. A. AUTOMATA PROGRAMS CONSTRUCTION FROM SPECIFICATION WITH AN ANT COLONY OPTIMIZATION ALGORITHM BASED ON MUTATION GRAPH
The article was published in issue 6(94) in 2014
Yankin Y. Y., Shalyto A. A. REDUNDANT ELECTRIC MOTOR DRIVE CONTROL UNIT DESIGN USING AUTOMATA-BASED APPROACH
The article was published in issue 6(94) in 2014
Alexandrov A. V., Shalyto A. A. ERROR CORRECTION METHOD FOR SEQUENCING DATA WITH INSERTIONS AND DELETIONS
The article was published in issue 1(101) in 2016
Petrova I. A., Buzdalova A. S., Shalyto A. A. ADAPTIVE SELECTION OF AUXILIARY OBJECTIVES IN MULTIOBJECTIVE EVOLUTIONARY ALGORITHMS
The article was published in issue 3(103) in 2016
Petrova I. A., Buzdalova A. S., Shalyto A. A. THEORETICAL ANALYSIS OF DYNAMIC SELECTION OF SWITCHING AUXILIARY OBJECTIVES ON XdivK PROBLEM
The article was published in issue 3(109) in 2017
Copyright 2001-2017 ©
Scientific and Technical Journal
of Information Technologies, Mechanics and Optics.
All rights reserved.

Яндекс.Метрика