| 2009 |
28 | | Rajeev Alur,
Pavol Cerný,
Scott Weinstein:
Algorithmic Analysis of Array-Accessing Programs.
CSL 2009: 86-101 |
| 2007 |
27 | | Steven Lindell,
Scott Weinstein:
Book Review.
Journal of Logic, Language and Information 16(2): 233-239 (2007) |
| 2006 |
26 | | Elliott H. Lieb,
Daniel N. Osherson,
Scott Weinstein:
Elementary Proof of a Theorem of Jean Ville
CoRR abs/cs/0607054: (2006) |
| 2003 |
25 | | Peter Buneman,
Wenfei Fan,
Scott Weinstein:
Interaction between path and type constraints.
ACM Trans. Comput. Log. 4(4): 530-577 (2003) |
| 2001 |
24 | | Peter Buneman,
Wenfei Fan,
Jérôme Siméon,
Scott Weinstein:
Constraints for Semi-structured Data and XML.
SIGMOD Record 30(1): 47-45 (2001) |
| 2000 |
23 | | Steven Lindell,
Scott Weinstein:
The Role of Decidability in First Order Separations over Classes of Finite Structures.
LICS 2000: 45-50 |
22 | | Peter Buneman,
Wenfei Fan,
Scott Weinstein:
Path Constraints in Semistructured Databases.
J. Comput. Syst. Sci. 61(2): 146-193 (2000) |
| 1999 |
21 | | Peter Buneman,
Wenfei Fan,
Scott Weinstein:
Query Optimization for Semistructured Data Using Path Constraints in a Deterministic Data Model.
DBPL 1999: 208-223 |
20 | | Wenfei Fan,
Scott Weinstein:
Specifying and Reasoning about Workflows with Path Constraints.
ICSC 1999: 226-235 |
19 | | Peter Buneman,
Wenfei Fan,
Scott Weinstein:
Interaction between Path and Type Constraints.
PODS 1999: 56-67 |
| 1998 |
18 | | Peter Buneman,
Wenfei Fan,
Scott Weinstein:
Path Constraints in Semistructured and Structured Databases.
PODS 1998: 129-138 |
17 | | Anuj Dawar,
Kees Doets,
Steven Lindell,
Scott Weinstein:
Elementary Properties of the Finite Ranks.
Math. Log. Q. 44: 349-353 (1998) |
| 1995 |
16 | | Anuj Dawar,
Steven Lindell,
Scott Weinstein:
First Order Logic, Fixed Point Logic and Linear Order.
CSL 1995: 161-177 |
15 | | Barbara J. Grosz,
Aravind K. Joshi,
Scott Weinstein:
Centering: A Framework for Modeling the Local Coherence of Discourse.
Computational Linguistics 21(2): 203-225 (1995) |
14 | | Anuj Dawar,
Steven Lindell,
Scott Weinstein:
Infinitary Logic and Inductive Definability over Finite Structures
Inf. Comput. 119(2): 160-175 (1995) |
| 1994 |
13 | | Eric Rosen,
Scott Weinstein:
Preservation Theorems in Finite Model Theory.
LCC 1994: 480-502 |
| 1992 |
12 | | Daniel N. Osherson,
Michael Stob,
Scott Weinstein:
A Universal Method of Scientific Inquiry.
Machine Learning 9: 261-271 (1992) |
| 1991 |
11 | | Daniel N. Osherson,
Michael Stob,
Scott Weinstein:
A Universal Inductive Inference Machine.
J. Symb. Log. 56(2): 661-672 (1991) |
| 1990 |
10 | | Daniel N. Osherson,
Michael Stob,
Scott Weinstein:
A Mechanical Method of Successful Scientific Inquiry.
COLT 1990: 187-201 |
9 | | Mary-Angela Papalaskari,
Scott Weinstein:
Minimal Consequence in Sentential Logic.
J. Log. Program. 9(1): 19-31 (1990) |
| 1989 |
8 | | Daniel N. Osherson,
Michael Stob,
Scott Weinstein:
On Approximate Truth.
COLT 1989: 88-101 |
| 1988 |
7 | | Daniel N. Osherson,
Michael Stob,
Scott Weinstein:
Synthesizing Inductive Expertise
Inf. Comput. 77(2): 138-161 (1988) |
6 | | Daniel N. Osherson,
Michael Stob,
Scott Weinstein:
Mechanical Learners Pay a Price for Bayesianism.
J. Symb. Log. 53(4): 1245-1251 (1988) |
| 1986 |
5 | | Daniel N. Osherson,
Michael Stob,
Scott Weinstein:
Aggregating Inductive Expertise
Information and Control 70(1): 69-95 (1986) |
| 1983 |
4 | | Daniel N. Osherson,
Michael Stob,
Scott Weinstein:
Formal Theories of Language Acquisition: Practical and Theoretical Perspectives.
IJCAI 1983: 566-572 |
| 1982 |
3 | | Daniel N. Osherson,
Scott Weinstein:
Criteria of Language Learning
Information and Control 52(2): 123-138 (1982) |
2 | | Daniel N. Osherson,
Michael Stob,
Scott Weinstein:
Learning Strategies
Information and Control 53(1/2): 32-51 (1982) |
| 1981 |
1 | | Aravind K. Joshi,
Scott Weinstein:
Control of Inference: Role of Some Aspects of Discourse Structure-Centering.
IJCAI 1981: 385-387 |