The concept of a supercompiler VF Turchin ACM Transactions on Programming Languages and Systems (TOPLAS) 8 (3), 292-325, 1986 | 572 | 1986 |

The Phenomenon of Science. A cybernetic approach to human evolution V Turchin New York: Columbia University, 1977 | 513 | 1977 |

The use of mathematical-statistics methods in the solution of incorrectly posed problems VF Turchin, VP Kozlov, MS Malkevich Soviet Physics Uspekhi 13 (6), 681, 1971 | 395* | 1971 |

Slow neutrons VF Turchin Israel Program for Scientific Translations, 1965 | 218 | 1965 |

Inelastic Scattering of Neutrons in Solids and Liquids VF Turchin International Atomic Energy Agency, Vienna, 259, 1961 | 182* | 1961 |

The algorithm of generalization in the supercompiler VF Turchin D. Bj rner, AP Ershov, and ND Jones, editors, Partial Evaluation and Mixed …, 1988 | 146 | 1988 |

Refal-5 Programming Guide & Reference Manual VF Turchin New England Publishing Company, 1989 | 124 | 1989 |

A supercompiler system based on the language Refal VF Turchin ACM SIGPLAN Notices 14 (2), 46-54, 1979 | 112 | 1979 |

The Language Refal: The Theory of Compilation and Metasystem Analysis VF Turchin Department of Computer Science, Courant Institute of Mathematical Sciences …, 1980 | 93 | 1980 |

Program transformation with metasystem transitions VF Turchin Journal of Functional Programming 3 (03), 283-313, 1993 | 85 | 1993 |

On the computation of multidimensional integrals by the Monte-Carlo method VF Turchin Theory of Probability & Its Applications 16 (4), 720-724, 1971 | 84 | 1971 |

Principia cybernetica web F Heylighen, C Joslyn, V Turchin | 74 | 2005 |

Experiments with a supercompiler VF Turchin, RM Nirenberg, DV Turchin Proceedings of the 1982 ACM symposium on LISP and functional programming, 47-55, 1982 | 67 | 1982 |

Statistical regularization of the solution of incorrectly posed problems VF Turchin, VZ Nozik Izv. Atmos. Ocean. Phy 5, 14-18, 1969 | 66 | 1969 |

Solution of the Fredholm equation of the first kind in a statistical ensemble of smooth functions VF Turchin USSR Computational Mathematics and Mathematical Physics 7 (6), 79-96, 1967 | 63 | 1967 |

Program transformation by supercompilation VF Turchin Programs as Data Objects, 257-281, 1986 | 62 | 1986 |

The use of metasystem transition in theorem proving and program optimization V Turchin Automata, Languages and Programming, 645-657, 1980 | 62 | 1980 |

Metacomputation: Metasystem transitions plus supercompilation V Turchin Partial Evaluation, 481-509, 1996 | 61 | 1996 |

The inertia of fear and the scientific worldview VF Turchin Columbia University Press, 1981 | 54 | 1981 |

A constructive interpretation of the full set theory VF Turchin The Journal of Symbolic Logic 52 (1), 172-201, 1987 | 52 | 1987 |