`Travelled to:`

1 × Canada

1 × Czech Republic

1 × Germany

1 × Italy

1 × Latvia

`Collaborated with:`

∅ Y.Nekrich F.Bertault M.Rusinowitch L.Noé M.A.Roytberg

`Talks about:`

system (2) rewrit (2) reduc (2) relationship (1) automaton (1) algorithm (1) constant (1) automata (1) alphabet (1) variabl (1)

## Person: Gregory Kucherov

### DBLP: Kucherov:Gregory

### Contributed to:

### Wrote 6 papers:

- ICALP-v1-2013-KucherovN #constant #realtime
- Full-Fledged Real-Time Indexing for Constant Size Alphabets (GK, YN), pp. 650–660.
- CIAA-2007-KucherovNR #automaton #set
- Subset Seed Automaton (GK, LN, MAR), pp. 180–191.
- WIA-1997-BertaultK #automaton #using #visualisation
- Visualization of Dynamic Automata Using Padnon (FB, GK), pp. 25–28.
- SAC-1994-KucherovR #on the #problem #term rewriting #word
- On ground reducibility problem for word rewriting systems with variables (GK, MR), pp. 271–276.
- RTA-1991-Kucherov #on the #term rewriting
- On Relationship Between Term Rewriting Systems and Regular Tree Languages (GK), pp. 299–311.
- ALP-1988-Kucherov #algorithm #induction #proving #testing
- A New Quasi-Reducibility Testing Algorithm and its Application to Proofs by Induction (GK), pp. 204–213.