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. C Sims, J Stock, M Watson.
    Inference in Linear Time Series Models with Some Unit Roots. Econometrica, 1990
    252
  2. T Griffin.
    A formulae-as-types notion of control. In Proceedings of the 17th Annual ACM Symposium on Principles Of Programming Languages (POPL’90), Orlando (Fla., USA, 1990
    250
  3. H Turtle, B W Croft.
    Inference networks for document retrieval. In Proceedings SIGIR’90, pp, 1990
    246
  4. M Naor.
    Bit commitment using pseudo-randomness. In Proceedings of Advances in Cryptology (CRYPTO'90, 1990
    246
  5. Samson Abramsky.
    The lazy lambda calculus. Research Topics in Functional Programming, 1990
    244
  6. J Dewitt, S Ghandeharizadeh D, A Schneider, A Bricker D, I Hsiao, H, R Rasmussen.
    The gamma database machine project. IEEE Trans. on Knowl. and Data Eng, 1990
    244
  7. D R SMITH.
    KIDS: A semiautomatic program development system. IEEE Trans. Softw. Eng, 1990
    243
  8. Martha E Pollack.
    Plans as Complex Mental Attitudes. In, 1990
    243
  9. Grzegorz Bancerek.
    König’s theorem. Formalized Mathematics, 1990
    240
  10. T Saito, T Takahashi.
    Comprehensible rendering of 3-D shapes. In Computer Graphics (Proceedings of ACM SIGGRAPH 90, 1990
    240
  11. J Airey, J Rohlf, F Brooks.
    Towards Image Realism with Interactive Update Rates in Complex Virtual Building Environments. Computer Graphics (1990 Symposium on Interactive 3D Graphics, 1990
    238
  12. Peter Shirley, Allan Tuchman.
    A polygonal approximation to direct scalar volume rendering. In Computer Graphics (San Diego Workshop on Volume Visualization, 1990
    237
  13. Sarita V Adve, Mark D Hill.
    Weak ordering - A new definition. In Proceedings of the 17th Annual International Symposium on Computer Architecture, 1990
    235
  14. D Ferrari.
    Client Requirements for Real-Time Communication Services. IEEE Communications, 1990
    231
  15. H Nessyahu, E Tadmor.
    Non-oscillatory central differencing for hyperbolic conservation laws. J. Comput. Phys, 1990
    229
  16. R E Mirollo, S H.
    Strogatz: Synchronization of Pulse-coupled Biological Oscillators. SIAM J. Appl. Math, 1990
    228
  17. P R Pintrich, E V De Groot.
    Motivational and self-regulated learning component of classroom academic performance. Journal of Educational Psychology, 1990
    227
  18. J Mylopoulos, A Borgida, M Jarke, M Koubarakis.
    Telos: Representing Knowledge About Information Systems. ACM Transactions on Information Systems (TOIS, 1990
    222
  19. B P Miller, L Fredriksen, B So.
    An empirical study of the reliability of unix utilities. Commun. ACM, 1990
    220
  20. Pattie Maes, Rodney A Brooks.
    Learning to coordinate behaviors. In Proceed- ings of the Eighth National Conference on Artificial Intelligence, 1990
    217
  21. Margo I Seltzer, Peter M Chen, John K Ousterhout.
    Disk Scheduling Revisited. In Proceedings of the Winter 1990 USENIX Technical Conference, 1990
    216
  22. R M Dreizler, E Gross, U K.
    Density Functional Theory. 1990
    215
  23. R M Gray.
    Entropy and information theory. 1990
    214
  24. S Ceri, J Widom.
    Deriving production rules for constraint maintainance. In VLDB 90. 566–577, 1990
    213
  25. A S Tanenbaum, R van Renesse, H van Staveren, G Sharp, S Mullender, J Jansen, G van Rossum.
    Experiences with the Amoeba distributed operating system. Communications of the ACM, 1990
    212
  26. Brad A Myers, Dario Giuse, Roger B Dannenberg, Brad Vander Zanden, David S Kosbie, Edward Pervin, Andrew Mickish, Phillipe Marchal.
    Garnet: comprehensive support for graphical, highly interactive user interfaces. IEEE Computer, 1990
    212
  27. D Callahan, S Carr, K Kennedy.
    Improving register allocation for subscripted variables. In Proceedings of the SIGPLAN ’90 Conference on Programming Language Design and Implementation, 1990
    211
  28. P Milgrom, J Roberts.
    Rationalizability, learning, and equilibrium in games with strategic complementarities. Motta M., “Competition Policy, Theory and Practice, 1990
    211
  29. B Nebel.
    Reasoning and revision in hybrid representation systems. Lecture Notes in Artificial Intelligence, 1990
    210
  30. J 52Reeds, R Shepp.
    Optimal Paths for a Car That Goes Both Forwards and Backwards,” Paci c. Journal of Mathematics, 1990
    207
  31. John Rompel.
    One-way functions are necessary and sufficient for secure signatures. In Proceedings of the Twenty Second Annual ACM Symposium on Theory of Computing, 1990
    206
  32. Li Gong, Roger Needham, Raphael Yahalom.
    Reasoning About Belief in Cryptographic Protocols. Proceedings 1990 IEEE Symposium on Research in Security and Privacy, 1990
    206
  33. H Tokuda, T Nakajima, T Rao.
    Real-time mach: Towards predictable real-time systems. In Proceedings of the USENIX Mach Workshop, 1990
    203
  34. A Blum, R L Rivest.
    Training a 3-node neural network is NP-complete. in Advances in Neural Information Processing Systems 2 (D.S. Touretzky, 1990
    202
  35. F Solina, R Bajcsy.
    Recovery of parametric models from range images: The case for superquadrics with global deformations. IEEE Trans. Pattern Anal. Mach. Intell, 1990
    200
  36. A Barto, R Sutton, C Watkins.
    Learning and sequential decision making. in Learning and Computational Neuroscience, MIT Press,Cambridge, 1990
    200
  37. R Alonso, D Barbara, H Garcia-Molina.
    Data caching issues in an information retrieval system. ACM TODS, 1990
    199
  38. D N Osherson, E E Smith, O Lopez Wilkie, A, E Shafir.
    Category-Based Induction. Psychological Review, 1990
    193
  39. N Nisan.
    Pseudorandom generator for space bounded computation. in `Proceedings of the 22nd Symposium on Theory of Computing (STOC, 1990
    191
  40. S J Mullender, G van Rossum, A S Tanenbaum, R van Renesse, H van Staveren.
    Amoeba: A Distributed Operating System for the 1990s. IEEE Computer, 1990
    191
  41. D B Lomet, B Salzberg.
    The hB-tree: A multiattribute indexing method with good guaranteed performance. ACM Transactions on Database Systems, 1990
    191
  42. P E Agre, D Chapman.
    What are plans for. Also appeared in Special Issue of Robotics and Autonomous Systems, 1990
    190
  43. Alberto Alesina, Guido Tabellini.
    A Positive Theory of Fiscal Deficits and Government Debt. Review of Economics Studies, 1990
    187
  44. V Bernard, J Thomas.
    Evidence that stock prices do not fully reflect the implications of current earnings for future earnings. Journal of Accounting and Economics, 1990
    187
  45. Martha Pollack, Marc Ringuette.
    Introducing the Tileworld: experimentally evaluating agent architectures. Proceedings of AAAI’90. AAAI Press, Menlo Park, CA, 1990
    183
  46. L F Katz, B D Meyer.
    The Impact of the Potential Duration of Unemployment Benefits on the Duration of Unemployment. Journal of Public Economics, 1990
    180
  47. M Wu, D D Gajski.
    Hypertool: A Programming Aid for Message-Passing Systems. IEEE Tran. on Parallel and Distributed Systems, 1990
    180
  48. G J Klinker, S A Shafer, T Kanade.
    A Physical Approach to Color Image Understanding. International Journal of Computer Vision, 1990
    179
  49. Andrzej Trybulec.
    Enumerated sets. Formalized Mathematics, 1990
    179
  50. E S Spelke.
    Priciples of object perception. Cognitive Science, 1990
    177
  51. D Zeilberger.
    A holonomic systems approach to special functions identities. J. Comput. Appl. Math, 1990
    177
  52. M P Consens, A O Mendelzon.
    Graphlog: a Visual Formalism for Real Life Recursion. Proc. ACM Symposium on Principles of Database Systems, 1990
    175
  53. J Mackinlay, S Card, G Robertson.
    Rapid controlled movement through a virtual 3d workspace. Computer Graphics (SIGGRAPH '90 Proceedings, 1990
    174
  54. U Feige, A Shamir.
    Witness Indistinguishability and Witness Hiding Protocols. In 22nd STOC, 1990
    174
  55. David B Golub, Randall W Dean, Alessandro Forin, Richard F Rashid.
    Unix as an application program. In USENIX Summer, 1990
    170
  56. Laurie J Hendren, Alexandru Nicolau.
    Parallelizing programs with recursive data structures. IEEE Transactions on Parallel and Distributed Systems, 1990
    168
  57. G M Papadopoulos, D E Culler.
    Monsoon: an Explicit Token-Store Architecture. In Proceedings oj the 17th Annual International Symposium on Computer Architecture, 1990
    168
  58. T W Malone, K Crowston.
    What is coordination theory and how can it help design cooperative work systems. in Proc. CSCW ’90, 1990
    168
  59. A W Lo, A C MacKinlay.
    Data-snooping biases in tests of financial asset pricing models. Review of Financial Studies, 1990
    167
  60. J Van Huyck, R Battalio, R Beil.
    Tacit coordination games, strategic uncertainty and coordination failure. American Economic Review, 1990
    166
  61. Wojciech A Trybulec.
    Partially ordered sets. MML: ORDERS 1, 1990
    164
  62. A Valmari.
    Stubborn sets for reduced state space generation. In Proceedings of the 10th International Conference on Applications and Theory of Petri Nets: Advances in Petri Nets, 1990
    163
  63. H F Korth, E Levy, A Silberschatz.
    A formal approach to recovery by compensating transactions. 1990
    163
  64. S K BARUAH, A K MOK, L ROSIER.
    Preemptively scheduling hard-real-time sporadic tasks on one processor. in Proc. of the Real-Time Systems Symposium, 1990
    162
  65. E Peli.
    Contrast in complex images. J. Opt. Soc. Am, 1990
    161
  66. Kourosh Gharachorloo, Anoop Gupta, John Hennessy.
    Performance evaluation of memory consistency models for shared-memory microprocessors. In Proceedings of the 17th Annual International Symposium on Computer Architecture, 1990
    161
  67. X Lai, J Massey.
    A proposal for a new block encryption standard. Advances in Cryptology—Eurocrypt ’90, 1990
    161
  68. C A Gunter, D S Scott.
    Semantic domains. Handbook of Theoretical Computer Science, Vol. B, Formal Models and Semantics, Elsevier, 1990
    159
  69. Paul Haeberli, Kurt Akeley.
    The accumulation buffer: hardware support for high-quality rendering. SIGGRAPH ’90: Proceedings of the 17th annual conference on Computer graphics and interactive techniques, ACM, 1990
    158
  70. M B McElroy.
    The empirical content of Nash bargained household behaviour. Journal of Human Resources, 1990
    158
  71. William C Croft.
    Typology and Universals. 1990
    157
  72. R Lipton, J Naughton, D Schneider.
    Practical selectivity estimation through adaptive sampling. In Proc. ACM SIGMOD Int’l Conf. on Management of Data, 1990
    156
  73. Czes̷law Byliński.
    A classical first order language. Formalized Mathematics, 1990
    153
  74. P Földiák.
    Forming sparse representations by local anti-Hebbian learning. Biological Cybernetics, 1990
    152
  75. R Gibbons, K Murphy.
    Relative performance evaluation for chief executive officers. Industrial and Labor Relations Review, 1990
    152
  76. Andrei Shleifer, Lawrence Summers.
    The Noise Trader Approach to Finance. Journal of Economic Perspectives, 1990
    151
  77. Konrad Raczkowski, Paweł Sadowski.
    Topological properties of subsets in real numbers. Formalized Mathematics, 1990
    150
  78. A M Treisman, S Sato.
    Conjunction search revisited. Journal of Experimental Psychology Human Perception and Performance, 1990
    149
  79. M J Wiener.
    Cryptanalysis of short RSA secret exponents. IEEE Trans. Information Theory, 1990
    148
  80. Andrzej Trybulec.
    Function domains and Frænkel operator. Formalized Mathematics, 1990
    148
  81. B Chandrasekaran.
    Design problem solving: A task analysis. AI Magazine, 1990
    147
  82. J J Grefenstette, C L Ramsey, A C Schultz.
    Learning sequential decision rules using simulation models and competition. Machine Learning, 1990
    146
  83. A J McAuley.
    Reliable Broadband Communications using a Burst Erasure Correcting Code. In Proceedings of ACM SIGCOMM, 1990
    144
  84. RBI Staff Studies Engle, F Robert, V K Ng, M Rothschild.
    Asset Pricing with a Factor-ARCH Covariance Structure. Journal Of Econometrics, 1990
    144
  85. A Podgurski, L Clarke.
    A formal model of program dependences and its implications for software testing, debugging, and maintenance. IEEE Transactions on Software Engineering, 1990
    144
  86. David Baraff.
    Curved surfaces and coherence for non-penetrating rigid body simulation. In Computer Graphics (SIGGRAPH 90 Proceedings, 1990
    144