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 × France
2 × Denmark
Collaborated with:
S.Ben-David S.Barner B.Sterin Y.Wolfsthal D.Geist I.Beer C.Eisner D.Fisman Y.Rodeh
Talks about:
explor (2) design (2) reconstruct (1) backtrack (1) algorithm (1) approach (1) tempor (1) symbol (1) reduct (1) finder (1)

Person: Anna Gringauze

DBLP DBLP: Gringauze:Anna

Contributed to:

CAV 20022002
FME 20022002
CAV 20012001

Wrote 4 papers:

CAV-2002-BarnerGG #backtracking #locality #re-engineering #reduction
Symbolic Localization Reduction with Reconstruction Layering and Backtracking (SB, DG, AG), pp. 65–77.
CAV-2002-Ben-DavidGSW #design #named
PathFinder: A Tool for Design Exploration (SBD, AG, BS, YW), pp. 510–514.
FME-2002-BarnerBGSW #algorithm #approach #design
An Algorithmic Approach to Design Exploration (SB, SBD, AG, BS, YW), pp. 146–162.
CAV-2001-BeerBEFGR #logic
The Temporal Logic Sugar (IB, SBD, CE, DF, AG, YR), pp. 363–367.

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.