16
Publications
368
Citations
13
H-Index
2001
Active since
Anatoly Shalyto is an author at ITMO University specializing in engineering, systems engineering, and computer science.
Top concepts
EngineeringComputer ScienceSystems EngineeringAutomationFormal MethodsAutomated ReasoningFormal VerificationArtificial IntelligenceGeneticsGenomics
Publications per year
2001–2021
16
16
Rows per page
1–5 of 16