@STRING{igm_toappear={To appear} } @STRING{igma_acmtosem={ACM Transactions on Software Engineering and Methodology} } @STRING{igma_acta={Acta Informatica} } @STRING{igma_ai = {Acta Arithmetica} } @STRING{igma_bbms={Bulletin of the Belgium Mathematical Society} } @STRING{igma_beatcs={Bulletin of the European Association of Theoretical Computer Science} } @STRING{igma_bsmf={Bulletin de la Soci\'et\'e Math\'ematique de France} } @STRING{igma_craspab={C. R. Acad. Sci. Paris S\'er. A-B} } @STRING{igma_discamath={Discrete Applied Mathematics} } @STRING{igma_discmath={Discrete Mathematics} } @STRING{igma_dlt= {International Conference on Developments in Language Theory} } @STRING{igma_ejc= {European Journal of Combinatorics} } @STRING{igma_elsev={Elsevier} } @STRING{igma_fct= {International Symposium on Fundamentals of Computation Theory} } @STRING{igma_finfo={Fundamenta Informaticae} } @STRING{igma_focs={IEEE Annual Symposium on Foundations of Computer Science} } @STRING{igma_icalp={International Colloquium on Automata, Languages and Programming} } @STRING{igma_ijac={International Journal of Algebra and Computation} } @STRING{igma_ijfcs={Internat. J. of Foundations of Computer Science} } @STRING{igma_infc={Information and Control} } @STRING{igma_ipl= {Information Processing Letters} } @STRING{igma_ja = {Journal of Algorithms} } @STRING{igma_jalg={Journal of Algebra} } @STRING{igma_jcss={Journal of Computer and System Sciences} } @STRING{igma_lncs={Lecture Notes in Computer Science} } @STRING{igma_mfcs={International Symposium on Mathematical Foundations of Computer Science} } @STRING{igma_mst= {Mathematical Systems Theory} } @STRING{igma_shortlncs={LNCS} } @STRING{igma_spver={Springer-Verlag} } @STRING{igma_stacs={International Symposium on Theoretical Aspects of Computer Science} } @STRING{igma_tas= {Transactions of the American Mathematical Society} } @STRING{igma_tcs= {Theoretical Computer Science} } @STRING{igma_tia= {Informatique Theorique et Applications} } @Article{ IGMA_AllArnBer95, author = {Allouche, Jean-Paul and Arnold, Andr\'e and Berstel, Jean and Brlek, Sre{\v{c}}ko and Jockusch, William and Plouffe, Simon and Sagan, Bruce E.}, title = {{{A} relative of the {T}hue-{M}orse sequence}}, journal = igma_discmath, year = {1995}, volume = {139}, pages = {455--461}, number = {1-3}, note = {Formal power series and algebraic combinatorics (Montreal, PQ, 1992)} } @Article{ IGMA_BeaBer81, author = {Beauquier, J. and Berstel, J.}, title = {{{M}ore about the geography of context-free languages}}, journal = igma_infc, year = {1981}, volume = {49}, pages = {91--108}, number = {2} } @Article{ IGMA_BerBerBrl94, author = {Bergeron, F. and Berstel, J. and Brlek, S.}, title = {{{E}fficient computation of addition chains}}, journal = {{J}ournal de {T}h\'eorie des {N}ombres de {B}ordeaux}, year = {1994}, volume = {6}, pages = {21--38}, number = {1} } @Article{ IGMA_BerBerBrl89, author = {Bergeron, F. and Berstel, J. and Brlek, S. and Duboc, C.}, title = {{{A}ddition chains using continued fractions}}, journal = igma_ja, year = {1989}, volume = {10}, pages = {403--412}, number = {3} } @Article{ IGMA_Ber05, author = {Berstel, Jean}, title = {{{G}rowth of repetition-free words---a review}}, journal = igma_tcs, year = {2005}, volume = {340}, pages = {280--290}, number = {2} } @Article{ IGMA_Ber02, author = {Berstel, Jean}, title = {{{R}ecent results on extensions of {S}turmian words}}, journal = igma_ijac, year = {2002}, volume = {12}, pages = {371--385}, number = {1-2}, note = {International Conference on Geometric and Combinatorial Methods in Group Theory and Semigroup Theory (Lincoln, NE, 2000)} } @Article{ IGMA_Ber01, author = {Berstel, Jean}, title = {{{A}n exercise on {F}ibonacci representations}}, journal = igma_tia, year = {2001}, volume = {35}, pages = {491--498}, number = {6}, note = {A tribute to Aldo de Luca} } @Article{ IGMA_Ber89b, author = {Jean Berstel}, title = {{{L}angford strings are square-free}}, journal = igma_beatcs, year = {1989}, volume = {37}, pages = {127-128} } @Article{ IGMA_Ber86b, author = {Berstel, Jean}, title = {{{E}very iterated morphism yields a co-{CFL}}}, journal = igma_ipl, year = {1986}, volume = {22}, pages = {7--9}, number = {1} } @Article{ IGMA_Ber80b, author = {Berstel, Jean}, title = {{{M}ots sans carr\'e et morphismes it\'er\'es}}, journal = igma_discmath, year = {1980}, volume = {29}, pages = {235--244}, number = {3} } @Article{ IGMA_Ber76, author = {Berstel, Jean}, title = {{{F}actorisation de fractions rationnelles et de suites r\'ecurrentes}}, journal = igma_ai, year = {1976/77}, volume = {30}, pages = {5--17}, number = {1} } @Article{ IGMA_Ber73, author = {Berstel, Jean}, title = {{{S}ur une conjecture de {S}. {G}reibach}}, journal = igma_acta, year = {1973/74}, volume = {3}, pages = {293--295} } @Article{ IGMA_Ber73c, author = {Berstel, Jean}, title = {{{U}ne hi\'erarchie des parties rationnelles de ${N}^{2}$}}, journal = igma_mst, year = {1973}, volume = {7}, pages = {114--137} } @Article{ IGMA_Ber71, author = {Berstel, Jean}, title = {{{S}ur les p\^oles et le quotient de {H}adamard de s\'eries {N}-rationnelles}}, journal = igma_craspab, year = {1971}, volume = {272} } @Article{ IGMA_Ber70b, author = {Berstel, Jean}, title = {{{S}ur des fractions rationnelles particuli\`eres}}, journal = igma_craspab, year = {1970}, volume = {270} } @Article{ IGMA_Ber68, author = {Berstel, Jean}, title = {{{U}ne application d'un th\'eor\`eme de {M}ahler aux propri\'et\'es arithm\'etiques des coefficients des s\'eries rationnelles}}, journal = igma_craspab, year = {1968}, volume = {266} } @Article{ IGMA_Ber67b, author = {Berstel, Jean}, title = {{{R}\'esolution, par un r\'eseau d'automates, du probl\`eme des arborescences dans un graphe}}, journal = igma_craspab, year = {1967}, volume = {264} } @Article{ IGMA_BerBoa02b, author = {Berstel, Jean and Boasson, Luc}, title = {{{F}ormal properties of {XML} grammars and languages}}, journal = igma_acta, year = {2002}, volume = {38}, pages = {649--671}, number = {9} } @Article{ IGMA_BerBoa02c, author = {Berstel, Jean and Boasson, Luc}, title = {{{S}huffle factorization is unique}}, journal = igma_tcs, year = {2002}, volume = {273}, pages = {47--67}, number = {1-2}, note = {WORDS (Rouen, 1999)} } @Article{ IGMA_BerBoa00, author = {Jean Berstel and Luc Boasson}, title = {{{F}ormal {P}roperties of {XML} {G}rammars and {L}anguages}}, journal = {{C}o{RR}}, year = {2000}, volume = {cs.DM/0011011}, bibsource = {DBLP, http://dblp.uni-trier.de}, ee = {http://arxiv.org/abs/cs.DM/0011011} } @Article{ IGMA_BerBoa99, author = {Berstel, Jean and Boasson, Luc}, title = {{{A} note on list languages}}, journal = igma_ijac, year = {1999}, volume = {9}, pages = {263--270}, number = {3-4}, note = {Dedicated to the memory of Marcel-Paul Sch\"utzenberger} } @Article{ IGMA_BerBoa99b, author = {Berstel, Jean and Boasson, Luc}, title = {{{P}artial words and a theorem of {F}ine and {W}ilf}}, journal = igma_tcs, year = {1999}, volume = {218}, pages = {135--141}, number = {1}, note = {WORDS (Rouen, 1997)} } @Article{ IGMA_BerBoa97, author = {Berstel, Jean and Boasson, Luc}, title = {{{T}he set of {L}yndon words is not context-free}}, journal = igma_beatcs, year = {1997}, pages = {139--140}, number = {63} } @Article{ IGMA_BerBoa97b, author = {Berstel, Jean and Boasson, L.}, title = {{{T}he set of minimal words of a context-free language is context-free}}, journal = igma_jcss, year = {1997}, volume = {55}, pages = {477--488}, number = {3} } @Article{ IGMA_BerBoa96, author = {Berstel, J. and Boasson, L.}, title = {{{T}owards an algebraic theory of context-free languages}}, journal = igma_finfo, year = {1996}, volume = {25}, pages = {217--239}, number = {3-4} } @Article{ IGMA_BerBoaCar06, author = {Berstel, Jean and Boasson, Luc and Carton, Olivier and Petazzoni, Bruno and Pin, Jean-Eric}, title = {{{O}perations preserving regular languages}}, journal = igma_tcs, year = {2006}, volume = {354}, pages = {405--420}, number = {3} } @Article{ IGMA_BerBoaLat05, author = {Berstel, Jean and Boasson, Luc and Latteux, Michel}, title = {{{M}ixed languages}}, journal = igma_tcs, year = {2005}, volume = {332}, pages = {179--198}, number = {1-3} } @Article{ IGMA_BerBrl87, author = {Berstel, Jean and Brlek, Sre{\v{c}}ko}, title = {{{O}n the length of word chains}}, journal = igma_ipl, year = {1987}, volume = {26}, pages = {23--28}, number = {1} } @Article{ IGMA_BerCrePie04, author = {Jean Berstel and Stefano {Crespi Reghizzi} and Pierluigi San Pietro and Gilles Roussel}, title = {{{A} {S}calable {F}ormal {M}ethod for {D}esign and {A}utomatic {C}hecking of {U}ser {I}nterfaces}}, journal = igma_acmtosem, year = {2004}, volume = {14}, pages = {124--167}, number = {2} } @Article{ IGMA_BerCroPin89, author = {Berstel, J. and Crochemore, M. and Pin, J.-E.}, title = {{{T}hue-{M}orse sequence and {$p$}-adic topology for the free monoid}}, journal = igma_discmath, year = {1989}, volume = {76}, pages = {89--94}, number = {2} } @Article{ IGMA_BerKar03, author = {Berstel, J. and Karhum{\"a}ki, J.}, title = {{{C}ombinatorics on words---a tutorial}}, journal = igma_beatcs, year = {2003}, pages = {178--228}, number = {79} } @Article{ IGMA_BerKarPer04, author = {Berstel, J. and Karhum{\"a}ki, J. and Perrin, D.}, title = {{{P}reface: {S}pecial issue on combinatorics on words}}, journal = igma_ijfcs, year = {2004}, volume = {15}, pages = {223--224}, number = {2} } @Article{ IGMA_BerdeLuc97, author = {Berstel, Jean and de Luca, Aldo}, title = {{{S}turmian words, {L}yndon words and trees}}, journal = igma_tcs, year = {1997}, volume = {178}, pages = {171--203}, number = {1-2} } @Article{ IGMA_BerMig76, author = {Berstel, Jean and Mignotte, Maurice}, title = {{{D}eux propri\'et\'es d\'ecidables des suites r\'ecurrentes lin\'eaires}}, journal = igma_bsmf, year = {1976}, volume = {104}, pages = {175--184}, number = {2} } @Article{ IGMA_BerPer07, author = {Jean Berstel and Dominique Perrin}, title = {{{T}he origins of combinatorics on words}}, journal = igma_ejc, year = {2007}, volume = {28}, pages = {996-1022}, number = {3}, month = apr, pdf = {http://www.sciencedirect.com/science?_ob=ArticleURL&_udi=B6WDY-4HTBKRG-1&_user=10&_coverDate=04%2F30%2F2007&_alid=500014769&_rdoc=1&_fmt=full&_orig=search&_qd=1&_cdi=6779&_sort=d&_docanchor=&view=c&_acct=C000050221&_version=1&_urlVersion=0&_userid=10&md5=217c51aa8326e4f8196ee55560f2187a}, publisher = igma_elsev } @Article{ IGMA_BerPer86, author = {Jean Berstel and Dominique Perrin}, title = {{{T}rends in the theory of codes}}, journal = igma_beatcs, year = {1986}, volume = {29}, pages = {84-95} } @Article{ IGMA_BerPerPer79, author = {Berstel, J. and Perrin, D. and Perrot, J.-F. and Restivo, A.}, title = {{{S}ur le th\'eor\`eme du d\'efaut}}, journal = igma_jalg, year = {1979}, volume = {60}, pages = {169--180}, number = {1} } @Article{ IGMA_BerPin96, author = {Berstel, Jean and Pin, Jean-Eric}, title = {{{L}ocal languages and the {B}erry-{S}ethi algorithm}}, journal = igma_tcs, year = {1996}, volume = {155}, pages = {439--446}, number = {2} } @Article{ IGMA_BerPoc96b, author = {Jean Berstel and Michel Pocchiola}, title = {{{R}andom generation of finite {S}turmian words}}, journal = igma_discmath, year = {1996}, volume = {153}, pages = {29--39}, number = {1-3}, publisher = igma_elsev } @Article{ IGMA_BerPoc94, author = {Berstel, J. and Pocchiola, M.}, title = {{{A}verage cost of {D}uval's algorithm for generating {L}yndon words}}, journal = igma_tcs, year = {1994}, volume = {132}, pages = {415--425}, number = {1-2} } @Article{ IGMA_BerPoc93, author = {Berstel, Jean and Pocchiola, Michel}, title = {{{A} geometric proof of the enumeration formula for {S}turmian words}}, journal = igma_ijac, year = {1993}, volume = {3}, pages = {349--355}, number = {3} } @Article{ IGMA_BerReu90, author = {Berstel, Jean and Reutenauer, Christophe}, title = {{{Z}eta functions of formal languages}}, journal = igma_tas, year = {1990}, volume = {321}, pages = {533--546}, number = {2} } @Article{ IGMA_BerReu82, author = {Berstel, J. and Reutenauer, C.}, title = {{{R}ecognizable formal power series on trees}}, journal = igma_tcs, year = {1982}, volume = {18}, pages = {115--148}, number = {2} } @Article{ IGMA_BerSee94, author = {Berstel, J. and S\'e\'ebold, P.}, title = {{{A} remark on morphic {S}turmian words}}, journal = igma_tia, year = {1994}, volume = {28}, pages = {255--263}, number = {3-4} } @Article{ IGMA_BerSee94b, author = {Berstel, Jean and S\'e\'ebold, Patrice}, title = {{{M}orphismes de {S}turm}}, journal = igma_bbms, year = {1994}, volume = {1}, pages = {175--189}, number = {2}, note = {Journ\'ees Montoises (Mons, 1992)} } @Article{ IGMA_BerSee93, author = {Berstel, J. and S\'e\'ebold, P.}, title = {{{A} characterization of overlap-free morphisms}}, journal = igma_discamath, year = {1993}, volume = {46}, pages = {275--281}, number = {3} } @Article{ IGMA_BerVui02, author = {Berstel, Jean and Vuillon, Laurent}, title = {{{C}oding rotations on intervals}}, journal = igma_tcs, year = {2002}, volume = {281}, pages = {99--107}, number = {1-2}, note = {Selected papers in honour of Maurice Nivat} } @Article{ IGMA_BerReu08, author = {Berstel, Jean and Reutenauer, Christophe}, title = {{Another proof of {S}oittola's theorem}}, journal = igma_tcs, year = {2008}, volume = {393}, number = {1-3}, pages = {196--203}, month = mar, note = { } } @Article{ IGMA_BerReu08b, author = {Berstel, Jean and Reutenauer, Christophe}, title = {{Extension of {B}rzozowski's derivation calculus of rational expressions to series over the free partially commutative monoids}}, journal = igma_tcs, year = {2008}, igmtoappear = {true}, note = { } # igm_toappear # { } } @Article{ IGMA_BerBoaCar10, idhal = {hal-00542963}, pwdhal = {ri3szdj}, typeupe = {ARTICLE_international}, author = {Berstel, Jean and Boasson, Luc and Carton, Olivier and Fagnot, Isabelle}, labs = {3210,,,3210}, title = {{Sturmian Trees}}, journal = {Theory of Computing Systems}, year = {2010}, volume = {46}, number = {3}, pages = {443--478}, pdf = {http://igm.univ-mlv.fr/~berstel/Articles/2010SturmianTrees.pdf}, lang = {EN}, note = { } } @Article{ IGMA_BerBoaCar10b, idhal = {hal-00542964}, pwdhal = {a5p1rj}, typeupe = {ARTICLE_international}, author = {Berstel, Jean and Boasson, Luc and Carton, Olivier and Pin, Jean-Eric and Restivo, Antonio}, labs = {3210,,,,}, title = {{The expressive power of the shuffle product}}, journal = {Information and Computation}, year = {2010}, volume = {208}, number = {11}, pages = {1258--1272}, pdf = {http://igm.univ-mlv.fr/~berstel/Articles/2010ExpressivPowerShuffleProduct.pdf}, lang = {EN}, note = { } } @Article{ IGMA_BerBoaCar09, idhal = {hal-00542965}, pwdhal = {e357ahf}, typeupe = {ARTICLE_international}, author = {Berstel, Jean and Boasson, Luc and Carton, Olivier}, labs = {3210,,}, title = {{Continuant polynomials and worst-case behavior of Hopcroft's minimization algorithm}}, journal = {Theoretical Computer Science}, year = {2009}, volume = {410}, number = {30-32}, pages = {2811--2822}, lang = {EN}, note = { } } @Article{ IGMA_BerBoaCar08, idhal = {hal-00542966}, pwdhal = {ooyt0x}, typeupe = {ARTICLE_international}, author = {Berstel, Jean and Boasson, Luc and Carton, Olivier}, labs = {3210,,}, title = {{Hopcroft's automaton minimization algorithm and Sturmian words}}, journal = {Discrete Mathematics and Theoretical Computer Science}, year = {2008}, volume = {AI}, pages = {355--366}, lang = {EN}, note = { } } @Book{ IGMA_BeaBerChr92, title = {{{E}l\'ements d'algorithmique}}, publisher = {Masson}, year = {1992}, author = {Dani\`ele Beauquier and Jean Berstel and Philippe Chr\'etienne}, note = {463 pages} } @Book{ IGMA_Ber79c, title = {{{T}ransductions and context-free languages}}, publisher = {B. G. Teubner}, year = {1979}, author = {Berstel, Jean}, volume = {38}, pages = {278}, series = {Leitf\"aden der Angewandten Mathematik und Mechanik [Guides to Applied Mathematics and Mechanics]}, address = {Stuttgart} } @Book{ IGMA_BerPer85, title = {{{T}heory of codes}}, publisher = {Academic Press Inc.}, year = {1985}, author = {Berstel, Jean and Perrin, Dominique}, volume = {117}, pages = {xiv+433}, series = {Pure and Applied Mathematics}, address = {Orlando, FL} } @Book{ IGMA_BercoiPer86, title = {{{M}ultics, guide de l'usager}}, publisher = {Masson}, year = {1986}, author = {Jean Berstel and Jean-Fran\c cois Perrot}, note = {270 pages} } @Book{ IGMA_BerPinPoc91, title = {{{M}ath\'ematiques et {I}nformatique: {P}robl\`emes r\'esolus}}, publisher = {McGraw Hill France}, year = {1991}, author = {Jean Berstel and Jean-Eric Pin and Michel Pocchiola}, note = {2 volumes} } @Book{ IGMA_BerReu88, title = {{{R}ational series and their languages}}, publisher = igma_spver, year = {1988}, author = {Berstel, Jean and Reutenauer, Christophe}, volume = {12}, pages = {viii+151}, series = {EATCS Monographs on Theoretical Computer Science}, address = {Berlin} } @Book{ IGMA_BerReu84, title = {{{L}es s\'eries rationnelles et leurs langages}}, publisher = {Masson}, year = {1984}, author = {Berstel, J. and Reutenauer, C.}, pages = {132}, series = {\'Etudes et Recherches en Informatique. [Studies and Research in Computer Science]}, address = {Paris} } @Book{ IGMA_BerReu84b, title = {{{L}es s\'eries rationnelles et leurs langages}}, publisher = {Masson}, year = {1984}, author = {Jean Berstel and Christophe Reutenauer}, note = {130 pages.} } @Book{ IGMA_Lot05b, author = {Lothaire, M.}, title = {{Applied {C}ombinatorics on {W}ords}}, series = {Encyclopedia of Mathematics and its Applications}, publisher = {Cambridge University Press}, editor = {Berstel, Jean and Perrin, Dominique}, year = {2005}, volume = {105}, igmnbpages = {610}, note = { (610 pp.) } } @Book{ IGMA_BerPerReu09, idhal = {hal-00542960}, pwdhal = { @qs4bqs @}, typeupe = {BOOK_auteur}, author = {Berstel, Jean and Perrin, Dominique and Reutenauer, Christophe}, labs = {3210,3210,}, title = {{Codes and Autmata}}, series = {Encyclopedia of Mathematics and its Applications}, publisher = {Cambridge University Press}, year = {2009}, volume = {129}, month = nov, igmnbpages = {619}, url = {http://igm.univ-mlv.fr/~berstel/LivreCodes/Codes.html}, lang = {EN}, note = { (619 pp.) } } @Book{ IGMA_BerReu10, idhal = {hal-00542961}, pwdhal = {eio##\&w}, typeupe = {BOOK_auteur}, author = {Berstel, Jean and Reutenauer, Christophe}, labs = {3210,}, title = {{Noncommutative Rational Series with Applications}}, series = {Encyclopedia of Mathematics and its Applications}, publisher = {Cambridge Univeersity Press}, year = {2010}, volume = {137}, month = oct, igmnbpages = {248}, url = {http://igm.univ-mlv.fr/~berstel/LivreSeries/LivreSeries.html}, lang = {EN}, note = { (248 pp.) } } @Book{ IGMA_BerLauReu08, idhal = {hal-00542962}, pwdhal = {6#nysr#}, typeupe = {BOOK_auteur}, author = {Berstel, Jean and Lauve, Aaron and Reutenauer, Christophe and Saliola, Franco}, labs = {3210,,,}, title = {{Combinatorics on Words: Christoffel Words and Repetition in Words}}, series = {CRM Monograph Series}, publisher = {Universit\'e de Montr\'eal et American Mathematical Society}, year = {2008}, volume = {27}, month = dec, igmnbpages = {147}, lang = {EN}, note = { (147 pp.) } } @InBook{ IGMA_Ber86, chapter = {Fibonacci words - a survey}, pages = {13-27.}, title = {{{T}he {B}ook of {L}}}, publisher = igma_spver, year = {1986}, editor = {G. Rozenberg and A. Salomaa}, author = {Jean Berstel} } @InCollection{ IGMA_AutBerBoa97, author = {Autebert, Jean-Michel and Berstel, Jean and Boasson, Luc}, title = {{{C}ontext-free languages and pushdown automata}}, booktitle = {Handbook of formal languages, Vol. 1}, publisher = igma_spver, year = {1997}, pages = {111--174} } @InCollection{ IGMA_Ber99, author = {Berstel, Jean}, title = {{{O}n the index of {S}turmian words}}, booktitle = {Jewels are forever}, publisher = igma_spver, year = {1999}, pages = {287--294}, address = {Berlin} } @InCollection{ IGMA_Ber95, author = {Jean Berstel}, title = {{{A}xel {T}hue's papers on repetitions in words: a translation}}, year = {1995}, volume = {20}, series = {Monographies du LaCIM}, note = {85 pages}, institution = {LaCIM} } @InCollection{ IGMA_Ber94, author = {Berstel, J.}, title = {{{A} rewriting of {F}ife's theorem about overlap-free words}}, booktitle = {Results and trends in theoretical computer science (Graz, 1994)}, publisher = igma_spver, year = {1994}, volume = {812}, series = igma_shortlncs, pages = {19--29} } @InCollection{ IGMA_Ber92, author = {Jean Berstel}, title = {{{A}xel {T}hue's work on repetitions in words}}, booktitle = {S\'eries Formelles et Combinatoire Alg'ebrique}, year = {1992}, volume = {11}, series = {Monographies du LaCIM}, pages = {65-80} } @InCollection{ IGMA_Ber90, author = {Berstel, Jean}, title = {{{T}rac\'e de droites, fractions continues et morphismes it\'er\'es}}, booktitle = {Mots}, publisher = {Herm\`es}, year = {1990}, series = {Lang. Raison. Calc.}, pages = {298--309}, address = {Paris} } @InCollection{ IGMA_Ber89, author = {Berstel, Jean}, title = {{{F}inite automata and rational languages: an introduction}}, booktitle = {Formal properties of finite automata and applications (Ramatuelle, 1988)}, publisher = igma_spver, year = {1989}, volume = {386}, series = igma_shortlncs, pages = {2--14}, address = {Berlin} } @InCollection{ IGMA_Ber84, author = {Berstel, J.}, title = {{{M}ots infinis}}, booktitle = {Avignon conference on language theory and algorithmic complexity (Avignon, 1983)}, publisher = {Univ. Claude-Bernard}, year = {1984}, volume = {84}, series = {Publ. D\'ep. Math. Nouvelle S\'er. B}, pages = {89--102}, address = {Lyon} } @InCollection{ IGMA_Ber79, author = {Berstel, Jean}, title = {{{S}ur la construction de mots sans carr\'e}}, booktitle = {S\'eminaire de Th\'eorie des Nombres, 1978--1979}, publisher = {CNRS}, year = {1979}, pages = {Exp. No. 18, 15}, address = {Talence} } @InCollection{ IGMA_Ber78, author = {Berstel, J.}, title = {{{E}nsembles reconnaissables de nombres}}, booktitle = {Langages alg\'ebriques (Proc. First Meeting, Information Theory, Bonascre, 1973)}, publisher = {\'Ecole Nat. Sup. Tech. Avanc\'ees, Paris}, year = {1978}, pages = {23--84} } @InCollection{ IGMA_Ber78c, author = {Berstel, Jean}, title = {{{S}\'eries rationnelles}}, booktitle = {S\'eries formelles en variables non commutatives et applications (Proc. 5e \'Ecole de Printemps Informat. Th\'eorique, Vieux-Boucau les Bains, 1977)}, publisher = {\'Ecole Nat. Sup. Tech. Avanc\'ees, Paris}, year = {1978}, pages = {5--22} } @InCollection{ IGMA_Ber77, author = {Jean Berstel}, title = {{{ARCO} pour la programmation arithm\'etique et combinatoire.}}, booktitle = {M\'emoires de la Soci\'et\'e Math\'ematique de France}, year = {1977}, volume = {49-50}, pages = {11-13} } @InCollection{ IGMA_Ber70c, author = {Berstel, Jean}, title = {{{S}ur des fractions rationnelles particuli\`eres}}, booktitle = {S\'eminaire M. P. Sch\"utzenberger, A. Lentin et M. Nivat, 1969/70: Probl\`emes Math\'ematiques de la Th\'eorie des Automates}, publisher = {Secr\'etariat math\'ematique}, year = {1970}, pages = {Exp. 2, 9}, address = {Paris} } @InCollection{ IGMA_BerBoa02, author = {Berstel, Jean and Boasson, Luc}, title = {{{B}alanced grammars and their languages}}, booktitle = {Formal and natural computing}, publisher = igma_spver, year = {2002}, volume = {2300}, series = igma_shortlncs, pages = {3--25} } @InCollection{ IGMA_BerBoa90, author = {Berstel, J. and Boasson, L.}, title = {{{C}ontext-free languages}}, booktitle = {Handbook of theoretical computer science, Vol. B}, publisher = igma_elsev, year = {1990}, pages = {59--102}, address = {Amsterdam} } @InCollection{ IGMA_BerNie76, author = {Berstel, Jean and Nielsen, Mogens}, title = {{{T}he growth range equivalence problem for {DOL} systems is decidable}}, booktitle = {Automata, languages, development}, publisher = {North-Holland}, year = {1976}, pages = {161--178}, address = {Amsterdam} } @InCollection{ IGMA_BerPer02, author = {Jean Berstel and Dominique Perrin}, title = {{{F}inite and infinite words}}, booktitle = {Algebraic Combinatorics on Words}, publisher = {Cambridge University Press}, year = {2002}, editor = {M. Lothaire} } @InCollection{ IGMA_BerPer83, author = {Berstel, J. and Perrin, D.}, title = {{{C}odes circulaires}}, booktitle = {Combinatorics on words (Waterloo, Ont., 1982)}, publisher = {Academic Press}, year = {1983}, pages = {133--165}, address = {Toronto, ON} } @InCollection{ IGMA_BerPoc92, author = {Jean Berstel and Michel Pocchiola}, title = {{{G}\'eom\'etrie algorithmique.}}, booktitle = {Courrier du CNRS}, year = {1992}, volume = {80}, series = {La recherche en informatique}, pages = {58-59} } @InCollection{ IGMA_BerReu80, author = {Berstel, J. and Reutenauer, C.}, title = {{{S}\'eries formelles reconnaissables d'arbres et applications}}, booktitle = {Trees in algebra and programming (Proc. 5th Lille Colloq., Lille, 1980)}, publisher = {Univ. Lille I}, year = {1980}, pages = {11--21}, address = {Lille} } @InCollection{ IGMA_BerSee02, author = {Jean Berstel and Patrice S\'e\'ebold}, title = {{{S}turmian {W}ords}}, booktitle = {Algebraic Combinatorics on Words}, publisher = {Cambridge University Press}, year = {2002}, editor = {M. Lothaire} } @InCollection{ IGMA_BerPer05, author = {Berstel, Jean and Perrin, Dominique}, title = {{Algorithms on Words}}, booktitle = {Applied Combinatorics on Words}, series = {Encyclopedia of Mathematics and its Applications}, publisher = {Cambridge University Press}, editor = {Lothaire, M.}, year = {2005}, volume = {105}, pages = {1--105}, note = { } } @InCollection{ IGMA_BerBoa06, author = {Berstel, Jean and Boasson, Luc}, title = {{Mod\`eles de machines}}, booktitle = {Encyclop\'edie de l'informatique et des syst\`emes d'information}, publisher = {Vuibert}, editor = {Akoka, Jacky and Comyn-Wattiau, Isabelle }, year = {2006}, pages = {987--998}, note = { } } @InCollection{ IGMA_BeaBerMar10, idhal = {hal-00542959}, pwdhal = {j12raon}, typeupe = {INBOOK}, author = {B\'eal, Marie-Pierre and Berstel, Jean and Marcus, Brian H. and Perrin, Dominique and Reutenauer, Christophe and Siegel, Paul H.}, labs = {3210,3210,,3210,,}, booktitle = {Selected Topics in Information and Coding Theory}, publisher = {World Scientific}, editor = {Woungang, I. and Misra, S. and Misra, S.C.}, year = {2010}, pages = {505--584}, chapter = {12}, igmchapter = {Variable-length codes and finite automata}, title = {{Variable-length codes and finite automata}}, pdf = {http://igm.univ-mlv.fr/~berstel/Articles/2010HandbookCodes.pdf}, lang = {EN}, note = { } } @InProceedings{ IGMA_Ber72, author = {Jean Berstel}, labs = {3210}, title = {{{O}n {S}ets of {N}umbers {R}ecognized by {P}ush-{D}own {A}utomata}}, booktitle = {13th } # igma_focs # { (FOCS'72)}, year = {1972}, pages = {200-206}, address = {The University of Maryland, USA}, month = oct, igmconf = igma_focs, igmnumbisconf = {th}, igmnumconf = {13} } @InProceedings{ IGMA_BeaBer81b, author = {Beauquier, J. and Berstel, J.}, title = {{{M}ore about the geography of context-free languages}}, booktitle = igma_mfcs # { (MFCS 1981)}, year = {1981}, volume = {118}, series = igma_shortlncs, pages = {183--192}, publisher = igma_spver } @InProceedings{ IGMA_Ber96, author = {Berstel, Jean}, title = {{{R}ecent results in {S}turmian words}}, booktitle = igma_dlt # {(DLT 1995)}, year = {1996}, pages = {13--24}, publisher = {World Sci. Publ., River Edge, NJ} } @InProceedings{ IGMA_Ber89c, author = {Berstel, J.}, title = {{{P}roperties of infinite words: recent results}}, booktitle = igma_stacs # { (STACS 1989)}, year = {1989}, volume = {349}, series = igma_shortlncs, pages = {36--46}, publisher = igma_spver } @InProceedings{ IGMA_Ber85, author = {Berstel, Jean}, title = {{{S}ome recent results on squarefree words}}, booktitle = {Proceedings of the conference on infinitistic mathematics (Lyon, 1984)}, year = {1985}, volume = {85}, series = {Publ. D\'ep. Math. Nouvelle S\'er. B}, pages = {21--36}, address = {Lyon}, publisher = {Univ. Claude-Bernard} } @InProceedings{ IGMA_Ber84b, author = {Jean Berstel}, title = {{{M}ots infinis}}, booktitle = {Th\'eorie des langages et complexit\'e des algorithmes}, year = {1984}, pages = {89-102}, address = {Lyon, France} } @InProceedings{ IGMA_Ber84c, author = {Berstel, Jean}, title = {{{S}ome recent results on squarefree words}}, booktitle = igma_stacs # { (STACS 1984)}, year = {1984}, volume = {166}, series = igma_shortlncs, pages = {14--25}, publisher = igma_spver } @InProceedings{ IGMA_Ber84d, author = {Jean Berstel}, title = {{{W}\"orter ohne {W}iederholungen}}, booktitle = {10i\'eme S\'eminaire Lotharingien de combinatoire}, year = {1984}, pages = {5-29} } @InProceedings{ IGMA_Ber79b, author = {Berstel, Jean}, title = {{{S}ur les mots sans carr\'e d\'efinis par un morphisme}}, booktitle = igma_icalp # { (ICALP 1979)}, year = {1979}, volume = {71}, series = igma_shortlncs, pages = {16--25}, publisher = igma_spver } @InProceedings{ IGMA_Ber78b, author = {Berstel, J.}, title = {{{M}\'emento sur les transductions rationnelles}}, booktitle = {Langages alg\'ebriques (Proc. First Meeting, Information Theory, Bonascre, 1973)}, year = {1978}, pages = {5--22}, publisher = {\'Ecole Nat. Sup. Tech. Avanc\'ees, Paris} } @InProceedings{ IGMA_Ber77c, author = {Berstel, J.}, title = {{{S}ome recent results on recognizable formal power series}}, booktitle = igma_fct # { (FCT 1977)}, year = {1977}, volume = {56}, series = igma_shortlncs, pages = {39--48.}, publisher = igma_spver } @InProceedings{ IGMA_Ber73b, author = {Berstel, Jean}, title = {{{S}ur la densit\'e asymptotique de langages formels}}, booktitle = igma_icalp # { (ICALP, 1972)}, year = {1973}, pages = {345--358}, publisher = {North-Holland} } @InProceedings{ IGMA_BerBoa00b, author = {Berstel, Jean and Boasson, Luc}, title = {{{XML} grammars}}, booktitle = igma_mfcs # { (MFCS 2000)}, year = {2000}, volume = {1893}, series = igma_shortlncs, pages = {182--191}, publisher = igma_spver } @InProceedings{ IGMA_BerBoa74, author = {Berstel, J. and Boasson, L.}, title = {{{U}ne suite d\'ecroissante de c\^ones rationnels}}, booktitle = {2nd } # igma_icalp # { (ICALP 1974)}, year = {1974}, volume = {14}, series = igma_shortlncs, pages = {383--397}, publisher = igma_spver } @InProceedings{ IGMA_BerBoaCar03, author = {Berstel, Jean and Boasson, Luc and Carton, Olivier and Petazzoni, Bruno and Pin, Jean-{\'E}ric}, title = {{{O}perations preserving recognizable languages}}, booktitle = {14th } # igma_fct, year = {2003}, editor = {Andrzej Lingas and J. Nilsson, Bengt}, volume = {2751}, series = igma_shortlncs, pages = {343--354}, address = {Malmo, Sweden}, month = aug, publisher = igma_spver } @InProceedings{ IGMA_BerCar04, author = {Berstel, Jean and Carton, Olivier}, title = {{{O}n the complexity of {H}opcroft's state minimization algorithm}}, booktitle = {9th International Conference on Implementation and Application of Automata (CIAA 2004)}, year = {2004}, editor = {Domaratzki, Michael and Okhotin, Alexander and Salomaa, Kai and Yu, Sheng}, volume = {3317}, series = igma_shortlncs, pages = {35--44}, address = {Kingston, Canada}, month = jul, publisher = igma_spver } @InProceedings{ IGMA_BerCreSan01, author = {Jean Berstel and Stefano {Crespi Reghizzi} and Pierluigi {San Pietro} and Gilles Roussel}, title = {{{A} {S}calable {F}ormal {M}ethod for {D}esign and {A}utomatic {C}hecking of {U}ser {I}nterfaces}}, booktitle = {International Conference on Software Engineering (ICSE'01)}, year = {2001}, pages = {453-462}, month = may, publisher = {ACM SIGSOFT} } @InProceedings{ IGMA_BerMor89, author = {Jean Berstel and Michelle Morcrette}, title = {{{C}ompact representation of patterns by finite automata}}, booktitle = {PIXIM 89}, year = {1989}, pages = {387-402} } @InProceedings{ IGMA_BerNai89, author = {J. Berstel and S. Nait-Abdallah}, title = {{{T}\'etrarbres engendr\'es par des automates finis}}, booktitle = {Journ\'ees AFCET-GROPLAN}, year = {1989}, editor = {Bigre Globule}, volume = {61-62}, pages = {167-175} } @InProceedings{ IGMA_BerPoc96, author = {Berstel, Jean and Pocchiola, Michel}, title = {{{R}andom generation of finite {S}turmian words}}, booktitle = {5th Conference on Formal Power Series and Algebraic Combinatorics (Florence, 1993)}, year = {1996}, volume = {153}, number = {1-3}, pages = {29--39} } @InProceedings{ IGMA_BerReu88b, author = {Berstel, Jean and Reutenauer, Christophe}, title = {{{Z}eta functions of recognizable languages}}, booktitle = {15th } # igma_icalp # { (ICALP 1988)}, year = {1988}, volume = {317}, series = igma_shortlncs, pages = {93--104}, publisher = igma_spver } @InProceedings{ IGMA_BerSee93b, author = {Berstel, Jean and S\'e\'ebold, Patrice}, title = {{{A} characterization of {S}turmian morphisms}}, booktitle = igma_mfcs # { (MFCS 1993)}, year = {1993}, volume = {711}, series = igma_shortlncs, pages = {281--290}, publisher = igma_spver } @InProceedings{ IGMA_BerSak86, author = {Berstel, Jean and Sakarovitch, Jacques}, title = {{{R}ecent results in the theory of rational sets}}, booktitle = igma_mfcs # {3 (MFCS 1986)}, year = {1986}, volume = {233}, series = igma_shortlncs, pages = {15--28}, publisher = igma_spver } @InProceedings{ IGMA_Ber07, author = {Berstel, Jean}, title = {{Sturmian and episturmian words (a survey of some recent results)}}, booktitle = { Conference on Algebraic Informatics (CAI'07)}, igmacroconf = {CAI}, igmconf = {Conference on Algebraic Informatics}, series = igma_lncs, publisher = igma_spver, editor = {Bozapalidis, S and Rahonis, G.}, year = {2007}, volume = {4728}, pages = {23--47}, note = { } } @InProceedings{ IGMA_BerBoaCar07, author = {Berstel, Jean and Boasson, Luc and Carton, Olivier and Fagnot, Isabelle}, title = {{A First Investigation of {S}turmian Trees}}, booktitle = { } # igma_stacs # { (STACS'07)}, igmacroconf = {STACS}, igmconf = igma_stacs, series = igma_lncs, publisher = igma_spver, editor = {Thomas, Wolfgang and Weil, Pascal}, year = {2007}, volume = {4393}, pages = {73--84}, note = { } } @InProceedings{ IGMA_BerSav05, author = {Berstel, Jean and Savelli, Alessandra}, title = {{Crochemore factorization of {S}turmian and other infinite words}}, booktitle = {31th } # igma_mfcs # { (MFCS'05)}, igmnumconf = {31}, igmnumbisconf = {th}, igmacroconf = {MFCS}, igmconf = igma_mfcs, series = igma_shortlncs, publisher = igma_spver, editor = {Kralovic, Rastislav and Urzyczyn, Pawel}, year = {2005}, volume = {4162}, pages = {157--166}, note = { } } @Misc{ IGMA_Ber85b, author = {Jean Berstel}, title = {{{T}he construction of finite biprefix codes. :}}, year = {1985}, note = {in Combinatorial algorithms in algebraic structures. 20-35} } @Misc{ IGMA_Ber82, author = {Jean Berstel}, title = {{{F}onctions rationnelles et addition}}, howpublished = {Ecole de printemps Th\'eorie des langages, LITP}, year = {1982}, note = {177-183} } @Misc{ IGMA_Ber80, author = {Jean Berstel}, title = {{{M}ots de {F}ibonacci.}}, howpublished = {S\'eminaire d'informatique th\'eorique Paris}, year = {1980-1981}, note = {57-78} } @Misc{ IGMA_Ber77b, author = {Jean Berstel}, title = {{{C}ongruences plus que parfaites et langages alg\'ebriques}}, howpublished = {S\'eminaire d'informatique th\'eorique, Paris}, year = {1977}, note = {123-147} } @Misc{ IGMA_Ber70, author = {Jean Berstel}, title = {{{D}ie asymptotische {D}ichte formaler {S}prachen}}, howpublished = {Mitteilungen de GMD 17}, year = {1970}, note = {9-13} } @Misc{ IGMA_Ber67, author = {Jean Berstel}, title = {{{A}nwendung von {A}utomatennetzen in der {G}raphentheorie.}}, howpublished = {Colloquium\"uber Automatentheorie, Munich}, year = {1967}, note = {1-8} } @Misc{ IGMA_BerReu80b, author = {Jean Berstel and Christophe Reutenauer}, title = {{{S}\'eries formelles d'arbres et applications}}, howpublished = {Les arbres en alg\`ebre et programmation, Lille}, year = {1980}, note = {11-21} } @Proceedings{ IGMA_Ber78d, title = {{{S}\'eries formelles en variables non commutatives et applications}}, year = {1978}, editor = {Berstel, Jean}, publisher = {\'Ecole Nationale Sup\'erieure de Techniques Avanc\'ees, Laboratoire d'Informatique Th\'eorique et Programmation, Paris}, booktitle = {Proceedings of the Fifth \'Ecole de Printemps d'Informatique Th\'eorique, held at Vieux-Boucau les Bains, May 23--27, 1977}, pages = {vi+260} }