Publication The Decision Problem for Branching Time Logic Yuri Gurevich, Saharon Shelah Journal of Symbolic Logic | August 1985, Vol 50: pp. 668-681
Publication Monadic Second-order Theories Yuri Gurevich Model-Theoretical Logics eds. Jon Barwise and Sol Feferman Springer-Verlag, Perspective in Mathematical Logic | 1985
Publication Yacc in Sasl — an Exercise in Functional Programming Simon Peyton Jones Software—Practice & Experience | August 1985, Vol 15: pp. 807-820
Publication The Inconsistent Use of Measures of Certainty in Artificial Intelligence Research Eric Horvitz, David Heckerman Uncertainty in Artificial Intelligence Annual Conference on Uncertainty in Artificial Intelligence (UAI-85) | August 1985
Publication Large-scale Learning to Rank using Boosted Decision Trees Krysta M. Svore, Christopher J.C. Burges, Chris J.C. Burges, Krysta M. Svore Scaling Up Machine Learning: Parallel and Distributed Approaches | Published by Cambridge University Press | 1985
Publication A Zero-one Law for Logic with a Fixed-point Operator Andreas Blass, Yuri Gurevich, D. Kozen Information and Control | April 1985, Vol 67: pp. 70-90
Publication Distributed Snapshots: Determining Global States of a Distributed System K. Mani Chandy, Leslie Lamport ACM Transactions on Computer Systems | February 1985, pp. 63-75
Publication Secure Communication Using Remote Procedure Calls Andrew Birrell ACM Transactions on Computer Systems | February 1985, pp. 1-14
Publication Adapting A Psychophysical Method To Measure Performance And Preference Tradeoffs In Human-Computer Interaction Jonathan Grudin, Allan MacLean Human-Computer Interaction - INTERACT '84 | January 1985
Publication What It Means for a Concurrent Program to Satisfy a Specification: Why No One Has Specified Priority Leslie Lamport Proceedings of the Twelfth ACM Symposium on Principles of Programming Languages, ACM SIGACT-SIGPLAN | January 1985