Reasoning about knowledge and probability. Ronald Fagin, Joseph Y. Halpern, and Moshe Y. Vardi. A model-theoretic analysis of knowledge. Ronald Fagin, Joseph Y. Halpern, and Moshe Y. Vardi. Uriel Feige and Joe Kilian.
Impossibility results for recycling random bits in two-prover proof systems.
Alan D. Fekete. Asynchronous approximate agreement. Michael J. Fischer, Shlomo Moran, Steven Rudich, and Gadi Taubenfeld. The wakeup problem. Adam J. Grove and Joseph Y. Halpern.