RAIRO. Theoretical Informatics and Applications Short Title: Theor. Inform. Appl. Parallel Title: Informatique Théorique et Applications Publisher: EDP Sciences, Les Ulis ISSN: 0988-3754; 1290-385X/e Online: http://www.rairo-ita.org/index.phphttp://www.numdam.org/journals/ITA Predecessor: RAIRO. Informatique Théorique et Applications Successor: RAIRO. Theoretical Informatics and Applications Comments: Journal; No longer indexed Documents Indexed: 345 Publications (1999–2009) References Indexed: 328 Publications with 6,647 References. all top 5 Latest Issues 43, No. 4 (2009) 43, No. 3 (2009) 43, No. 2 (2009) 43, No. 1 (2009) 42, No. 4 (2008) 42, No. 3 (2008) 42, No. 2 (2008) 42, No. 1 (2008) 41, No. 4 (2007) 41, No. 3 (2007) 41, No. 2 (2007) 41, No. 1 (2007) 40, No. 4 (2006) 40, No. 3 (2006) 40, No. 2 (2006) 40, No. 1 (2006) 39, No. 3 (2005) 39, No. 2 (2005) 39, No. 1 (2005) 38, No. 4 (2004) 38, No. 3 (2004) 38, No. 2 (2004) 38, No. 1 (2004) 37, No. 4 (2003) 37, No. 3 (2003) 37, No. 2 (2003) 37, No. 1 (2003) 36, No. 4 (2002) 36, No. 3 (2002) 36, No. 2 (2002) 36, No. 1 (2002) 35, No. 6 (2001) 35, No. 5 (2001) 35, No. 4 (2001) 35, No. 3 (2001) 35, No. 2 (2001) 35, No. 1 (2001) 34, No. 6 (2000) 34, No. 5 (2000) 34, No. 4 (2000) 34, No. 3 (2000) 34, No. 2 (2000) 34, No. 1 (2000) 33, No. 6 (1999) 33, No. 4-5 (1999) 33, No. 3 (1999) 33, No. 2 (1999) 33, No. 1 (1999) all top 5 Authors 7 Carton, Olivier 6 Choffrut, Christian 6 Ésik, Zoltán 5 Harju, Tero 5 Justin, Jacques 4 de Luca, Aldo 4 Finkel, Olivier 4 Frougny, Christiane 4 Honkala, Juha 4 Karhumaki, Juhani 4 Mereghetti, Carlo 4 Palano, Beatrice 4 Pelantová, Edita 3 Balková, L’ubomíra 3 Bollig, Beate 3 Carpi, Arturo 3 Cassaigne, Julien 3 Geffert, Viliam 3 Goldwurm, Massimiliano 3 Halava, Vesa 3 Héam, Pierre-Cyrille 3 Holub, Štěpán 3 Ingólfsdóttir, Anna 3 Jirásková, Galina 3 Kärki, Tomi 3 La Torre, Salvatore 3 Labella, Anna 3 Litow, Bruce E. 3 Maňuch, Ján 3 Masáková, Zuzana 3 Mitrana, Victor 3 Napoli, Margherita 3 Otto, Friedrich 3 Restivo, Antonio 3 Seibert, Sebastian 3 Selivanov, Viktor L’vovich 3 Serna Iglesias, Maria José 3 Szepietowski, Andrzej 3 Terlutte, Alain 2 Aceto, Luca 2 Almeida, Jorge 2 Béal, Marie-Pierre 2 Berstel, Jean 2 Berthé, Valérie 2 Blanchet-Sadri, Francine 2 Böckenhauer, Hans-Joachim 2 Bozapalidis, Symeon 2 Bradfield, Julian Charles 2 Cabessa, Jérémie 2 Campadelli, Paola 2 Carrasco, Rafael C. 2 Cegielski, Patrick 2 Creignou, Nadia 2 Currie, James D. 2 Czaja, Ludwik 2 Daudé, Hervé 2 De Felice, Clelia 2 de Figueiredo, Celina M. Herrera 2 do Lago, Alair Pereira 2 Duparc, Jacques 2 Duval, Jean-Pierre 2 Fernau, Henning 2 Frid, Anna Èduardovna 2 Ghani, Neil 2 Glen, Amy 2 Grübel, Rudolf 2 Guesnet, Yannick 2 Guessarian, Irène 2 Ilie, Lucian 2 Imai, Katsunobu 2 Jurdziński, Tomasz 2 Kirsten, Daniel 2 Klein, Sulamita 2 Kuske, Dietrich 2 Lefebvre, Arnaud 2 Lombardy, Sylvain 2 Margenstern, Maurice 2 Mauri, Giancarlo 2 Mignosi, Filippo 2 Morita, Kenichi 2 Muller, Jean-Michel 2 Nguyen Huong Lam 2 Nour, Karim 2 Ochem, Pascal 2 Okhotin, Alexander 2 Parente, Mimmo 2 Pighizzini, Giovanni 2 Pin, Jean-Eric 2 Pirillo, Giuseppe 2 Popély, Norbert 2 Rampersad, Narad 2 Richomme, Gwénaël 2 Roos, Yves 2 Rothe, Jörg-Matthias 2 Salomaa, Arto Kustaa 2 Santini, Massimo 2 Shur, Arseny M. 2 Silva, Pedro V. 2 Simonnet, Pierre 2 Simplot, David ...and 379 more Authors all top 5 Fields 306 Computer science (68-XX) 66 Mathematical logic and foundations (03-XX) 30 Combinatorics (05-XX) 26 Group theory and generalizations (20-XX) 22 Information and communication theory, circuits (94-XX) 21 Number theory (11-XX) 14 Category theory; homological algebra (18-XX) 12 Dynamical systems and ergodic theory (37-XX) 10 General and overarching topics; collections (00-XX) 9 Order, lattices, ordered algebraic structures (06-XX) 9 Operations research, mathematical programming (90-XX) 7 General algebraic systems (08-XX) 7 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 6 Numerical analysis (65-XX) 4 Quantum theory (81-XX) 3 History and biography (01-XX) 3 Convex and discrete geometry (52-XX) 3 Probability theory and stochastic processes (60-XX) 3 Biology and other natural sciences (92-XX) 2 Field theory and polynomials (12-XX) 2 Linear and multilinear algebra; matrix theory (15-XX) 2 General topology (54-XX) 1 Commutative algebra (13-XX) 1 Associative rings and algebras (16-XX) 1 Functions of a complex variable (30-XX) 1 Approximations and expansions (41-XX) 1 Statistics (62-XX) 1 Systems theory; control (93-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 270 Publications have been cited 1,941 times in 1,666 Documents Cited by ▼ Year ▼ Adhesive and quasiadhesive categories. Zbl 1078.18010 Lack, Stephen; Sobociński, Paweł 80 2005 A sharpening of the Parikh mapping. Zbl 1005.68092 Mateescu, Alexandru; Salomaa, Arto; Salomaa, Kai; Yu, Sheng 72 2001 Return words in Sturmian and episturmian words. Zbl 0987.68055 Justin, Jacques; Vuillon, Laurent 47 2000 Episturmian words: a survey. Zbl 1182.68155 Glen, Amy; Justin, Jacques 46 2009 A generator of morphisms for infinite words. Zbl 1110.68122 Ochem, Pascal 34 2006 Many-sorted coalgebraic modal logic: A model-theoretic study. Zbl 0984.03019 Jacobs, Bart 31 2001 On the equivalence of linear conjunctive grammars and trellis automata. Zbl 1084.68079 Okhotin, Alexander 31 2004 On Christoffel classes. Zbl 1085.68116 Borel, Jean-Pierre; Reutenauer, Christophe 30 2006 Measuring the problem-relevant information in input. Zbl 1176.68089 Dobrev, Stefan; Královič, Rastislav; Pardubská, Dana 30 2009 The \(\mu\)-calculus alternation-depth hierarchy is strict on binary trees. Zbl 0945.68118 Arnold, André 27 1999 Episturmian morphisms and a Galois theorem on continued fractions. Zbl 1126.68519 Justin, Jacques 27 2005 Unambiguous recognizable two-dimensional languages. Zbl 1112.68085 Anselmo, Marcella; Giammarresi, Dora; Madonia, Maria; Restivo, Antonio 26 2006 Division in logspace-uniform NC. Zbl 1014.68062 Chiu, Andrew; Davida, George; Litow, Bruce 26 2001 On a paper by Castelli, Mignosi, Restivo. Zbl 0987.68056 Justin, Jacques 24 2000 Permissive strategies: From parity games to safety games. Zbl 1090.91514 Bernet, Julien; Janin, David; Walukiewicz, Igor 21 2002 Finding \(H\)-partitions efficiently. Zbl 1063.05124 Dantas, Simone; de Figueiredo, Celina M. H.; Gravier, Sylvain; Klein, Sulamita 21 2005 Some results on \(\mathcal C\)-varieties. Zbl 1083.20059 Pin, Jean-Éric; Straubing, Howard 21 2005 State complexity of cyclic shift. Zbl 1144.68033 Jirásková, Galina; Okhotin, Alexander 20 2008 Distance desert automata and the star height problem. Zbl 1082.20041 Kirsten, Daniel 19 2005 Wadge degrees of \(\omega\)-languages of deterministic Turing machines. Zbl 1048.03031 Selivanov, Victor 19 2003 Hyper-minimizing minimized deterministic finite state automata. Zbl 1170.68023 Badr, Andrew; Geffert, Viliam; Shipman, Ian 19 2009 A Burnside approach to the termination of Mohri’s algorithm for polynomially ambiguous min-plus-automata. Zbl 1155.68042 Kirsten, Daniel 19 2008 On synchronized sequences and their separators. Zbl 1003.68064 Carpi, Arturo; Maggi, Cristiano 19 2001 Dejean’s conjecture holds for \({n\geq 27}\). Zbl 1192.68497 Currie, James; Rampersad, Narad 18 2009 Computing \(\varepsilon\)-free NFA from regular expressions in \(O(n\log^2 (n))\) time. Zbl 0971.68091 Hagenah, Christian; Muscholl, Anca 18 2000 Words over an ordered alphabet and suffix permutations. Zbl 1013.68153 Duval, Jean-Pierre; Lefebvre, Arnaud 18 2002 Least periods of factors of infinite words. Zbl 1162.68510 Currie, James D.; Saari, Kalle 18 2009 Some decision problems on integer matrices. Zbl 1081.20066 Choffrut, Christian; Karhumäki, Juhani 18 2005 Polynomials over the reals in proofs of termination: from theory to practice. Zbl 1085.68076 Lucas, Salvador 17 2005 Theories of orders on the set of words. Zbl 1098.03021 Kuske, Dietrich 17 2006 Note on the succinctness of deterministic, nondeterministic, probabilistic and quantum finite automata. Zbl 1010.68068 Mereghetti, Carlo; Palano, Beatrice; Pighizzini, Giovanni 17 2001 Generalizing substitution. Zbl 1042.18003 Uustalu, Tarmo 16 2003 On substitution invariant Sturmian words: an application of Rauzy fractals. Zbl 1140.11014 Berthé, Valérie; Ei, Hiromi; Ito, Shunji; Rao, Hui 15 2007 On some problems related to palindrome closure. Zbl 1155.68061 Bucci, Michelangelo; de Luca, Aldo; De Luca, Alessandro; Zamboni, Luca Q. 15 2008 A characterization of poly-slender context-free languages. Zbl 0966.68097 Ilie, Lucian; Rozenberg, Grzegorz; Salomaa, Arto 14 2000 Traced premonoidal categories. Zbl 1110.68356 Benton, Nick; Hyland, Martin 14 2003 Complexity of infinite words associated with beta-expansions. Zbl 1104.11013 Frougny, Christiane; Masáková, Zuzana; Pelantová, Edita 14 2004 Quantum finite automata with control language. Zbl 1112.68064 Mereghetti, Carlo; Palano, Beatrice 13 2006 Efficient validation and construction of border arrays and validation of string matching automata. Zbl 1166.68033 Duval, Jean-Pierre; Lecroq, Thierry; Lefebvre, Arnaud 13 2009 On a characteristic property of Arnoux-Rauzy sequences. Zbl 1060.68094 Justin, Jacques; Pirillo, Giuseppe 13 2002 On extremal properties of the Fibonacci word. Zbl 1155.68062 Cassaigne, Julien 13 2008 Improved lower bounds on the approximability of the traveling salesman problem. Zbl 0971.68075 Böckenhauer, Hans-Joachim; Seibert, Sebastian 12 2000 Rewriting on cyclic structures: Equivalence between the operational and the categorical description. Zbl 0940.18002 Corradini, Andrea; Gadducci, Fabio 11 1999 Density of critical factorizations. Zbl 1013.68154 Harju, Tero; Nowotka, Dirk 11 2002 An exercise of Fibonacci representations. Zbl 1005.68119 Berstel, Jean 11 2001 Picture codes. Zbl 1117.94015 Bozapalidis, Symeon; Grammatikopoulou, Archontia 10 2006 Sequences of low arithmetical complexity. Zbl 1110.68116 Avgustinovich, Sergey V.; Cassaigne, Julien; Frid, Anna E. 10 2006 Complexity classes for membrane systems. Zbl 1112.68065 Porreca, Antonio E.; Mauri, Giancarlo; Zandron, Claudio 10 2006 Decision problems among the main subfamilies of rational relations. Zbl 1112.03008 Carton, Olivier; Choffrut, Christian; Grigorieff, Serge 10 2006 Non-looping string rewriting. Zbl 0951.68054 Geser, Alfons; Zantema, Hans 10 1999 A note on coinduction and weak bisimiliarity for while programs. Zbl 0945.68073 Rutten, J. J. M. M. 10 1999 Local transition functions of quantum Turing machines. Zbl 0987.68035 Ozawa, Masanao; Nishimura, Harumichi 10 2000 Learning deterministic regular grammars from stochastic samples in polynomial time. Zbl 0940.68071 Carrasco, Rafael C.; Oncina, Jose 10 1999 Termination checking with types. Zbl 1089.68028 Abel, Andreas 10 2004 Coproducts of ideal monads. Zbl 1072.18006 Ghani, Neil; Uustalu, Tarmo 10 2004 Comparing complexity functions of a language and its extendable part. Zbl 1149.68055 Shur, Arseny M. 10 2008 An algorithm for deciding if a polyomino tiles the plane. Zbl 1146.68409 Gambini, Ian; Vuillon, Laurent 9 2007 Object oriented institutions to specify symbolic computation systems. Zbl 1146.68481 Domínguez, César; Lambán, Laureano; Rubio, Julio 9 2007 On the complexity of the hidden weighted bit function for various BDD models. Zbl 0946.68042 Bollig, Beate; Löbbing, Martin; Sauerhoff, Martin; Wegener, Ingo 9 1999 On existentially first-order definable languages and their relation to NP. Zbl 0949.03035 Borchert, Bernd; Kuske, Dietrich; Stephan, Frank 9 1999 Fixpoint alternation: Arithmetic, transition systems, and the binary tree. Zbl 0945.68126 Bradfield, J. C. 9 1999 Call-by-value solvability. Zbl 0958.68061 Paolini, Luca; Ronchi Della Rocca, Simona 9 1999 On the size of one-way quantum finite automata with periodic behaviors. Zbl 1013.68088 Mereghetti, Carlo; Palano, Beatrice 9 2002 A note on a conjecture of Duval and Sturmian words. Zbl 1013.68152 Mignosi, Filippo; Zamboni, Luca Q. 9 2002 Equational description of pseudovarieties of homomorphisms. Zbl 1045.20049 Kunc, Michal 9 2003 Hierarchies and reducibilities on regular languages related to modulo counting. Zbl 1174.03016 Selivanov, Victor L. 9 2009 Hereditary properties of words. Zbl 1132.68048 Balogh, József; Bollobás, Béla 9 2005 \(\mu\)-bicomplete categories and parity games. Zbl 1024.18001 Santocanale, Luigi 9 2002 Undecidability of infinite Post correspondence problem for instances of size 9. Zbl 1114.03035 Halava, Vesa; Harju, Tero 8 2006 Computing the Rabin index of a parity automaton. Zbl 0958.68089 Carton, Olivier; Maceiras, Ramón 8 1999 A lower bound for reversible automata. Zbl 0987.68043 Héam, Pierre-Cyrille 8 2000 Domain-free \(\lambda\mu\)-calculus. Zbl 0974.68032 Fujita, Ken-Etsu 8 2000 Galois lattice as a framework to specify building class hierarchies algorithms. Zbl 0976.06003 Huchard, M.; Dicky, H.; Leblanc, H. 8 2000 Highly undecidable problems for infinite computations. Zbl 1171.03024 Finkel, Olivier 8 2009 A morphic approach to combinatorial games: the Tribonacci case. Zbl 1143.91314 Duchêne, Eric; Rigo, Michel 8 2008 Returning and non-returning parallel communicating finite automata are equivalent. Zbl 1146.68385 Choudhary, Ashish; Krithivasan, Kamala; Mitrana, Victor 7 2007 Substitutions by motives of dimension 1. (Substitutions par des motifs en dimension 1.) Zbl 1144.11020 Fogg, N. Pytheas 7 2007 Universality of reversible hexagonal cellular automata. Zbl 0953.68099 Morita, Kenichi; Margenstern, Maurice; Imai, Katsunobu 7 1999 Iteration of rational transductions. Zbl 0962.68090 Terlutte, Alain; Simplot, David 7 2000 A note on the number of squares in a partial word with one hole. Zbl 1192.68496 Blanchet-Sadri, Francine; Mercaş, Robert 7 2009 Two-variable word equations. Zbl 0977.68070 Ilie, Lucian; Plandowski, Wojciech 7 2000 On-line finite automata for addition in some numeration systems. Zbl 0927.68052 Frougny, Christiane 7 1999 Cricular splicing and regularity. Zbl 1082.68048 Bonizzoni, Paola; De Felice, Clelia; Mauri, Giancarlo; Zizza, Rosalba 7 2004 Undecidability of topological and arithmetical properties of infinitary rational relations. Zbl 1112.03312 Finkel, Olivier 7 2003 Similarity relations and cover automata. Zbl 1102.68057 Champarnaud, Jean-Marc; Guingne, Franck; Hansel, Georges 7 2005 Series which are both max-plus and min-plus rational are unambiguous. Zbl 1085.68081 Lombardy, Sylvain; Mairesse, Jean 7 2006 Hierarchies of function classes defined by the first-value operator. Zbl 1146.03032 Hemmerling, Armin 7 2008 On an algorithm to decide whether a free group is a free factor of another. Zbl 1146.20021 Silva, Pedro V.; Weil, Pascal 7 2008 Some algebraic properties of machine poset of infinite words. Zbl 1167.68030 Belovs, Aleksandrs 7 2008 Two sided sand piles model and unimodal sequences. Zbl 1149.68408 Phan, Thi Ha Duong 7 2008 Feedback, trace and fixed-point semantics. Zbl 1050.68100 Katis, P.; Sabadini, Nicoletta; Walters, Robert F. C. 7 2002 Balance properties of the fixed point of the substitution associated to quadratic simple Pisot numbers. Zbl 1146.68410 Turek, Ondřej 6 2007 An upper bound for transforming self-verifying automata into deterministic ones. Zbl 1130.68067 Assent, Ira; Seibert, Sebastian 6 2007 Immunity and simplicity for exact counting and other counting classes. Zbl 0946.68051 Rothe, J. 6 1999 Topologies, continuity and bisimulations. Zbl 0940.03021 Davoren, J. M. 6 1999 Squares and overlaps in the Thue-Morse sequence and some variants. Zbl 1110.68117 Brown, Shandy; Rampersad, Narad; Shallit, Jeffrey; Vasiga, Troy 6 2006 Left-to-right regular languages and two-way restarting automata. Zbl 1176.68107 Otto, Friedrich 6 2009 Recursive coalgebras of finitary functors. Zbl 1147.18001 Adámek, Jiří; Lücke, Dominik; Milius, Stefan 6 2007 A hierarchy for circular codes. Zbl 1155.68069 Pirillo, Giuseppe 6 2008 Forbidden factors and fragment assembly. Zbl 1005.68122 Mignosi, F.; Restivo, A.; Sciortino, M. 6 2001 Episturmian words: a survey. Zbl 1182.68155 Glen, Amy; Justin, Jacques 46 2009 Measuring the problem-relevant information in input. Zbl 1176.68089 Dobrev, Stefan; Královič, Rastislav; Pardubská, Dana 30 2009 Hyper-minimizing minimized deterministic finite state automata. Zbl 1170.68023 Badr, Andrew; Geffert, Viliam; Shipman, Ian 19 2009 Dejean’s conjecture holds for \({n\geq 27}\). Zbl 1192.68497 Currie, James; Rampersad, Narad 18 2009 Least periods of factors of infinite words. Zbl 1162.68510 Currie, James D.; Saari, Kalle 18 2009 Efficient validation and construction of border arrays and validation of string matching automata. Zbl 1166.68033 Duval, Jean-Pierre; Lecroq, Thierry; Lefebvre, Arnaud 13 2009 Hierarchies and reducibilities on regular languages related to modulo counting. Zbl 1174.03016 Selivanov, Victor L. 9 2009 Highly undecidable problems for infinite computations. Zbl 1171.03024 Finkel, Olivier 8 2009 A note on the number of squares in a partial word with one hole. Zbl 1192.68496 Blanchet-Sadri, Francine; Mercaş, Robert 7 2009 Left-to-right regular languages and two-way restarting automata. Zbl 1176.68107 Otto, Friedrich 6 2009 Minimal NFA and biRFSA languages. Zbl 1166.68025 Latteux, Michel; Roos, Yves; Terlutte, Alain 5 2009 Directive words of episturmian words: equivalences and normalization. Zbl 1166.68034 Glen, Amy; Levé, Florence; Richomme, Gwénaël 5 2009 On critical exponents in fixed points of \(k\)-uniform binary morphisms. Zbl 1170.68034 Krieger, Dalia 4 2009 Palindromes in infinite ternary words. Zbl 1191.68476 Balková, L’ubomíra; Pelantová, Edita; Starosta, Štěpán 3 2009 Equations on partial words. Zbl 1170.68032 Blanchet-Sadri, Francine; Blair, D. Dakota; Lewis, Rebeca V. 3 2009 Cycle and path embedding on 5-ary \(n\)-cubes. Zbl 1156.68041 Lin, Tsong-Jie; Hsieh, Sun-Yuan; Huang, Hui-Ling 3 2009 On the power of randomization for job shop scheduling with \(k\)-units length tasks. Zbl 1166.68041 Mömke, Tobias 3 2009 A game theoretical approach to the algebraic counterpart of the Wagner hierarchy. I. Zbl 1175.03021 Cabessa, Jérémie; Duparc, Jacques 3 2009 Labeled shortest paths in digraphs with negative and positive edge weights. Zbl 1175.68196 Bradford, Phillip G.; Thomas, David A. 3 2009 On the proper intervalization of colored caterpillar trees. Zbl 1192.68339 Àlvarez, Carme; Serna, Maria 2 2009 The theorem of Fine and Wilf for relational periods. Zbl 1166.68035 Halava, Vesa; Harju, Tero; Kärki, Tomi 2 2009 A note on dual approximation algorithms for class constrained bin packing problems. Zbl 1166.68368 Xavier, Eduardo C.; Miyazawa, Flàvio Keidi 2 2009 On context-free rewriting with a simple restriction and its computational completeness. Zbl 1171.68017 Masopust, Tomáš; Meduna, Alexander 2 2009 Palindromic complexity of infinite words associated with non-simple Parry numbers. Zbl 1156.68043 Balková, L’ubomíra; Masáková, Zuzana 1 2009 Polynomial languages with finite antidictionaries. Zbl 1166.68026 Shur, Arseny M. 1 2009 Tree automata and automata on linear orderings. Zbl 1166.68022 Bruyère, Véronique; Carton, Olivier; Sénizergues, Géraud 1 2009 A game theoretical approach to the algebraic counterpart of the Wagner hierarchy. II. Zbl 1175.03022 Cabessa, Jérémie; Duparc, Jacques 1 2009 Dynamic overloading with copy semantics in object-oriented languages: a formal account. Zbl 1175.68094 Bettini, Lorenzo; Capecchi, Sara; Venneri, Betti 1 2009 Squares and cubes in Sturmian sequences. Zbl 1176.68150 Dubickas, Artūras 1 2009 State complexity of cyclic shift. Zbl 1144.68033 Jirásková, Galina; Okhotin, Alexander 20 2008 A Burnside approach to the termination of Mohri’s algorithm for polynomially ambiguous min-plus-automata. Zbl 1155.68042 Kirsten, Daniel 19 2008 On some problems related to palindrome closure. Zbl 1155.68061 Bucci, Michelangelo; de Luca, Aldo; De Luca, Alessandro; Zamboni, Luca Q. 15 2008 On extremal properties of the Fibonacci word. Zbl 1155.68062 Cassaigne, Julien 13 2008 Comparing complexity functions of a language and its extendable part. Zbl 1149.68055 Shur, Arseny M. 10 2008 A morphic approach to combinatorial games: the Tribonacci case. Zbl 1143.91314 Duchêne, Eric; Rigo, Michel 8 2008 Hierarchies of function classes defined by the first-value operator. Zbl 1146.03032 Hemmerling, Armin 7 2008 On an algorithm to decide whether a free group is a free factor of another. Zbl 1146.20021 Silva, Pedro V.; Weil, Pascal 7 2008 Some algebraic properties of machine poset of infinite words. Zbl 1167.68030 Belovs, Aleksandrs 7 2008 Two sided sand piles model and unimodal sequences. Zbl 1149.68408 Phan, Thi Ha Duong 7 2008 A hierarchy for circular codes. Zbl 1155.68069 Pirillo, Giuseppe 6 2008 When is the orbit algebra of a group an integral domain? Proof of a conjecture of P. J. Cameron. Zbl 1146.03015 Pouzet, Maurice 5 2008 Drunken man infinite words complexity. Zbl 1188.68217 Le Gonidec, Marion 5 2008 Weakly maximal decidable structures. Zbl 1149.03015 Bès, Alexis; Cégielski, Patrick 4 2008 Efficiency of automata in semi-commutation verification techniques. Zbl 1144.68039 Cécé, Gérard; Héam, Pierre-Cyrille; Mainier, Yann 4 2008 An intrinsically non minimal-time Minsky-like 6-states solution to the firing squad synchronization problem. Zbl 1148.68410 Yunès, Jean-Baptiste 3 2008 A complete characterization of primitive recursive intensional behaviours. Zbl 1148.68388 Valarcher, P. 3 2008 D0L sequence equivalence is in P for fixed alphabets. Zbl 1144.68037 Ruohonen, Keijo 3 2008 Dejean’s conjecture and letter frequency. Zbl 1147.68612 Chalopin, Jérémie; Ochem, Pascal 3 2008 Tree inclusion problems. Zbl 1149.68040 Cégielski, Patrick; Guessarian, Irène; Matiyasevich, Yuri 2 2008 About the domino problem in the hyperbolic plane from an algorithmic point of view. Zbl 1237.52016 Margenstern, Maurice 2 2008 Arithmetization of the field of reals with exponentiation – extended abstract. Zbl 1144.03027 Boughattas, Sedki; Ressayre, Jean-Pierre 2 2008 Computing the \(j\)th solution of a first-order query. Zbl 1149.68028 Bagan, Guillaume; Durand, Arnaud; Grandjean, Eitenne; Olive, Frédéric 2 2008 On the continuity set of an omega rational function. Zbl 1149.03028 Carton, Olivier; Finkel, Olivier; Simonnet, Pierre 2 2008 A hierarchy of automatic \(\omega\)-words having a decidable MSO theory. Zbl 1152.03030 Bárány, Vince 2 2008 An automata-theoretic approach to the study of the intersection of two submonoids of a free monoid. Zbl 1149.68058 Giambruno, Laura; Restivo, Antonio 2 2008 Compatibility relations on codes and free monoids. Zbl 1149.68069 Kärki, Tomi 2 2008 On varieties of literally idempotent languages. Zbl 1151.68032 Klíma, Ondřej; Polák, Libor 2 2008 Traces of term-automatic graphs. Zbl 1149.68395 Meyer, Antoine 2 2008 Deciding whether a relation defined in Presburger logic can be defined in weaker logics. Zbl 1158.03007 Choffrut, Christian 1 2008 Census algorithms for Chinese remainder pseudorank. Zbl 1141.11324 Laing, David; Litow, Bruce 1 2008 A note on univoque self-Sturmian numbers. Zbl 1197.11029 Allouche, Jean-Paul 1 2008 On substitution invariant Sturmian words: an application of Rauzy fractals. Zbl 1140.11014 Berthé, Valérie; Ei, Hiromi; Ito, Shunji; Rao, Hui 15 2007 An algorithm for deciding if a polyomino tiles the plane. Zbl 1146.68409 Gambini, Ian; Vuillon, Laurent 9 2007 Object oriented institutions to specify symbolic computation systems. Zbl 1146.68481 Domínguez, César; Lambán, Laureano; Rubio, Julio 9 2007 Returning and non-returning parallel communicating finite automata are equivalent. Zbl 1146.68385 Choudhary, Ashish; Krithivasan, Kamala; Mitrana, Victor 7 2007 Substitutions by motives of dimension 1. (Substitutions par des motifs en dimension 1.) Zbl 1144.11020 Fogg, N. Pytheas 7 2007 Balance properties of the fixed point of the substitution associated to quadratic simple Pisot numbers. Zbl 1146.68410 Turek, Ondřej 6 2007 An upper bound for transforming self-verifying automata into deterministic ones. Zbl 1130.68067 Assent, Ira; Seibert, Sebastian 6 2007 Recursive coalgebras of finitary functors. Zbl 1147.18001 Adámek, Jiří; Lücke, Dominik; Milius, Stefan 6 2007 A graph approach to computing nondeterminacy in substitutional dynamical systems. Zbl 1165.37006 Carlsen, Toke M.; Eilers, Søren 5 2007 Combinatorial and arithmetical properties of infinite words associated with non-simple quadratic Parry numbers. Zbl 1144.11009 Balková, Lubomíra; Pelantová, Edita; Turek, Ondřej 5 2007 Formally certified floating-point filters for homogeneous geometric predicates. Zbl 1133.65010 Melquiond, Guillaume; Pion, Sylvain 4 2007 Decidability of code properties. Zbl 1203.68084 Fernau, Henning; Reinhardt, Klaus; Staiger, Ludwig 4 2007 Three notes on the complexity of model checking fixpoint logic with Chop. Zbl 1133.68046 Lange, Martin 3 2007 Defect theorem in the plane. Zbl 1144.68048 Moczurad, Włodzimierz 3 2007 Uniformly bounded duplication codes. Zbl 1144.68047 Leupold, Peter; Mitrana, Victor 2 2007 Combinatorics of recurrent words of complexity \(n+2\). (Combinatoire de mots récurrents de complexité \(n+2\).) Zbl 1149.11013 Kaboré, Idrissa; Tapsoba, Théodore 2 2007 Deciding inclusion of set constants over infinite non-strict data structures. Zbl 1146.68353 Schmidt-Schauss, Manfred; Sabel, David; Schütz, Marko 1 2007 Automata, Borel functions and real numbers in Pisot base. Zbl 1156.03036 Cagnard, Benoit; Simonnet, Pierre 1 2007 Real and complex pseudozero sets for polynomials with applications. Zbl 1163.65023 Graillat, Stef; Langlois, Philippe 1 2007 Fast and correctly rounded logarithms in double-precision. Zbl 1132.65302 de Dinechin, Florent; Lauter, Christoph; Muller, Jean-Michel 1 2007 Multiple-precision correctly rounded Newton-Cotes quadrature. Zbl 1136.65032 Fousse, Laurent 1 2007 Learning tree languages from text. Zbl 1144.68031 Fernau, Henning 1 2007 A generator of morphisms for infinite words. Zbl 1110.68122 Ochem, Pascal 34 2006 On Christoffel classes. Zbl 1085.68116 Borel, Jean-Pierre; Reutenauer, Christophe 30 2006 Unambiguous recognizable two-dimensional languages. Zbl 1112.68085 Anselmo, Marcella; Giammarresi, Dora; Madonia, Maria; Restivo, Antonio 26 2006 Theories of orders on the set of words. Zbl 1098.03021 Kuske, Dietrich 17 2006 Quantum finite automata with control language. Zbl 1112.68064 Mereghetti, Carlo; Palano, Beatrice 13 2006 Picture codes. Zbl 1117.94015 Bozapalidis, Symeon; Grammatikopoulou, Archontia 10 2006 Sequences of low arithmetical complexity. Zbl 1110.68116 Avgustinovich, Sergey V.; Cassaigne, Julien; Frid, Anna E. 10 2006 Complexity classes for membrane systems. Zbl 1112.68065 Porreca, Antonio E.; Mauri, Giancarlo; Zandron, Claudio 10 2006 Decision problems among the main subfamilies of rational relations. Zbl 1112.03008 Carton, Olivier; Choffrut, Christian; Grigorieff, Serge 10 2006 Undecidability of infinite Post correspondence problem for instances of size 9. Zbl 1114.03035 Halava, Vesa; Harju, Tero 8 2006 Series which are both max-plus and min-plus rational are unambiguous. Zbl 1085.68081 Lombardy, Sylvain; Mairesse, Jean 7 2006 Squares and overlaps in the Thue-Morse sequence and some variants. Zbl 1110.68117 Brown, Shandy; Rampersad, Narad; Shallit, Jeffrey; Vasiga, Troy 6 2006 Graph fibrations, graph isomorphism, and PageRank. Zbl 1112.68002 Boldi, Paolo; Lonati, Violetta; Santini, Massimo; Vigna, Sebastiano 5 2006 A little more about morphic Sturmian words. Zbl 1110.68118 Fagnot, Isabelle 4 2006 On a complete set of operations for factorizing codes. Zbl 1091.94017 De Felice, Clelia 4 2006 Well quasi-orders, unavoidable sets, and derivation systems. Zbl 1110.68060 D’Alessandro, Flavio; Varricchio, Stefano 3 2006 On possible growths of arithmetical complexity. Zbl 1110.68120 Frid, Anna E. 3 2006 ...and 170 more Documents all cited Publications top 5 cited Publications all top 5 Cited by 1,790 Authors 31 Okhotin, Alexander 30 Shallit, Jeffrey Outlaw 24 de Luca, Aldo 24 Selivanov, Viktor L’vovich 24 Zamboni, Luca Quardo 21 Ochem, Pascal 19 Cassaigne, Julien 19 Teh, Wen Chean 18 Palano, Beatrice 17 De Felice, Clelia 17 Kutrib, Martin 17 Madonia, Maria 17 Mereghetti, Carlo 17 Rampersad, Narad 17 Restivo, Antonio 16 Anselmo, Marcella 16 Finkel, Olivier 16 Gadducci, Fabio 16 Pelantová, Edita 16 Reutenauer, Christophe 15 Holzer, Markus 15 Perrin, Dominique 15 Richomme, Gwénaël 15 Rigo, Michel 15 Salomaa, Arto Kustaa 15 Shur, Arseny M. 14 Blanchet-Sadri, Francine 14 De Luca, Alessandro 14 Harju, Tero 14 Sciortino, Marinella 14 Subramanian, Kumbakonam Govindarajan 13 Corradini, Andrea 13 Lucas, Salvador 12 Berthé, Valérie 12 Giammarresi, Dora 12 Potapov, Igor 11 Carpi, Arturo 11 Glen, Amy 11 Karhumaki, Juhani 11 Milius, Stefan 11 Pirillo, Giuseppe 10 Atanasiu, Adrian 10 Bollig, Beate 10 Jeż, Artur 10 Komm, Dennis 10 König, Barbara 10 Královič, Richard 9 Baldan, Paolo 9 Behr, Nicolas 9 Bonchi, Filippo 9 Bucci, Michelangelo 9 Carton, Olivier 9 Currie, James D. 9 D’Alessandro, Flavio 9 Dolce, Francesco 9 Ehrig, Hartmut 9 Fici, Gabriele 9 Mahalingam, Kalpana 9 Malcher, Andreas 9 Paulusma, Daniël 9 Pin, Jean-Eric 9 Skrzypczak, Michał 9 Sobociński, Paweł 9 Yu, Sheng 8 Bera, Somnath 8 Böckenhauer, Hans-Joachim 8 Frid, Anna Èduardovna 8 Holub, Štěpán 8 Honkala, Juha 8 Maletti, Andreas 8 Michel, Christian J. 8 Nowotka, Dirk 8 Otto, Friedrich 8 Poovanandran, Ghajendran 8 Rytter, Wojciech 8 Salomaa, Kai T. 8 Silva, Pedro V. 7 Adámek, Jiří 7 Berstel, Jean 7 Boyar, Joan F. 7 Dantas, Simone 7 de Figueiredo, Celina M. Herrera 7 Favrholdt, Lene Monrad 7 Gawrychowski, Paweł 7 Goncharov, Sergeĭ Savost’yanovich 7 Heindel, Tobias 7 Inenaga, Shunsuke 7 Justin, Jacques 7 Klasing, Ralf 7 Kosiol, Jens 7 Labbé, Sébastien 7 Leroy, Julien 7 Masáková, Zuzana 7 Pattinson, Dirk 7 Qiu, Daowen 7 Rosenfeld, Matthieu 7 Schröder, Lutz 7 Starosta, Štěpán 7 Stipulanti, Manon 7 Taentzer, Gabriele ...and 1,690 more Authors all top 5 Cited in 197 Journals 326 Theoretical Computer Science 101 International Journal of Foundations of Computer Science 69 Information and Computation 67 RAIRO. Theoretical Informatics and Applications 37 RAIRO. Theoretical Informatics and Applications 34 Discrete Applied Mathematics 34 Journal of Computer and System Sciences 33 Information Processing Letters 33 Theory of Computing Systems 27 MSCS. Mathematical Structures in Computer Science 23 European Journal of Combinatorics 22 Logical Methods in Computer Science 20 International Journal of Algebra and Computation 19 The Electronic Journal of Combinatorics 16 Acta Informatica 15 Annals of Pure and Applied Logic 11 Discrete Mathematics 11 Journal of Combinatorial Theory. Series A 10 Algorithmica 10 Journal of Logical and Algebraic Methods in Programming 9 Advances in Applied Mathematics 9 Journal of Discrete Algorithms 8 The Journal of Logic and Algebraic Programming 7 Journal of Functional Programming 6 Journal of Automated Reasoning 6 Discrete Event Dynamic Systems 6 Computational Complexity 6 Applied Categorical Structures 6 Integers 5 Journal of Number Theory 5 Journal of Pure and Applied Algebra 5 The Journal of Symbolic Logic 5 Semigroup Forum 5 Transactions of the American Mathematical Society 5 Archive for Mathematical Logic 5 International Journal of Bifurcation and Chaos in Applied Sciences and Engineering 5 Annals of Mathematics and Artificial Intelligence 5 Journal of Automata, Languages and Combinatorics 5 Discrete Mathematics and Theoretical Computer Science. DMTCS 5 Fundamenta Informaticae 5 Natural Computing 4 Journal of Algebra 4 Monatshefte für Mathematik 4 International Journal of Computer Mathematics 4 Applicable Algebra in Engineering, Communication and Computing 4 Journal of Combinatorial Optimization 3 Mathematics of Computation 3 Algebra and Logic 3 Annales de l’Institut Fourier 3 Information Sciences 3 Proceedings of the American Mathematical Society 3 SIAM Journal on Computing 3 Siberian Mathematical Journal 3 Ergodic Theory and Dynamical Systems 3 Journal of Symbolic Computation 3 Computers & Operations Research 3 Formal Aspects of Computing 3 Machine Learning 3 Expositiones Mathematicae 3 Cybernetics and Systems Analysis 3 Combinatorics, Probability and Computing 3 Journal of Mathematical Sciences (New York) 3 Computer Science Review 3 Journal of Membrane Computing 2 Bulletin of the Australian Mathematical Society 2 Mathematical Notes 2 Chaos, Solitons and Fractals 2 Advances in Mathematics 2 Automatica 2 Canadian Journal of Mathematics 2 Journal of Combinatorial Theory. Series B 2 Journal of Computational and Applied Mathematics 2 Discrete & Computational Geometry 2 The Annals of Applied Probability 2 Pattern Recognition 2 Indagationes Mathematicae. New Series 2 The Australasian Journal of Combinatorics 2 Journal of Applied Non-Classical Logics 2 Theory and Applications of Categories 2 Doklady Mathematics 2 Journal of Integer Sequences 2 Higher-Order and Symbolic Computation 2 Journal of the Australian Mathematical Society 2 Bulletin of the Malaysian Mathematical Sciences Society. Second Series 2 Quantum Information Processing 2 Journal of Algebra and its Applications 2 Discrete Mathematics, Algorithms and Applications 2 Journal of Theoretical Biology 2 Computability 2 Journal of Mathematics 2 Journal of Discrete Mathematics 1 Artificial Intelligence 1 Communications in Algebra 1 Computers & Mathematics with Applications 1 Communications in Mathematical Physics 1 International Journal of Control 1 International Journal of General Systems 1 International Journal of Theoretical Physics 1 Israel Journal of Mathematics 1 Journal d’Analyse Mathématique ...and 97 more Journals all top 5 Cited in 41 Fields 1,414 Computer science (68-XX) 251 Mathematical logic and foundations (03-XX) 165 Combinatorics (05-XX) 97 Category theory; homological algebra (18-XX) 95 Number theory (11-XX) 78 Group theory and generalizations (20-XX) 61 Dynamical systems and ergodic theory (37-XX) 44 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 44 Information and communication theory, circuits (94-XX) 36 Order, lattices, ordered algebraic structures (06-XX) 34 Quantum theory (81-XX) 32 Operations research, mathematical programming (90-XX) 21 Linear and multilinear algebra; matrix theory (15-XX) 14 General algebraic systems (08-XX) 14 Convex and discrete geometry (52-XX) 14 Biology and other natural sciences (92-XX) 14 Systems theory; control (93-XX) 12 Probability theory and stochastic processes (60-XX) 11 Numerical analysis (65-XX) 10 General topology (54-XX) 9 History and biography (01-XX) 8 Measure and integration (28-XX) 8 Functional analysis (46-XX) 6 Field theory and polynomials (12-XX) 6 Commutative algebra (13-XX) 6 Operator theory (47-XX) 6 Manifolds and cell complexes (57-XX) 5 Nonassociative rings and algebras (17-XX) 4 Associative rings and algebras (16-XX) 4 Topological groups, Lie groups (22-XX) 4 Algebraic topology (55-XX) 3 General and overarching topics; collections (00-XX) 3 Algebraic geometry (14-XX) 3 \(K\)-theory (19-XX) 3 Statistical mechanics, structure of matter (82-XX) 2 Difference and functional equations (39-XX) 2 Statistics (62-XX) 1 Real functions (26-XX) 1 Functions of a complex variable (30-XX) 1 Partial differential equations (35-XX) 1 Differential geometry (53-XX) Citations by Year