Anatoly Shalyto
Orcid: 0000-0002-2723-2077Affiliations:
- ITMO University, St. Petersburg, Russia
According to our database1,
Anatoly Shalyto
authored at least 59 papers
between 2001 and 2022.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on zbmath.org
-
on orcid.org
On csauthors.net:
Bibliography
2022
Combating data incompetence in pollen images detection and classification for pollinosis prevention.
Comput. Biol. Medicine, 2022
2021
Autom. Control. Comput. Sci., 2021
The "One-Fifth Rule" with Rollbacks for Self-Adjustment of the Population Size in the (1 + (λ, λ)) Genetic Algorithm.
Autom. Control. Comput. Sci., 2021
Proceedings of the Intelligent Data Engineering and Automated Learning - IDEAL 2021, 2021
De-identification of Medical Information for Forming Multimodal Datasets to Train Neural Networks.
Proceedings of the 7th International Conference on Information and Communication Technologies for Ageing Well and e-Health, 2021
Comparative Evaluation of Lung Cancer CT Image Synthesis with Generative Adversarial Networks.
Proceedings of the Computational Science - ICCS 2021, 2021
2019
IEEE Trans. Ind. Informatics, 2019
Multi-agent deep learning for simultaneous optimization for time and energy in distributed routing system.
Future Gener. Comput. Syst., 2019
Heuristic and metaheuristic solutions of pickup and delivery problem for self-driving taxi routing.
Evol. Syst., 2019
Retrieving and Processing Information from Clinical Algorithm via Formal Concept Analysis.
Proceedings of the Intelligent Data Engineering and Automated Learning - IDEAL 2019, 2019
Proceedings of the 2019 2nd International Conference on Geoinformatics and Data Analysis, 2019
Proceedings of the 25th Conference of Open Innovations Association, 2019
Impact of Adversarial Examples on the Efficiency of Interpretation and Use of Information from High-Tech Medical Images.
Proceedings of the 24th Conference of Open Innovations Association, 2019
Software Tools for Manual Segmentation of Tomography Images Supporting Radiologist's Personal Context.
Proceedings of the 25th Conference of Open Innovations Association, 2019
2018
Int. J. Softw. Tools Technol. Transf., 2018
Adaptation of Algorithms for Medical Information Retrieval for Working on Russian-Language Text Content.
Proceedings of the Text, Speech, and Dialogue - 21st International Conference, 2018
Proceedings of the 22nd International Conference on Principles of Distributed Systems, 2018
Proceedings of the Networked Systems - 6th International Conference, 2018
Proceedings of the 16th IEEE International Conference on Industrial Informatics, 2018
Proceedings of the Intelligent Data Engineering and Automated Learning - IDEAL 2018, 2018
Proceedings of the Artificial Neural Networks and Machine Learning - ICANN 2018, 2018
Counterexample-guided inference of controller logic from execution traces and temporal formulas.
Proceedings of the 23rd IEEE International Conference on Emerging Technologies and Factory Automation, 2018
Intellectualization of Knowledge Acquisition of Academic Texts as an Answer to Challenges of Modern Information Society.
Proceedings of the Electronic Governance and Open Society: Challenges in Eurasia, 2018
2017
IEEE Trans. Ind. Informatics, 2017
Proceedings of the Software Engineering and Formal Methods, 2017
Proceedings of the 15th IEEE International Conference on Industrial Informatics, 2017
Proceedings of the 15th IEEE International Conference on Industrial Informatics, 2017
Closed-loop verification of a compensating group drive model using synthesized formal plant model.
Proceedings of the 22nd IEEE International Conference on Emerging Technologies and Factory Automation, 2017
2016
Modified ant colony algorithm for constructing finite state machines from execution scenarios and temporal formulas.
Autom. Remote. Control., 2016
Models and methods for multicriteria situational flexible reassignment of control functions in man-machine systems.
Proceedings of the 8th IEEE International Conference on Intelligent Systems, 2016
Reconstruction of function block controllers based on test scenarios and verification.
Proceedings of the 14th IEEE International Conference on Industrial Informatics, 2016
Genetic Search of Pickup and Delivery Problem Solutions for Self-driving Taxi Routing.
Proceedings of the Artificial Intelligence Applications and Innovations, 2016
Proceedings of the Intelligent Data Processing, 11th International Conference, 2016
2015
Inferring Automata Logic from Manual Control Scenarios: Implementation in Function Blocks.
Proceedings of the 2015 IEEE TrustCom/BigDataSE/ISPA, 2015
Proceedings of the Language and Automata Theory and Applications, 2015
Change request management in model-driven engineering of industrial automation software.
Proceedings of the 13th IEEE International Conference on Industrial Informatics, 2015
Reconstruction of function block logic using metaheuristic algorithm: Initial explorations.
Proceedings of the 13th IEEE International Conference on Industrial Informatics, 2015
Proceedings of the 14th IEEE International Conference on Machine Learning and Applications, 2015
Inferring Temporal Properties of Finite-State Machine Models with Genetic Programming.
Proceedings of the Genetic and Evolutionary Computation Conference, 2015
Hard test generation for augmenting path maximum flow algorithms using genetic algorithms: Revisited.
Proceedings of the IEEE Congress on Evolutionary Computation, 2015
2014
A Provably Asymptotically Fast Version of the Generalized Jensen Algorithm for Non-dominated Sorting.
Proceedings of the Parallel Problem Solving from Nature - PPSN XIII, 2014
Cyber-physical components for heterogeneous modelling, validation and implementation of smart grid intelligence.
Proceedings of the 12th IEEE International Conference on Industrial Informatics, 2014
Proceedings of the 12th IEEE International Conference on Industrial Informatics, 2014
Combining Exact and Metaheuristic Techniques for Learning Extended Finite-State Machines from Test Scenarios and Temporal Properties.
Proceedings of the 13th International Conference on Machine Learning and Applications, 2014
Proceedings of the Hardware and Software: Verification and Testing, 2014
Worst-Case Execution Time Test Generation for Solutions of the Knapsack Problem Using a Genetic Algorithm.
Proceedings of the Bio-Inspired Computing - Theories and Applications, 2014
2013
Proceedings of the 7th IFAC Conference on Manufacturing Modelling, Management, and Control, 2013
Proceedings of the 7th IFAC Conference on Manufacturing Modelling, Management, and Control, 2013
A First Step towards the Runtime Analysis of Evolutionary Algorithm Adjusted with Reinforcement Learning.
Proceedings of the 12th International Conference on Machine Learning and Applications, 2013
Worst-Case Execution Time Test Generation for Augmenting Path Maximum Flow Algorithms Using Genetic Algorithms.
Proceedings of the 12th International Conference on Machine Learning and Applications, 2013
Search-based construction of finite-state machines with real-valued actions: new representation model.
Proceedings of the Genetic and Evolutionary Computation Conference, 2013
2012
Proceedings of the Computer Safety, Reliability, and Security, 2012
2010
Proceedings of the 2010 East-West Design & Test Symposium, 2010
2007
Program. Comput. Softw., 2007
2002
2001
SWITCH Technology: An Automated Approach to Developing Software for Reactive Systems.
Program. Comput. Softw., 2001