KIAM Main page Web Library  •  Publication Searh   
Publications
Romanenko Sergei Anatolievich
Personal page: https://keldysh.ru/persons/saromanenko.html
Email:
ORCID: 0000-0002-2971-9647

2018 year
1.  KIAM Preprint  209, Moscow, 2018
Authors: Romanenko S.A.
Title: Supercompilation: homeomorphic embedding, call-by-name, partial evaluation

2018 year
2.  KIAM Preprint  111, Moscow, 2018
Authors: Klimov A. V., Romanenko S.A.
Title: Supercompilation: main principles and basic concepts

2013 year
3.  KIAM Preprint  73, Moscow, 2013
Authors: Klyuchnikov I. G., Romanenko S. A.
Title: TT Lite: a supercompiler for Martin-Löfs type theory

2013 year
4.  KIAM Preprint  70, Moscow, 2013
Authors: Grechanik S. A., Klyuchnikov I. G., Romanenko S. A.
Title: Staged multi-result supercompilation: filtering before producing

2012 year
5.  KIAM Preprint  24, Moscow, 2012
Authors: Klimov A. V., Klyuchnikov I. G., Romanenko S. A.
Title: Implementing a domain-specific multi-result supercompiler by means of the MRSC toolkit

2012 year
6.  KIAM Preprint  19, Moscow, 2012
Authors: Klimov A. V., Klyuchnikov I. G., Romanenko S. A.
Title: Automatic verification of counter systems via domain-specific multi-result supercompilation

2011 year
7.  KIAM Preprint  77, Moscow, 2011
Authors: Klyuchnikov I. G., Romanenko S. A.
Title: MRSC: a toolkit for building multi-result supercompilers

1988 year
8.  KIAM Preprint  186, Moscow, 1988
Authors: .., Romanenko S. A.
Title:

1987 year
9.  KIAM Preprint  243, Moscow, 1987
Authors: Klimov A. V., Romanenko S. A.
Title:  

1987 year
10.  KIAM Preprint  211, Moscow, 1987
Authors: Romanenko S. A.
Title:

1987 year
11.  KIAM Preprint  147, Moscow, 1987
Authors: Romanenko S. A.
Title:

1987 year
12.  KIAM Preprint  71, Moscow, 1987
Authors: Klimov A. V., Romanenko S. A.
Title:  

1987 year
13.  KIAM Preprint  26, Moscow, 1987
Authors: Romanenko S. A.
Title:

1986 year
14.  KIAM Preprint  200, Moscow, 1986
Authors: Klimov A. V., Romanenko S. A.
Title:  

1983 year
15.  KIAM Preprint  110, Moscow, 1983
Authors: Lacis A. O., Romanenko S. A.
Title:

1983 year
16.  KIAM Preprint  89, Moscow, 1983
Authors: .., Romanenko S. A.
Title:

1983 year
17.  KIAM Preprint  27, Moscow, 1983
Authors: Romanenko S. A.
Title:

1978 year
18.  KIAM Preprint  151, Moscow, 1978
Authors: Romanenko S. A.
Title:

1978 year
19.  KIAM Preprint  97, Moscow, 1978
Authors: .., Ilushin A.., Romanenko S. A.
Title:

1976 year
20.  KIAM Preprint  150, Moscow, 1976
Authors: .., Ilushin A.., Romanenko S. A., ..
Title:

1975 year
21.  KIAM Preprint  135, Moscow, 1975
Authors: Klimov A. V., Romanenko S. A.
Title:  

1975 year
22.  KIAM Preprint  8, Moscow, 1975
Authors: Klimov A. V., .., Romanenko S. A., ..
Title:  

1974 year
23.  KIAM Preprint  136, Moscow, 1974
Authors: Klimov A. V., Romanenko S. A., ..
Title:  

1973 year
24.  KIAM Preprint  13, Moscow, 1973
Authors: Romanenko S. A., Klimov A. V., ..
Title:  

1972 year
25.  KIAM Preprint  83, Moscow, 1972
Authors: Klimov A. V., Romanenko S. A., ..
Title:  

1969 year
26.  KIAM Preprint  30, Moscow, 1969
Authors: .., .., Romanenko S. A., ..
Title: