Persons RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB     Baranov, Samary Iosifovich Professor Doctor of technical sciences E-mail: https://www.mathnet.ru/eng/person64389 List of publications on Google Scholar Publications in Math-Net.Ru Citations 2010 1. S. Baranov, S. Frenkel, V. Zakharov, “Semiformal verification for pipelined digital designs based on Algorithmic State Machines”, Inform. Primen., 4:4 (2010),  48–59   1 2008 2. S. Baranov, S. Frenkel, V. Sinelnikov, V. Zakharov, “Concurrent design and verification of digital hardware”, Inform. Primen., 2:3 (2008),  7–25   1 Organisations Holon Academic Institute of Technology