Travelled to:1 × Austria
1 × Finland
1 × Germany
1 × The Netherlands
2 × Canada
Collaborated with:∅ O.Carton C.Reutenauer L.Boasson S.Crespi-Reghizzi G.Roussel P.S.Pietro
Talks about:algorithm (1) sturmian (1) recogniz (1) interfac (1) hopcroft (1) function (1) scalabl (1) languag (1) complex (1) automat (1)
Person: Jean Berstel
DBLP: Berstel:Jean
Contributed to:
2004
2001
1995
1988197919741972Wrote 7 papers:
- CIAA-2004-BerstelC #algorithm #complexity #on the
- On the Complexity of Hopcroft’s State Minimization Algorithm (JB, OC), pp. 35–44.
- ICSE-2001-BerstelCRP #automation #design #formal method #scalability #user interface
- A Scalable Formal Method for Design and Automatic Checking of User Interfaces (JB, SCR, GR, PSP), pp. 453–462.
- DLT-1995-Berstel #word
- Recent Results on Sturmian Words (JB), pp. 13–24.
- ICALP-1988-BerstelR
- Zeta Functions of Recognizable Languages (JB, CR), pp. 93–104.
- ICALP-1979-Berstel #french #morphism
- Sur les mots sans carré définis par un morphisme (JB), pp. 16–25.
- ICALP-1974-BerstelB #french
- Une suite decroissante de cônes rationnels (JB, LB), pp. 383–397.
- ICALP-1972-Berstel #french
- Sur la densité asymptotique de langages formels (JB), pp. 345–358.