|
|
|
Публикации в базе данных Math-Net.Ru |
Цитирования |
|
2013 |
| 1. |
Ilya G. Klyuchnikov, Sergei A. Romanenko, “TT Lite: a supercompiler for Martin-Löf's type theory”, Препринты ИПМ им. М. В. Келдыша, 2013, 073, 28 стр.  |
| 2. |
S. A. Grechanik, I. G. Klyuchnikov, S. A. Romanenko, “Staged multi-result supercompilation: filtering before producing”, Препринты ИПМ им. М. В. Келдыша, 2013, 070, 28 стр. |
|
2012 |
| 3. |
А. В. Климов, И. Г. Ключников, С. А. Романенко, “Реализация предметно-ориентированного многорезультатного суперкомпилятора с помощью инструментария MRSC”, Препринты ИПМ им. М. В. Келдыша, 2012, 024, 21 стр. ; A. V. Klimov, I. G. Klyuchnikov, S. A. Romanenko, “Implementing a domain-specific multi-result supercompiler by means of the MRSC toolkit”, 2012, 024, 20 pp. |
1
|
| 4. |
А. В. Климов, И. Г. Ключников, С. А. Романенко, “Автоматизированная верификация счетчиковых систем посредством предметно-ориентированной многорезультатной суперкомпиляции”, Препринты ИПМ им. М. В. Келдыша, 2012, 019, 30 стр. ; A. V. Klimov, I. G. Klyuchnikov, S. A. Romanenko, “Automatic verification of counter systems via domain-specific multi-result supercompilation”, 2012, 019, 28 pp. |
2
|
|
2011 |
| 5. |
I. G. Klyuchnikov, S. A. Romanenko, “MRSC: a toolkit for building multi-result supercompilers”, Препринты ИПМ им. М. В. Келдыша, 2011, 077, 30 стр. |
2
|
|
2010 |
| 6. |
I. G. Klyuchnikov, “Towards Effective Two-Level Supercompilation”, Препринты ИПМ им. М. В. Келдыша, 2010, 081, 28 стр. |
2
|
| 7. |
И. Г. Ключников, “Суперкомпилятор HOSC 1.5: гомеоморфное вложение и обобщение для выражений высшего порядка”, Препринты ИПМ им. М. В. Келдыша, 2010, 062, 23 стр. |
3
|
| 8. |
И. Г. Ключников, “Суперкомпилятор HOSC: доказательство корректности”, Препринты ИПМ им. М. В. Келдыша, 2010, 031, 28 стр. |
5
|
| 9. |
И. Г. Ключников, “Суперкомпилятор HOSC 1.1: доказательство завершаемости”, Препринты ИПМ им. М. В. Келдыша, 2010, 021, 27 стр. |
4
|
| 10. |
И. Г. Ключников, “Суперкомпиляция функций высших порядков”, Программные системы: теория и приложения, 1:3 (2010), 37–71 |
1
|
|
2009 |
| 11. |
И. Г. Ключников, “Суперкомпилятор HOSC 1.0: внутренняя структура”, Препринты ИПМ им. М. В. Келдыша, 2009, 063, 28 стр. ; I. G. Klyuchnikov, “Supercompiler HOSC 1.0: under the hood”, 2009, 063, 28 pp. |
6
|
|
1997 |
| 12. |
А. М. Липанов, Ю. Ф. Кисаров, И. Г. Ключников, “Численное моделирование вязких дозвуковых потоков при числе Рейнольдса $10^4$”, Матем. моделирование, 9:3 (1997), 3–12  |
1
|
| 13. |
А. М. Липанов, Ю. Ф. Кисаров, И. Г. Ключников, “Математическое моделирование турбулентных потоков”, Матем. моделирование, 9:2 (1997), 113–116 |
1
|
| 14. |
А. М. Липанов, И. Г. Ключников, Е. В. Мохов, “Сравнение прямого и параллельного алгоритмов для модельной задачи о распространении ударной волны”, Матем. моделирование, 9:2 (1997), 111–112 |
| 15. |
А. М. Липанов, И. Г. Ключников, Е. Ю. Глухова, “Решение модельных задач методами высокого порядка аппроксимации”, Матем. моделирование, 9:2 (1997), 106–110 |
|
1994 |
| 16. |
А. М. Липанов, Ю. Ф. Кисаров, И. Г. Ключников, “Численное моделирование развития вихревых структур в отрывных течениях”, Матем. моделирование, 6:10 (1994), 13–23 |
|
Обратная связь: