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 × Germany
1 × Italy
1 × Spain
1 × USA
Collaborated with:
S.Abdennadher A.Bykowski M.Leleu J.Boulicaut G.Euvrard
Talks about:
constraint (3) pattern (2) solver (2) use (2) represent (1) confluenc (1) synthesi (1) sequenti (1) frequent (1) consecut (1)

Person: Christophe Rigotti

DBLP DBLP: Rigotti:Christophe

Contributed to:

MLDM 20032003
LOPSTR 20022002
PODS 20012001
PPDP 20012001

Wrote 4 papers:

MLDM-2003-LeleuRBE #dataset #mining #named
GO-SPADE: Mining Sequential Patterns over Datasets with Consecutive Repetitions (ML, CR, JFB, GE), pp. 293–306.
LOPSTR-2002-AbdennadherR #constraints #logic programming #synthesis #theorem proving #using
Constraint Solver Synthesis Using Tabled Resolution for Constraint Logic Programming (SA, CR), pp. 32–47.
PODS-2001-BykowskiR #representation
A condensed representation to find frequent patterns (AB, CR).
PPDP-2001-AbdennadherR #confluence #constraints #rule-based #theorem proving #using
Using Confluence to Generate Rule-Based Constraint Solvers (SA, CR), pp. 127–135.

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.