Persons
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
 
Karcev, Vadim Sergeevitch
Statistics Math-Net.Ru
Total publications: 2
Scientific articles: 2

Number of views:
This page:41
Abstract pages:37
Full texts:10

https://www.mathnet.ru/eng/person207976
List of publications on Google Scholar
List of publications on ZentralBlatt
https://orcid.org/0000-0001-7482-0835

Publications in Math-Net.Ru Citations
2024
1. V. S. Karcev, V. N. Ignatyev, “Support of Visual Basic .NET in SharpChecker static analyzer”, Proceedings of ISP RAS, 36:3 (2024),  49–62  mathnet
2022
2. V. S. Karcev, V. N. Ignatyev, “Improving the accuracy of static analysis by accounting for the values of class fields that can have only one constant value”, Proceedings of ISP RAS, 34:6 (2022),  29–40  mathnet

Organisations
 
  Contact us:
  Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2024