Most Cited Computer Science Citations
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
-
Theory of Linear and Integer Programming 19861171
-
Properties of subsets. Formalized Mathematics, 19901168
-
Fundamentals of speech recognition PrenticeHall, Inc., Upper Saddle River, 19931162
-
The Evolution of Cooperation. 19841160
-
Space/Time Trade-offs in Hash coding with Allowable Errors. Comm. of the ACM, 19701157
-
Collective dynamics of ’small-world’ networks Nature, 19981155
-
A course in game theory 19941151
-
Self-Organization and Associative Memory 19841149
-
Unified Theories of Cognition 19901147
-
A performance comparison of multi-hop wireless ad hoc network routing protocols. in Mobile Computing and Networking, 19981145
-
Logic and conversation Eds.), Syntax and Semantics, 3: Speech Acts, 19751144
-
Cluster analysis and display of genome-wide expression patterns Proc. Natl Acad. Sci. USA, 19981138
-
An Introduction to Genetic Algorithms 19981133
-
Wireless Communications: Principles and Practice Prentice-Hall, Inc., Upper Saddle River, 20011129
-
Security architecture for the Internet protocol. RFC 2401, Internet Engineering Task Force, 19981128
-
Reinforcement learning: A survey. Journal of Artificial Intelligence Research, 19961127
-
The Model Checker SPIN. Special issue on Formal Methods in Software Practice, 19971126
-
The magical number seven plus or minus two: Some limits on our capacity for processing information Psychological Review, 19561125
-
Learning from Delayed Rewards 19891125
-
Program slicing IEEE Transactions on Software Engineering, 19841124
-
Color indexing. International Journal of Computer Vision, 19911122
-
Practical Optimization 19811121
-
The C Programming Language. 19881120
-
The Finite Element Method for Elliptic Problems of Studies in Mathematics and its Applications, 19781116
-
The strength of weak ties In, 19821113
-
Random Oracles Are Practical: a Paradigm for Designing Efficient Protocols. In Proc. of the 1st CCS, 19931108
-
Case-Based Reasoning 19931094
-
features to track. Proc. IEEE CCVPR, 19941093
-
Rate control for communication networks: Shadow prices, proportional fairness and stability et al.: DISTRIBUTED FRAMEWORK FOR CORRELATED DATA GATHERING IN SENSOR NETWORKS 593, 19981085
-
clustering algorithms 19751080
-
Automatic verification of finite-state concurrent systems using temporal logic. Hen88] Matthew Hennessy. Algebraic Theory of Processes. MIT Press Series in the Foundations of Computing, 19861079
-
Reducibility among combinatorial problems IEEE Transactions on Software Engineering, 19721079
-
Towards Principles for The Design of Ontologies Used for Knowledge Sharing. In N. Guarino and R. Poll (Eds.), Formal Ontology in Conceptual Analysis and Knowledge Representation, Kluwer, 19951079
-
Eigenfaces vs. fisherfaces: recognition using class specific linear projectoin. IEEE Transactions on Pattern Analysis and Machine Intelligence (PAMI, 19971074
-
Key words for use in rfcs to indicate requirement levels Best Common Practice (BCP) 14, RFC 2119, 19971074
-
Making large-scale svm learning practical Advances in Kernel Methods - Support Vector Learning, 19991067
-
The computer for the 21st century Scientific American, 19911066
-
The Z Notation: A Reference Manual 19891055
-
Embedded image coding using zerotrees of wavelets coefficients IEEE Trans. Signal Procesing, 19931054
-
Probability inequalities for sums of bounded random variables. Journal of the American Statistical Association, 19631050
-
The Byzantine General’s Problem. ACM Trans. Prog. Languages and System, 19821049
-
On the criteria to be used in decomposing systems into modules. Communications of the ACM, 19721042
-
A Logic for Authentication. ACM transactions on Computer Systems, 19901041
-
A Generalized Minimal Residual Algorithm for Solving Nonsymmetric Linear System SIAM J. Sci. Stat. Comput, 19851037
-
Identification of common molecular subsequences Journal of Molecular Biology, 19811034
-
Capacity of multi-antenna Gaussian channels. 19951032
-
A new look at the statistical model identification IEEE Transactions on Automatic Control, 19741030
-
Head-Driven Phrase Structure Grammar 19941029
-
The Java Virtual Machine Specification In Usenix Technical Conference, 19961020
-
Self-Similarity in World Wide Web Traffic: Evidence and Possible Causes. IEEE/ACM Transactions on Networking, 19971016
-
Independent Component Analysis, a new concept ? Signal Processing Elsevier, 19941016
-
Aspects of the theory of syntax 19651015
-
A Bridging Model for Parallel Computation Comm. ACM, 19901014
-
Active appearance models. In European Conference Computer Vision, 19981013
-
Proof-carrying code. In Proceedings of the 24th ACM SIGPLANSIGACT Symposium on Principles of Programming Langauges (POPL ’97, 19971013
-
Temporal and Modal Logic. In Handbook of Theoretical Computer Science, Volume B: Formal Models and Semantics (B, 19901009
-
Untraceable electronic mail, return addresses, and digital pseudonyms. Communications of the ACM, 19811008
-
Atomic decomposition by basis pursuit. SIAM Journal on Scientific Computing, 19981007
-
Affective computing. 19971003
-
Metaphors We Live By. 19811001
-
Object recognition from local scale-invariant features. In Proceedings of ICCV, 1999998
-
Functions from a set to a set. Formalized Mathematics, 1990995
-
The Foundations of Statistics 1972994
-
Probabilistic encryption Special Issue of Journal of Computer and Systems Sciences, 1984992
-
A note on two problems in connexion with graphs. Numerische Mathematik, 1959987
-
N.R.: Intelligent Agents: Theory and Practice. The Knowledge Engineering Review, 1995986
-
WordNet: a lexical database for English. Commun. ACM, 1995986
-
On power-law relationships of the Internet topology. In ACM SIGCOMM, 1999986
-
The temporal logic of programs In Proceedings of the 18th Annual Symposium on Foundations of Computer Science, 1977983
-
Progressive meshes. SIGGRAPH 96 Conference Proceedings, Annual Conference Series, 1996977
-
Relations and their basic properties. Formalized Mathematics, 1990976
-
How to do things with words 1962976
-
Analysis and simulation of a fair queueing algorithm. In Proceedings of ACM SIGCOMM ’89, 1989973

