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: Spezzano:Francesca
Contributed to:
2015
2012
20112010Wrote 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.