Novikov, Fedor
156  results:
Search for persons X
?
5

Automated verification of expression transformation chains ..:

Novikov, Fedor ; Katsman, Viktor ; Mosin, Vladislav
IOP Conference Series: Materials Science and Engineering.  734 (2020)  1 - p. 012132 , 2020
 
?
6

Methodology for Development of Event-driven Software System..:

Fedorchenko, Ludmila ; Novikov, Fedor ; Afanasieva, Irina
SPIIRAS Proceedings; Труды СПИИРАН.  19 (2020)  3 - p. 481-514 , 2020
 
?
7

Antifibrotic and Regenerative Effects of Treamid in Pulmona..:

Skurikhin, Evgenii ; Nebolsin, Vladimir ; Widera, Darius...
International Journal of Molecular Sciences.  21 (2020)  21 - p. 8380 , 2020
 
?
8

Verification of internet protocol properties using cooperat..:

, In: Proceedings of the 12th International Conference on Security of Information and Networks,
 
?
9

Architecture of the Software System for Adaptive Protection..:

, In: Proceedings of the 11th International Conference on Security of Information and Networks,
 
?
10

Gamification of Problem Solving Process Based on Logical Ru..:

, In: Lecture Notes in Computer Science; Informatics in Schools. Fundamentals of Computer Science and Software Engineering,
Novikov, Fedor ; Katsman, Viktor - p. 369-380 , 2018
 
?
11

Attribute-based approach of defining the secure behavior of..:

, In: Proceedings of the 10th International Conference on Security of Information and Networks,
 
?
12

Lightning in a bottle: electrical energy storage 

Energy science, engineering and technology series
 
?
13

Quantum Mechanical-Cluster Approach to Solve the Bioisoster..:

Losev, Timofey V. ; Gerasimov, Igor S. ; Panova, Maria V....
Journal of Chemical Information and Modeling.  63 (2023)  4 - p. 1239-1248 , 2023
 
1-15