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

Inference in Linear Time Series Models with Some Unit Roots. Econometrica, 1990252

The modification of a function by a function and the iteration of the composition of a function. Formalized Mathematics, 1990252

A formulaeastypes notion of control. In Proceedings of the 17th Annual ACM Symposium on Principles Of Programming Languages (POPL’90), Orlando (Fla., USA, 1990250

Inference networks for document retrieval. In Proceedings SIGIR’90, pp, 1990246

Bit commitment using pseudorandomness. In Proceedings of Advances in Cryptology (CRYPTO'90, 1990246

The lazy lambda calculus. Research Topics in Functional Programming, 1990244

The gamma database machine project. IEEE Trans. on Knowl. and Data Eng, 1990244

KIDS: A semiautomatic program development system. IEEE Trans. Softw. Eng, 1990243

Plans as Complex Mental Attitudes. In, 1990243

König’s theorem. Formalized Mathematics, 1990240

Comprehensible rendering of 3D shapes. In Computer Graphics (Proceedings of ACM SIGGRAPH 90, 1990240

Towards Image Realism with Interactive Update Rates in Complex Virtual Building Environments. Computer Graphics (1990 Symposium on Interactive 3D Graphics, 1990238

A polygonal approximation to direct scalar volume rendering. In Computer Graphics (San Diego Workshop on Volume Visualization, 1990237

Weak ordering  A new definition. In Proceedings of the 17th Annual International Symposium on Computer Architecture, 1990235

Connecting tools using message passing in the Field environment. IEEE Software, 1990231

Client Requirements for RealTime Communication Services. IEEE Communications, 1990231

Nonoscillatory central differencing for hyperbolic conservation laws. J. Comput. Phys, 1990229

Strogatz: Synchronization of Pulsecoupled Biological Oscillators. SIAM J. Appl. Math, 1990228

Motivational and selfregulated learning component of classroom academic performance. Journal of Educational Psychology, 1990227

Telos: Representing Knowledge About Information Systems. ACM Transactions on Information Systems (TOIS, 1990222

An empirical study of the reliability of unix utilities. Commun. ACM, 1990220

The monadic secondorder logic of graphs I: Recognizable sets of graphs. Inf.&Comput, 1990217

Learning to coordinate behaviors. In Proceed ings of the Eighth National Conference on Artificial Intelligence, 1990217

Disk Scheduling Revisited. In Proceedings of the Winter 1990 USENIX Technical Conference, 1990216

Density Functional Theory. 1990215

Entropy and information theory. 1990214

Deriving production rules for constraint maintainance. In VLDB 90. 566–577, 1990213

Experiences with the Amoeba distributed operating system. Communications of the ACM, 1990212

Garnet: comprehensive support for graphical, highly interactive user interfaces. IEEE Computer, 1990212

Improving register allocation for subscripted variables. In Proceedings of the SIGPLAN ’90 Conference on Programming Language Design and Implementation, 1990211

Rationalizability, learning, and equilibrium in games with strategic complementarities. Motta M., “Competition Policy, Theory and Practice, 1990211

Bayesian reconstructions from emission tomography data using a modified EM algorithm. IEEE Trans Med Imag, 1990211

Reasoning and revision in hybrid representation systems. Lecture Notes in Artificial Intelligence, 1990210

Optimal Paths for a Car That Goes Both Forwards and Backwards,” Paci c. Journal of Mathematics, 1990207

Oneway functions are necessary and sufficient for secure signatures. In Proceedings of the Twenty Second Annual ACM Symposium on Theory of Computing, 1990206

Reasoning About Belief in Cryptographic Protocols. Proceedings 1990 IEEE Symposium on Research in Security and Privacy, 1990206

L.: “Algorithms and Complexity Concerning the Preemptive Scheduling of Periodic Realtime Tasks on One Processor. RealTime Systems, 1990204

Realtime mach: Towards predictable realtime systems. In Proceedings of the USENIX Mach Workshop, 1990203

Training a 3node neural network is NPcomplete. in Advances in Neural Information Processing Systems 2 (D.S. Touretzky, 1990202

Recovery of parametric models from range images: The case for superquadrics with global deformations. IEEE Trans. Pattern Anal. Mach. Intell, 1990200

Learning and sequential decision making. in Learning and Computational Neuroscience, MIT Press,Cambridge, 1990200

Data caching issues in an information retrieval system. ACM TODS, 1990199

CategoryBased Induction. Psychological Review, 1990193

Pseudorandom generator for space bounded computation. in `Proceedings of the 22nd Symposium on Theory of Computing (STOC, 1990191

Amoeba: A Distributed Operating System for the 1990s. IEEE Computer, 1990191

The hBtree: A multiattribute indexing method with good guaranteed performance. ACM Transactions on Database Systems, 1990191

What are plans for. Also appeared in Special Issue of Robotics and Autonomous Systems, 1990190

A Positive Theory of Fiscal Deficits and Government Debt. Review of Economics Studies, 1990187

Evidence that stock prices do not fully reflect the implications of current earnings for future earnings. Journal of Accounting and Economics, 1990187

Introducing the Tileworld: experimentally evaluating agent architectures. Proceedings of AAAI’90. AAAI Press, Menlo Park, CA, 1990183

The Impact of the Potential Duration of Unemployment Benefits on the Duration of Unemployment. Journal of Public Economics, 1990180

Hypertool: A Programming Aid for MessagePassing Systems. IEEE Tran. on Parallel and Distributed Systems, 1990180

A Physical Approach to Color Image Understanding. International Journal of Computer Vision, 1990179

Enumerated sets. Formalized Mathematics, 1990179

Priciples of object perception. Cognitive Science, 1990177

A holonomic systems approach to special functions identities. J. Comput. Appl. Math, 1990177

Graphlog: a Visual Formalism for Real Life Recursion. Proc. ACM Symposium on Principles of Database Systems, 1990175

Rapid controlled movement through a virtual 3d workspace. Computer Graphics (SIGGRAPH '90 Proceedings, 1990174

Witness Indistinguishability and Witness Hiding Protocols. In 22nd STOC, 1990174

System Z : a natural ordering of defaults with tractable applications for default reasoning. In Proc. of TARK’90, 1990173

Unix as an application program. In USENIX Summer, 1990170

Parallelizing programs with recursive data structures. IEEE Transactions on Parallel and Distributed Systems, 1990168

Monsoon: an Explicit TokenStore Architecture. In Proceedings oj the 17th Annual International Symposium on Computer Architecture, 1990168

What is coordination theory and how can it help design cooperative work systems. in Proc. CSCW ’90, 1990168

Datasnooping biases in tests of financial asset pricing models. Review of Financial Studies, 1990167

Tacit coordination games, strategic uncertainty and coordination failure. American Economic Review, 1990166

Partially ordered sets. MML: ORDERS 1, 1990164

Stubborn sets for reduced state space generation. In Proceedings of the 10th International Conference on Applications and Theory of Petri Nets: Advances in Petri Nets, 1990163

Preemptively scheduling hardrealtime sporadic tasks on one processor. in Proc. of the RealTime Systems Symposium, 1990162

Contrast in complex images. J. Opt. Soc. Am, 1990161

The past explains the present: Emotional adaptations and the structure of ancestral environments. Ethology and Sociobiology, 1990161

Performance evaluation of memory consistency models for sharedmemory microprocessors. In Proceedings of the 17th Annual International Symposium on Computer Architecture, 1990161

A proposal for a new block encryption standard. Advances in Cryptology—Eurocrypt ’90, 1990161

Semantic domains. Handbook of Theoretical Computer Science, Vol. B, Formal Models and Semantics, Elsevier, 1990159

The accumulation buffer: hardware support for highquality rendering. SIGGRAPH ’90: Proceedings of the 17th annual conference on Computer graphics and interactive techniques, ACM, 1990158

The empirical content of Nash bargained household behaviour. Journal of Human Resources, 1990158

Typology and Universals. 1990157

Practical selectivity estimation through adaptive sampling. In Proc. ACM SIGMOD Int’l Conf. on Management of Data, 1990156

Terminological Reasoning Is Inherently Intractable. AIJ, 1990155

A classical first order language. Formalized Mathematics, 1990153

Forming sparse representations by local antiHebbian learning. Biological Cybernetics, 1990152

Relative performance evaluation for chief executive officers. Industrial and Labor Relations Review, 1990152

The Noise Trader Approach to Finance. Journal of Economic Perspectives, 1990151

Topological properties of subsets in real numbers. Formalized Mathematics, 1990150

Conjunction search revisited. Journal of Experimental Psychology Human Perception and Performance, 1990149

Cryptanalysis of short RSA secret exponents. IEEE Trans. Information Theory, 1990148

Function domains and Frænkel operator. Formalized Mathematics, 1990148

Monotonic solution of the frame problem in the situation calculus; an efficient method for worlds with fully specified actions. Knowledge Representation and Defeasible Reasoning, 1990147

Design problem solving: A task analysis. AI Magazine, 1990147

Learning sequential decision rules using simulation models and competition. Machine Learning, 1990146

Reliable Broadband Communications using a Burst Erasure Correcting Code. In Proceedings of ACM SIGCOMM, 1990144

Asset Pricing with a FactorARCH Covariance Structure. Journal Of Econometrics, 1990144

A formal model of program dependences and its implications for software testing, debugging, and maintenance. IEEE Transactions on Software Engineering, 1990144

Curved surfaces and coherence for nonpenetrating rigid body simulation. In Computer Graphics (SIGGRAPH 90 Proceedings, 1990144