RAIRO. Theoretical Informatics and Applications Short Title: RAIRO, Theor. Inform. Appl. Parallel Title: Informatique Théorique et Applications Publisher: EDP Sciences, Les Ulis; Société de Mathématiques Appliquées et Industrielles (SMAI), Institut Henri Poincaré, Paris ISSN: 0988-3754; 1290-385X/e Online: http://www.rairo-ita.org/component/issues/?task=all&Itemid=121http://www.numdam.org/journals/ITA Predecessor: RAIRO. Theoretical Informatics and Applications Comments: Indexed cover-to-cover; Published electronic only as of: Vol. 54 (2020) Documents Indexed: 252 Publications (since 2010) References Indexed: 176 Publications with 3,662 References. all top 5 Latest Issues 57 (2023) 56 (2022) 55 (2021) 54 (2020) 53, No. 3-4 (2019) 53, No. 1-2 (2019) 52, No. 2-4 (2018) 52, No. 1 (2018) 51, No. 4 (2017) 51, No. 3 (2017) 51, No. 2 (2017) 51, No. 1 (2017) 50, No. 4 (2016) 50, No. 3 (2016) 50, No. 2 (2016) 50, No. 1 (2016) 49, No. 4 (2015) 49, No. 3 (2015) 49, No. 2 (2015) 49, No. 1 (2015) 48, No. 5 (2014) 48, No. 4 (2014) 48, No. 3 (2014) 48, No. 2 (2014) 48, No. 1 (2014) 47, No. 4 (2013) 47, No. 3 (2013) 47, No. 2 (2013) 47, No. 1 (2013) 46, No. 4 (2012) 46, No. 3 (2012) 46, No. 2 (2012) 46, No. 1 (2012) 45, No. 4 (2011) 45, No. 3 (2011) 45, No. 2 (2011) 45, No. 1 (2011) 44, No. 4 (2010) 44, No. 3 (2010) 44, No. 2 (2010) 44, No. 1 (2010) all top 5 Authors 8 Otto, Friedrich 6 Kutrib, Martin 6 Ochem, Pascal 6 Shallit, Jeffrey O. 5 Blanchet-Sadri, Francine 5 Holzer, Markus 5 Mráz, František 5 Rampersad, Narad 5 Wendlandt, Matthias 4 Bruyère, Véronique 4 Dassow, Jürgen 4 Nagy, Benedek 4 Reis, Rogério 4 Truthe, Bianca 3 Aslan, Ersin 3 Badkobeh, Golnaz 3 Currie, James D. 3 D’Alessandro, Flavio 3 Echi, Othman 3 Honkala, Juha 3 Lin, Lan 3 Liu, Yanpei 3 Malcher, Andreas 3 Moreira, Nelma 3 Pelantová, Edita 3 Shur, Arseny M. 2 Bianchi, Maria Paola 2 Böckenhauer, Hans-Joachim 2 Bordihn, Henning 2 Borel, Jean-Pierre 2 Cassaigne, Julien 2 Charlier, Emilie 2 Crochemore, Maxime 2 Deng, Lunzhi 2 Durand, Fabien 2 Fernau, Henning 2 Finkel, Olivier 2 Frid, Anna Èduardovna 2 Geffert, Viliam 2 Harju, Tero 2 Javanian, Mehri 2 Karhumaki, Juhani 2 Krug, Sacha 2 Kufleitner, Manfred 2 Kuske, Dietrich 2 Latteux, Michel 2 Lombardy, Sylvain 2 Masáková, Zuzana 2 Mercaş, Robert George 2 Mignot, Ludovic 2 Mól, Lucas A. S. 2 Okhotin, Alexander 2 Protti, Fábio 2 Průša, Daniel 2 Puzynina, Svetlana 2 Restivo, Antonio 2 Richomme, Gwénaël 2 Rigo, Michel 2 Roos, Yves 2 Saarela, Aleksi 2 Sakarovitch, Jacques 2 Samsonov, Alexey V. 2 Say, A. C. Cem 2 Simmons, Sean 2 Steinová, Monika 2 Szwarcfiter, Jayme Luiz 2 Turaci, Tufan 2 Wang, Shiying 2 Wen, Qiaoyan 2 Wlazinski, Francis 2 Yakaryılmaz, Abuzer 2 Zamboni, Luca Quardo 2 Zimmermann, Martín G. 1 Adams, Jared 1 Afanasiev, Loredana 1 Akleylek, Sedat 1 Akveld, Meike 1 Al-Husainy, Mohammed A. Fadhil 1 Allred, Joel D. 1 Almeida, Marco P. 1 Ambrož, Petr 1 Amini, Massoud 1 Amorim, Ivone 1 Ancona, Davide 1 Andrés Montoya, Juan 1 Angrand, Pierre-Yves 1 Anselmo, Marcella 1 Arnoux, Pierre 1 Asarin, Eugene 1 Attou, Samira 1 Aubrun, Nathalie 1 Avesalon, Nicoleta 1 Avgustinovich, Sergeĭ Vladimirovich 1 Aytaç, Vecdi 1 Bakhtary, Parsa 1 Balková, L’ubomíra 1 Barash, Mikhail 1 Baratella, Stefano 1 Barcucci, Elena 1 Béal, Marie-Pierre ...and 312 more Authors all top 5 Fields 227 Computer science (68-XX) 35 Combinatorics (05-XX) 28 Mathematical logic and foundations (03-XX) 21 Number theory (11-XX) 16 Information and communication theory, circuits (94-XX) 11 General and overarching topics; collections (00-XX) 10 Group theory and generalizations (20-XX) 9 Dynamical systems and ergodic theory (37-XX) 9 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 8 Operations research, mathematical programming (90-XX) 4 Order, lattices, ordered algebraic structures (06-XX) 4 Probability theory and stochastic processes (60-XX) 4 Quantum theory (81-XX) 3 General topology (54-XX) 3 Biology and other natural sciences (92-XX) 2 General algebraic systems (08-XX) 2 Category theory; homological algebra (18-XX) 2 Statistics (62-XX) 1 History and biography (01-XX) 1 Commutative algebra (13-XX) 1 Algebraic geometry (14-XX) 1 Linear and multilinear algebra; matrix theory (15-XX) 1 Topological groups, Lie groups (22-XX) 1 Partial differential equations (35-XX) 1 Difference and functional equations (39-XX) 1 Functional analysis (46-XX) 1 Manifolds and cell complexes (57-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 146 Publications have been cited 505 times in 455 Documents Cited by ▼ Year ▼ Probabilistic operational semantics for the lambda calculus. Zbl 1279.68183Dal Lago, Ugo; Zorzi, Margherita 25 2012 Advice complexity and barely random algorithms. Zbl 1218.68090Komm, Dennis; Královič, Richard 21 2011 On the decidability of semigroup freeness. Zbl 1252.20050Cassaigne, Julien; Nicolas, François 17 2012 Decision algorithms for Fibonacci-automatic words. I: Basic results. Zbl 1366.68226Mousavi, Hamoon; Schaeffer, Luke; Shallit, Jeffrey 14 2016 Sturmian jungle (or garden?) On multiliteral alphabets. Zbl 1211.68295Balková, L’ubomíra; Pelantová, Edita; Starosta, Štěpán 14 2010 On the state complexity of semi-quantum finite automata. Zbl 1292.81027Zheng, Shenggen; Gruska, Jozef; Qiu, Daowen 12 2014 On Abelian repetition threshold. Zbl 1279.68240Samsonov, Alexey V.; Shur, Arseny M. 11 2012 Decidability of the HD0L ultimate periodicity problem. Zbl 1361.68112Durand, Fabien 11 2013 On the growth rates of complexity of threshold languages. Zbl 1184.68341Shur, Arseny M.; Gorbunova, Irina A. 10 2010 Computing the 2-blocks of directed graphs. Zbl 1342.05055Jaberi, Raed 9 2015 Recursive algorithm for parity games requires exponential time. Zbl 1232.91064Friedmann, Oliver 9 2011 Abelian periods, partial words, and an extension of a theorem of Fine and Wilf. Zbl 1307.68059Blanchet-Sadri, Francine; Simmons, Sean; Tebbe, Amelia; Veprauskas, Amy 9 2013 Affine Parikh automata. Zbl 1279.68136Cadilhac, Michaël; Finkel, Alain; McKenzie, Pierre 8 2012 On abelian versions of critical factorization theorem. Zbl 1247.68200Avgustinovich, Sergey; Karhumäki, Juhani; Puzynina, Svetlana 7 2012 On the number of squares in partial words. Zbl 1184.68372Halava, Vesa; Harju, Tero; Kärki, Tomi 7 2010 Linear grammars with one-sided contexts and their automaton representation. Zbl 1328.68100Barash, Mikhail; Okhotin, Alexander 6 2015 Rational base number systems for \(p\)-adic numbers. Zbl 1338.11010Frougny, Christiane; Klouda, Karel 6 2012 Superiority of one-way and realtime quantum machines. Zbl 1279.68090Yakaryılmaz, Abuzer 6 2012 Further results on generalized conditional entropies. Zbl 1395.94219Rastegin, Alexey E. 6 2015 Two-dimensional Sgraffito automata. Zbl 1328.68117Průša, Daniel; Mráz, František; Otto, Friedrich 6 2014 A general framework for the derivation of regular expressions. Zbl 1366.68139Caron, Pascal; Champarnaud, Jean-Marc; Mignot, Ludovic 5 2014 The connectivity and nature diagnosability of expanded \(k\)-ary \(n\)-cubes. Zbl 1379.05056Wang, Mujiangshan; Lin, Yuqing; Wang, Shiying 5 2017 Circular critical exponents for Thue-Morse factors. Zbl 1445.68185Shallit, Jeffrey; Zarifi, Ramin 5 2019 Extending the lambda-calculus with unbind and rebind. Zbl 1220.68045Dezani-Ciancaglini, Mariangiola; Giannini, Paola; Zucca, Elena 5 2011 Strategies to scan pictures with automata based on Wang tiles. Zbl 1219.68100Lonati, Violetta; Pradella, Matteo 5 2011 A note on maximum independent sets and minimum clique partitions in unit disk graphs and penny graphs: complexity and approximation. Zbl 1228.05224Cerioli, Marcia R.; Faria, Luerbio; Ferreira, Talita O.; Protti, Fábio 5 2011 Construction of tree automata from regular expressions. Zbl 1236.68173Kuske, Dietrich; Meinecke, Ingmar 5 2011 Repetition thresholds for subdivided graphs and trees. Zbl 1247.68211Ochem, Pascal; Vaslet, Elise 5 2012 On biautomata. Zbl 1279.68238Klíma, Ondřej; Polák, Libor 5 2012 Generalizations of Parikh mappings. Zbl 1209.68396Černý, Anton 5 2010 Balances and Abelian complexity of a certain class of infinite ternary words. Zbl 1211.68303Turek, Ondřej 5 2010 Binary patterns in binary cube-free words: avoidability and growth. Zbl 1302.68228Mercaş, Robert; Ochem, Pascal; Samsonov, Alexey V.; Shur, Arseny M. 4 2014 Tree algebra of sofic tree languages. Zbl 1302.68148Aubrun, Nathalie; Béal, Marie-Pierre 4 2014 Conditional Lindenmayer systems with subregular conditions: the non-extended case. Zbl 1366.68113Dassow, Jürgen; Rudolf, Stefan 4 2014 A better bound of randomized algorithms for the multislope ski-rental problem. Zbl 1383.68102Hu, Maolin; Xu, Weijun 4 2017 Idealized coinductive type systems for imperative object-oriented programs. Zbl 1220.68047Ancona, Davide; Lagorio, Giovanni 4 2011 Fewest repetitions in infinite binary words. Zbl 1247.68201Badkobeh, Golnaz; Crochemore, Maxime 4 2012 Multi-dimensional sets recognizable in all abstract numeration systems. Zbl 1254.68132Charlier, Émilie; Lacroix, Anne; Rampersad, Narad 4 2012 A CAT algorithm for the exhaustive generation of ice piles. Zbl 1339.68303Massazza, Paolo; Radicioni, Roberto 4 2010 Two-way representations and weighted automata. Zbl 1362.68150Lombardy, Sylvain 4 2016 Some problems in automata theory which depend on the models of set theory. Zbl 1232.68082Finkel, Olivier 4 2011 Undecidability of infinite Post correspondence problem for instances of size 8. Zbl 1257.03069Dong, Jing; Liu, Qinghui 4 2012 Delay games with WMSO+U winning conditions. Zbl 1356.68138Zimmermann, Martin 4 2016 Finite repetition threshold for large alphabets. Zbl 1302.68223Badkobeh, Golnaz; Crochemore, Maxime; Rao, Michaël 3 2014 5-abelian cubes are avoidable on binary alphabets. Zbl 1302.68229Mercaş, Robert; Saarela, Aleksi 3 2014 Linear automata with translucent letters and linear context-free trace languages. Zbl 1451.68157Nagy, Benedek; Otto, Friedrich 3 2020 Connectedness of fractals associated with Arnoux-Rauzy substitutions. Zbl 1326.37007Berthé, Valérie; Jolivet, Timo; Siegel, Anne 3 2014 Existence of an infinite ternary 64-abelian square-free word. Zbl 1297.68192Huova, Mari 3 2014 Abelian pattern avoidance in partial words. Zbl 1297.68190Blanchet-Sadri, F.; De Winkle, Benjamin; Simmons, Sean 3 2014 Reaction automata working in sequential manner. Zbl 1366.68062Okubo, Fumiya 3 2014 On the classes of languages accepted by limited context restarting automata. Zbl 1366.68149Otto, Friedrich; Černo, Peter; Mráz, František 3 2014 On the power of two-way multihead quantum finite automata. Zbl 1418.81016Bhatia, Amandeep Singh; Kumar, Ajay 3 2019 On describing the regular closure of the linear languages with graph-controlled insertion-deletion systems. Zbl 1400.68102Fernau, Henning; Kuppusamy, Lakshmanan; Raman, Indhumathi 3 2018 The inclusion structure of partially lossy queue monoids and their trace submonoids. Zbl 1401.68080Köcher, Chris; Kuske, Dietrich; Prianychnykova, Olena 3 2018 Hopcroft’s algorithm and tree-like automata. Zbl 1220.68066Castiglione, G.; Restivo, A.; Sciortino, M. 3 2011 Consensual languages and matching finite-state computations. Zbl 1219.68112Reghizzi, Stefano Crespi; San Pietro, Pierluigi 3 2011 Neighbor isolated tenacity of graphs. Zbl 1346.68142Aslan, Ersin 3 2015 A short proof that shuffle squares are 7-avoidable. Zbl 1353.68224Guégan, Guillaume; Ochem, Pascal 3 2016 One quantifier alternation in first-order logic with modular predicates. Zbl 1339.03014Kufleitner, Manfred; Walter, Tobias 3 2015 Exact location of the phase transition for random \((1,2)\)-QSAT. Zbl 1327.68129Creignou, Nadia; Daudé, Hervé; Egly, Uwe; Rossignol, Raphaël 3 2015 Cd-systems of stateless deterministic \(r(1)\)-automata governed by an external pushdown store. Zbl 1250.68172Nagy, Benedek; Otto, Friedrich 3 2011 Extending regular expressions with homomorphic replacement. Zbl 1208.68134Bordihn, Henning; Dassow, Jürgen; Holzer, Markus 3 2010 Signed chip firing games and symmetric sandpile models on the cycles. Zbl 1266.05098Cori, Robert; Phan, Thi Ha Duong; Tran, Thi Thu Huong 3 2013 Upper bound for palindromic and factor complexity of rich words. Zbl 1508.68276Rukavicka, Josef 3 2021 On the joint 2-adic complexity of binary multisequences. Zbl 1277.94010Zhao, Lu; Wen, Qiaoyan 3 2012 Infinite words containing squares at every position. Zbl 1184.68370Currie, James; Rampersad, Narad 3 2010 Binary words avoiding the pattern AABBCABBA. Zbl 1184.68377Ochem, Pascal 3 2010 Classes of two-dimensional languages and recognizability conditions. Zbl 1211.68230Anselmo, Marcella; Madonia, Maria 3 2010 Total edge-vertex domination. Zbl 1444.05109Sahin, Abdulgani; Sahin, Bünyamin 2 2020 An upper bound on the complexity of recognizable tree languages. Zbl 1373.03066Finkel, Olivier; Lecomte, Dominique; Simonnet, Pierre 2 2015 One-rule length-preserving rewrite systems and rational transductions. Zbl 1366.68123Latteux, Michel; Roos, Yves 2 2014 Incremental DFA minimisation. Zbl 1366.68132Almeida, Marco; Moreira, Nelma; Reis, Rogério 2 2014 Minimal partial languages and automata. Zbl 1382.68185Blanchet-Sadri, Francine; Goldner, K.; Shackleton, A. 2 2017 Derived sequences of complementary symmetric Rote sequences. Zbl 1434.68387Medková, Kateřina; Pelantová, Edita; Vuillon, Laurent 2 2019 On double-jumping finite automata and their closure properties. Zbl 1423.68258Kocman, Radim; Křivka, Zbyněk; Meduna, Alexander 2 2018 Expressive capacity of subregular expressions. Zbl 1475.68162Kutrib, Martin; Wendlandt, Matthias 2 2018 State hyperstructures of tree automata based on lattice-valued logic. Zbl 1400.68129Ghorani, Maryam 2 2018 An introduction to quantum annealing. Zbl 1219.68105de Falco, Diego; Tamascelli, Dario 2 2011 The compositional construction of Markov processes. II. Zbl 1216.18005de Francesco Albasini, L.; Sabadini, N.; Walters, R. F. C. 2 2011 On the parameterized complexity of approximate counting. Zbl 1234.68121Montoya, J. Andrés 2 2011 Three complexity functions. Zbl 1271.37012Ferenczi, Sébastien; Hubert, Pascal 2 2012 On automatic infinite permutations. Zbl 1247.05007Frid, Anna; Zamboni, Luca 2 2012 Fixed points of endomorphisms of certain free products. Zbl 1266.20069Silva, Pedro V. 2 2012 On the structure of \((-\beta )\)-integers. Zbl 1319.11006Steiner, Wolfgang 2 2012 Normal forms for unary probabilistic automata. Zbl 1279.68132Bianchi, Maria Paola; Pighizzini, Giovanni 2 2012 Cross-bifix-free sets generation via Motzkin paths. Zbl 1371.68219Barcucci, Elena; Bilotta, Stefano; Pergola, Elisa; Pinzani, Renzo; Succi, Jonathan 2 2016 On digital blocks of polynomial values and extractions in the Rudin-Shapiro sequence. Zbl 1419.11014Stoll, Thomas 2 2016 Interval exchanges, admissibility and branching Rauzy induction. Zbl 1393.37050Dolce, Francesco; Perrin, Dominique 2 2017 Non-primitive words of the form \(pq^m\). Zbl 1393.68140Echi, Othman 2 2017 When input-driven pushdown automata meet reversiblity. Zbl 1362.68149Kutrib, Martin; Malcher, Andreas; Wendlandt, Matthias 2 2016 Easy lambda-terms are not always simple. Zbl 1253.03035Carraro, Alberto; Salibra, Antonino 2 2012 Unambiguous erasing morphisms in free monoids. Zbl 1203.68132Schneider, Johannes C. 2 2010 Cutwidth of iterated caterpillars. Zbl 1266.05140Lin, Lan; Lin, Yixun 2 2013 Synchronizing series-parallel deterministic finite automata with loops and related problems. Zbl 1508.68186Bruchertseifer, Jens; Fernau, Henning 2 2021 Minimal 2-dominating sets in trees. Zbl 1282.05179Krzywkowski, Marcin 2 2013 A note on a two dimensional knapsack problem with unloading constraints. Zbl 1311.90130da Silveira, Jefferson Luiz Moisés; Xavier, Eduardo Candido; Miyazawa, Flávio Keidi 2 2013 Morphisms fixing words associated with exchange of three intervals. Zbl 1186.68342Ambrož, Petr; Masáková, Zuzana; Pelantová, Edita 2 2010 Radix enumeration of rational languages. Zbl 1186.68243Angrand, Pierre-Yves; Sakarovitch, Jacques 2 2010 Standard factors of Sturmian words. Zbl 1184.68378Richomme, Gwénaël; Saari, Kalle; Zamboni, Luca Q. 2 2010 Translation from classical two-way automata to pebble two-way automata. Zbl 1211.68232Geffert, Viliam; Ištoňová, L’ubomíra 2 2010 Upper bound for palindromic and factor complexity of rich words. Zbl 1508.68276Rukavicka, Josef 3 2021 Synchronizing series-parallel deterministic finite automata with loops and related problems. Zbl 1508.68186Bruchertseifer, Jens; Fernau, Henning 2 2021 Digging input-driven pushdown automata. Zbl 1508.68197Kutrib, Martin; Malcher, Andreas 1 2021 Accepting networks of evolutionary processors with resources restricted and structure limited filters. Zbl 1508.68188Dassow, Jürgen; Truthe, Bianca 1 2021 Linear automata with translucent letters and linear context-free trace languages. Zbl 1451.68157Nagy, Benedek; Otto, Friedrich 3 2020 Total edge-vertex domination. Zbl 1444.05109Sahin, Abdulgani; Sahin, Bünyamin 2 2020 Avoiding conjugacy classes on the 5-letter alphabet. Zbl 1457.68226Badkobeh, Golnaz; Ochem, Pascal 1 2020 Injective envelopes of transition systems and Ferrers languages. Zbl 1481.06022Kabil, Mustapha; Pouzet, Maurice 1 2020 Betweenness of partial orders. Zbl 1484.03050Courcelle, Bruno 1 2020 Circular critical exponents for Thue-Morse factors. Zbl 1445.68185Shallit, Jeffrey; Zarifi, Ramin 5 2019 On the power of two-way multihead quantum finite automata. Zbl 1418.81016Bhatia, Amandeep Singh; Kumar, Ajay 3 2019 Derived sequences of complementary symmetric Rote sequences. Zbl 1434.68387Medková, Kateřina; Pelantová, Edita; Vuillon, Laurent 2 2019 On winning shifts of marked uniform substitutions. Zbl 1425.68335Peltomäki, Jarkko; Salo, Ville 1 2019 On describing the regular closure of the linear languages with graph-controlled insertion-deletion systems. Zbl 1400.68102Fernau, Henning; Kuppusamy, Lakshmanan; Raman, Indhumathi 3 2018 The inclusion structure of partially lossy queue monoids and their trace submonoids. Zbl 1401.68080Köcher, Chris; Kuske, Dietrich; Prianychnykova, Olena 3 2018 On double-jumping finite automata and their closure properties. Zbl 1423.68258Kocman, Radim; Křivka, Zbyněk; Meduna, Alexander 2 2018 Expressive capacity of subregular expressions. Zbl 1475.68162Kutrib, Martin; Wendlandt, Matthias 2 2018 State hyperstructures of tree automata based on lattice-valued logic. Zbl 1400.68129Ghorani, Maryam 2 2018 Diving into the queue. Zbl 1423.68243Beier, Simon; Kutrib, Martin; Malcher, Andreas; Wendlandt, Matthias 1 2018 Uncountable classical and quantum complexity classes. Zbl 1425.68126Dimitrijevs, Maksims; Yakaryılmaz, Abuzer 1 2018 The complexity of concatenation on deterministic and alternating finite automata. Zbl 1486.68096Hospodár, Michal; Jirásková, Galina 1 2018 Randomized generation of error control codes with automata and transducers. Zbl 1423.68260Konstantinidis, Stavros; Moreira, Nelma; Reis, Rogério 1 2018 Regular and linear permutation languages. Zbl 1429.68125Madejski, Grzegorz 1 2018 The connectivity and nature diagnosability of expanded \(k\)-ary \(n\)-cubes. Zbl 1379.05056Wang, Mujiangshan; Lin, Yuqing; Wang, Shiying 5 2017 A better bound of randomized algorithms for the multislope ski-rental problem. Zbl 1383.68102Hu, Maolin; Xu, Weijun 4 2017 Minimal partial languages and automata. Zbl 1382.68185Blanchet-Sadri, Francine; Goldner, K.; Shackleton, A. 2 2017 Interval exchanges, admissibility and branching Rauzy induction. Zbl 1393.37050Dolce, Francesco; Perrin, Dominique 2 2017 Non-primitive words of the form \(pq^m\). Zbl 1393.68140Echi, Othman 2 2017 Bipartite binomial heaps. Zbl 1390.68209Elmasry, Amr; Jensen, Claus; Katajainen, Jyrki 1 2017 On avoidability of formulas with reversal. Zbl 1390.68512Currie, James D.; Mol, Lucas; Rampersad, Narad 1 2017 Cellular automata and powers of \(p/q\). Zbl 1432.11081Kari, Jarkko; Kopra, Johan 1 2017 Rational series with high image complexity. Zbl 1371.68152Honkala, Juha 1 2017 Decision algorithms for Fibonacci-automatic words. I: Basic results. Zbl 1366.68226Mousavi, Hamoon; Schaeffer, Luke; Shallit, Jeffrey 14 2016 Two-way representations and weighted automata. Zbl 1362.68150Lombardy, Sylvain 4 2016 Delay games with WMSO+U winning conditions. Zbl 1356.68138Zimmermann, Martin 4 2016 A short proof that shuffle squares are 7-avoidable. Zbl 1353.68224Guégan, Guillaume; Ochem, Pascal 3 2016 Cross-bifix-free sets generation via Motzkin paths. Zbl 1371.68219Barcucci, Elena; Bilotta, Stefano; Pergola, Elisa; Pinzani, Renzo; Succi, Jonathan 2 2016 On digital blocks of polynomial values and extractions in the Rudin-Shapiro sequence. Zbl 1419.11014Stoll, Thomas 2 2016 When input-driven pushdown automata meet reversiblity. Zbl 1362.68149Kutrib, Martin; Malcher, Andreas; Wendlandt, Matthias 2 2016 The average lower reinforcement number of a graph. Zbl 1352.05101Turaci, Tufan; Aslan, Ersin 2 2016 Parameterized exact and approximation algorithms for maximum \(k\)-set cover and related satisfiability problems. Zbl 1400.68081Bonnet, Édouard; Paschos, Vangelis Th.; Sikora, Florian 2 2016 Kleene closure and state complexity. Zbl 1357.68107Palmovský, Matúš 2 2016 Reduction in non-\((k+1)\)-power-free morphisms. Zbl 1362.68243Wlazinski, Francis 1 2016 Input- or output-unary sweeping transducers are weaker than their 2-way counterparts. Zbl 1362.68140Guillon, Bruno 1 2016 Some classes of rational functions for pictures. Zbl 1362.68152Mráz, František; Otto, Friedrich; Průša, Daniel 1 2016 The average scattering number of graphs. Zbl 1353.05073Aslan, Ersin; Kilinç, Deniz; Yücalar, Fatih; Borandağ, Emin 1 2016 Computing the 2-blocks of directed graphs. Zbl 1342.05055Jaberi, Raed 9 2015 Linear grammars with one-sided contexts and their automaton representation. Zbl 1328.68100Barash, Mikhail; Okhotin, Alexander 6 2015 Further results on generalized conditional entropies. Zbl 1395.94219Rastegin, Alexey E. 6 2015 Neighbor isolated tenacity of graphs. Zbl 1346.68142Aslan, Ersin 3 2015 One quantifier alternation in first-order logic with modular predicates. Zbl 1339.03014Kufleitner, Manfred; Walter, Tobias 3 2015 Exact location of the phase transition for random \((1,2)\)-QSAT. Zbl 1327.68129Creignou, Nadia; Daudé, Hervé; Egly, Uwe; Rossignol, Raphaël 3 2015 An upper bound on the complexity of recognizable tree languages. Zbl 1373.03066Finkel, Olivier; Lecomte, Dominique; Simonnet, Pierre 2 2015 On language equations with concatenation and various sets of Boolean operations. Zbl 1347.68209Okhotin, Alexander 1 2015 Certificateless ring signature based on RSA problem and DL problem. Zbl 1401.94148Deng, Lunzhi 1 2015 The finiteness problem for monoids of morphisms. Zbl 1314.20045Honkala, Juha 1 2015 On the state complexity of semi-quantum finite automata. Zbl 1292.81027Zheng, Shenggen; Gruska, Jozef; Qiu, Daowen 12 2014 Two-dimensional Sgraffito automata. Zbl 1328.68117Průša, Daniel; Mráz, František; Otto, Friedrich 6 2014 A general framework for the derivation of regular expressions. Zbl 1366.68139Caron, Pascal; Champarnaud, Jean-Marc; Mignot, Ludovic 5 2014 Binary patterns in binary cube-free words: avoidability and growth. Zbl 1302.68228Mercaş, Robert; Ochem, Pascal; Samsonov, Alexey V.; Shur, Arseny M. 4 2014 Tree algebra of sofic tree languages. Zbl 1302.68148Aubrun, Nathalie; Béal, Marie-Pierre 4 2014 Conditional Lindenmayer systems with subregular conditions: the non-extended case. Zbl 1366.68113Dassow, Jürgen; Rudolf, Stefan 4 2014 Finite repetition threshold for large alphabets. Zbl 1302.68223Badkobeh, Golnaz; Crochemore, Maxime; Rao, Michaël 3 2014 5-abelian cubes are avoidable on binary alphabets. Zbl 1302.68229Mercaş, Robert; Saarela, Aleksi 3 2014 Connectedness of fractals associated with Arnoux-Rauzy substitutions. Zbl 1326.37007Berthé, Valérie; Jolivet, Timo; Siegel, Anne 3 2014 Existence of an infinite ternary 64-abelian square-free word. Zbl 1297.68192Huova, Mari 3 2014 Abelian pattern avoidance in partial words. Zbl 1297.68190Blanchet-Sadri, F.; De Winkle, Benjamin; Simmons, Sean 3 2014 Reaction automata working in sequential manner. Zbl 1366.68062Okubo, Fumiya 3 2014 On the classes of languages accepted by limited context restarting automata. Zbl 1366.68149Otto, Friedrich; Černo, Peter; Mráz, František 3 2014 One-rule length-preserving rewrite systems and rational transductions. Zbl 1366.68123Latteux, Michel; Roos, Yves 2 2014 Incremental DFA minimisation. Zbl 1366.68132Almeida, Marco; Moreira, Nelma; Reis, Rogério 2 2014 Bouquets of circles for lamination languages and complexities. Zbl 1309.68122Narbel, Philippe 1 2014 Integers in number systems with positive and negative quadratic Pisot base. Zbl 1385.11048Masáková, Z.; Vávra, T. 1 2014 Systems of parallel communicating restarting automata. Zbl 1366.68153Vollweiler, Marcel; Otto, Friedrich 1 2014 Bidirectional string assembling systems. Zbl 1366.68058Kutrib, Martin; Wendlandt, Matthias 1 2014 Decidability of the HD0L ultimate periodicity problem. Zbl 1361.68112Durand, Fabien 11 2013 Abelian periods, partial words, and an extension of a theorem of Fine and Wilf. Zbl 1307.68059Blanchet-Sadri, Francine; Simmons, Sean; Tebbe, Amelia; Veprauskas, Amy 9 2013 Signed chip firing games and symmetric sandpile models on the cycles. Zbl 1266.05098Cori, Robert; Phan, Thi Ha Duong; Tran, Thi Thu Huong 3 2013 Cutwidth of iterated caterpillars. Zbl 1266.05140Lin, Lan; Lin, Yixun 2 2013 Minimal 2-dominating sets in trees. Zbl 1282.05179Krzywkowski, Marcin 2 2013 A note on a two dimensional knapsack problem with unloading constraints. Zbl 1311.90130da Silveira, Jefferson Luiz Moisés; Xavier, Eduardo Candido; Miyazawa, Flávio Keidi 2 2013 Strong functors and interleaving fixpoints in game semantics. Zbl 1302.03072Clairambault, Pierre 1 2013 A non-uniform finitary relational semantics of system \(T\). Zbl 1338.03051Vaux, Lionel 1 2013 Probabilistic operational semantics for the lambda calculus. Zbl 1279.68183Dal Lago, Ugo; Zorzi, Margherita 25 2012 On the decidability of semigroup freeness. Zbl 1252.20050Cassaigne, Julien; Nicolas, François 17 2012 On Abelian repetition threshold. Zbl 1279.68240Samsonov, Alexey V.; Shur, Arseny M. 11 2012 Affine Parikh automata. Zbl 1279.68136Cadilhac, Michaël; Finkel, Alain; McKenzie, Pierre 8 2012 On abelian versions of critical factorization theorem. Zbl 1247.68200Avgustinovich, Sergey; Karhumäki, Juhani; Puzynina, Svetlana 7 2012 Rational base number systems for \(p\)-adic numbers. Zbl 1338.11010Frougny, Christiane; Klouda, Karel 6 2012 Superiority of one-way and realtime quantum machines. Zbl 1279.68090Yakaryılmaz, Abuzer 6 2012 Repetition thresholds for subdivided graphs and trees. Zbl 1247.68211Ochem, Pascal; Vaslet, Elise 5 2012 On biautomata. Zbl 1279.68238Klíma, Ondřej; Polák, Libor 5 2012 Fewest repetitions in infinite binary words. Zbl 1247.68201Badkobeh, Golnaz; Crochemore, Maxime 4 2012 Multi-dimensional sets recognizable in all abstract numeration systems. Zbl 1254.68132Charlier, Émilie; Lacroix, Anne; Rampersad, Narad 4 2012 Undecidability of infinite Post correspondence problem for instances of size 8. Zbl 1257.03069Dong, Jing; Liu, Qinghui 4 2012 On the joint 2-adic complexity of binary multisequences. Zbl 1277.94010Zhao, Lu; Wen, Qiaoyan 3 2012 Three complexity functions. Zbl 1271.37012Ferenczi, Sébastien; Hubert, Pascal 2 2012 On automatic infinite permutations. Zbl 1247.05007Frid, Anna; Zamboni, Luca 2 2012 Fixed points of endomorphisms of certain free products. Zbl 1266.20069Silva, Pedro V. 2 2012 On the structure of \((-\beta )\)-integers. Zbl 1319.11006Steiner, Wolfgang 2 2012 ...and 46 more Documents all cited Publications top 5 cited Publications all top 5 Cited by 603 Authors 15 Pelantová, Edita 15 Shallit, Jeffrey O. 11 Komm, Dennis 10 Charlier, Emilie 10 Otto, Friedrich 9 Shur, Arseny M. 8 Böckenhauer, Hans-Joachim 8 Rampersad, Narad 8 Starosta, Štěpán 7 Blanchet-Sadri, Francine 7 Dal Lago, Ugo 7 Královič, Richard 7 Kutrib, Martin 7 Mráz, František 7 Nagy, Benedek 7 Potapov, Igor 7 Salo, Ville O. 7 Wendlandt, Matthias 6 Georgiadis, Loukas 6 Honkala, Juha 6 Hromkovič, Juraj 6 Italiano, Giuseppe Francesco 6 Okhotin, Alexander 6 Qiu, Daowen 6 Rastëgin, Alekseĭ Èduardovich 6 Zheng, Shenggen 6 Zorzi, Margherita 5 Ancona, Davide 5 Currie, James D. 5 Dolce, Francesco 5 Fernau, Henning 5 Giannini, Paola 5 Karhumaki, Juhani 5 Li, Lvzhou 5 Masáková, Zuzana 5 Mól, Lucas A. S. 5 Ochem, Pascal 5 Parotsidis, Nikos 5 Puzynina, Svetlana 5 Zucca, Elena 4 Badkobeh, Golnaz 4 Bhatia, Amandeep Singh 4 Bianchi, Maria Paola 4 Cassaigne, Julien 4 Crespi Reghizzi, Stefano 4 Frid, Anna Èduardovna 4 Gruska, Jozef 4 Gutan, Marin 4 Harju, Tero 4 Kociumaka, Tomasz 4 Královič, Rastislav 4 Larsen, Kim Skak 4 Massazza, Paolo 4 Radoszewski, Jakub 4 Rigo, Michel 4 Rosenfeld, Matthieu 4 Rytter, Wojciech 4 Schmid, Markus L. 4 Yakaryılmaz, Abuzer 4 Ziadi, Djelloul 3 Bell, Paul C. 3 Berthé, Valérie 3 Castiglione, Giusi 3 Černý, Anton 3 Choffrut, Christian 3 Cisternino, Célia 3 Cleophas, Loek Gerard 3 Crochemore, Maxime 3 Dando, Louis-Marie 3 Dassow, Jürgen 3 Dvořáková, L’ubomíra 3 Esbelin, Henri-Alex 3 Finkel, Olivier 3 Halava, Vesa 3 Jaberi, Raed 3 Kamali, Shahin 3 Köcher, Chris 3 Kumar, Ajay 3 Laura, Luigi 3 Lombardy, Sylvain 3 Lü, Xiaotao 3 Malcher, Andreas 3 Massuir, Adeline 3 Medková, Kateřina 3 Mignot, Ludovic 3 Moreira, Nelma 3 Niskanen, Reino 3 Okubo, Fumiya 3 Palano, Beatrice 3 Paolini, Luca 3 Petrova, Elena A. 3 Průša, Daniel 3 Quigley, James D. 3 Reis, Rogério 3 Renault, Marc P. 3 Rosén, Adi 3 Rukavicka, Josef 3 Saarela, Aleksi 3 Saari, Kalle 3 San Pietro, Pierluigi L. ...and 503 more Authors all top 5 Cited in 90 Journals 84 Theoretical Computer Science 28 International Journal of Foundations of Computer Science 25 RAIRO. Theoretical Informatics and Applications 24 Information and Computation 12 Theory of Computing Systems 11 Discrete Applied Mathematics 11 Logical Methods in Computer Science 10 European Journal of Combinatorics 9 Acta Informatica 9 Journal of Computer and System Sciences 7 The Electronic Journal of Combinatorics 6 Information Processing Letters 6 MSCS. Mathematical Structures in Computer Science 5 Journal of Automata, Languages and Combinatorics 5 Journal of Combinatorial Optimization 4 Discrete Mathematics 4 International Journal of Theoretical Physics 4 International Journal of Algebra and Computation 4 Indagationes Mathematicae. New Series 3 Journal of Combinatorial Theory. Series A 3 Semigroup Forum 3 Ergodic Theory and Dynamical Systems 3 Algorithmica 3 Fundamenta Informaticae 3 Quantum Information Processing 3 Cryptography and Communications 2 Journal of Automated Reasoning 2 Journal of Integer Sequences 2 Integers 2 Computer Science Review 1 American Mathematical Monthly 1 Artificial Intelligence 1 Nonlinearity 1 Periodica Mathematica Hungarica 1 Physica A 1 Mathematics of Computation 1 The Mathematical Intelligencer 1 The Annals of Probability 1 Applied Mathematics and Computation 1 Bulletin de la Société Mathématique de France 1 Functiones et Approximatio. Commentarii Mathematici 1 Journal of Algebra 1 Journal of Mathematical Psychology 1 Journal of Number Theory 1 Kybernetika 1 Monatshefte für Mathematik 1 Osaka Journal of Mathematics 1 SIAM Journal on Computing 1 Advances in Applied Mathematics 1 Acta Mathematica Hungarica 1 Applied Numerical Mathematics 1 Graphs and Combinatorics 1 Computers & Operations Research 1 Annals of Operations Research 1 Designs, Codes and Cryptography 1 Linear Algebra and its Applications 1 Expositiones Mathematicae 1 The Australasian Journal of Combinatorics 1 Journal of Logic, Language and Information 1 Journal de Théorie des Nombres de Bordeaux 1 Journal of Mathematical Sciences (New York) 1 Bulletin des Sciences Mathématiques 1 Annals of Mathematics and Artificial Intelligence 1 Computer Science Journal of Moldova 1 Discrete and Continuous Dynamical Systems 1 Mathematical Problems in Engineering 1 Séminaire Lotharingien de Combinatoire 1 Doklady Mathematics 1 Vietnam Journal of Mathematics 1 Open Systems & Information Dynamics 1 Journal of Scheduling 1 Journal of Graph Algorithms and Applications 1 Discrete Mathematics and Theoretical Computer Science. DMTCS 1 Discrete Dynamics in Nature and Society 1 Natural Computing 1 Journal of Applied Mathematics and Computing 1 South East Asian Journal of Mathematics and Mathematical Sciences 1 ACM Transactions on Computational Logic 1 Journal of Discrete Algorithms 1 Journal of Applied Logic 1 Fixed Point Theory 1 Online Journal of Analytic Combinatorics 1 \(p\)-Adic Numbers, Ultrametric Analysis, and Applications 1 Annalen der Physik 1 Annales Mathématiques du Québec 1 Journal of Logical and Algebraic Methods in Programming 1 Modelirovanie i Analiz Informatsionnykh Sistem 1 DML. Discrete Mathematics Letters 1 Journal of Membrane Computing 1 Enumerative Combinatorics and Applications all top 5 Cited in 31 Fields 376 Computer science (68-XX) 53 Combinatorics (05-XX) 52 Mathematical logic and foundations (03-XX) 36 Number theory (11-XX) 25 Quantum theory (81-XX) 23 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 21 Dynamical systems and ergodic theory (37-XX) 17 Group theory and generalizations (20-XX) 16 Information and communication theory, circuits (94-XX) 15 Operations research, mathematical programming (90-XX) 9 Linear and multilinear algebra; matrix theory (15-XX) 4 Measure and integration (28-XX) 4 Convex and discrete geometry (52-XX) 3 Order, lattices, ordered algebraic structures (06-XX) 3 Category theory; homological algebra (18-XX) 3 Numerical analysis (65-XX) 3 Statistical mechanics, structure of matter (82-XX) 2 General algebraic systems (08-XX) 2 Operator theory (47-XX) 2 General topology (54-XX) 2 Statistics (62-XX) 2 Biology and other natural sciences (92-XX) 1 History and biography (01-XX) 1 Algebraic geometry (14-XX) 1 Associative rings and algebras (16-XX) 1 Real functions (26-XX) 1 Functions of a complex variable (30-XX) 1 Potential theory (31-XX) 1 Difference and functional equations (39-XX) 1 Manifolds and cell complexes (57-XX) 1 Probability theory and stochastic processes (60-XX) Citations by Year