Author Shalyto Anatoly A. Journal Scientific and Technical Of Information Technologies, Mechanics and Optics

2024 , VOLUME 24, NUMBER 5 ( september-october )

ISSN 2226-1494 (print), ISSN 2500-0373 (online)

Publications

2024

Editor-in-Chief

Nikiforov
Vladimir O.
D.Sc., Prof.

Partners

Shalyto Anatoly A.

Work place: ITMO University, Saint Petersburg, 197101, Russian Federation
Post: Full Professor, Chief Scientific Researcher
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., Боб Е. Б., Латников А. В., Мальцев А. М., Потехин А. Е. ПРОГРАММИСТЫ, КОМПИЛЯТОРЫ, ПРОЦЕССОРЫ – ПОИСК ЕДИНОГО ВЕКТОРА
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

Velder S., Shalyto A. A. ВВЕДЕНИЕ В ВЕРИФИКАЦИЮ АВТОМАТНЫХ ПРОГРАММ НА ОСНОВЕ МЕТОДА MODEL CHECKING
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

Gurov V., Mazin M., Shalyto A. A., Нарвский А. С. Разработка средств автоматизации построения объектно-ориентированных программ с явным выделением состоянии
The article was published in issue 5, volume 04, 2004

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

Sidorenko D. A., Shalyto A. A.

Predicting gene-disease associations using a heterogeneous graph neural network

The article was published in issue 4, volume 24, 2024