Shalyto Anatoly A.

Work place: ITMO University, Saint Petersburg, 197101, Russian Federation
Post: Full Professor
Degree: D.Sc., Professor
E-mail: shalyto@mail.ifmo.ru
Scopus ID: 56131789500
ORCID: 0000-0002-2723-2077
Velder S., Shalyto A. A. MODEL CHECKING AUTOMATA-BASED PROGRAMS USING REDUCED TRANSITION GRAPH CONSTRUCTION
The article was published in issue 6, volume 09, 2009
Kleban V., Shalyto A. A. SMALL-SIZED HELICOPTER CONTROL SYSTEM DEVELOPMENT
The article was published in issue 2, volume 11, 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, volume 11, 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, volume 11, 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, volume 11, 2011
Trofimov D., Shalyto A. A. STRATEGY OPTIMIZATION METHODS FOR TWO-PLAYER GAMES WITH GENETIC ALGORITHMS
The article was published in issue 2, volume 11, 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, volume 11, 2011
Tikhomirov A. V., Shalyto A. A. GENETIC APPROACH FOR CELLULAR AUTOMATA GENERATION
The article was published in issue 2, volume 11, 2011
Zakonov A., Shalyto A. A. GENETIC ALGORITHMS APPLICATION TO TEST GENERATION FOR AUTOMATA PROGRAMS
The article was published in issue 2, volume 11, 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, volume 10, 2010
Клебанов А. А., Shalyto A. A. ON THE FORMAL SPECIFICATION AND VERIFICATION OF AUTOMATA-BASED PROGRAMS BY SPECIFICATION PATTERNS
The article was published in issue 5, volume 10, 2010
Vasiliev 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, volume 09, 2009
Akhi A., Stankevich A., Shalyto A. A. AUTOMATIC SOLUTION MODIFICATIONS FOR TESTING SOLUTION CHECKERS
The article was published in issue 1, volume 12, 2012
Stepanov D., Shalyto A. A. GENETIC ALGORITHM APPROACH TO OBSERVER'S OPTIMAL TRAJECTORY DESIGN
The article was published in issue 1, volume 12, 2012
Tikhomirov A. V., Shalyto A. A. GENETIC PROGRAMMING APPLICATION FOR CELL AUTOMATA GENERATION
The article was published in issue 1, volume 12, 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, volume 11, 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, volume 11, 2011
Shalyto A. A., Царев М. Н., Tsarev F. ГРАФИЧЕСКИЙ ЯЗЫК ОПИСАНИЯ ИГРОВЫХ ЭПИЗОДОВ В ФУТБОЛЕ
The article was published in issue 7, volume 08, 2008
Shalyto A. A. AUTOMATA-BASED PROGRAMMING PARADIGM
The article was published in issue 8, volume 08, 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, volume 08, 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, volume 08, 2008
Bedny Y., Shalyto A. A. CONSTRUCTION OF A CONTROL SYSTEM FOR ROBOCODE TANK USING GENETIC ALGORITHMS
The article was published in issue 8, volume 08, 2008
Velder S., Shalyto A. A. METHODS OF AUTOMATA-BASED PROGRAMS VERIFICATION
The article was published in issue 8, volume 08, 2008
Shalyto A. A., Lukin M. VERIFICATION OF AUTOMATA-BASED PROGRAMS WITH SPIN VERIFIER
The article was published in issue 8, volume 08, 2008
Egorov K., Shalyto A. A. DEVELOPMENT OF A VERIFIER FOR AUTOMATA-BASED PROGRAMS
The article was published in issue 8, volume 08, 2008
Клебанов А. А., Shalyto A. A. DEVELOPMENT OF CORECT JAVA CARD-APPLICATION WITH AUTOMATA-BASED APPROACH
The article was published in issue 8, volume 08, 2008
Gurov V., Mazin M., Shalyto A. A. TEXTUAL LANGUAGE FOR AUTOMATA-BASED PROGRAMMING
The article was published in issue 8, volume 08, 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, volume 08, 2008
Shalyto A. A., Боб Е. Б., Латников А. В., Мальцев А. М., Потехин А. Е. ЭВОЛЮЦИЯ МЕТОДОВ И ТЕХНОЛОГИЙ ПРОГРАММИРОВАНИЯ
The article was published in issue 3, volume 08, 2008
Shalyto A. A., Боб Е. Б., Латников А. В., Мальцев А. М., Потехин А. Е. ПРОГРАММИСТЫ, КОМПИЛЯТОРЫ, ПРОЦЕССОРЫ – ПОИСК ЕДИНОГО ВЕКТОРА
The article was published in issue 3, volume 08, 2008
Shalyto A. A., Rubinov K. О НЕКОТОРЫХ ЗАДАЧАХ ТЕСТИРОВАНИЯ ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ
The article was published in issue 1, volume 08, 2008
Gurov V., Mazin M., Shalyto A. A. ТЕКСТОВЫЙ ЯЗЫК АВТОМАТНОГО ПРОГРАММИРОВАНИЯ
The article was published in issue 8, volume 07, 2007
Lobanov P., Shalyto A. A. ИСПОЛЬЗОВАНИЕ АВТОМАТОВ С ФЛАГАМИ ДЛЯ РЕШЕНИЯ
The article was published in issue 8, volume 07, 2007
Shalyto A. A. Автоматно-ориентированное программирование
The article was published in issue 5, volume 05, 2005
Korneev G., Shalyto A. A. Язык описания визуализаторов алгоритмов
The article was published in issue 9, volume 06, 2006
Gurov V., Mazin M., Shalyto A. A. UNIMOD – инструментальное средство для автоматного программировани
The article was published in issue 7, volume 06, 2006
Korneev G., Shalyto A. A. ПОСТРОЕНИЕ ВИЗУАЛИЗАТОРОВ АЛГОРИТМОВ ДИСКРЕТНОЙ МАТЕМАТИКИ
The article was published in issue 7, volume 05, 2005
Korneev G., Shalyto A. A. VIZI — ЯЗЫК ОПИСАНИЯ ЛОГИКИ ВИЗУАЛИЗАТОРОВ АЛГОРИТМОВ
The article was published in issue 7, volume 05, 2005
Shalyto A. A., Korneev G. ПОСТРОЕНИЕ МОДЕЛИ ДАННЫХ ПРОГРАММЫ ПО ИСХОДНОМУ КОДУ
The article was published in issue 2, volume 06, 2006
Tikhomirov A. V., Shalyto A. A.
APPLICATION OF THE DIRECTED MUTATION TO CELLULAR AUTOMATA GENERATION PROCESS

