Klyuchnikov Ilya Grigorievich

Publications in Math-Net.Ru

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