RUS  ENG JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB
 
Podymov, Vladislav Vasil'evich

Statistics Math-Net.Ru
Total publications: 6
Scientific articles: 6

Number of views:
This page:82
Abstract pages:898
Full texts:348
References:58
Candidate of physico-mathematical sciences

http://www.mathnet.ru/eng/person80110
List of publications on Google Scholar
List of publications on ZentralBlatt
http://orcid.org/0000-0002-2041-7634

Publications in Math-Net.Ru
2019
1. N. Yu. Kutsak, V. V. Podymov, “Formal verification of three-valued digital waveforms”, Model. Anal. Inform. Sist., 26:3 (2019),  332–350  mathnet
2018
2. A. S. Nuzhny, A. A. Prozorov, V. I. Bugaev, N. D. Shuvalov, V. V. Podumov, “Ballistocardiogram analysis on edge computing nodes”, Proceedings of ISP RAS, 30:2 (2018),  251–262  mathnet  elib
2015
3. V. A. Zakharov, V. S. Altukhov, V. V. Podymov, E. V. Chemeritsky, “Vermont – a toolset for verification of software defined networks”, SPbSPU Journal. Computer Science. Telecommunication and Control Systems, 2015, 1(212),  74–87  mathnet
4. V. A. Zakharov, V. V. Podymov, “On the application of equivalence checking algorithms for program minimization”, Proceedings of ISP RAS, 27:4 (2015),  145–174  mathnet  elib
2014
5. V. V. Podymov, U. V. Popesko, “Uppaal-based verification of software-defined networks”, SPbSPU Journal. Computer Science. Telecommunication and Control Systems, 2014, 2(193),  169–179  mathnet
2012
6. D. Yu. Volkanov, V. A. Zakharov, D. A. Zorin, I. V. Konnov, V. V. Podymov, “On the Designing of Model Checkers for Real-Time Distributed Systems”, Model. Anal. Inform. Sist., 19:6 (2012),  45–56  mathnet

Organisations
 
Contact us:
 Terms of Use  Registration  Logotypes © Steklov Mathematical Institute RAS, 2020