Travelled to:
1 × Czech Republic
1 × France
1 × Germany
1 × Greece
1 × Iceland
1 × United Kingdom
2 × Italy
5 × USA
Collaborated with:
G.Greco N.Leone G.Gottlob L.Ghionna A.Guzzo D.Saccà T.Eiter C.Mateis G.Pfeifer
Talks about:
tractabl (4) queri (4) structur (3) hypertre (3) optim (3) peer (3) hypergraph (2) decomposit (2) character (2) project (2)
Person: Francesco Scarcello
DBLP: Scarcello:Francesco
Contributed to:
Wrote 13 papers:
- PODS-2014-GrecoS #hybrid #query
- Counting solutions to conjunctive queries: structural and hybrid tractability (GG, FS), pp. 132–143.
- CIKM-2011-GhionnaGS #hybrid #named #sql
- H-DB: a hybrid quantitative-structural sql optimizer (LG, GG, FS), pp. 2573–2576.
- PODS-2010-GrecoS #algorithm #consistency #power of
- The power of tree projections: local consistency, greedy algorithms, and larger islands of tractability (GG, FS), pp. 327–338.
- ICALP-v2-2009-GottlobGS #optimisation #problem #strict
- Tractable Optimization Problems through Hypergraph-Based Structural Restrictions (GG, GG, FS), pp. 16–30.
- ICALP-A-2008-GrecoS #game studies
- Tree Projections: Hypergraph Games and Minimality (GG, FS), pp. 736–747.
- CIKM-2005-GrecoS #complexity #consistency #integration #on the #peer-to-peer #query
- On the complexity of computing peer agreements for consistent query answering in peer-to-peer data integration systems (GG, FS), pp. 36–43.
- PODS-2004-ScarcelloGL #query
- Weighted Hypertree Decompositions and Optimal Query Plans (FS, GG, NL), pp. 210–221.
- PPDP-2004-GrecoGSS #datalog #logic programming #multi #programming language #reasoning
- Event choice datalog: a logic programming language for reasoning in multiple dimensions (GG, AG, DS, FS), pp. 238–249.
- PODS-2001-GottlobLS #game studies #logic
- Robbers, Marshals, and Guards: Game Theoretic and Logical Characterizations of Hypertree Width (GG, NL, FS).
- ICALP-1999-GottlobLS
- Computing LOGCFL Certificates (GG, NL, FS), pp. 361–371.
- PODS-1999-GottlobLS #query
- Hypertree Decompositions and Tractable Queries (GG, NL, FS), pp. 21–32.
- KR-1998-EiterLMPS #benchmark #metric
- The KR System dlv: Progress Report, Comparisons and Benchmarks (TE, NL, CM, GP, FS), pp. 406–417.
- ILPS-1995-LeoneS #declarative #fixpoint #modelling
- Declarative and Fixpoint Characterizations of Disjunctive Stable Models (NL, FS), pp. 399–413.