Publication The Mutual Exclusion Problem – Part I: A Theory of Interprocess Communication Leslie Lamport Journal of the Association for Computing Machinery | January 1986, Vol 33(2): pp. 313-348
Publication A Framework for Comparing Alternative Formalisms for Plausible Reasoning Eric Horvitz, David Heckerman, Curtis P. Langlotz AAAI-86 Proceedings | January 1986
Publication Bifurcated Temperature Profiles and the H-mode Christopher Bishop Nuclear Fusion | January 1986, Vol 27: pp. 1765
Publication Stability of Localised MHD Modes in Divertor Tokamaks – a picture of the H-mode Christopher Bishop Nuclear Fusion | January 1986, Vol 26: pp. 1063
Publication The Use of a Heuristic Problem-Solving Hierarchy to Facilitate the Explanation of Hypothesis-Directed Reasoning Eric Horvitz, David Heckerman, Bharat Nathwani, Lawrence Fagan January 1986, pp. 27-31
Publication Micro-instability Based Models for Confinement Properties and Ignition Criteria in Tokamaks Christopher Bishop | January 1986 Principles of Programming Languages (POPL '08)
Publication The Mutual Exclusion Problem – Part II: Statements and Solutions Leslie Lamport Journal of the Association for Computing Machinery | January 1986, Vol 33(2): pp. 313-348
Publication A distributed system architecture for speech recognition Fil Alleva, Roberto Bisiani, S. Forin, Richard A. Lerner IEEE International Conference on ICASSP '86 Acoustics, Speech, and Signal Processing | January 1986
Publication Degenerate Toroidal Magnetohydrodynamic Equilibria and Minimum B Christopher Bishop, J. B. Taylor Physics of Fluids | January 1986, Vol 29: pp. 1444
Publication Updating Derived Relations: Detecting Irrelevant and Per-Ake Larson, Jose A. Blakely, Neil Coburn, Paul Larson January 1986