Most Cited Computer Science Citations
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

Symbolic Modelchecking for Realtime Systems. Information and Computation, 1994509

An approach to correlate tandem mass spectral data of peptides with amino acid sequences in a protein database. Journal of the American Society of Mass Spectrometry, 1994508

The Tsimmis project: Integration of heterogeneous information sources. In Proceedingsof 100th AnniversaryMeeting of the Information Processing Society of Japan, 1994508

Scalespace theory in computer vision. 1994506

A sequential algorithm for training text classifiers. Proceedings of the 17th annual international ACM SIGIR conference on Research and development in information retrieval, 1994506

Introduction to Parallel Computing: Design and Analysis of Algorithms BenjaminCummings Publishing Co., Inc, 1994505

RealTime ObjectOriented Modeling 1994504

Is Inequality Harmful for Growth American Economic Review, 1994503

Accelerated volume rendering and tomographic reconstruction using texture mapping hardware in Proceedings of the Symposium on Volume Visualization, 1994503

Scheduling for Reduced CPU Energy. In Proceedings of The USENIX Symposium on Operating Systems Design and Implementation, 1994503

Power system stability and control 1994500

TreadMarks: Distributed Shared Memory on Standard Workstations and Operating Systems. In Proceedings of the Winter 94 Usenix Conference, 1994499

Entity authentication and key distribution. In Advances in Cryprtology  Crypto’93 Proceedings, 1994496

Okapi at TREC3. NIST Special Publication 500226, Overview of the Third Text Retrieval Conference (TREC3, 1994495

The Role of Human Capital in Economic Development: Evidence from CrossCountry Data Journal of Monetary Economics, 1994493

Analysis, modeling and generation of self similar VBR video traffic. Computer Communications Review, 1994493

Zippered polygon meshes from range images In Proceedings of SIGGRAPH 94, Computer Graphics Proceedings, Annual Conference Series, 1994486

Guided Search 2.0. A revised model of visual search Psychonomic Bulletin & Review, 1994485

Raedt. Inductive logic programming : Theory and methods. Journal of Logic Programming, 1994484

Domain theory. Handbook of Logic in Computer Science, 1994481

The Role of Emotion in Believable Agents. Communications of the ACM, 1994477

An Introduction to Disk Drive Modeling. IEEE Computer, 1994477

Fast Volume Rendering Using a ShearWarp Factorization of the Viewing Transformation. Computer Graphics, 28(Annual Conference Series):451–458, 1994476

Representing moving images with layers. IEEE TIP, 1994475

Threedimensional Alpha Shapes. ACM Transactions on Graphics, 1994469

The Economics of Immigration. Journal of Economic Literature, 1994465

and effective querying by image content. Journal of Intelligent Information Systems, 1994465

Computer support for knowledgebuilding communities Journal of the Learning Sciences, 1994463

An Introduction to Homological Algebra, Cambridge Studies in Advanced Mathematics No, 1994460

The Dexter hypertext reference model. Communications of the ACM, 1994460

The geometry of graphs and some of its algorithmic applications. Proc. 35th Ann. Symposium on Foundations of Computer Science, 1994454

A Behavioral Notion of Subtyping. ACM Transactions on Programming Languages and Systems, 1994453

Case study research 1994452

Large sample estimation and hypothesis testing Handbook of Econometrics 4 : 2111  2245 (R.F. Engle & D.L, 1994451

Fast Subsequence Matching in TimeSeries Database. in Proc. ACM SIGMOD Conf, 1994446

Multidimensional Scaling 1994442

Lottery scheduling: flexible proportionalshare resource management. In Proc. of the USENIX conference on Operating Systems Design and Implementation, 1994442

Bayesian Analysis of Stochastic Volatility Models. Journal of Business and Economic Statistics, 1994441

Estimating DiscreteChoice Models of Product Differentiation Rand Journal of Economics, 1994439

A level set approach for computing solutions to incompressible twophase flow J. Comput. Phys, 1994439

Software Agents. Communications of the ACM, 1994439

Isabelle: A Generic Theorem Prover. 1994433

The Rediscovery of the Mind 1994430

Usability inspection methods 1994429

Scheduling multithreaded computations by work stealing. Foundations of Computer Science, 1994 Proceedings., 35th Annual Symposium on, 1994429

Neural Networks 1994429

Optimal Tests When a Nuisance Parameter is Present Only Under the Alternative. Econometrica, 1994427

Analysis of longitudinal data 1994423

Obliq: A language with distributed scope. 1994422

A maximum likelihood approach to continuous speech recognition. 1983. IEEE trans. on PAMI, 1994421

The lexical nature of syntactic ambiguity resolution. Psychological Review, 1994416

Eliciting selfexplanations improves understanding. Cognitive Science, 1994414

Improved global sea surface temperature analyses J. Climate, 1994412

Kerberos: An authentication service for computer networks IEEE Communications Magazine, 1994410

The visual hull concept for silhouettebased image understanding IEEE Transactions on Pattern Analysis and Machine Intelligence, 1994409

Protection for sale American Economic Review, 1994407

What is the goal of sensory coding Neural Computation, 1994403

Contextsensitive interprocedural pointsto analysis in the presence of function pointers. In Proceedings of the SIGPLAN ’94 Conference on Programming Lanugage Design and Implementation, 1994401

Mbone: the multicast backbone In Communications of the ACM, 1994400

The challenges of mobile computing. Computer, 1994399

Photobook: Tools for ContentBased Manipulation of Image Databases Storage and Retrieval for Image and Video Databases, 1994398

Modern Quantum Mechanics 1994395

Systems Competition and Network Effects. Journal of Economic Perspectives, 1994393

On the hardness of approximating minimization problems J. ACM, 1994392

The transferable belief model. Artificial Intelligence, 1994392

A selfclocked fair queueing scheme for broadband applications. Proceedings of INFOCOM ’94, 1994392

Seeded region growing IEEE Transactions on Pattern Analysis and Machine Intelligence, 1994391

KodairaSpencer theory of gravity and exact results for quantum string amplitudes. Commun. Math. Phys, 1994387

Lectures on Polytopes Proceedings of the 2005 Data Compression Conference (DCC’05) 10680314/05 $ 20.00 IEEE, 1994386

On Gibbs Sampling for State Space Models Biometrika, 1994382

Floating search methods in feature selection. Pattern Recognit. Lett, 1994379

Interiorpoint polynomial algorithms in convex programming, Studies in Applied Mathematics, SIAM, 1994379

Noise Strategies for Improving Local Search. In Proceedings of AAAI94. Michael White, Tanya Korelsky, Claire Cardie, 1994378

Précis of Beyond modularity: A developmental perspective on cognitive science Behavioral and Brain Science, 1994374

Autism Diagnostic InterviewRevised: A revised version of a diagnostic interview for caregivers of individuals with possible pervasive developmental disorders Journal of Autism and Developmental Disorders, 1994367

Evolving 3D morphology and behavior by competition. Artif. Life, 1994366

On the power of quantum computation. Proceedings of 35th Annual Symposium on Foundations of Computer Science (Santa Fe, NM, 1994), IEEE Comput. Soc, 1994366