On the security of public key protocols | IEEE Transactions on Information Theory | 1983 | 2.5K |
Structure-Mapping: A Theoretical Framework for Analogy* | Cognitive Science | 1983 | 2.4K |
On Upstream Differencing and Godunov-Type Schemes for Hyperbolic Conservation Laws | SIAM Review | 1983 | 2.1K |
Writing on dirty paper (Corresp.) | IEEE Transactions on Information Theory | 1983 | 2.1K |
Schema induction and analogical transfer | Cognitive Psychology | 1983 | 1.9K |
A fuzzy extension of Saaty's priority theory | Fuzzy Sets and Systems | 1983 | 1.6K |
Results on the propositional μ-calculus | Theoretical Computer Science | 1983 | 1.3K |
Spatial Planning: A Configuration Space Approach | IEEE Transactions on Computers | 1983 | 1.2K |
Conscious and unconscious perception: experiments on visual masking and word recognition | Cognitive Psychology | 1983 | 1.2K |
The role of fuzzy logic in the management of uncertainty in expert systems | Fuzzy Sets and Systems | 1983 | 1K |
On Communicating Finite-State Machines | Journal of the ACM | 1983 | 890 |
On the shape of a set of points in the plane | IEEE Transactions on Information Theory | 1983 | 885 |
Conscious and unconscious perception: an approach to the relations between phenomenal experience and perceptual processes | Cognitive Psychology | 1983 | 874 |
Markov random field texture models | IEEE Transactions on Pattern Analysis and Machine Intelligence | 1983 | 783 |
Negotiation as a metaphor for distributed problem solving | Artificial Intelligence | 1983 | 768 |
Software Function, Source Lines of Code, and Development Effort Prediction: A Software Science Validation | IEEE Transactions on Software Engineering | 1983 | 735 |
A multiresolution spline with application to image mosaics | ACM Transactions on Graphics | 1983 | 663 |
Ranking fuzzy numbers in the setting of possibility theory | Information Sciences | 1983 | 648 |
Principles of transaction-oriented database recovery | ACM Computing Surveys | 1983 | 620 |
Calculi for synchrony and asynchrony | Theoretical Computer Science | 1983 | 607 |
Nonlinear estimation of PSK-modulated carrier phase with application to burst digital transmission | IEEE Transactions on Information Theory | 1983 | 603 |
On the foundations of relaxation labeling processes | IEEE Transactions on Pattern Analysis and Machine Intelligence | 1983 | 584 |
A data structure for dynamic trees | Journal of Computer and System Sciences | 1983 | 581 |
Perception of partly occluded objects in infancy | Cognitive Psychology | 1983 | 554 |
Inductive Inference: Theory and Methods | ACM Computing Surveys | 1983 | 542 |