The article was published in issue 2, volume 14, 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, volume 14, 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, volume 14, 2014
Alexandrov A. V., Shalyto A. A. ERROR CORRECTION METHOD FOR SEQUENCING DATA WITH INSERTIONS AND DELETIONS
The article was published in issue 1, volume 16, 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, volume 16, 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, volume 17, 2017
Bulanova N. S., Buzdalova A. S., Shalyto A. A. ADAPTIVE SELECTION OF ARTIFICIAL IMMUNE SYSTEMS AND LOCAL SEARCH MUTATION OPERATORS
The article was published in issue 6, volume 17, 2017
Gainullina A. N., Sukhov V. D., Shalyto A. A., Sergushichev A. A.
INDEPENDENT COMPONENT ANALYSIS FOR INITIAL APPROXIMATION DETERMINATION IN IDENTIFICATION OF ACTIVE MODULES IN BIOLOGICAL GRAPHS

The article was published in issue 6, volume 20, 2020
Shovkoplias G. F., Strokov D. A., Kasantsev D. V., Vatyan A. S., Asadulaev A. A., Tomilov I. V., Shalyto A. A., Gusarova N. F.
Improving sign language processing via few-shot machine learning

The article was published in issue 3, volume 22, 2022
Gribanov T. A., Filchenkov A. A., Azarov A. A., Shalyto A. A.
Multi-agent adaptive routing by multi-headattention-based twin agents using reinforcement learning

The article was published in issue 6, volume 22, 2022
Rybkin K. E., Filchenkov A. A., Azarov A. A., Zabashta A. S., Shalyto A. A.
Joint learning of agents and graph embeddings in a conveyor belt control problem

The article was published in issue 6, volume 22, 2022
Shalyto A. A.
Validation of state machine specifications

The article was published in issue 2, volume 23, 2023
Alexandrov A. V., Kazakov S., Sergushichev A. A., Tsarev F., Shalyto A. A.

 AND ARTIFICIAL INTELLIGENCE TECHNOLOGIES GENERATION OF FINITE STATE MACHINES FOR UNMANNED AIRPLANE CONTROLLING


The article was published in issue 2, volume 11, 2011
Kleverov D. A., Shalyto A. A., Artyomov M.
A method for constructing interpretable hidden Markov models for the task of identifying binding cores in sequences

The article was published in issue 5, volume 23, 2023
Copyright 2001-2024 ©
Scientific and Technical Journal
of Information Technologies, Mechanics and Optics.
All rights reserved.

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