`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: Rigotti:Christophe

### Contributed to:

### 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.