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

Introduction to Algorithms. 19909039

Indexing by latent semantic analysis. Journal of the Society for Information Science, 19903011

Endogenous Technological Change. Journal of Political Economy, 19901815

Finding structure in time. Cognitive Science, 19901687

Introduction to wordnet: An online lexical database. International journal of Lexicography, 19901675

Generalized Additive Models. 19901666

The Definition of Stan dard ML. 19901623

Scalespace and edge detection using anisotropic diffusion. IEEE Trans. on Pattern Analysis and Machine Intelligence, 19901405

Functions and their basic properties. Formalized Mathematics, 19901294

Tarski Grothendieck set theory. Formalized Mathematics, 19901292

Properties of subsets. Formalized Mathematics, 19901227

A logic of authentication. ACM Transactions on Computing Systems, 19901209

Temporal and Modal Logic. Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics, 19901171

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

The Rtree: An efficient and robust access method for points and rectangles. In Proceedings of the 1990 ACMSIGMOD Conference, 19901060

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

Relations and their basic properties. Formalized Mathematics, 19901023

Linearizability: a correctness condition for concurrent objects. ACM Transactions on Programming Languages and Systems, 1990975

Property rights and the nature of the firm. Journal of Political Economy, 1990952

The symbol grounding problem. Physica D, 1990884

