Persons RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB     Davydenko, Vladislav Sergeevich https://www.mathnet.ru/eng/person228973 List of publications on Google Scholar Publications in Math-Net.Ru Citations 2025 1. D. Nagibin, A. Petrenko, V. Davydenko, I. Kotenko, E. Fedorchenko, “Invasive approach to verification of functional and structural specifications implemented in custom integrated circuits”, Informatics and Automation, 24:2 (2025),  526–555   Organisations Mozhaiskiy Space Military Academy, St. Petersburg