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.