Most Cited Computer Science Citations
This list is generated from documents in the CiteSeer^{x} 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 CiteSeer^{x} 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

Indexing by latent semantic analysis. Journal of the American Society of Information Science, 19902089

Basic local alignment search tool Journal of Molecular Biology, 19901679

Finding structure in time. Cognitive Science, 19901290

Tarski Grothendieck set theory. Formalized Mathematics, 19901274

Introduction to WordNet: An Online Lexical Database. International Journal of Lexicography, 19901252

Functions and their basic properties. Formalized Mathematics, 19901222

Properties of subsets. Formalized Mathematics, 19901143

SelfOrganisation and Associative Memory 19901138

Unified Theories of Cognition 19901138

A logic of authentication. ACM Transactions on Computer Systems, 19901039

A bridging model for parallel computation Commun. ACM, 19901007

Temporal and modal logics. Handbook of Theoret. Comput. Sci., volume B, 19901004

Functions from a set to a set. Formalized Mathematics, 1990975

Relations and their basic properties. Formalized Mathematics, 1990964

Finding Groups in Data: An Introduction to Cluster Analysis Wiley Series in Probability and Mathematical Statistics. Applied Probability and Statistics, 1990961

Federated database systems for managing distributed, heterogeneous, and autonomous databases. Computing Surveys, 1990952

Spline Models for Observational Data Society for Industrial and Applied Mathematics. CBMSNSF Regional Conf. series in applied mathematics, 1990950

Multicast Routing in Datagram Internetworks and extended LANs. ACM Transactions on Computer Systems, 1990914

Generalized additive models. 1990913

Computer graphics: Principles and practice AddisonWesley Publishing Co., ISBN, 1990900

Scalespace and edge detection using anisotropic diffusion. IEEE Trans. Pattern Anal. Mach. Intell, 1990891

The R*tree: an efficient and robust access method for points and rectangles. SIGMOD Rec, 1990846

Learning logical definitions from relations. Machine Learning, 1990781

H.: Intention is choice with commitment Artificial Intelligence, 1990766

competitive advantage of nations 1990762

Linearizability: A correctness condition for concurrent objects. A CM Trunsactions on Programming Languages and Systems, 1990743

Priority inheritance protocols: An approach to realtime synchronization IEEE Transactions on Computers, 1990740

Architectural considerations for a new generation of protocols ACM Sigcomm, 1990719

Rewrite systems. In Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics (B, 1990711

Some basic properties of sets. Formalized Mathematics, 1990700

Implementing faulttolerant services using the state machine approach: A tutorial. ACM Comput. Surv, 1990699

Endogenous Technological Change Journal of Political Economy, 1990670

A set of level 3 basic linear algebra subprograms: Model implementation and test programs ACM Trans. Math. Software, 1990663

S: Matrix Multiplication via Arithmetic Progressions J Symb Comput, 1990657

The symbol grounding problem. Physica D, 1990657

Parallel discrete event simulation Communications of the ACM, 1990629

The fundamental properties of natural numbers. Formalized Mathematics, 1990619

Systematic Software Development Using VDM International Series in Computer Science, 1990614

Absorptive Capacity: A New Perspective on Learning and Innovation Administrative Science Quarterly, 1990607

A Scheme For RealTime Channel Establishment In WideArea Networks. IEEE Journal On Selected Areas In Communications, 1990605

The ordinal numbers. Formalized Mathematics, 1990605

Foundations of Social Theory 1990600

Networks for approximation and learning Proc. IEEE 78, 1990563

Text Compression 1990559

Samplingbased approaches to calculating marginal densities Journal of the American Statistical Association, 1990556

Envisioning Information 1990555

The strength of weak learnability. Machine Learning, 1990534

Improving retrieval performance by relevance feedback. In Journal of the American Society for Information Science (JASIS, 1990525

Virtual clock: a new traffic control algorithm for packet switching networks SIGCOMM Comput. Commun. Rev, 1990523

Basic properties of real numbers. Formalized Mathematics, 1990523

Myers EW, Lipman DJ: Basic local alignment search tool J Mol Biol, 1990497

P.S.: A statistical approach to machine translation. Computational Linguistics, 1990485

The computational complexity of probabilistic inference using bayesian belief networks Artificial Intelligence, 1990482

Semantic Structures 1990474

MACA – a new channel access method for packet radio in: Proceedings of ARRL/CRRL Amateur Radio 9th Computer Networking Conference, 1990457

Programming from Specifications 1990456

Matrix Perturbation Theory. 1990452

Tabu Search. Part II, ORSA Journal on Computing, 1990448

Application of the karhunenloeve procedure for the characterization of human faces IEEE Trans.PatternAnalysisandMachineIntelligence(TPAMI),vol.12, 1990435

Relations defined on sets. Formalized Mathematics, 1990429

Partitioning sparse matrices with eigenvectors of graphs SIAM Journal on Matrix Analysis and Applications, 1990429

Property rights and the nature of the firm Journal of Political Economy, 1990429

Perceptual linear predictive (PLP) analysis of speech J. Acoust. Soc. Am, 1990427

Reverse engineering and design recovery: A taxonomy IEEE Software, 1990424

The Algorithmic Beauty of Plants 1990424

Automata on infinite objects 1990424

Efficient implementation of a bdd package. In DAC, 1990424

Coda: A Highly Available File System for a Distributed Workstation Environment. IEEE Transactions on Computer, 1990423

Neural network ensembles IEEE Transactions on Pattern Analysis and Machine Intelligence, 1990419

The chemical abstract machine. In Proceedings of the 17th ACM SIGPLANSIGACT Symposium on Principles of Programming Languages—POPL’90, 1990417

The SGML Handbook 1990407

Footprint evaluation for volume rendering. In Proceedings of ACM SIGGRAPH 90, 1990398

Concurrent constraint programming. In Seventeenth Ann. ACM Symp. on Princ. of Program. Lang, 1990396

A Fair Protocol for Signing Contracts IEEE Transactions on Information Theory, 1990392

The core competence of the corporation Harvard Business Review, 1990388

The wavelet transform, timefrequency localization and signal analysis IEEE Trans. Information Theory, 1990387

Software Testing Techniques 1990386

Mixinbased inheritance. Proc. Conf. OO. Prog.: Syst., Lang., and Appl. / Proc. ECOOP, 1990382

Logic programming Handbook of Theoretical Computer Science, volume B, 1990382

A model for reasoning about persistence and causation Computational Intelligence, 1990380

Architectural innovation: The reconfiguration of existing product technologies and the failure of established firms Administrative Science Quarterly, 1990380

Statemate: a working environment for the development of complex reactive systems. IEEE Trans. on Software Eng, 1990379