Persons
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
 
Klyuchnikov, Ilya Grigorievich
Statistics Math-Net.Ru
Total publications: 16
Scientific articles: 16

Number of views:
This page:343
Abstract pages:3286
Full texts:1537
References:343
Birth date: 24.03.1983
E-mail: ,

https://www.mathnet.ru/eng/person31813
List of publications on Google Scholar
List of publications on ZentralBlatt

Publications in Math-Net.Ru Citations
2013
1. Ilya G. Klyuchnikov, Sergei A. Romanenko, “TT Lite: a supercompiler for Martin-Löf's type theory”, Keldysh Institute preprints, 2013, 073, 28 pp.  mathnet
2. S. A. Grechanik, I. G. Klyuchnikov, S. A. Romanenko, “Staged multi-result supercompilation: filtering before producing”, Keldysh Institute preprints, 2013, 070, 28 pp.  mathnet
2012
3. A. V. Klimov, I. G. Klyuchnikov, S. A. Romanenko, “Implementing a domain-specific multi-result supercompiler by means of the MRSC toolkit”, Keldysh Institute preprints, 2012, 024, 21 pp.  mathnet; 2012, 024, 20 pp. 1
4. A. V. Klimov, I. G. Klyuchnikov, S. A. Romanenko, “Automatic verification of counter systems via domain-specific multi-result supercompilation”, Keldysh Institute preprints, 2012, 019, 30 pp.  mathnet; 2012, 019, 28 pp. 2
2011
5. I. G. Klyuchnikov, S. A. Romanenko, “MRSC: a toolkit for building multi-result supercompilers”, Keldysh Institute preprints, 2011, 077, 30 pp.  mathnet 2
2010
6. I. G. Klyuchnikov, “Towards Effective Two-Level Supercompilation”, Keldysh Institute preprints, 2010, 081, 28 pp.  mathnet 2
7. I. G. Klyuchnikov, “Supercompiler HOSC 1.5: homeomorphic embedding and generalization in a higher-order setting”, Keldysh Institute preprints, 2010, 062, 23 pp.  mathnet 3
8. I. G. Klyuchnikov, “Supercompiler HOSC: proof of correctness”, Keldysh Institute preprints, 2010, 031, 28 pp.  mathnet 5
9. I. G. Klyuchnikov, “Supercompiler HOSC 1.1: proof of termination”, Keldysh Institute preprints, 2010, 021, 27 pp.  mathnet 4
10. I. G. Klyuchnikov, “Higher-order supercompilation”, Program Systems: Theory and Applications, 1:3 (2010),  37–71  mathnet 1
2009
11. I. G. Klyuchnikov, “Supercompiler HOSC 1.0: under the hood”, Keldysh Institute preprints, 2009, 063, 28 pp.  mathnet; 2009, 063, 28 pp. 6
1997
12. A. M. Lipanov, Yu. F. Kisarov, I. G. Klyuchnikov, “Numerical simulation of viscous subsonic flows for Reynolds number $10^4$”, Matem. Mod., 9:3 (1997),  3–12  mathnet  zmath 2
13. A. M. Lipanov, Yu. F. Kisarov, I. G. Klyuchnikov, “Mathematical simulation of turbulent flows”, Matem. Mod., 9:2 (1997),  113–116  mathnet  zmath 1
14. A. M. Lipanov, I. G. Klyuchnikov, E. V. Mokhov, “Comparison of direct and parallel algorithms on spreading of shock wave model problem”, Matem. Mod., 9:2 (1997),  111–112  mathnet
15. A. M. Lipanov, I. G. Klyuchnikov, E. Y. Glukhova, “Solution of the model problems by high order approximation methods”, Matem. Mod., 9:2 (1997),  106–110  mathnet  zmath
1994
16. A. M. Lipanov, Yu. F. Kisarov, I. G. Klyuchnikov, “Numerical simulation of vortex structures evolution in separation flows”, Matem. Mod., 6:10 (1994),  13–23  mathnet  zmath

Organisations
 
  Contact us:
  Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2024