Skip to content

Sergei Romanenko

    • 2h-indexImpact measure calculated using publication and citation counts. Updated daily.
    • 13CitationsNumber of citations received by Sergei's publications. Updated daily.

    Other IDs

    Co-authors (7)

    • Andrei Klimov
    • Artem Melentyev
    • Dimitur Krustev
    • Ilya Klyuchnikov

    Publications (5)

    • Supercompilation for Martin-Lof’s type theory

      • Klyuchnikov I
      • Romanenko S
      N/AReaders
      0Citations
      Get full text
    • Higher-Level supercompilation as a metasystem transition

      • Klyuchnikov I
      • Romanenko S
      N/AReaders
      0Citations
      Get full text
    • Multi-result supercompilation as branching growth of the penultimate level in metasystem transitions

      • Klyuchnikov I
      • Romanenko S
      N/AReaders
      3Citations
      Get full text
    • Proving the equivalence of higher-order terms by means of supercompilation

      • Klyuchnikov I
      • Romanenko S
      N/AReaders
      8Citations
      Get full text
    • Partial evaluation for common intermediate language

      • Chepovsky A
      • Klimov A
      • Klimov A
      • et al.
      N/AReaders
      2Citations