Learning logical definitions from relations. Machine Learning 5(3, 1990875

Improving DirectMapped Cache Performance by the Addition of a Small FullyAssociative Cache and. Prefetch Buffers,” ISCA17: ACM/IEEE International Symposium on Computer Architecture, 1990843

Implementing faulttolerant services using the state machine approach: A tutorial. Proceedings of the 6th WSEAS International Conference on Simulation, Modelling and Optimization, 1990841

Rewrite systems. Handbook of Theoretical Computer Science, volume B: Formal Methods and Semantics, chapter 6, 1990781

Some basic properties of sets. Formalized Mathematics, 1990756

Interprocedural slicing using dependance graphs. ACM Trans. Program. Lang. Syst, 1990731

The strength of weak learnability. Machine Learning, 1990701

Synchronous Tree Adjoining Grammars. In COLING, 1990676

Knowledge Acquisition Via Incremental Conceptual Clustering. Readings In Machine Learning, 1990676

Performance pay and topmanagement incentives. Journal of Political Economy, 1990674

Matrix Perturbation Theory. 1990673

Memory Consistency and Event Ordering in Scalable SharedMemory Multiprocessors. In Proceedings of the 17th Annual International Symposium on Computer Architecture, 1990673

The ordinal numbers. Formalized Mathematics, 1990671

A scheme for realtime channel establishment in wadearea networks. IEEE Jornal of Selected Areas in Communications, Vol.8, No.3, 1990664

The fundamental properties of natural numbers. Formalized Mathematics, 1990660

Improving retrieval performance by relevance feedback. Journal of the American Society for Information Science, 1990654

A sta.tistical approach to machine translation. Computational Linguistics, 1990639

Applied Nonparametric Regression. 1990605

Asset Prices under Habit Formation and Catching up with the Joneses. American Economic Review, 1990563

Basic properties of real numbers. Formalized Mathematics, 1990561

Nonmonotonic reasoning, preferential models, and cumulative logics. Artificial Intelligence, 1990559

Ptolemy: A framework for simulating and prototyping heterogeneous systems. International Journal on Computer Simulation, Special Issue on Simulation Software Management, 1990517

Knowledge and common knowledge in a distributed environment. Journal of the ACM, 1990516

The chemical abstract machine. In Conf. Record 17th ACM Symp. on Principles of Programmming Languages, POPL’90, 1990488

Coda: A highly available file system for a distributed workstation environment. IEEE Trans. Comput, 1990486

Relations defined on sets. Formalized Mathematics, 1990485

Efficient Implementation of a BDD package. Proc. ACM/IEEE DAC, 1990471

Partial functions. Formalized Mathematics, 1990463

Footprint evaluation for volume rendering. In Computer Graphics, 1990459

Mixinbased inheritance. In procdings of ACM Conference on ObjectOriented Programming: System, Languages, and APPLICATION (OOPSLA, 1990449

Optimal brain damage. Advances in Neural Information Processing Systems 2 (NIPS*89, 1990445

Tree visualization with TreeMaps: a 2d spacefilling approach. ACM Transactions on Graphics, 1990426

STATEMATE: A working environment for the development of complex reactive systems. IEEE Transactions on Software Engineering, 1990422

Sequence Logos – a new way to display consensus sequences. Nucleic Acids Res, 1990412

Explicit Substitutions. In Conference Record of the Seventeenth Annual ACM Symposium on Principles of Programming Languages, 1990408

The implementation of POSTGRES. IEEE Transactions on Knowledge and Data Engineering, 1990405

F.~Kenneth Zadeck. Analysis of pointers and structures. Proceedings of the ACM SIGPLAN '90 Conference on Programming Language Design and Implementation, 1990396

The Tera Computer System. In Proceedings of the 1990 International Conference on Supercomputing, 1990389

Financial development, growth, and the distribution of income. Journal of Political Economy, 1990380

Dynamic program slicing. In ACM SIGPLAN Conference on Programming Language Design and Implementation, 1990361

IntraHousehold Resource Allocation: An Inferential Approach. The Journal of Human Resources, 1990358

The case for motivated reasoning. Psychological Bulletin, 1990357

Recursive distributed representations. Artificial Intelligence, 1990357

Heuristic evaluation of user interfaces. Proc. ACM CHI'90, 1990356

Constraint query languages. In Proc. PODS ’90, 1990354

Efficient ray tracing of volume data. ACM Transactions on Graphics, 1990351

On the control of automatic processes: A parallel distributed processing account of the Stroop effect. Psychological Review, 1990350

Binary operations. Formalized Mathematics, 1990349

Elephants don’t play chess. Also appeared in Special Issue of Robotics and Autonomous Systems, 1990346

Entrepreneurship: Productive, Unproductive, and Destructive. Journal of Political Economy, 1990341

Skip Lists: A Probabilistic Alternative to Balanced Trees. Communications of the ACM, 1990338

Preattentive texture discrimination with early vision mechanisms. Journal of the Optical Society of America { A, 1990338

A methodology for implementing highly concurrent data structures. In PPOPP '90: Proceedings of the second ACM SIGPLAN symposium on Principles & practice of parallel programming, 1990333

Finite sets. Formalized Mathematics, 1990330

A binary feedback scheme for congestion avoidance in computer networks. ACM Transactions on Computer Systems, 1990322

Performance Analysis of kary ncube Interconnection Networks. IEEE Transactions on Computers, 1990321

Finite sequences and tuples of elements of a nonempty sets. Formalized Mathematics, 1990315

Toward a Theory of Discounted Repeated Games with Imperfect Monitoring. Econometrica, 1990311

Families of sets. Formalized Mathematics, 1990311

Why Aren't Operating Systems Getting Faster as Fastas Hardware. Department of Computer Science, Princeton University, 1990310

Domains and their Cartesian products. Formalized Mathematics, 1990307

Fortran D language specification. 1990292

Multicast routing in internetworks and extended lans,” in. ACM Transactions on ComputerSystems, 1990286

The evolving philosophers problem: Dynamic change management. IEEE Trans. Softw. Eng, 1990283

Munin: Distributed Shared Memory Based on Typespecific Memory Coherence. Second ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 1990282

Simulation of simplicity: a technique to cope with degenerate cases in geometric algorithms. ACM Trans. Graph, 1990281

Binary operations applied to functions. Formalized Mathematics, 1990279

An analysis of firstorder logics of probability. AIJ, 1990278

Tuples, projections and Cartesian products. Formalized Mathematics, 1990277

Natural language and natural selection. Behavioral and Brain Sciences, 1990276

Untraceable electronic cash. in: Advances in Cryptology–– CRYPTO’88, LNCS, 1990274

APRIL: A processor architecture for multiprocessing. In Proceedings of the International Symposium on Computer Architecture, 1990270

Vectors in real linear space. Formalized Mathematics, 1990269

Pigeon hole principle. Formalized Mathematics, 1990267

Lightweight remote procedure call. ACM Transactions on Computer Systems, 1990266

Publickey Cryptosystems Provably Secure Against Chosen Ciphertext Attacks. In 22nd Symposium on the Theory of Computation (STOC, 1990261

Design prototypes: A knowledge representation schema for design. AI Magazine, 1990261

Noun classification from predicateargument structures. In Proc. of the 28th Annual Meeting of the Association for Computational Linguistics, 1990255