BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Portugal
3 × USA
Collaborated with:
P.Buneman W.Fan S.Lindell R.Alur P.Cerný
Talks about:
constraint (2) structur (2) path (2) semistructur (1) algorithm (1) interact (1) program (1) databas (1) between (1) analysi (1)

Person: Scott Weinstein

DBLP DBLP: Weinstein:Scott

Contributed to:

CSL 20092009
LICS 20002000
PODS 19991999
PODS 19981998

Wrote 4 papers:

CSL-2009-AlurCW #algorithm #analysis #source code
Algorithmic Analysis of Array-Accessing Programs (RA, PC, SW), pp. 86–101.
LICS-2000-LindellW #decidability #finite #first-order
The Role of Decidability in First Order Separations over Classes of Finite Structures (SL, SW), pp. 45–50.
PODS-1999-BunemanFW #constraints #interactive
Interaction between Path and Type Constraints (PB, WF, SW), pp. 56–67.
PODS-1998-BunemanFW #constraints #database
Path Constraints in Semistructured and Structured Databases (PB, WF, SW), pp. 129–138.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.