35
Publications
717
Citations
17
H-Index
1977
Active since
Anvar Kabulov is an author at National University of Uzbekistan specializing in engineering, computer science, and formal methods.
Top concepts
EngineeringComputer ScienceFormal MethodsAutomated ReasoningComputational ComplexitySystems EngineeringMathematical ProgrammingFormal VerificationCombinatorial OptimizationComputer Engineering
Publications per year
1977–2024
35
35
Rows per page
1–5 of 35