18
Publications
557
Citations
13
H-Index
2011
Active since
Vladimir Ulyantsev is an author at ITMO University specializing in engineering, computer science, and systems engineering.
Top concepts
EngineeringComputer ScienceSystems EngineeringFormal MethodsAutomated ReasoningFormal VerificationComputer EngineeringArtificial IntelligenceAutomationSatisfiability
Publications per year
2011–2023
18
18
Rows per page
1–5 of 18