| 2009 | CSL | Algorithmic Analysis of Array-Accessing Programs. | Rajeev Alur, Pavol Cern, Scott Weinstein |
| 2000 | LICS | The Role of Decidability in First Order Separations over Classes of Finite Structures. | Steven Lindell, Scott Weinstein |
| 1999 | PODS | Interaction between Path and Type Constraints. | Peter Buneman, Wenfei Fan, Scott Weinstein |
| 1998 | PODS | Path Constraints in Semistructured and Structured Databases. | Peter Buneman, Wenfei Fan, Scott Weinstein |
| 1995 | CSL | First Order Logic, Fixed Point Logic and Linear Order. | Anuj Dawar, Steven Lindell, Scott Weinstein |
| 1990 | COLT | A Mechanical Method of Successful Scientific Inquiry. | Daniel N. Osherson, Michael Stob, Scott Weinstein |
| 1989 | COLT | On Approximate Truth. | Daniel N. Osherson, Michael Stob, Scott Weinstein |
| 1983 | ACL | Providing a Unified Account of Definite Noun Phrases in Discourse. | Barbara J. Grosz, Aravind K. Joshi, Scott Weinstein |
| 1983 | IJCAI | Formal Theories of Language Acquisition: Practical and Theoretical Perspectives. | Daniel N. Osherson, Michael Stob, Scott Weinstein |
| 1981 | IJCAI | Control of Inference: Role of Some Aspects of Discourse Structure-Centering. | Aravind K. Joshi, Scott Weinstein |