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

2020 year
1.  Conference material, 2020
Authors: Nepejvoda N.N., Grigorevskiy I.N., Klimov A. V., Klimov Y. A., Romanenko S. A.
Title: Digit-wise parallelism of addition of real numbers due to redundancy of representation

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

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

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

2013 year
5.  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
6.  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
7.  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
8.  KIAM Preprint ¹ 77, Moscow, 2011
Authors: Klyuchnikov I. G., Romanenko S. A.
Title: MRSC: a toolkit for building multi-result supercompilers

1988 year
9.  KIAM Preprint ¹ 186, Moscow, 1988
Authors: Àáðàìîâ Ñ.Ì., Romanenko S. A.
Title:

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

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

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

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

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

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

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

1983 year
17.  KIAM Preprint ¹ 89, Moscow, 1983
Authors: Ëàöèñ Î.À., Romanenko S. A.
Title:

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

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

1978 year
20.  KIAM Preprint ¹ 97, Moscow, 1978
Authors: Åðîõîâ À.Í., Ilushin A.È., Romanenko S. A.
Title:

1976 year
21.  KIAM Preprint ¹ 150, Moscow, 1976
Authors: Åðîõîâ À.Í., Ilushin A.È., Romanenko S. A., Õîâàíñêàÿ Ã.Ï.
Title:

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

1975 year
23.  KIAM Preprint ¹ 8, Moscow, 1975
Authors: Klimov A. V., Ïðîâîðîâ Ë.Â., Romanenko S. A., Òðàâêèíà Å.Â.
Title:  

1974 year
24.  KIAM Preprint ¹ 136, Moscow, 1974
Authors: Klimov A. V., Romanenko S. A., Òðàâêèíà Å.Â.
Title:  

1973 year
25.  KIAM Preprint ¹ 13, Moscow, 1973
Authors: Romanenko S. A., Klimov A. V., Òóð÷èí Â.Ô.
Title:  

1972 year
26.  KIAM Preprint ¹ 83, Moscow, 1972
Authors: Klimov A. V., Romanenko S. A., Òóð÷èí Â.Ô.
Title:  

1969 year
27.  KIAM Preprint ¹ 30, Moscow, 1969
Authors: Ôëîðåíöåâ Ñ.Í., Îëþíèí Â.Þ., Romanenko S. A., Òóð÷èí Â.Ô.
Title: