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 × Australia
1 × Hungary
Collaborated with:
S.Greco I.Trubitsyna S.Kumar V.S.Subrahmanian
Talks about:
termin (3) rewrit (2) chase (2) constraint (1) wikipedia (1) techniqu (1) function (1) criteria (1) approach (1) stratif (1)

Person: Francesca Spezzano

DBLP DBLP: Spezzano:Francesca

Contributed to:

KDD 20152015
ICLP 20122012
VLDB 20112011
VLDB 20102010

Wrote 4 papers:

KDD-2015-KumarSS #named #wiki
VEWS: A Wikipedia Vandal Early Warning System (SK, FS, VSS), pp. 607–616.
ICLP-2012-GrecoST #logic programming #on the #source code #termination
On the Termination of Logic Programs with Function Symbols (SG, FS, IT), pp. 323–333.
VLDB-2011-GrecoST #termination
Stratification Criteria and Rewriting Techniques for Checking Chase Termination (SG, FS, IT), pp. 1158–1168.
VLDB-2010-SpezzanoG #approach #constraints #termination
Chase Termination: A Constraints Rewriting Approach (FS, SG), pp. 93–104.

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.