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öf’s 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: