Most Cited Computer Science Articles

This list is generated from documents in the CiteSeerx database as of March 19, 2015. This list is automatically generated and may contain errors. The list is generated in batch mode and citation counts may differ from those currently in the CiteSeerx database, since the database is continuously updated.

All Years | 1990 | 1991 | 1992 | 1993 | 1994 | 1995 | 1996 | 1997 | 1998 | 1999 | 2000 | 2001 | 2002 | 2003 | 2004 | 2005 | 2006 | 2007 | 2008 | 2009 | 2010 | 2011 | 2012 | 2013 | 2014 | 2015
  1. T H Cormen, C E Leiserson, R L Rivest, C Stein.
    Introduction to Algorithms. 1990
    9039
  2. S Deerwester, S T Landauer T K Dumais, G W Furnas, R A Harshman.
    Indexing by latent semantic analysis. Journal of the Society for Information Science, 1990
    3011
  3. P M Romer.
    Endogenous Technological Change. Journal of Political Economy, 1990
    1815
  4. J L Elman.
    Finding structure in time. Cognitive Science, 1990
    1687
  5. G A Miller, C Fellbaum, R Beckwith, D Gross, K Miller.
    Introduction to wordnet: An online lexical database. International journal of Lexicography, 1990
    1675
  6. T Hastie, R Tibshirani.
    Generalized Additive Models. 1990
    1666
  7. R Milner, M Tofte, R Harper.
    The Definition of Stan dard ML. 1990
    1623
  8. P Perona, J Malik.
    Scale-space and edge detection using anisotropic diffusion. IEEE Trans. on Pattern Analysis and Machine Intelligence, 1990
    1405
  9. Czesław Byliński.
    Functions and their basic properties. Formalized Mathematics, 1990
    1294
  10. A Trybulec.
    Tarski Grothendieck set theory. Formalized Mathematics, 1990
    1292
  11. Zinaida Trybulec.
    Properties of subsets. Formalized Mathematics, 1990
    1227
  12. M Burrows, M Abadi, R M Needham.
    A logic of authentication. ACM Transactions on Computing Systems, 1990
    1209
  13. E Allen Emerson.
    Temporal and Modal Logic. Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics, 1990
    1171
  14. Norbery Beckmann, Hans-Peter Kriegel, Ralf Schneider, Bernhard Seeger.
    The R-tree: An efficient and robust access method for points and rectangles. In Proceedings of the 1990 ACM-SIGMOD Conference, 1990
    1060
  15. Czesław Byliński.
    Functions from a set to a set. Formalized Mathematics, 1990
    1048
  16. Edmund Woronowicz.
    Relations and their basic properties. Formalized Mathematics, 1990
    1023
  17. M Herlihy, J M Wing.
    Linearizability: a correctness condition for concurrent objects. ACM Transactions on Programming Languages and Systems, 1990
    975
  18. O Hart, J Moore.
    Property rights and the nature of the firm. Journal of Political Economy, 1990
    952
  19. Stevan Harnad.
    The symbol grounding problem. Physica D, 1990
    884
  20. J Ross Quinlan.
    Learning logical definitions from relations. Machine Learning 5(3, 1990
    875
  21. N Jouppi.
    Improving Direct-Mapped Cache Performance by the Addition of a Small Fully-Associative Cache and. Prefetch Buffers,” ISCA-17: ACM/IEEE International Symposium on Computer Architecture, 1990
    843
  22. F B Schneider.
    Implementing fault-tolerant services using the state machine approach: A tutorial. Proceedings of the 6th WSEAS International Conference on Simulation, Modelling and Optimization, 1990
    841
  23. N Dershowitz, J-P Jouannaud.
    Rewrite systems. Handbook of Theoretical Computer Science, volume B: Formal Methods and Semantics, chapter 6, 1990
    781
  24. Czesław Byliński.
    Some basic properties of sets. Formalized Mathematics, 1990
    756
  25. T R S HORWITZ, D BINKLEY.
    Interprocedural slicing using dependance graphs. ACM Trans. Program. Lang. Syst, 1990
    731
  26. R E Schapire.
    The strength of weak learnability. Machine Learning, 1990
    701
  27. Stuart Shieber, Yves Schabes.
    Synchronous Tree Adjoining Grammars. In COLING, 1990
    676
  28. D H Fisher.
    Knowledge Acquisition Via Incremental Conceptual Clustering. Readings In Machine Learning, 1990
    676
  29. M Jensen, K Murphy.
    Performance pay and top-management incentives. Journal of Political Economy, 1990
    674
  30. G W Stewart, J-G Sun.
    Matrix Perturbation Theory. 1990
    673
  31. K Gharachorloo, D Lenoski, J Laudon, P Gibbons, A Gupta, J L Hennessy.
    Memory Consistency and Event Ordering in Scalable Shared-Memory Multiprocessors. In Proceedings of the 17th Annual International Symposium on Computer Architecture, 1990
    673
  32. Grzegorz Bancerek.
    The ordinal numbers. Formalized Mathematics, 1990
    671
  33. D Ferrari, D Verma.
    A scheme for real-time channel establishment in wade-area networks. IEEE Jornal of Selected Areas in Communications, Vol.8, No.3, 1990
    664
  34. Grzegorz Bancerek.
    The fundamental properties of natural numbers. Formalized Mathematics, 1990
    660
  35. G Salton, C Buckley.
    Improving retrieval performance by relevance feedback. Journal of the American Society for Information Science, 1990
    654
  36. P F Brown, J Cocke, S A Della Pietra, V J Della Pietr, F Jelinek, J D Lafferty, R L Mercer, P S Roossin.
    A sta.tistical approach to machine translation. Computational Linguistics, 1990
    639
  37. W Härdle.
    Applied Nonparametric Regression. 1990
    605
  38. Andrew B Abel.
    Asset Prices under Habit Formation and Catching up with the Joneses. American Economic Review, 1990
    563
  39. Krzysztof Hryniewiecki.
    Basic properties of real numbers. Formalized Mathematics, 1990
    561
  40. S Kraus, D Lehmann, M Magidor.
    Nonmonotonic reasoning, preferential models, and cumulative logics. Artificial Intelligence, 1990
    559
  41. J Buck, S Ha, E A Lee, D D Masserchmitt.
    Ptolemy: A framework for simulating and prototyping heterogeneous systems. International Journal on Computer Simulation, Special Issue on Simulation Software Management, 1990
    517
  42. J Y Halpern, Y Moses.
    Knowledge and common knowledge in a distributed environment. Journal of the ACM, 1990
    516
  43. G Berry, G Boudol.
    The chemical abstract machine. In Conf. Record 17th ACM Symp. on Principles of Programmming Languages, POPL’90, 1990
    488
  44. Mahadev Satyanarayanan, James J Kistler, Puneet Kumar, Maria E Okasaki, Ellen H Siegel, David C Steere.
    Coda: A highly available file system for a distributed workstation environment. IEEE Trans. Comput, 1990
    486
  45. Edmund Woronowicz.
    Relations defined on sets. Formalized Mathematics, 1990
    485
  46. K S Brace, R L Rudell, R E Bryant.
    Efficient Implementation of a BDD package. Proc. ACM/IEEE DAC, 1990
    471
  47. Czesław Byliński.
    Partial functions. Formalized Mathematics, 1990
    463
  48. L Westover.
    Footprint evaluation for volume rendering. In Computer Graphics, 1990
    459
  49. Gilad Bracha, William Cook.
    Mixin-based inheritance. In procdings of ACM Conference on Object-Oriented Programming: System, Languages, and APPLICATION (OOPSLA, 1990
    449
  50. Y LeCun, J S Denker, S A Solla.
    Optimal brain damage. Advances in Neural Information Processing Systems 2 (NIPS*89, 1990
    445
  51. B Shneiderman.
    Tree visualization with TreeMaps: a 2d space-filling approach. ACM Transactions on Graphics, 1990
    426
  52. D Harel.
    STATEMATE: A working environment for the development of complex reactive systems. IEEE Transactions on Software Engineering, 1990
    422
  53. T D Schneider, R M Stephens.
    Sequence Logos – a new way to display consensus sequences. Nucleic Acids Res, 1990
    412
  54. Mart́ın Abadi, Luca Cardelli, Pierre-Louis Curien, Jean-Jacques Lèvy.
    Explicit Substitutions. In Conference Record of the Seventeenth Annual ACM Symposium on Principles of Programming Languages, 1990
    408
  55. M Stonebraker, L Rowe, M Hirohama.
    The implementation of POSTGRES. IEEE Transactions on Knowledge and Data Engineering, 1990
    405
  56. David R Chase, Mark Wegman.
    F.~Kenneth Zadeck. Analysis of pointers and structures. Proceedings of the ACM SIGPLAN '90 Conference on Programming Language Design and Implementation, 1990
    396
  57. R Alverson, D Callahan, D Cummings, B Koblenz, A Porterfield, B Smith.
    The Tera Computer System. In Proceedings of the 1990 International Conference on Supercomputing, 1990
    389
  58. J Greenwood, B Jovanovic.
    Financial development, growth, and the distribution of income. Journal of Political Economy, 1990
    380
  59. H Agrawal, J R Horgan.
    Dynamic program slicing. In ACM SIGPLAN Conference on Programming Language Design and Implementation, 1990
    361
  60. D Thomas.
    Intra-Household Resource Allocation: An Inferential Approach. The Journal of Human Resources, 1990
    358
  61. Z Kunda.
    The case for motivated reasoning. Psychological Bulletin, 1990
    357
  62. J B Pollack.
    Recursive distributed representations. Artificial Intelligence, 1990
    357
  63. J Nielsen, R Molich.
    Heuristic evaluation of user interfaces. Proc. ACM CHI'90, 1990
    356
  64. P C Kanellakis, G M Kuper, P Z Revesz.
    Constraint query languages. In Proc. PODS ’90, 1990
    354
  65. M Levoy.
    Efficient ray tracing of volume data. ACM Transactions on Graphics, 1990
    351
  66. J D Cohen, K Dunbar, J L McClelland.
    On the control of automatic processes: A parallel distributed processing account of the Stroop effect. Psychological Review, 1990
    350
  67. Czesław Byliński.
    Binary operations. Formalized Mathematics, 1990
    349
  68. R Brooks.
    Elephants don’t play chess. Also appeared in Special Issue of Robotics and Autonomous Systems, 1990
    346
  69. W J Baumol.
    Entrepreneurship: Productive, Unproductive, and Destructive. Journal of Political Economy, 1990
    341
  70. W Pugh.
    Skip Lists: A Probabilistic Alternative to Balanced Trees. Communications of the ACM, 1990
    338
  71. J Malik, P Perona.
    Preattentive texture discrimination with early vision mechanisms. Journal of the Optical Society of America { A, 1990
    338
  72. M Herlihy.
    A methodology for implementing highly concurrent data structures. In PPOPP '90: Proceedings of the second ACM SIGPLAN symposium on Principles & practice of parallel programming, 1990
    333
  73. Agata Darmochwał.
    Finite sets. Formalized Mathematics, 1990
    330
  74. K K Ramakrishnan, Raj Jain.
    A binary feedback scheme for congestion avoidance in computer networks. ACM Transactions on Computer Systems, 1990
    322
  75. W J Dally.
    Performance Analysis of k-ary n-cube Interconnection Networks. IEEE Transactions on Computers, 1990
    321
  76. Czesław Byliński.
    Finite sequences and tuples of elements of a non-empty sets. Formalized Mathematics, 1990
    315
  77. D Abreu, D Pearce, E Stacchetti.
    Toward a Theory of Discounted Repeated Games with Imperfect Monitoring. Econometrica, 1990
    311
  78. Beata Padlewska.
    Families of sets. Formalized Mathematics, 1990
    311
  79. John K Ousterhout.
    Why Aren't Operating Systems Getting Faster as Fastas Hardware. Department of Computer Science, Princeton University, 1990
    310
  80. Andrzej Trybulec.
    Domains and their Cartesian products. Formalized Mathematics, 1990
    307
  81. X D Huang, Y Ariki, M A Jack.
    Hidden Markov Models for Speech Recognition. 1990
    294
  82. G Fox, S Hiranandani, K Kennedy, C Koelbel, U Kremer, C Tseng, M Wu.
    Fortran D language specification. 1990
    292
  83. S E Deering, D Cheriton.
    Multicast routing in internetworks and extended lans,” in. ACM Transactions on ComputerSystems, 1990
    286
  84. J Kramer, J Magee.
    The evolving philosophers problem: Dynamic change management. IEEE Trans. Softw. Eng, 1990
    283
  85. J K Bennett, J B Carter, W Zwaenepoel.
    Munin: Distributed Shared Memory Based on Typespecific Memory Coherence. Second ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 1990
    282
  86. Andrzej Trybulec.
    Binary operations applied to functions. Formalized Mathematics, 1990
    279
  87. Andrzej Trybulec.
    Tuples, projections and Cartesian products. Formalized Mathematics, 1990
    277
  88. S Pinker, P Bloom.
    Natural language and natural selection. Behavioral and Brain Sciences, 1990
    276
  89. D Chaum, A Fiat, M Naor.
    Untraceable electronic cash. in: Advances in Cryptology–– CRYPTO’88, LNCS, 1990
    274
  90. A Agarwal, B-H Lim, D Kranz, J Kubiatowicz.
    APRIL: A processor architecture for multiprocessing. In Proceedings of the International Symposium on Computer Architecture, 1990
    270
  91. Wojciech A Trybulec.
    Vectors in real linear space. Formalized Mathematics, 1990
    269
  92. Wojciech A Trybulec.
    Pigeon hole principle. Formalized Mathematics, 1990
    267
  93. B N Bershad, T E Anderson, E D Lazowska, H M Levy.
    Lightweight remote procedure call. ACM Transactions on Computer Systems, 1990
    266
  94. M Naor, M Yung.
    Public-key Cryptosystems Provably Secure Against Chosen Ciphertext Attacks. In 22nd Symposium on the Theory of Computation (STOC, 1990
    261
  95. Donald Hindle.
    Noun classification from predicate-argument structures. In Proc. of the 28th Annual Meeting of the Association for Computational Linguistics, 1990
    255