Most Cited Computer Science Articles

This list is generated from documents in the CiteSeerx database as of May 20, 2012. 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
  1. S V Adve, K Gharachorloo.
    Shared memory consistency models: A tutorial. IEEE Comp, 1996
    284
  2. J P Marques-Silva, K A Sakallah.
    GRASP – a New Search Algorithm for Satisfiability. In International Conference on Computer-Aided Design, 1996
    282
  3. Mooly Sagiv, Thomas Reps, Reinhard Wilhelm.
    Solving shape-analysis problems in languages with destructive updating. In POPL ’96: Proceedings of the 23rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1996
    282
  4. N FOSTER, METAXAS.
    D.: Realistic animation of liquids. In The Proceedings of Graphics Interface, 1996
    282
  5. M Bellare, P Rogaway.
    The exact security of digital signatures – How to sign with RSA and Rabin. in Advances in Cryptology – EUROCRYPT’96, ser. Lecture Notes in Computer Science, 1996
    281
  6. K Perlin, A Goldberg.
    Improv: A System for Scripting Interactive Actors in Virtual Worlds. Computer Graphics, 1996
    279
  7. Ashok Erramilli, Onuttom Narayan, Walter Willinger.
    Experimental queueing analysis with long-range dependent packet traffic. IEEE/ACM Transactions on Networking, 1996
    276
  8. K S McKinley, S Carr, C-W Tseng.
    Improving Data Locality with Loop Transformations. ACM Transactions on Programming Languages and Systems, 1996
    273
  9. R Rubinfeld, M Sudan.
    Robust characterization of polynomials with applications to program testing. Cornell University, 1996
    271
  10. H S Nwana.
    Software agents: An overview. Knowledge Engineering Review, 1996
    269
  11. M Pazzani, J Muramatsu, D Billsus.
    Syskill & Webert: Identifying interesting web sites. Proceedings of the Fourteenth National Conference on Artificial Intelligence, 1996
    266
  12. Eric Rotenberg, Steve Bennett, James E Smith.
    Trace cache: a low latency approach to high bandwidth instruction fetching. In MICRO 29: Proceedings of the 29th annual ACM/IEEE international symposium on Microarchitecture, 1996
    265
  13. M H Lipasti, J P Shen.
    Exceeding the dataflow limit via value prediction. in MICRO-29. pp, 1996
    263
  14. C Huitema.
    Routing in the Internet. 1996
    263
  15. D C Plaut, J L McClelland, M S Seidenberg, K Patterson.
    Understanding normal and impaired word reading: Computational principles in quasi-regular domains. Psychological Review, 1996
    261
  16. D M Gavrila, L S Davis.
    3-D Model-Based Tracking of Humans in Action: A Multiview Approach. Proc. Conf. Computer Vision and Pattern Recognition, 1996
    260
  17. Steven Abney.
    Partial parsing via finite-state cascades. Journal of Natural Language Engineering, 1996
    257
  18. Cédric Fournet, Georges Gonthier, Jean-Jacques Lévy, Luc Maranget, Didier Rémy.
    A calculus of mobile agents. In CONCUR ’96, LNCS 1119, 1996
    248
  19. J R Quinlan.
    Bagging, boosting, and C4.5. In Proceedings of the Thirteenth National Conference on Artificial Intelligence (AAAI-96, 1996
    245
  20. J A Sethian, Level.
    Set Methods and Fast Marching Methods: Evolving. Interfaces in Computational Geometry, Fluid Mechanics, Computer Vision and Materials Sciences, 1996
    242
  21. R Alur, T Henzinger, P-H Ho.
    Automatic symbolic verification of embedded systems. IEEE Transactions on Software Engineering, 1996
    242
  22. H Casanova, J Dongarra.
    Netsolve : A network server for solving computational science problems. In Proceedings of Super-Computing -Pittsburg, 1996
    239
  23. R Dechter.
    Bucket elimination: A unifying framework for probabilistic inference. Proc. of the Twelfth Conference Uncertainty in Arti cial Intelligence 211{219, 1996
    238
  24. M I Seltzer, Y Endo, C Small, K A Smith.
    Dealing with disaster: Surviving misbehaved kernel extensions. In OSDI, 1996
    238
  25. M Shreedhar, George Varghese.
    Efficient fair queuing using deficit round robin. IEEE/ACM Transactions On Networking, 1996
    237
  26. V Padmanabhan, J Mogul.
    Using predictive prefetching to improve World Wide Web latency. ACM SIGCOMM Computer Communication Review, 1996
    236
  27. C Boutilier, N Friedman, M Goldszmidt, D Koller.
    Context-specific independence in Bayesian Networks. In UAI, 1996
    235
  28. A O Mendelzon, G A Mihaila, T Milo.
    Querying the World Wide Web. In DIS, 80–91, 1996
    234
  29. R Gerth, D Peled, M Y Vardi, P Wolper.
    Simple on-the-fly automatic verification of linear temporal logic. Proceedings of the 15th International Symposium on Protocol Specification, Testing, and Verification, volume 38 of IFIP Conference Proceedings, 1996
    233
  30. I M Leslie, D McAuley, R Black, T Roscoe, P Barham, D Evers, R Fairbairns, E Hyden.
    The design and implementation of an operating system to support distributed multimedia applications. IEEE Journal on Selected Areas in Communications, 1996
    232
  31. V R Basili, L C Briand, W L Melo.
    A Validation of Object-Oriented Design Metrics as Quality Indicators. IEEE TSE, 1996
    231
  32. Y Arens, C A Knoblock, W-M Shen.
    Query reformulation for dynamic information integration. Journal of Intelligent Information Systems, 1996
    228
  33. J C Shafer, R Agrawal, M Mehta.
    Sprint: A scalable parallel classifier for data mining. In VLDB, 1996
    228
  34. J Cowie, W Lehnert.
    Information Extraction. Centre for Computational, 1996
    225
  35. J C R Bennett, H Zhang.
    WF2Q: worst-case fair weighted fair queueing. in Proc. IEEE INFOCOM, 1996
    225
  36. D Dolev, D Malki.
    The Transis approach to highavailability cluster communication. In Communications of the ACM, 1996
    225
  37. M W Hall, J M Anderson, S P Amarasinghe, B R Murphy, S-W Liao, E Bugnion, M S Lam.
    Maximizing multiprocessor performance with the suif compiler. Computer, 1996
    224
  38. B Pierce, D Sangiorgi.
    Typing and subtyping for mobile processes. Mathematical Structures in Computer Science, 1996
    224
  39. W Chen, D S Warren.
    Tabled Evaluation with Delaying for General Logic Programs. Journal of the ACM, 1996
    223
  40. P Pirolli, J Pitkow, R Rao.
    Silk from a sow’s ear: extracting usable structures from the web. in Proceedings of the SIGCHI conference on Human factors in computing systems: common ground, ser. CHI ’96, 1996
    223
  41. C Daws, A Olivero, S Tripakis, S Yovine.
    The tool KRONOS. In Proceedings of the DIMACS/SYCON Workshop on Hybrid Systems III: Verification and Control, 1996
    222
  42. Jeffrey Scott Vitter, P Krishnan.
    Optimal prefetching via data compression. J. ACM, 1996
    222
  43. P Flajolet, R Sedgewick.
    An introduction to the Analysis of Algorithms. 1996
    222
  44. A J Hunt, A W Black.
    Unit selection in a concatenative speech synthesis system using a large speech database. in Proceedings of IEEE Int. Conf. Acoust., Speech, and Signal Processing, 1996
    222
  45. N Economides.
    The economics of networks. International Journal of Industrial Organization, 1996
    219
  46. D Tarditi, G Morrisett, P Cheng, C Stone, R Harper, P Lee.
    TIL: A typedirected optimizing compiler for ML. In Proc. ACM SIGPLAN ’96 Conference on Programming Language Design and Implementation, 1996
    219
  47. Catherine Meadows.
    The NRL Protocol Analyzer: An overview. Journal of Logic Programming, 1996
    219
  48. U Fayyad, G Piatetsky-Shapiro, P Smith.
    The KDD Process for Extracting Useful Knowledge from Volumes of Data. Communications of the ACM, 1996
    218
  49. Richard Szeliski.
    Video mosaics for virtual environments. IEEE Computer Graphics and Applications, 1996
    218
  50. P LINDSTROM, D KOLLER, W RIBARSKY, L F HODGES, N FAUST, G A TURNER.
    Real-time, continuous level of detail rendering of height fields. In SIGGRAPH 96, 1996
    218
  51. A Albanese, J Blomer, J Edmonds, M Luby, M Sudan.
    Priority encoding transmission. IEEE Trans. on Information Theory, 1996
    217
  52. R J van Glabbeek, W P Weijland.
    Branching Time and Abstraction in Bisimulation Semantics. Journal of the ACM, 1996
    216
  53. D Lewis, R Schapire, J Callan, R Papka.
    Training algorithms for linear text classifiers. 1996
    215
  54. S Chua, A Goldsmith.
    Variable-rate variable-power MQAM for fading channels. IEEE Vehicular Technology Conference - VTC’96, 1996
    211
  55. V Poosala, P J Haas, Y E Ioannidis, E J Shekita.
    Improved histograms for selectivity estimation of range predicates. In SIGMOD, 1996
    210
  56. Kenneth P Birman.
    Building Secure and Reliable Network Applications. Manning Publications and, 1996
    209
  57. R C Zeleznik, K P Herndon, J F Hughes.
    SKETCH: an interface for sketching 3D scenes. In Proceedings of ACM SIGGRAPH, 1996
    209
  58. I Katzela, S Naghshineh.
    Channel assignment schemes for cellular mobile telecommunication systems: A comprehensive survey. IEEE Personal Communications, 1996
    207
  59. David Mosberger, Larry L Peterson.
    Making paths explicit in the Scout operating system. in Proceedings of the 2nd USENIX Symposium on Operating Systems Design and Implementation (OSDI, 1996
    207
  60. L E Moser, P M Melliar-Smith, D A Agarwal, R K Budhia, C A Lingley-Papadopoulos.
    Totem: A fault-tolerant multicast group communication system. Communications of the ACM, 1996
    206
  61. D Scales, K Gharachorloo, C Thekkath.
    Shasta: A low overhead, software-only approach for supporting fine-grain shared memory. ACM SIGOPS Operating Systems Review, 1996
    205
  62. T Hastie, R Tibshirani.
    Discriminant adaptive nearest neighbor classification. IEEE Transactions on Pattern Analysis and Machine Intelligence, 1996
    205
  63. M Sipser, D A Spielman.
    Expander codes. IEEE Trans. Info. Theory, 1996
    205
  64. F M Donini, M.
    Reasoning in description logics. In G. Brewka (ed.): Principles of Knowledge Representation, 1996
    203
  65. I Foster, C Kesselman, Tuecke.
    S.: The Nexus approach to integrating multithreading and communication. Journal of Parallel and Distributed Computing, 1996
    203
  66. A Fox, S D Gribble, E A Brewer, E Amir.
    Adapting to network and client variability via on-demand dynamic distillation. In ASPLOS, 1996
    202
  67. N Friedman, M Goldszmidt.
    Learning Bayesian networks with local structure. in Proceedings of the Twelfth Annual Conference on Uncertainty in Artificial Intelligence, 1996
    202
  68. Michael Moortgat.
    Categorial type logics. In Handbook of Logic and Language, 1996
    201
  69. S M SEITZ, C R DYER.
    View morphing. In Proc. ACM SIGGRAPH 96, ACM, 1996
    201
  70. U M Fayyad, G Piatetsky-Shapiro, P Smyth.
    From data mining to knowledge discovery in databases. AI Magazine, 1996
    200
  71. D J C MacKay, R M Neal.
    Near Shannon limit performance of low density parity check codes. Electronic Letters, 1996
    199
  72. Hwee Tau Ng, Hian Beng Lee.
    Integrating multiple knowledge sources to disambiguate word senses: An exemplar-based approach. In Proceedings 34th Annual Meeting of the ACL-1996, 1996
    199
  73. T Lee.
    Image representation using 2D Gabor wavelets. IEEE Transactions on pattern analysis and machine intelligence, 1996
    198
  74. H Mühlenbein, G Paaß.
    From recombination of genes to the estimation of distributions I. binary parameters. in Proc. 4th Int. Conf. Parallel Problem Solving From Nature, 1996
    198
  75. R Agrawal, J C Shafer.
    Parallel mining of association rules. IEEE Transactions on Knowledge and Data Engineering, 1996
    198
  76. M Yajnik, J Kurose, D Towsley.
    Packet loss correlation in the MBone multicast network. in IEEE Global Internet Conference, 1996
    197
  77. S Harrison, P Dourish.
    Re-Place-ing Space: the Roles of Place and Space in Collaborative Systems. In CSCW '96: Proceedings of the 1996 ACM conference on Computer supported cooperative work, pp 67-76, 1996
    196
  78. E Charniak.
    Treebank Grammars. Proceedings of the Thirteenth National Conference on Artificial Intelligence (AAAI-96, 1996
    196
  79. N Minar, R Burkhart, C Langton, M Askenazi.
    The Swarm simulation system: a toolkit for building multi-agent simulations. Working Paper 96-06-042. Santa Fe, NM: Santa Fe Institute, 1996
    196
  80. D Lee, M Yannakakis.
    Principles and Methods of Testing Finite State Machines - A Survey. Proceedings of the IEEE, 1996
    195
  81. S Benedetto, G Montorsi.
    Unveiling turbo codes: some results on parallel concatenated coding schemes. IEEE Trans. Inf. Theory, 1996
    195
  82. Jason Eisner.
    Three new probabilistic models for dependency parsing: An exploration. In Proceedings of COLING, 1996
    193
  83. S Owre, S Rajan, J Rushby, N Shankar, M Srivas.
    PVS: Combining specification, proof checking, and model checking. CAV ’96, LNCS 1102, 411–414, July/August, 1996
    193
  84. P Amestoy, T A Davis, I S Duff.
    An approximate minimum degree ordering algorithm. SIAM J. Matrix Anal. Appl, 1996
    193
  85. S Baruah, N K Cohen, C G Plaxton, D A Varvel.
    Proportionate progress: a notion of fairness in resource allocation. Algorithmica, 1996
    193
  86. C L Heitmeyer, R D Jeffords, B G Labaw.
    Automated consistency checking of requirements specifications. ACM Transactions on Software Engineering and Methodology, 1996
    192
  87. Zoubin Ghahramani, Geoffrey E Hinton.
    The EM algorithm for mixtures of factor analyzers. 1996
    192
  88. K Park, G Kim, M Crovella.
    On the relationship between file sizes, transport protocols, and self-similar network traffic. In International Conference on Network Protocols, 1996
    192
  89. Matthew Jackson, Asher Wolinsky.
    A strategic model of social and economic networks. Journal of Economic Theory, 1996
    192
  90. R Gonzalez, M Horowitz.
    Energy dissipation in general purpose microprocessors. IEEE Journal of Solid-State Circuits, 1996
    191
  91. S Agarwal, R Agrawal, P Deshpande, A Gupta, J Naughton, R Ramakrishnan, S Sarawagi.
    On the computation of multidimensional aggregates. In VLDB, 1996
    190
  92. A Silberschatz, A Tuzhilin.
    What makes patterns interesting in knowledge discovery systems. IEEE Trans. On Knowledge And Data Engineering, 1996
    190
  93. D Floreano, F Mondada.
    Evolution of homing navigation in a real mobile robot. IEEE Trans. on Systems, Man, and Cybernetics - Part B: Cybernetics, 1996
    189
  94. S Wilton, N Jouppi.
    Cacti: An enhanced cache access and cycle time model. IEEE Journal of Solid-State Circuits, 1996
    188