JavaScript is disabled in your browser. Please switch it on to enable full functionality of the website
Egorov, Kirill Viktorovich
Statistics Math-Net.Ru
Total publications:
1
Scientific articles:
1
Number of views:
This page: 274 Abstract pages: 301 Full texts: 108 References: 36
Birth date:
27.05.1987
E-mail:
email
Keywords:
genetic programming,
machine learning,
model checking,
automata-based programming.
Subject:
Application of genetic programming for finite-state machine induction on the base of specification.
Main publications:
Egorov K.V., Shalyto A.A., “Metodika verifikatsii avtomatnykh programm”, Informatsionno-upravlyayuschie sistemy , 2008, № 5, 15–21
Egorov K.V., Shalyto A.A., “Razrabotka verifikatora avtomatnykh programm”, Nauchno-tekhnicheskii vestnik SPbGU ITMO , 2008, № 53, 177–188
Egorov K.V., Tsarev F.N., Shalyto A.A., “Primenenie geneticheskogo programmirovaniya dlya postroeniya avtomatov upravleniya sistemami so slozhnym povedeniem na osnove obuchayuschikh primerov i spetsifikatsii”, Nauchno-tekhnicheskii vestnik SPbGU ITMO , 2010, № 69, 81–85
Egorov K.V., Tsarev F.N., “Sovmestnoe primenenie geneticheskogo programmirovaniya i verifikatsii modelei dlya postroeniya avtomatov upravleniya sistemami so slozhnym povedeniem”, Informatsionnye tekhnologii i sistemy , IPPI RAN, M., 2009, 72–82
Egorov K.V., Parfenov V.G., Tsarev F.N., “Sovmestnoe primenenie geneticheskogo programmirovaniya i verifikatsii modelei dlya postroeniya avtomatov upravleniya sistemami so slozhnym povedeniem”, Trudy XVII Vserossiiskoi nauchno-metodicheskoi konferentsii “Telematika`2010” , ò. 2, 2010, 344–345
https://www.mathnet.ru/eng/person60759
List of publications on Google Scholar
List of publications on ZentralBlatt
Publications in Math-Net.Ru
Citations
2010
1.
K. V. Egorov, F. N. Tsarev, A. A. Shalyto, “Application of genetic programming and model checking for finite-state machine induction”, Tr. SPIIRAN , 15 (2010), 123–135
Organisations