|
|
Publications in Math-Net.Ru |
Citations |
|
2023 |
1. |
S. L. Frenkel, V. N. Zakharov, “Models for study of the influence of statistical characteristics of computer networks traffic on the efficiency of prediction by machine learning tools”, Inform. Primen., 17:4 (2023), 71–80 |
|
2022 |
2. |
S. L. Frenkel, V. N. Zakharov, “Internet traffic prediction model”, Artificial Intelligence and Decision Making, 2022, no. 4, 66–77 ; Scientific and Technical Information Processing, 50:5 (2023), 397–405 |
|
2020 |
3. |
S. L. Frenkel, V. N. Zakharov, “Joint assessment of data predictability and quality predictors”, Inform. Primen., 14:2 (2020), 40–49 |
|
2018 |
4. |
S. L. Frenkel, D. Khankin, “Seamless route updates in software-defined networking via quality of service compliance verification”, Inform. Primen., 12:4 (2018), 52–62 |
5. |
B. M. Basok, V. N. Zakharov, S. L. Frenkel, “Using a probabilistic calculation model to test one class of ready-to-use software components of local and network systems”, Inform. Primen., 12:4 (2018), 44–51 |
|
2017 |
6. |
S. L. Frenkel, V. N. Zakharov, B. M. Basok, “A probabilistic model for estimation of software robustness to short-term hardware failures”, Inform. Primen., 11:1 (2017), 46–57 |
|
2015 |
7. |
S. Frenkel, M. Kopeetsky, R. Molotkovski, P. Borovsky, “Performance improvement of Lempel–Ziv–Welch compression algorithm”, Inform. Primen., 9:4 (2015), 78–84 |
|
2014 |
8. |
A. M. Mironov, S. L. Frenkel, “Minimization of probabilistic models of programs”, Fundam. Prikl. Mat., 19:1 (2014), 121–163 ; J. Math. Sci., 211:3 (2015), 381–412 |
3
|
9. |
A. M. Mironov, S. L. Frenkel, “A method of enhancing probabilistic verification efficiency for computer and telecommunication systems”, Inform. Primen., 8:4 (2014), 58–69 |
|
2013 |
10. |
S. Dolev, S. Frenkel, D. E. Tamir, “Probabilistic methods for self-correcting hardware design”, Inform. Primen., 7:4 (2013), 140–147 |
|
2012 |
11. |
Sh. Dolev, S. L. Frenkel, A. Cohen, “Holographic coding by Walsh–Hadamard transformation of randomized and permuted data”, Inform. Primen., 6:4 (2012), 76–83 |
1
|
|
2010 |
12. |
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
|
13. |
S. L. Frenkel, A. V. Pechinkin, “Estimation of self-healing time for digital systems under transient faults”, Inform. Primen., 4:3 (2010), 2–8 |
2
|
14. |
S. Frenkel, A. Kurts, D. Liburkin, N. Fandjushina, B. Anders, “The Compiler of Tabular Representations of Mealy Machines into Programs in the SMV Language that Automates Verification of Computer Projects Using the Model Verification”, Sistemy i Sredstva Inform., 20:3 (2010), 4–16 |
|
2009 |
15. |
A. V. Pechinkin, S. L. Frenkel, “A probabilistic analysis of fault detection latency in a network of Finite State Machines”, Inform. Primen., 3:2 (2009), 2–14 |
1
|
16. |
S. V. Zamkovets, V. N. Zakharov, E. Ya. Popkova, S. L. Frenkel, B. Z. Shmeilin, “Some aspects of VLSI design using algorithmic state machines”, Sistemy i Sredstva Inform., 2009, no. 19, 87–95 |
|
2008 |
17. |
S. Baranov, S. Frenkel, V. Sinelnikov, V. Zakharov, “Concurrent design and verification of digital hardware”, Inform. Primen., 2:3 (2008), 7–25 |
1
|
18. |
Sergey Frenkel, Eugene Levner, Victor Zakharov, “An approach to classification of computer systems faults localization models”, Sistemy i Sredstva Inform., 2008, no. special issue, 16–31 |
1
|
|
Organisations |
|
|
|
|