BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × France
4 × USA
Collaborated with:
T.Schrijvers C.R.Ramakrishnan D.Campagna D.Zook E.Pasalic R.E.K.Stirewalt L.K.Dillon
Talks about:
constraint (2) datalog (2) deadlock (1) attribut (1) approxim (1) approach (1) thread (1) propag (1) effici (1) design (1)

Person: Beata Sarna-Starosta

DBLP DBLP: Sarna-Starosta:Beata

Contributed to:

PADL 20122012
ICLP 20092009
PADL 20092009
PADL 20072007
SEKE 20062006

Wrote 5 papers:

PADL-2012-CampagnaSS #approximate #constraints #datalog #difference #optimisation
Optimizing Inequality Joins in Datalog with Approximated Constraint Propagation (DC, BSS, TS), pp. 108–122.
ICLP-2009-Sarna-StarostaS
Attributed Data for CHR Indexing (BSS, TS), pp. 357–371.
PADL-2009-ZookPS #datalog
Typed Datalog (DZ, EP, BSS), pp. 168–182.
PADL-2007-Sarna-StarostaR #compilation #constraints #evaluation #performance
Compiling Constraint Handling Rules for Efficient Tabled Evaluation (BSS, CRR), pp. 170–184.
SEKE-2006-Sarna-StarostaSD #approach #concurrent #modelling #multi #thread
A Model-based Design-for-Verification Approach to Checking for Deadlock in Multi-threaded Applications (BSS, REKS, LKD), pp. 120–125.

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.