Principles of inverse computation and the universal resolving algorithm S Abramov, R Glück The essence of computation, 269-295, 2002 | 64 | 2002 |

The universal resolving algorithm: inverse computation in a functional language S Abramov, R Glück International Conference on Mathematics of Program Construction, 187-212, 2000 | 51 | 2000 |

The universal resolving algorithm and its correctness: inverse computation in a functional language S Abramov, R Glück Science of Computer Programming 43 (2-3), 193-229, 2002 | 48 | 2002 |

OpenTS: an outline of dynamic parallelization approach S Abramov, A Adamovich, A Inyukhin, A Moskovsky, V Roganov, ... International Conference on Parallel Computing Technologies, 303-312, 2005 | 29 | 2005 |

Parallelism granules aggregation with the T-system A Moskovsky, V Roganov, S Abramov International Conference on Parallel Computing Technologies, 293-302, 2007 | 21 | 2007 |

Metacomputation and logic programming SM Abramov Programming and Computer Software 17 (3), 1992 | 21 | 1992 |

Combining semantics with non-standard interpreter hierarchies S Abramov, R Glück International Conference on Foundations of Software Technology and …, 2000 | 19 | 2000 |

From standard to non-standard semantics by semantics modifiers S Abramov, R Glück International Journal of Foundations of Computer Science 12 (02), 171-211, 2001 | 18 | 2001 |

Autotransformation of evaluation network as a basis for automatic dynamic parallelizing SM Abramov, AI Adamowitch, IA Nesterov, SP Pimenov, YV Shevchuck Proceedings of the sixth conference of the North American Transputer Users …, 1993 | 13 | 1993 |

SKIF supercomputer configurations SV Ablameyko, SM Abramov, UV Anishchanka, SV Medvedev, ... Minsk, United Institute of Informatics Problems, 2005 | 12 | 2005 |

The effectiveness of parallelizing an algorithm of the PFC equation solution using PetIGA library IO Starodumov, EV Pavlyuk, SM Abramov, LV Klyuev, PK Galenko, ... Вестник Удмуртского университета. Математика. Механика. Компьютерные науки …, 2016 | 11 | 2016 |

An universal resolving algorithm for inverse computation of lazy languages S Abramov, R Glück, Y Klimov International Andrei Ershov Memorial Conference on Perspectives of System …, 2006 | 11 | 2006 |

Semantics Modifiers: An Approach to Non-Standard Semantics of Programming Languages. SM Abramov, R Glück Fuji International Symposium on Functional and Logic Programming, 247-270, 1998 | 10 | 1998 |

T-system: programming environment providing automatic dynamic parallelizing on IP-network of Unix-computers S Abramov, A Adamovitch, M Kovalenko Report on, 15-25, 1997 | 10 | 1997 |

Cross-platform version of the T-system with an open architecture SM Abramov, AA Kuznetsov, VA Roganov Numerical Methods and Programming (Vychislitel'nye Metody i Programmirovanie …, 2007 | 9 | 2007 |

Variable Reassignment in the T++ Parallel Programming Language A Moskovsky, V Roganov, S Abramov, A Kuznetsov International Conference on Parallel Computing Technologies, 579-588, 2007 | 7 | 2007 |

T-system-An environment supporting automatic dynamic parallelization of programs: An example of the implementation of an image rendering algorithm based on the ray tracing method SM Abramov, AI Adamovich, MR Kovalenko Programming and Computer Software 25 (2), 100-107, 1999 | 7 | 1999 |

Analysis of supercomputer cyber infrastructures of the leading countries of the world SM Abramov Supercomputer Technologies SKT-2018, Proceedings of the 5th All-Russian …, 2018 | 6 | 2018 |

Research in the field of supercomputer technologies of the IPS RAS: a retrospective and perspective SM Abramov Proceedings of the International Conference “Software Systems: Theory and …, 0 | 6 | |

History of development and implementation of a series of Russian supercomputers with cluster architecture SM Abramov History of Domestic Electronic Computers. 2nd edn, Rev. and additional …, 2016 | 5 | 2016 |