Persons
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
 
Bokov, Grigoriy Vladimirovich
Associate professor
Candidate of physico-mathematical sciences
Birth date: 16.07.1986
E-mail:
UDC: 519.95

Subject:

Optimal process.

https://www.mathnet.ru/eng/person31945
List of publications on Google Scholar
https://mathscinet.ams.org/mathscinet/MRAuthorID/919245

Publications in Math-Net.Ru Citations
2023
1. A. A. Chasovskikh, V. S. Polovnikov, A. A. Khusaenov, G. V. Bokov, A. Yu. Konovalov, A. S. Drobyshev, V. A. Biryukova, “Automation of artificial neural network architectures search”, Intelligent systems. Theory and applications, 27:4 (2023),  5–27  mathnet
2021
2. M. I. Shekalev, G. V. Bokov, V. B. Kudryavtsev, “On the complexity of a linear ordering of weighted directed acyclic graphs”, Vestnik Moskov. Univ. Ser. 1. Mat. Mekh., 2021, no. 1,  55–57  mathnet  mathscinet  zmath; Moscow University Mathematics Bulletin, 76:1 (2021), 35–36  isi  scopus
2020
3. V. B. Kudryavtsev, V. N. Kozlov, A. P. Rijov, I. L. Mazurenko, G. V. Bokov, A. A. Petyushko, “Artificial intelligence: problems and prospects”, Intelligent systems. Theory and applications, 24:4 (2020),  33–44  mathnet
4. G. V. Bokov, A. S. Drobyshev, “Criterion of neural generation of automaton functions with time delay”, Vestnik Moskov. Univ. Ser. 1. Mat. Mekh., 2020, no. 6,  54–55  mathnet  mathscinet  zmath; Moscow University Mathematics Bulletin, Moscow University Mеchanics Bulletin, 75:6 (2020), 261–262  isi  scopus
5. G. V. Safonov, G. V. Bokov, V. B. Kudryavtsev, “On irreduceability of Boolean functions with respect to commutative associative operation”, Vestnik Moskov. Univ. Ser. 1. Mat. Mekh., 2020, no. 4,  51–53  mathnet  mathscinet  zmath; Moscow University Mathematics Bulletin, 75:4 (2020), 169–171  isi
2019
6. G. V. Bokov, “Graph based extended resolution for Boolean formulas”, Intelligent systems. Theory and applications, 23:3 (2019),  35–40  mathnet
7. G. V. Bokov, “On the finite representation of logical systems”, Intelligent systems. Theory and applications, 23:1 (2019),  57–80  mathnet
2018
8. G. V. Bokov, “From Boolean circuits to theorem proving”, Intelligent systems. Theory and applications, 22:1 (2018),  123–130  mathnet 2
2016
9. G. V. Bokov, “Undecidable iterative propositional calculus”, Algebra Logika, 55:4 (2016),  419–431  mathnet; Algebra and Logic, 55:4 (2016), 274–282  isi  scopus 1
10. G. V. Bokov, “Пропозициональные исчисления как средство задания логических процессов”, Intelligent systems. Theory and applications, 20:3 (2016),  24–36  mathnet 1
2015
11. G. V. Bokov, “On some Frege system”, Intelligent systems. Theory and applications, 19:4 (2015),  155–168  mathnet 1
12. G. V. Bokov, “Undecidable three-variables superintuitionistic propositional calculus”, Intelligent systems. Theory and applications, 19:3 (2015),  95–100  mathnet 1
2013
13. G. V. Bokov, “Criterion for propositional calculi to be finitely generated”, Diskr. Mat., 25:3 (2013),  38–63  mathnet  mathscinet  elib; Discrete Math. Appl., 23:5-6 (2013), 399–427  scopus
2009
14. G. V. Bokov, “Pontryagin's maximum principle of optimal control problems with time-delay”, Fundam. Prikl. Mat., 15:5 (2009),  3–19  mathnet  mathscinet  elib; J. Math. Sci., 172:5 (2011), 623–634  scopus 30
2022
15. V. A. Biryukova, G. V. Bokov, A. S. Drobyshev, G. V. Kalachev, V. S. Polovnikov, D. V. Ronzhin, A. A. Chasovskikh, “Opportunities for the implementation of automatic learning system”, Intelligent systems. Theory and applications, 26:4 (2022),  5–19  mathnet

Organisations