Scott Weinstein Home Page Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

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

Coauthor Index

1Rajeev Alur [28]
2Peter Buneman [18] [19] [21] [22] [24] [25]
3Pavol Cerný [28]
4Anuj Dawar [14] [16] [17]
5Kees Doets [17]
6Wenfei Fan [18] [19] [20] [21] [22] [24] [25]
7Barbara J. Grosz [15]
8Aravind K. Joshi [1] [15]
9Elliott H. Lieb [26]
10Steven Lindell [14] [16] [17] [23] [27]
11Daniel N. Osherson [2] [3] [4] [5] [6] [7] [8] [10] [11] [12] [26]
12Mary-Angela Papalaskari [9]
13Eric Rosen [13]
14Jérôme Siméon [24]
15Michael Stob [2] [4] [5] [6] [7] [8] [10] [11] [12]

Colors in the list of coauthors

Copyright © Sun Mar 14 22:39:24 2010 by Michael Ley (ley@uni-trier.de)