BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
2 × USA
Collaborated with:
L.Simon S.Abiteboul T.Allard G.Gardarin A.Ghitescu F.Goasdoué I.Manolescu B.Nguyen M.Ouazara A.Somani N.Travers G.Vasile S.Zoupanos
Talks about:
web (3) sat (2) experiment (1) framework (1) procedur (1) content (1) putman (1) effici (1) wareh (1) zres (1)

Person: Philippe Chatalic

DBLP DBLP: Chatalic:Philippe

Contributed to:

VLDB 20082008
SAT 20012001
CADE 20002000

Wrote 3 papers:

VLDB-2008-AbiteboulACGGGMNOSTVZ #named #performance #web
WebContent: efficient P2P Warehousing of web data (SA, TA, PC, GG, AG, FG, IM, BN, MO, AS, NT, GV, SZ), pp. 1428–1431.
SAT-2001-SimonC #framework #named #satisfiability
SatEx: A Web-based Framework for SAT Experimentation (LS, PC), pp. 129–149.
CADE-2000-ChatalicS #named
ZRES: The Old Davis-Putman Procedure Meets ZBDD (PC, LS), pp. 449–454.

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.