Most Cited Computer Science Articles

This list is generated from documents in the CiteSeerx database as of January 17, 2013. 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
  1. D B Johnson, W Zwaenepoel.
    Recovery in Distributed Systems Using Optimistic Message Logging and Checkpointing. Journal of Algorithms, 1990
    199
  2. A Tanenbaum, R van Renesse, H van Staveren, G Sharp, S Mullender, A Jansen, G van Rossum.
    Experiences with the Amoeba Distributed Operating System. Communications of the ACM, 1990
    198
  3. M Seltzer, P Chen, J Ousterhout.
    Disk Scheduling Revisited. In USENIX Winter ’90, 1990
    198
  4. J K Ousterhout.
    Tcl: An Embeddable Command Language. Proc. 1990 Winter USENIX Conference, 1990
    197
  5. T Saito, T Takahashi.
    Comprehensible rendering of 3-d shapes. In Proceedings of ACM SIGGRAPH, 1990
    196
  6. H Tokuda, T Nakajima, P Rao.
    Real-Time Mach: Towards a Predictable Real-Time System. In Proceedings of USENIX Mach Workshop, 1990
    195
  7. D Hindle.
    Noun classification from predicateargument structures. Proceedings of the 28th Annual Meeting of the Association for Computational Linguistics, 1990
    194
  8. D Callahan, S Carr, K Kennedy.
    Improving register allocation for subscripted variables. In SIGPLAN Conference on Programming Language Design and Implementation, 1990
    192
  9. R Alonso, D Barbara, H Garcia-Molina.
    Data Caching Issues in an Information Retrieval System. ACM--Transactions on Database Systems. BCL, 1990
    191
  10. P Maes, R Brooks.
    Learning to coordinate behaviors. In AAAI-90, 796--802, 1990
    190
  11. A G Barto, R S Sutton.
    Learning and sequential decision making. 1990
    185
  12. M Kearns, R Schapire.
    Efficient distribution-free learning of probabilistic concepts. Proceedings of the 31st Annual Symposium on Foundations of Computer Science, 1990
    182
  13. R Fagin, J Y Halpern, N Megiddo.
    A logic for reasoning about probabilities. Information and Computation, 1990
    180
  14. J Greenwood, B Jovanovic.
    Financial development, growth, and the distribution of income. Journal of Political Economy, 1990
    177
  15. Li Gong, Roger Needham, Raphael Yahalom.
    Reasoning about belief in cryptographic protocols. In Proceedings of 1990 IEEE Symposium on Security and Privacy, 1990
    176
  16. L A Barroso, K Gharachorloo, R McNamara, A Nowatzyk, S Qadeer, B Sano, S Smith, R Stets, B Verghese.
    Piranha: A scalable architecture based on single-chip multiprocessing. in ISCA ’00: Proceedings of the 27th Annual International Symposium on Computer Architecture, 1990
    175
  17. J K Lenstra, D B Shmoys, E Tardos.
    Approximation algorithms for scheduling unrelated parallel machines. Mathematical Programming, 1990
    174
  18. S Pinker, P Bloom.
    Natural language and natural selection. Behavioral and Brain Sciences, 1990
    173
  19. G G Towell, J W Shavlik, Noordewier.
    M.O.: Refinement of approximate domain theories by knowledge-based neural networks. In: Proceedings of the Eighth National Conference on Artificial Intelligence, 1990
    173
  20. Andrzej Trybulec.
    Enumerated sets. Formalized Mathematics, 1990
    173
  21. C Kalmanek, H Kanakia, S Keshav.
    Rate Controlled Servers for Very High-speed Networks. Proc. GlobeCom '90, 1990
    170
  22. J Rompel.
    One-way functions are necessary and sufficient for secure signatures. Proceedings of the 22nd ACM Symposium on Theory of Computing, 1990
    169
  23. B Courcelle.
    The monadic second-order logic of graphs I. Recognizable sets of finite graphs. Information and computation, 1990
    169
  24. F Solina, R Bajcsy.
    Recovery of parametric models from range images: The case for superquadrics with global deformations. IEEE Transactions on Pattern Analysis and Machine Intelligence, 1990
    168
  25. T M Mitchell.
    The Need for Biases in Learning Generalizations. In Readings in Machine Learning Machine Learning; Shavlik, 1990
    167
  26. R A Jacobs, M I Jordan, A Barto.
    Task decomposition through competition in a modular architecture: The what and where in vision tasks. Cognitive Science, 1990
    167
  27. Philip Agre, David Chapman.
    What are Plans For. Robotics and Autonomous Systems — Special Issue on Designing Autonomous Agents, 1990
    167
  28. 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
    166
  29. D Lomet, B Salzberg.
    The hB-Tree: A multiattribute indexing method with good guaranteed performance. ACM Transactions on Database Systems, 1990
    166
  30. Wojciech A Trybulec.
    Partially ordered sets. Formalized Mathematics, 1990
    163
  31. Y LeCun, B Boser, J S Denker, D Henderson, R E Howard, W Hubbard, L D Jackel.
    Handwritten digit recognition with a backpropagation network. In: NIPS’89. 1990
    161
  32. B P MILLER, L FREDRIKSEN, S BRYAN.
    An empirical study of the reliability of UNIX utilities. 1990
    160
  33. David Golub.
    Unix as an Application Program. Proceedings of the USENIX Summer Conference, 1990
    156
  34. P Green.
    Bayesian reconstructions from emission tomography data using a modified EM algorithm. IEEE transactions on medical imaging, 1990
    156
  35. Czeslaw Byli'nski.
    A classical first order language. Formalized Mathematics, 1990
    153
  36. L Hendren.
    Parallelizing Programs with Recursive Data Structures. 1990
    153
  37. Henry F Korth, Eliezer Levy, Abraham Silberschatz.
    A formal approach to recovery by compensating transactions. In The VLDB Journal, 1990
    150
  38. T D Schneider, R M Stephens.
    Sequence logos: a new way to display consensus sequences. Rose & Mian 25 NSF CDI08 Communications Theory Approach to Morphogenesis and Architecture Maintenance, 1990
    149
  39. J A Blakeley, P-A Larson, F W Tompa.
    Updating derived relations: Detecting irrelevant and autonomously computable updates. ACM Trans. on Database Sys, 1990
    149
  40. J D Mackinlay, S K Card, G G Robertson.
    Rapid controlled movement through a virtual 3d workspace. 1990
    148
  41. U Feige, A Shamir.
    Witness Indistinguishable and Witness Hiding Protocols. In Proc. of the 22nd STOC, 1990
    148
  42. Gregory M Papadopoulos, David E Culler.
    Monsoon: an explicit token-store architecture. In The 17th Annual International SymposiumonComputerArchitecture, 1990
    148
  43. R E Kraut, C Egido, J Galegher.
    Patterns of Contact and Communication in Scientific Research Collaboration. Intellectual Teamwork: Social and Technological Foundations of Cooperative Work. Hillsdale, NJ: Lawrence Erlbaum Associates, 1990
    147
  44. M E Pollack, M Ringuette.
    Introducing the Tileworld: Experimentally evaluating agent architectures. In Proceedings of The National Conference on Artificial Intelligence, 1990
    146
  45. J G Snodgrass, M Vanderwart.
    A standardized set of 260 pictures: norms for name agreement, image agreement, familiarity, and visual complexity. Journal of Experimental Psychology: Human Learning and Memory, 1990
    146
  46. Andrzej Trybulec.
    Function domains and Frænkel operator. Journal of Formalized Mathematics, 1990
    146
  47. R J Lipton, J F Naughton, D A Schneider.
    Practical selectivity estimation through adaptive sampling. SIGMOD Rec, 1990
    146
  48. M-Y Wu, D D Gajski.
    Hypertool: A Programming Aid for Message-Passing Systems. IEEE Trans. Parallel and Distributed Systems, 1990
    146
  49. Robert M Gray.
    Entropy and Information Theory. 1990
    145
  50. G J Klinker, S A Shafer, T Kanade.
    A physical approach to color image understanding. IJCV, 1990
    145
  51. Alex Acero.
    Acoustical and Environmental Robustness in Automatic Speech Recognition. 1990
    142
  52. D Zeilberger.
    A holonomic systems approach to special functions identities. J. Comput. Appl. Math, 1990
    141
  53. Konrad Raczkowski, Paweł Sadowski.
    Topological properties of subsets in real numbers. Formalized Mathematics, 1990
    141
  54. Eduard H Hovy.
    Pragmatics and natural language generation. Artificial Intelligence, 1990
    140
  55. M P Consens, A O Mendelzon.
    GraphLog: A Visual Formalism for Real Life Recursion. Proceedings of 9th ACM SIGACT-SIGMOD Symposium on Principles of Database Systems, 1990
    140
  56. J Widom, S J Finkelstein.
    Set-oriented production rules in relational database systems. In Proceedings of the ACM SIGMOD International Conference on Management of Data, 1990
    140
  57. L Schubert.
    Monotonic solution of the frame problem in situation calculus. Knowledge Representation and Defeasible Reasoning, 1990
    138
  58. S Baruah, L Rosier, R Howell.
    Algorithms and complexity concerning the preemptive scheduling of periodic real-time tasks on one processor. The Journal of Real-Time Systems, 1990
    137
  59. C A Gunter, D S Scott.
    Semantic Domains. Handbook of Theoretical Computer Science, 1990
    136
  60. Bernhard Nebel.
    Terminological reasoning is inherently intractable. Artif. Intell, 1990
    136
  61. J J Grefenstette, C L Ramsey, A C Schultz.
    Learning sequential decision rules using simulation models and competition. Machine Learning, 1990
    135
  62. P M Melliar-Smith, L E Moser, V Agrawala.
    Broadcast protocol for distributed systems. IEEE Trans. on Parallel and Distributed Syst, 1990
    135
  63. R Morrison, A L Brown, R C H Connor, Q I Cutts, G N C Kirby, A Dearle, J Rosenberg, D Stemple.
    Protection in Persistent Object Systems. In, 1990
    134
  64. S Ben-David, A Borodin, R Karp, G Tardos, A Wigderson.
    On the power of randomization in on-line algorithms. In Proceedings of the 22 nd Symposium on Theory of Computing, 1990
    131
  65. B Berliner.
    CVS II: Parallelizing Software Development. In Proceedings of the USENIX Winter Technical Conference, 1990
    130
  66. D Baraff.
    Curved surfaces and coherence for non-penetrating rigid body simulation. Comput. Graph. (Proc. SIGGRAPH, 1990
    130
  67. R Harper, J C Mitchell, E Moggi.
    Higher-order modules and the phase distinction. In POPL ’90: Proceedings of the 17th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1990
    129
  68. P Foldiak.
    Forming sparse representations by local anti-hebbian learning. Biological Cybernetics, 1990
    126
  69. David A Mix Barrington, Neil Immerman, Howard Straubing.
    On uniformity within NC. Journal of Computer and System Sciences, 1990
    126
  70. P M Chen, D A Patterson.
    Maximizing Performance in a Striped Disk Array. In Proceedings of the 17th Annual International Symposium on Computer Architecture, 1990
    125
  71. R Mirollo, S Strogatz.
    Synchronization of pulse-coupled biological oscillators. SIAM J. Applied Math, 1990
    125
  72. Teodor Przymusinski.
    Well-founded semantics coincides with three-valued stable semantics. Fundamenta Informatica XIII. Logic and Databases, 1990
    124
  73. A Podgurski, L A Clarke.
    A formal model of program dependences and its implications for software testing, debugging, and maintenance. IEEE TSE, 1990
    124
  74. N Max, P Hanrahan, R Crawfis.
    Area and volume coherence for efficient visualization of 3D scalar functions. Computer Graphics (Proceedings of ACM SIGGRAPH, 1990
    123
  75. S M Weiss, I Kapouleas.
    An empirical comparison of pattern recognition, neural nets and machine learning classification methods. in Readings in Machine Learning, 1990
    123
  76. D H Bailey.
    FFTs in external or hierarchical memory. in The International Conference for High Performance Computing, Networking, Storage, and Analysis (SC, 1990
    122
  77. P Wadler.
    Linear Types Can Change the World. IFIP TC 2 Working Conference on Programming Concepts and Methods, 1990
    121
  78. B Chandrasekaran.
    Design Problem Solving: A Task Analysis. AI Magazine, Winter, 1990
    121
  79. Anthony J McAuley.
    Reliable Broadband Communication Using a Burst Erasure Correcting Code. ACM SIGCOMM, 1990
    120
  80. J Bloomenthal, B Wyvill.
    Interactive techniques for Implicit Modeling. Computer Graphics (Proc. of SIGGRAPH, 1990
    120
  81. D Saccà, C Zaniolo.
    Stable Models and Non-Determinism in Logic Programs with Negation. In PODS, 1990
    117
  82. M Felleisen.
    On the expressive power of programming languages. ESOP '90 3rd European Symposium on Programming, 1990
    116
  83. Craig Chambers, David Ungar.
    Iterative type analysis and extended message splitting: Optimizing dynamically-typed object-oriented programs. In Proceedings of the SIGPLAN '90 Conference on Programming Language Design and Implementation (White Plains, 1990
    116
  84. B K P Horn.
    Relative orientation. International Journal of Computer Vision, 1990
    115
  85. R Pike, D Presotto, K Thompson, H Trickey.
    Plan 9 from Bell Labs. in Proceedings of the Summer 1990 UKUUG Conference, 1990
    115
  86. Czesław Byliński.
    The sum and product of finite sequences of real numbers. Formalized Mathematics, 1990
    114
  87. Jarosław Kotowicz.
    Convergent sequences and the limit of sequences. Formalized Mathematics, 1990
    114
  88. J Aspnes, M Herlihy.
    Fast randomized consensus using shared memory. Journal of Algorithms, 1990
    114
  89. H AND TADMOR NESSYAHU, E.
    Non-oscillatory central differencing for hyperbolic conservation laws. J. Computat. Phys, 1990
    114
  90. J M Vlissides, M A Linton.
    Unidraw: A Framework for Building Domain-Specific Graphical Editors. In ACM Transactions on Information Systems, 1990
    113
  91. R G Guy, J S Heidemann, W Mak, T W Page, G J Popek, D Rothmeier.
    Implementation of the Ficus replicated file system. Proceedings of the Summer USENIX Conference, 1990
    112
  92. John K Bennett, John B Carter, Willy Zwaenepoel.
    Adaptive Software Cache Management for Distributed Shared Memory. In Proceedings of the 17th Annual International Symposium on Computer Architecture, 1990
    112
  93. Czesław Byliński.
    Basic functions and operations on functions. Formalized Mathematics, 1990
    112
  94. S Sato, M Nagao.
    Toward Memory-Based Translation. In Proceedings of the 13th Conference on Computational Linguistics (COLING-90, 1990
    112
  95. T W Malone, K Crowston.
    What is Coordination Theory and how can it help design cooperative systems. Proceedings CSCW’90, 1990
    112
  96. M Wiener.
    Cryptanalysis of short RSA secret exponents. IEEE Transactions on Information Theory, 1990
    111
  97. P P Shenoy.
    Axioms for probability and belief-function propagation. Lemmer (eds), Uncertainty in Artificial Intelligence 4, 1990
    110
  98. S M Bellovin, M Merritt.
    Limitations of the kerberos authentication system. ACM SIGCOMM Computer Communication Review, 1990
    110
  99. A WOO, P POULIN, A FOURNIER.
    A Survey of Shadow Algorithms. IEEE Computer Graphics & Applications, 1990
    110
  100. H Hsiao, D DeWitt.
    Chained Declustering: A New Availability Strategy for Multiprocessor Database. Machines,” Proceedings of the International Data Engineering Conference, 1990
    109