| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Rajeev Alur, Pavol Cerný, Scott Weinstein |
Algorithmic Analysis of Array-Accessing Programs.  |
CSL  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Steven Lindell, Scott Weinstein |
Book Review. |
Journal of Logic, Language and Information |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Elliott H. Lieb, Daniel N. Osherson, Scott Weinstein |
Elementary Proof of a Theorem of Jean Ville |
CoRR |
2006 |
DBLP BibTeX RDF |
|
| 1 | Peter Buneman, Wenfei Fan, Scott Weinstein |
Interaction between path and type constraints. |
ACM Trans. Comput. Log. |
2003 |
DBLP DOI BibTeX RDF |
types, integrity constraints, semistructured data, implication |
| 1 | Peter Buneman, Wenfei Fan, Jérôme Siméon, Scott Weinstein |
Constraints for Semi-structured Data and XML. |
SIGMOD Record |
2001 |
DBLP DOI BibTeX RDF |
XML |
| 1 | Peter Buneman, Wenfei Fan, Scott Weinstein |
Path Constraints in Semistructured Databases. |
J. Comput. Syst. Sci. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Steven Lindell, Scott Weinstein |
The Role of Decidability in First Order Separations over Classes of Finite Structures. |
LICS |
2000 |
DBLP DOI BibTeX RDF |
Finite Model Theory, Descriptive Complexity Theory |
| 1 | Wenfei Fan, Scott Weinstein |
Specifying and Reasoning about Workflows with Path Constraints. |
ICSC |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Buneman, Wenfei Fan, Scott Weinstein |
Query Optimization for Semistructured Data Using Path Constraints in a Deterministic Data Model. |
DBPL |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Buneman, Wenfei Fan, Scott Weinstein |
Interaction between Path and Type Constraints. |
PODS |
1999 |
DBLP DOI BibTeX RDF |
XML |
| 1 | Anuj Dawar, Kees Doets, Steven Lindell, Scott Weinstein |
Elementary Properties of the Finite Ranks. |
Math. Log. Q. |
1998 |
DBLP BibTeX RDF |
|
| 1 | Peter Buneman, Wenfei Fan, Scott Weinstein |
Path Constraints in Semistructured and Structured Databases. |
PODS |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Anuj Dawar, Steven Lindell, Scott Weinstein |
Infinitary Logic and Inductive Definability over Finite Structures |
Inf. Comput. |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Barbara J. Grosz, Aravind K. Joshi, Scott Weinstein |
Centering: A Framework for Modeling the Local Coherence of Discourse. |
Computational Linguistics |
1995 |
DBLP BibTeX RDF |
|
| 1 | Anuj Dawar, Steven Lindell, Scott Weinstein |
First Order Logic, Fixed Point Logic and Linear Order. |
CSL |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Eric Rosen, Scott Weinstein |
Preservation Theorems in Finite Model Theory. |
LCC |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel N. Osherson, Michael Stob, Scott Weinstein |
A Universal Method of Scientific Inquiry. |
Machine Learning |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel N. Osherson, Michael Stob, Scott Weinstein |
A Universal Inductive Inference Machine. |
J. Symb. Log. |
1991 |
DBLP BibTeX RDF |
|
| 1 | Mary-Angela Papalaskari, Scott Weinstein |
Minimal Consequence in Sentential Logic. |
J. Log. Program. |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel N. Osherson, Michael Stob, Scott Weinstein |
A Mechanical Method of Successful Scientific Inquiry. |
COLT |
1990 |
DBLP BibTeX RDF |
|
| 1 | Daniel N. Osherson, Michael Stob, Scott Weinstein |
On Approximate Truth. |
COLT |
1989 |
DBLP BibTeX RDF |
|
| 1 | Daniel N. Osherson, Michael Stob, Scott Weinstein |
Synthesizing Inductive Expertise |
Inf. Comput. |
1988 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel N. Osherson, Michael Stob, Scott Weinstein |
Mechanical Learners Pay a Price for Bayesianism. |
J. Symb. Log. |
1988 |
DBLP BibTeX RDF |
|
| 1 | Daniel N. Osherson, Michael Stob, Scott Weinstein |
Aggregating Inductive Expertise |
Information and Control |
1986 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel N. Osherson, Michael Stob, Scott Weinstein |
Formal Theories of Language Acquisition: Practical and Theoretical Perspectives. |
IJCAI |
1983 |
DBLP BibTeX RDF |
|
| 1 | Barbara J. Grosz, Aravind K. Joshi, Scott Weinstein |
Providing a Unified Account of Definite Noun Phrases in Discourse. |
ACL |
1983 |
DBLP BibTeX RDF |
|
| 1 | Daniel N. Osherson, Scott Weinstein |
Criteria of Language Learning |
Information and Control |
1982 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel N. Osherson, Michael Stob, Scott Weinstein |
Learning Strategies |
Information and Control |
1982 |
DBLP DOI BibTeX RDF |
|
| 1 | Aravind K. Joshi, Scott Weinstein |
Control of Inference: Role of Some Aspects of Discourse Structure-Centering. |
IJCAI |
1981 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")