| |
Chushkin, Mikhail Sergeevich
|
| Statistics Math-Net.Ru |
| Total publications: |
2 |
| Scientific articles: |
2 |
| Number of views: |
| This page: | 75 | | Abstract pages: | 197 | | Full texts: | 76 | | References: | 50 |
|
| E-mail: |
|
|
 |
https://www.mathnet.ru/eng/person121507 |
 |
List of publications on Google Scholar |
 |
List of publications on ZentralBlatt |
|
|
|
|
Publications in Math-Net.Ru |
Citations |
|
2017 |
| 1. |
M. S. Chushkin, “Sketch completion for predicate programs by counterexamples guided synthesis”, Prikl. Diskr. Mat. Suppl., 2017, no. 10, 151–153 |
|
2016 |
| 2. |
M. S. Chushkin, V. I. Shelekhov, “Methods for synthesizing predicate program pieces”, Prikl. Diskr. Mat. Suppl., 2016, no. 9, 126–128 |
|
| Organisations |
|
| |
Contact us: