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

The Phenomenon of Science. A cybernetic approach to human evolution V Turchin New York: Columbia University, 1977 | 487 | 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 | 254 | 1971 |

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

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

Use of Methods of Mathematical Statistics for Solving Incorrectly-Posed Problems VF Turchin, VP Kozlov, MS Malkevich Progress of Phys. Sc 102 (3), 345-386, 1970 | 147 | 1970 |

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

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

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

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

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

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

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

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

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

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

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

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

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 | 55 | 1967 |

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