Anatoly Shalyto | Academic Influence

Anatoly Shalyto's AcademicInfluence.com Rankings

Anatoly Shalyto

Computer Science

#3629

World Rank

#3813

Historical Rank

Database

#9863

World Rank

#10452

Historical Rank

computer-science Degrees

Download Badge

Computer Science

Anatoly Shalyto's Degrees

PhD Computer Science Novosibirsk State University

Similar Degrees You Can Earn

Best Online PhD of Computer Science (Doctorates) 2025

Why Is Anatoly Shalyto Influential?

(Suggest an Edit or Addition)

According to Wikipedia, Anatoly Abramovich Shalyto is a Russian scientist, doctor of sciences, and professor. He was awarded by Russian State Government in 2008 for his achievements in education and his development of the technology for Automata-based programming called "Switch-technology." He is also an initiator of the Open Project Documentation Initiative.

(See a Problem?)

Anatoly Shalyto's Published Works

Number of citations in a given year to any of this author's works

Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author

Published Works

Noise Masking Recurrent Neural Network for Respiratory Sound Classification (2018) (47)
A Provably Asymptotically Fast Version of the Generalized Jensen Algorithm for Non-dominated Sorting (2014) (44)
SWITCH Technology: An Automated Approach to Developing Software for Reactive Systems (2001) (34)
Robot master slave and supervisory control with large time delays of control signals and feedback (2016) (33)
Logic Control and “Reactive” Systems: Algorithmization and Programming (2001) (27)
BFS-Based Symmetry Breaking Predicates for DFA Identification (2015) (26)
Exact finite-state machine identification from scenarios and temporal properties (2016) (26)
Multi-agent deep learning for simultaneous optimization for time and energy in distributed routing system (2019) (24)
Targeted next-generation sequencing (NGS) of nine candidate genes with custom AmpliSeq in patients and a cardiomyopathy risk group. (2015) (23)
Tools for support of automata-based programming (2007) (19)
A portability study of IEC 61499: Semantics and tools (2014) (19)
Impact of Adversarial Examples on the Efficiency of Interpretation and Use of Information from High-Tech Medical Images (2019) (16)
Automata-based programming of the reactive multi-agent control systems (2005) (15)
UniMod: Method and Tool for Development of Reactive Object- Oriented Programs with Explicit States Emphasis (2005) (13)
Method of reduced tables for generation of automata with a large number of input variables based on genetic programming (2010) (12)
Cyber-physical components for heterogeneous modelling, validation and implementation of smart grid intelligence (2014) (11)
Change request management in model-driven engineering of industrial automation software (2015) (11)
The use of evolutionary programming based on training examples for the generation of finite state machines for controlling objects with complex behavior (2013) (10)
A First Step towards the Runtime Analysis of Evolutionary Algorithm Adjusted with Reinforcement Learning (2013) (10)
Finding All Minimum-Size DFA Consistent with Given Examples: SAT-Based Approach (2017) (9)
Combining Exact and Metaheuristic Techniques for Learning Extended Finite-State Machines from Test Scenarios and Temporal Properties (2014) (9)
Automata theory for multi-agent systems implementation (2003) (9)
Combining De Bruijn Graphs, Overlap Graphs and Microassembly for De Novo Genome Assembly (2013) (8)
Inducing finite state machines from training samples using ant colony optimization (2014) (8)
Solving Five Instances of the Artificial Ant Problem with Ant Colony Optimization (2013) (6)
Worst-Case Execution Time Test Generation for Augmenting Path Maximum Flow Algorithms Using Genetic Algorithms (2013) (6)
Design Patterns for Personalization of Healthcare Process (2019) (6)
ALGORITHMIC GRAPH SCHEMES AND TRANSITION GRAPHS : THEIR USE IN SOFTWARE REALIZATION OF LOGICAL CONTROL ALGORITHMS. I (1996) (6)
Function Block Finite-State Model Identification Using SAT and CSP Solvers (2019) (6)
Verification of automata-based programs (2011) (5)
Methods of object-oriented reactive agents implementation on the basis of finite automata (2005) (5)
Reconstruction of function block logic using metaheuristic algorithm: Initial explorations (2015) (5)
TECHNOLOGY OF AUTOMATA-BASED PROGRAMMING (2003) (5)
CSP-based inference of function block finite-state models from execution traces (2017) (5)
Modeling Technology for One Class of Multi-Agent Systems with Automata Based Programming (2006) (5)
Fusing of Medical Images and Reports in Diagnostics of Brain Diseases (2019) (4)
New Initiative in Programming Foundation for Open Project Documentation (2003) (4)
Hard test generation for augmenting path maximum flow algorithms using genetic algorithms: Revisited (2015) (4)
Test-Based Induction of Finite-State Machines with Continuous Output Actions (2013) (4)
Inferring Automata Logic from Manual Control Scenarios: Implementation in Function Blocks (2015) (4)
Inferring Temporal Properties of Finite-State Machine Models with Genetic Programming (2015) (4)
Search-based construction of finite-state machines with real-valued actions: new representation model (2013) (4)
Heuristic and metaheuristic solutions of pickup and delivery problem for self-driving taxi routing (2019) (4)
Modification of the method of generation of control finite-state machines with continuous actions based on training examples (2015) (4)
GA-based and design by contract approach to test generation for EFSMs (2010) (4)
Modified ant colony algorithm for constructing finite state machines from execution scenarios and temporal formulas (2016) (4)
Closed-loop verification of a compensating group drive model using synthesized formal plant model (2017) (3)
The “One-Fifth Rule” with Rollbacks for Self-Adjustment of the Population Size in the (1 + (λ, λ)) Genetic Algorithm (2020) (3)
Classification of Structures Generated by One-Dimensional Binary Cellular Automata from a Point Embryo (2005) (3)
Translating Iterative Algorithms into Automaton Ones (2002) (3)
Parallel Combining: Benefits of Explicit Synchronization (2017) (3)
Genetic Search of Pickup and Delivery Problem Solutions for Self-driving Taxi Routing (2016) (3)
Plant trace generation for formal plant model inference: Methods and case study (2017) (3)
Formal modeling and verification of IEC 61499 function blocks on the basis of transition systems (2016) (3)
Application of genetic algorithms for automatic construction of finite-state automata in the problem of flibs (2007) (3)
New Arabic Medical Dataset for Diseases Classification (2021) (3)
Models and methods for multicriteria situational flexible reassignment of control functions in man-machine systems (2016) (3)
Reinforcement-based Simultaneous Algorithm and its Hyperparameters Selection (2016) (3)
ALGORITHMIC GRAPH SCHEMES AND TRANSITION GRAPHS : THEIR APPLICATION IN SOFTWARE REALIZATION OF LOGICAL CONTROL ALGORITHMS. PART II (1996) (2)
OVERLAP GRAPH SIMPLIFICATION USING EDGE RELIABILITY CALCULATION (2014) (2)
De-identification of Medical Information for Forming Multimodal Datasets to Train Neural Networks (2021) (2)
Counterexample-guided inference of controller logic from execution traces and temporal formulas (2018) (2)
Adaptation of Algorithms for Medical Information Retrieval for Working on Russian-Language Text Content (2018) (2)
REDUNDANT ELECTRIC MOTOR DRIVE CONTROL UNIT DESIGN USING AUTOMATA-BASED APPROACH (2014) (2)
Combating data incompetence in pollen images detection and classification for pollinosis prevention (2021) (2)
Reconstruction of Function Block Logic Using Metaheuristic Algorithm (2017) (2)
Software Tools for Manual Segmentation of Tomography Images Supporting Radiologist’s Personal Context (2019) (2)
An Asynchronous Implementation of the Limited Memory CMA-ES (2015) (2)
Symmetry Breaking Predicates for SAT-based DFA Identification (2016) (2)
Intellectualization of Knowledge Acquisition of Academic Texts as an Answer to Challenges of Modern Information Society (2018) (2)
Application of Genetic Algorithms for Construction of Moore Automaton and Systems of Interacting Mealy Automata in "Artificial Ant" Problem (2008) (2)
REALIZATION OF SYSTEMS OF BOOLEAN FUNCTIONS BY LINEAR ARITHMETIC POLYNOMIALS WITH MASKING (1997) (2)
SUPPORT FOR COMMUNICATION WITH DEAF AND DUMB PATIENTS VIA FEW-SHOT MACHINE LEARNING (2021) (1)
Creation of Automaton Classes from Graphical Models and Automatic Solution for Inverse Problem (2009) (1)
WORST-CASE EXECUTION TIME TEST GENERATION USING GENETIC ALGORITHMS WITH AUTOMATED CONSTRUCTION AND ONLINE SELECTION OF OBJECTIVES (2014) (1)
Comparative Evaluation of Lung Cancer CT Image Synthesis with Generative Adversarial Networks (2021) (1)
Automata-Based Programming and Automata-Based Control (2009) (1)
TEST GENERATION AND SIMULATION FOR CROSSTALK FAULTS (2015) (1)
Models and algorithms of operational planning and control of dynamical objects with application of the Pontryagin's Maximum principle (2017) (1)
Worst-Case Execution Time Test Generation for Solutions of the Knapsack Problem Using a Genetic Algorithm (2014) (1)
Retrieving and Processing Information from Clinical Algorithm via Formal Concept Analysis (2019) (1)
Reconstruction of function block controllers based on test scenarios and verification (2016) (1)
Instrumental Tool for Automata Based Software Development UniMod 2 (2008) (1)
Automatic Extraction and Verification of State-Models for Web Applications (2011) (1)
Graphical inheritance notation for state-based classes (2007) (1)
Exact finite-state machine identification from scenarios and temporal properties (2016) (1)
Method of joint clustering in network and correlation spaces (2020) (1)
On Helping and Stacks (2018) (0)
REALIZATION OF BOOLEAN FUNCTIONS BY ONE LINEAR ARITHMETIC POLYNOMIAL WITH MASKING (1996) (0)
Automata programming as a sort of synchronous programming (2003) (0)
APPLICATION OF THE DIRECTED MUTATION TO CELLULAR AUTOMATA GENERATION PROCESS (2014) (0)
Adaptive selection of auxiliary objectives in multiobjective evolutionary algorithms (2016) (0)
Formal Verification of 800 Genetically Constructed Automata Programs: A Case Study (2014) (0)
CREATION OF A PUBLICLY ACCESSIBLE RESOURCE FOR INCREASING THE VOLUME OF FREELY DISTRIBUTED MEDICAL DATASETS (2020) (0)
Modified ant colony algorithm for constructing finite state machines from execution scenarios and temporal formulas (2016) (0)
USING ASSOCIATIVE LINKS FOR STORING PERSONALIZED MEDICAL INFORMATION (2019) (0)
Design of flowcharts of binary programs for systems of Boolean functions specified by truth tables (1988) (0)
DATA PROCESSING APPROACHES FOR LUNG CT- IMAGE ANALYSIS UNDER RESOURCE CONSTRAINTS (2019) (0)
APPLICATION OF AUTOMATON MODEL TO SUPPORT REHABILITATION OF MOTOR SKILLS OF PATIENTS (2020) (0)
13th IEEE Conference on Industrial Informatics (INDIN 2015), 22-24 July 2015, Cambridge, UK (2015) (0)
Generating Test Cases With High Branch Coverage for Web Applications (2012) (0)
Design by contract approach to test generation for EFSMs using GA 10 th Annual International Software Testing Conference 2010 (2010) (0)
Validation of state machine specifications (2023) (0)
Modification of the method of generation of control finite-state machines with continuous actions based on training examples (2015) (0)
VERIFICATION OF AUTOMATA MODELS FOR CLINICAL DECISION SUPPORT SYSTEMS (2020) (0)
The use of evolutionary programming based on training examples for the generation of finite state machines for controlling objects with complex behavior (2013) (0)
Active Learning of Formal Plant Models For Cyber-Physical Systems (2018) (0)
Inducing finite state machines from training samples using ant colony optimization (2014) (0)
ARTIFICIAL INTELLIGENCE Inducing Finite State Machines from Training Samples Using Ant Colony Optimization (2014) (0)
Message from the DIAS 2015 Workshop Chairs (2015) (0)
PIPELINE FOR CONTROL OF THE DYNAMICS OF LOCALIZED BRAIN PATHOLOGIES IN MAGNETIC RESONANCE IMAGES (2020) (0)
HELPING PARAMEDICS IN ASSESSING A PATIENT'SCONDITION BASED ON ECG BY MEANS OF MOBILEPHONE (2021) (0)
Independent component analysis for initial approximation determination in identification of active modules in biological graphs (2020) (0)
Method of constructing flowcharts of simple binary programs for systems of boolean functions (1986) (0)
Realization of Boolean formulae by linear graphs. II. Estimates of the number and the total length of routes (1996) (0)
DECLARATIVE APPROACH TO EMBEDDING AND INHERITANCE OF AUTOMATA CLASSES WITH IMPERATIVE PROGRAMMING LANGUAGES (2007) (0)
Specifics Analysis of Medical Communities in Social Network Services (2018) (0)
Formal Veri fi cation of 800 Genetically Constructed Automata Programs : A Case Study (0)
LINEARIZED GRAPH ALGORITHMS FOR BOOLEAN FORMULAS : INDEPENDENT FRAGMENT DESIG METHOD (1998) (0)
Continuous control algorithms for conveyer belt routing based on multi-agent deep reinforcement learning (2022) (0)
Intelligent Support for Clinical Processes Based on Automaton Approach (2019) (0)
Generative augmentation to improve lung nodules detection in resource-limited settings (2020) (0)
TOPIC MODELING OF TEXT CONTENT FOR MONITORING THE EMPLOYEEÂS EFFICIENCY VIA HIS INTERNET ACTIVITY (2018) (0)
Modeling Technology forOneClass ofMulti-Agent Systems withAutomata Based Programming (2006) (0)
A GA-based approach for test generation for automata-based programs (2010) (0)
Declarative Approach to Implementing Automata Classes in Imperative Programming Languages (2008) (0)
Adversarial Threshold Neural Computer for Small Organic Molecular Structures (2018) (0)
Multi-agent adaptive routing by multi-head-attention-based twin agents using reinforcement learning (2022) (0)
Modified Ant Colony Algorithm for Constructing Finite State Machines with Work Scenarios and Temporal Formulas (2016) (0)
Heuristic and metaheuristic solutions of pickup and delivery problem for self-driving taxi routing (2017) (0)
A Method for Automatic Runtime Verification of Automata-Based Programs (2008) (0)
Towards Neural Routing with Verified Bounds on Performance (2022) (0)
Application of Genetic Programming for Generation of Controllers represented by Automata (2009) (0)
Structural approach to software implementation of Boolean functions (1986) (0)
Application of Genetic Algorithms for Construction of Moore Automaton and Systems of Interacting Mealy Automata in “Artificial Ant” Problem (Scientific advisor: prof. Anatoly A. Shalyto) (2008) (0)
A GRAPHICAL NOTION OF STATE-BASED CLASSES' INHERITANCE (2006) (0)
Method for Joint Clustering in Graph and Correlation Spaces (2021) (0)
Neuro-automata based controlling (2009) (0)
Automata generation based on recurrent neural networks and automated cauterization selection (2020) (0)
Extracting EFSMs of Web Applications for Formal Requirements Specification (2012) (0)
Inheritance of Automata Classes Using Dynamic Programming Languages (using Ruby as an Example) (2009) (0)
Comparative assessment of text-image fusion models for medical diagnostics (2020) (0)
Multifunctional logic modules consisting of elements with bilateral conductance (2006) (0)
Joint learning of agents and graph embeddings in a conveyor belt control problem (2022) (0)

This paper list is powered by the following services:

Other Resources About Anatoly Shalyto

What Schools Are Affiliated With Anatoly Shalyto?

Anatoly Shalyto is affiliated with the following schools:

Image Attributions

Image Source for Anatoly Shalyto