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: Journal; Indexed cover-to-cover; Published electronic only as of: Vol. 54 (2020) Documents Indexed: 260 Publications (since 2010) References Indexed: 184 Publications with 3,818 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 9 Otto, Friedrich 6 Holzer, Markus 6 Kutrib, Martin 6 Mráz, František 6 Ochem, Pascal 6 Shallit, Jeffrey Outlaw 5 Blanchet-Sadri, Francine 5 Dassow, Jürgen 5 Rampersad, Narad 5 Truthe, Bianca 5 Wendlandt, Matthias 4 Bruyère, Véronique 4 Nagy, Benedek 4 Reis, Rogério 3 Aslan, Ersin 3 Badkobeh, Golnaz 3 Currie, James D. 3 D’Alessandro, Flavio 3 Echi, Othman 3 Finkel, Olivier 3 Harju, Tero 3 Honkala, Juha 3 Javanian, Mehri 3 Lin, Lan 3 Lin, Yixun 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 Freden, Eric M. 2 Frid, Anna Èduardovna 2 Geffert, Viliam 2 Halava, Vesa 2 Imany-Nabiyyi, Ramin 2 Jamet, Damien 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 ...and 319 more Authors all top 5 Fields 233 Computer science (68-XX) 37 Combinatorics (05-XX) 29 Mathematical logic and foundations (03-XX) 22 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) 5 Probability theory and stochastic processes (60-XX) 4 Order, lattices, ordered algebraic structures (06-XX) 4 Quantum theory (81-XX) 4 Biology and other natural sciences (92-XX) 3 General topology (54-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 160 Publications have been cited 599 times in 540 Documents Cited by ▼ Year ▼ Probabilistic operational semantics for the lambda calculus. Zbl 1279.68183 Dal Lago, Ugo; Zorzi, Margherita 28 2012 Advice complexity and barely random algorithms. Zbl 1218.68090 Komm, Dennis; Královič, Richard 23 2011 Decision algorithms for Fibonacci-automatic words. I: Basic results. Zbl 1366.68226 Mousavi, Hamoon; Schaeffer, Luke; Shallit, Jeffrey 23 2016 On the decidability of semigroup freeness. Zbl 1252.20050 Cassaigne, Julien; Nicolas, François 18 2012 Sturmian jungle (or garden?) On multiliteral alphabets. Zbl 1211.68295 Balková, L’ubomíra; Pelantová, Edita; Starosta, Štěpán 14 2010 On Abelian repetition threshold. Zbl 1279.68240 Samsonov, Alexey V.; Shur, Arseny M. 13 2012 On the state complexity of semi-quantum finite automata. Zbl 1292.81027 Zheng, Shenggen; Gruska, Jozef; Qiu, Daowen 13 2014 Decidability of the HD0L ultimate periodicity problem. Zbl 1361.68112 Durand, Fabien 12 2013 Recursive algorithm for parity games requires exponential time. Zbl 1232.91064 Friedmann, Oliver 11 2011 On the growth rates of complexity of threshold languages. Zbl 1184.68341 Shur, Arseny M.; Gorbunova, Irina A. 11 2010 Affine Parikh automata. Zbl 1279.68136 Cadilhac, Michaël; Finkel, Alain; McKenzie, Pierre 11 2012 On abelian versions of critical factorization theorem. Zbl 1247.68200 Avgustinovich, Sergey; Karhumäki, Juhani; Puzynina, Svetlana 10 2012 Abelian periods, partial words, and an extension of a theorem of Fine and Wilf. Zbl 1307.68059 Blanchet-Sadri, Francine; Simmons, Sean; Tebbe, Amelia; Veprauskas, Amy 10 2013 Computing the 2-blocks of directed graphs. Zbl 1342.05055 Jaberi, Raed 9 2015 Rational base number systems for \(p\)-adic numbers. Zbl 1338.11010 Frougny, Christiane; Klouda, Karel 8 2012 A note on maximum independent sets and minimum clique partitions in unit disk graphs and penny graphs: complexity and approximation. Zbl 1228.05224 Cerioli, Marcia R.; Faria, Luerbio; Ferreira, Talita O.; Protti, Fábio 8 2011 On the number of squares in partial words. Zbl 1184.68372 Halava, Vesa; Harju, Tero; Kärki, Tomi 8 2010 Superiority of one-way and realtime quantum machines. Zbl 1279.68090 Yakaryılmaz, Abuzer 8 2012 Further results on generalized conditional entropies. Zbl 1395.94219 Rastegin, Alexey E. 7 2015 Two-dimensional Sgraffito automata. Zbl 1328.68117 Průša, Daniel; Mráz, František; Otto, Friedrich 7 2014 On biautomata. Zbl 1279.68238 Klíma, Ondřej; Polák, Libor 7 2012 Linear automata with translucent letters and linear context-free trace languages. Zbl 1451.68157 Nagy, Benedek; Otto, Friedrich 7 2020 Undecidability of infinite Post correspondence problem for instances of size 8. Zbl 1257.03069 Dong, Jing; Liu, Qinghui 6 2012 Strategies to scan pictures with automata based on Wang tiles. Zbl 1219.68100 Lonati, Violetta; Pradella, Matteo 6 2011 Two-way representations and weighted automata. Zbl 1362.68150 Lombardy, Sylvain 6 2016 Linear grammars with one-sided contexts and their automaton representation. Zbl 1328.68100 Barash, Mikhail; Okhotin, Alexander 6 2015 On describing the regular closure of the linear languages with graph-controlled insertion-deletion systems. Zbl 1400.68102 Fernau, Henning; Kuppusamy, Lakshmanan; Raman, Indhumathi 6 2018 Repetition thresholds for subdivided graphs and trees. Zbl 1247.68211 Ochem, Pascal; Vaslet, Elise 5 2012 Generalizations of Parikh mappings. Zbl 1209.68396 Černý, Anton 5 2010 Construction of tree automata from regular expressions. Zbl 1236.68173 Kuske, Dietrich; Meinecke, Ingmar 5 2011 A general framework for the derivation of regular expressions. Zbl 1366.68139 Caron, Pascal; Champarnaud, Jean-Marc; Mignot, Ludovic 5 2014 Extending the lambda-calculus with unbind and rebind. Zbl 1220.68045 Dezani-Ciancaglini, Mariangiola; Giannini, Paola; Zucca, Elena 5 2011 Parameterized exact and approximation algorithms for maximum \(k\)-set cover and related satisfiability problems. Zbl 1400.68081 Bonnet, Édouard; Paschos, Vangelis Th.; Sikora, Florian 5 2016 The connectivity and nature diagnosability of expanded \(k\)-ary \(n\)-cubes. Zbl 1379.05056 Wang, Mujiangshan; Lin, Yuqing; Wang, Shiying 5 2017 Balances and Abelian complexity of a certain class of infinite ternary words. Zbl 1211.68303 Turek, Ondřej 5 2010 Circular critical exponents for Thue-Morse factors. Zbl 1445.68185 Shallit, Jeffrey; Zarifi, Ramin 5 2019 Fewest repetitions in infinite binary words. Zbl 1247.68201 Badkobeh, Golnaz; Crochemore, Maxime 4 2012 Multi-dimensional sets recognizable in all abstract numeration systems. Zbl 1254.68132 Charlier, Émilie; Lacroix, Anne; Rampersad, Narad 4 2012 On automatic infinite permutations. Zbl 1247.05007 Frid, Anna; Zamboni, Luca 4 2012 Some problems in automata theory which depend on the models of set theory. Zbl 1232.68082 Finkel, Olivier 4 2011 Cd-systems of stateless deterministic \(r(1)\)-automata governed by an external pushdown store. Zbl 1250.68172 Nagy, Benedek; Otto, Friedrich 4 2011 Cellular automata and powers of \(p/q\). Zbl 1432.11081 Kari, Jarkko; Kopra, Johan 4 2017 Reaction automata working in sequential manner. Zbl 1366.68062 Okubo, Fumiya 4 2014 Conditional Lindenmayer systems with subregular conditions: the non-extended case. Zbl 1366.68113 Dassow, Jürgen; Rudolf, Stefan 4 2014 Neighbor isolated tenacity of graphs. Zbl 1346.68142 Aslan, Ersin 4 2015 A short proof that shuffle squares are 7-avoidable. Zbl 1353.68224 Guégan, Guillaume; Ochem, Pascal 4 2016 Idealized coinductive type systems for imperative object-oriented programs. Zbl 1220.68047 Ancona, Davide; Lagorio, Giovanni 4 2011 The average lower reinforcement number of a graph. Zbl 1352.05101 Turaci, Tufan; Aslan, Ersin 4 2016 A better bound of randomized algorithms for the multislope ski-rental problem. Zbl 1383.68102 Hu, Maolin; Xu, Weijun 4 2017 Minimal partial languages and automata. Zbl 1382.68185 Blanchet-Sadri, Francine; Goldner, K.; Shackleton, A. 4 2017 A CAT algorithm for the exhaustive generation of ice piles. Zbl 1339.68303 Massazza, Paolo; Radicioni, Roberto 4 2010 Binary patterns in binary cube-free words: avoidability and growth. Zbl 1302.68228 Mercaş, Robert; Ochem, Pascal; Samsonov, Alexey V.; Shur, Arseny M. 4 2014 Tree algebra of sofic tree languages. Zbl 1302.68148 Aubrun, Nathalie; Béal, Marie-Pierre 4 2014 5-abelian cubes are avoidable on binary alphabets. Zbl 1302.68229 Mercaş, Robert; Saarela, Aleksi 4 2014 On the joint 2-adic complexity of binary multisequences. Zbl 1277.94010 Zhao, Lu; Wen, Qiaoyan 3 2012 Classes of two-dimensional languages and recognizability conditions. Zbl 1211.68230 Anselmo, Marcella; Madonia, Maria 3 2010 Translation from classical two-way automata to pebble two-way automata. Zbl 1211.68232 Geffert, Viliam; Ištoňová, L’ubomíra 3 2010 Extending regular expressions with homomorphic replacement. Zbl 1208.68134 Bordihn, Henning; Dassow, Jürgen; Holzer, Markus 3 2010 Radix enumeration of rational languages. Zbl 1186.68243 Angrand, Pierre-Yves; Sakarovitch, Jacques 3 2010 Infinite words containing squares at every position. Zbl 1184.68370 Currie, James; Rampersad, Narad 3 2010 Binary words avoiding the pattern AABBCABBA. Zbl 1184.68377 Ochem, Pascal 3 2010 Connectedness of fractals associated with Arnoux-Rauzy substitutions. Zbl 1326.37007 Berthé, Valérie; Jolivet, Timo; Siegel, Anne 3 2014 Existence of an infinite ternary 64-abelian square-free word. Zbl 1297.68192 Huova, Mari 3 2014 Abelian pattern avoidance in partial words. Zbl 1297.68190 Blanchet-Sadri, F.; De Winkle, Benjamin; Simmons, Sean 3 2014 On the classes of languages accepted by limited context restarting automata. Zbl 1366.68149 Otto, Friedrich; Černo, Peter; Mráz, František 3 2014 Hopcroft’s algorithm and tree-like automata. Zbl 1220.68066 Castiglione, G.; Restivo, A.; Sciortino, M. 3 2011 Consensual languages and matching finite-state computations. Zbl 1219.68112 Reghizzi, Stefano Crespi; San Pietro, Pierluigi 3 2011 The compositional construction of Markov processes. II. Zbl 1216.18005 de Francesco Albasini, L.; Sabadini, N.; Walters, R. F. C. 3 2011 Delay games with WMSO+U winning conditions. Zbl 1356.68138 Zimmermann, Martin 3 2016 One quantifier alternation in first-order logic with modular predicates. Zbl 1339.03014 Kufleitner, Manfred; Walter, Tobias 3 2015 Exact location of the phase transition for random \((1,2)\)-QSAT. Zbl 1327.68129 Creignou, Nadia; Daudé, Hervé; Egly, Uwe; Rossignol, Raphaël 3 2015 Finite repetition threshold for large alphabets. Zbl 1302.68223 Badkobeh, Golnaz; Crochemore, Maxime; Rao, Michaël 3 2014 Signed chip firing games and symmetric sandpile models on the cycles. Zbl 1266.05098 Cori, Robert; Phan, Thi Ha Duong; Tran, Thi Thu Huong 3 2013 Upper bound for palindromic and factor complexity of rich words. Zbl 1508.68276 Rukavicka, Josef 3 2021 Total edge-vertex domination. Zbl 1444.05109 Sahin, Abdulgani; Sahin, Bünyamin 3 2020 The inclusion structure of partially lossy queue monoids and their trace submonoids. Zbl 1401.68080 Köcher, Chris; Kuske, Dietrich; Prianychnykova, Olena 3 2018 Expressive capacity of subregular expressions. Zbl 1475.68162 Kutrib, Martin; Wendlandt, Matthias 3 2018 On the power of two-way multihead quantum finite automata. Zbl 1418.81016 Bhatia, Amandeep Singh; Kumar, Ajay 3 2019 On the parameterized complexity of approximate counting. Zbl 1234.68121 Montoya, J. Andrés 2 2011 Three complexity functions. Zbl 1271.37012 Ferenczi, Sébastien; Hubert, Pascal 2 2012 Fixed points of endomorphisms of certain free products. Zbl 1266.20069 Silva, Pedro V. 2 2012 On the structure of \((-\beta )\)-integers. Zbl 1319.11006 Steiner, Wolfgang 2 2012 Unambiguous erasing morphisms in free monoids. Zbl 1203.68132 Schneider, Johannes C. 2 2010 Morphisms fixing words associated with exchange of three intervals. Zbl 1186.68342 Ambrož, Petr; Masáková, Zuzana; Pelantová, Edita 2 2010 Standard factors of Sturmian words. Zbl 1184.68378 Richomme, Gwénaël; Saari, Kalle; Zamboni, Luca Q. 2 2010 Interval exchanges, admissibility and branching Rauzy induction. Zbl 1393.37050 Dolce, Francesco; Perrin, Dominique 2 2017 Non-primitive words of the form \(pq^m\). Zbl 1393.68140 Echi, Othman 2 2017 Easy lambda-terms are not always simple. Zbl 1253.03035 Carraro, Alberto; Salibra, Antonino 2 2012 One-rule length-preserving rewrite systems and rational transductions. Zbl 1366.68123 Latteux, Michel; Roos, Yves 2 2014 Incremental DFA minimisation. Zbl 1366.68132 Almeida, Marco; Moreira, Nelma; Reis, Rogério 2 2014 Transducing by observing length-reducing and painter rules. Zbl 1366.68146 Hundeshagen, Norbert; Leupold, Peter 2 2014 Cross-bifix-free sets generation via Motzkin paths. Zbl 1371.68219 Barcucci, 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.11014 Stoll, Thomas 2 2016 An introduction to quantum annealing. Zbl 1219.68105 de Falco, Diego; Tamascelli, Dario 2 2011 Kleene closure and state complexity. Zbl 1357.68107 Palmovský, Matúš 2 2016 When input-driven pushdown automata meet reversiblity. Zbl 1362.68149 Kutrib, Martin; Malcher, Andreas; Wendlandt, Matthias 2 2016 An upper bound on the complexity of recognizable tree languages. Zbl 1373.03066 Finkel, Olivier; Lecomte, Dominique; Simonnet, Pierre 2 2015 Minimal 2-dominating sets in trees. Zbl 1282.05179 Krzywkowski, Marcin 2 2013 A note on a two dimensional knapsack problem with unloading constraints. Zbl 1311.90130 da Silveira, Jefferson Luiz Moisés; Xavier, Eduardo Candido; Miyazawa, Flávio Keidi 2 2013 Bouquets of circles for lamination languages and complexities. Zbl 1309.68122 Narbel, Philippe 2 2014 Automatic sequences in negative bases and proofs of some conjectures of Shevelev. Zbl 1527.11022 Shallit, Jeffrey; Shan, Sonja Linghui; Yang, Kai Hsiang 1 2023 Upper bound for palindromic and factor complexity of rich words. Zbl 1508.68276 Rukavicka, Josef 3 2021 Digging input-driven pushdown automata. Zbl 1508.68197 Kutrib, Martin; Malcher, Andreas 2 2021 Synchronizing series-parallel deterministic finite automata with loops and related problems. Zbl 1508.68186 Bruchertseifer, Jens; Fernau, Henning 2 2021 On deterministic 1-limited \(5' \rightarrow 3'\) sensing Watson-Crick finite-state transducers. Zbl 1508.68201 Nagy, Benedek; Kovács, Zita 1 2021 Accepting networks of evolutionary processors with resources restricted and structure limited filters. Zbl 1508.68188 Dassow, Jürgen; Truthe, Bianca 1 2021 On restarting automata with auxiliary symbols and small window size. Zbl 1508.68200 Mráz, František; Otto, Friedrich 1 2021 A novel Niederreiter-like cryptosystem based on the \((u|u + \upsilon)\)-construction codes. Zbl 1483.94049 Mahdjoubi, Roumaissa; Cayrel, Pierre Louis; Akleylek, Sedat; Kenza, Guenda 1 2021 Linear automata with translucent letters and linear context-free trace languages. Zbl 1451.68157 Nagy, Benedek; Otto, Friedrich 7 2020 Total edge-vertex domination. Zbl 1444.05109 Sahin, Abdulgani; Sahin, Bünyamin 3 2020 Betweenness of partial orders. Zbl 1484.03050 Courcelle, Bruno 1 2020 Avoiding conjugacy classes on the 5-letter alphabet. Zbl 1457.68226 Badkobeh, Golnaz; Ochem, Pascal 1 2020 Injective envelopes of transition systems and Ferrers languages. Zbl 1481.06022 Kabil, Mustapha; Pouzet, Maurice 1 2020 Circular critical exponents for Thue-Morse factors. Zbl 1445.68185 Shallit, Jeffrey; Zarifi, Ramin 5 2019 On the power of two-way multihead quantum finite automata. Zbl 1418.81016 Bhatia, Amandeep Singh; Kumar, Ajay 3 2019 Derived sequences of complementary symmetric Rote sequences. Zbl 1434.68387 Medková, Kateřina; Pelantová, Edita; Vuillon, Laurent 2 2019 On winning shifts of marked uniform substitutions. Zbl 1425.68335 Peltomäki, Jarkko; Salo, Ville 2 2019 On describing the regular closure of the linear languages with graph-controlled insertion-deletion systems. Zbl 1400.68102 Fernau, Henning; Kuppusamy, Lakshmanan; Raman, Indhumathi 6 2018 The inclusion structure of partially lossy queue monoids and their trace submonoids. Zbl 1401.68080 Köcher, Chris; Kuske, Dietrich; Prianychnykova, Olena 3 2018 Expressive capacity of subregular expressions. Zbl 1475.68162 Kutrib, Martin; Wendlandt, Matthias 3 2018 State hyperstructures of tree automata based on lattice-valued logic. Zbl 1400.68129 Ghorani, Maryam 2 2018 Uncountable classical and quantum complexity classes. Zbl 1425.68126 Dimitrijevs, Maksims; Yakaryılmaz, Abuzer 2 2018 Randomized generation of error control codes with automata and transducers. Zbl 1423.68260 Konstantinidis, Stavros; Moreira, Nelma; Reis, Rogério 2 2018 On double-jumping finite automata and their closure properties. Zbl 1423.68258 Kocman, Radim; Křivka, Zbyněk; Meduna, Alexander 2 2018 Diving into the queue. Zbl 1423.68243 Beier, Simon; Kutrib, Martin; Malcher, Andreas; Wendlandt, Matthias 1 2018 The complexity of concatenation on deterministic and alternating finite automata. Zbl 1486.68096 Hospodár, Michal; Jirásková, Galina 1 2018 Regular and linear permutation languages. Zbl 1429.68125 Madejski, Grzegorz 1 2018 The connectivity and nature diagnosability of expanded \(k\)-ary \(n\)-cubes. Zbl 1379.05056 Wang, Mujiangshan; Lin, Yuqing; Wang, Shiying 5 2017 Cellular automata and powers of \(p/q\). Zbl 1432.11081 Kari, Jarkko; Kopra, Johan 4 2017 A better bound of randomized algorithms for the multislope ski-rental problem. Zbl 1383.68102 Hu, Maolin; Xu, Weijun 4 2017 Minimal partial languages and automata. Zbl 1382.68185 Blanchet-Sadri, Francine; Goldner, K.; Shackleton, A. 4 2017 Interval exchanges, admissibility and branching Rauzy induction. Zbl 1393.37050 Dolce, Francesco; Perrin, Dominique 2 2017 Non-primitive words of the form \(pq^m\). Zbl 1393.68140 Echi, Othman 2 2017 Rational series with high image complexity. Zbl 1371.68152 Honkala, Juha 1 2017 Relationships between vertex attack tolerance and other vulnerability parameters. Zbl 1369.05124 Aytaç, Vecdi; Turaci, Tufan 1 2017 Bipartite binomial heaps. Zbl 1390.68209 Elmasry, Amr; Jensen, Claus; Katajainen, Jyrki 1 2017 On avoidability of formulas with reversal. Zbl 1390.68512 Currie, James D.; Mol, Lucas; Rampersad, Narad 1 2017 Decision algorithms for Fibonacci-automatic words. I: Basic results. Zbl 1366.68226 Mousavi, Hamoon; Schaeffer, Luke; Shallit, Jeffrey 23 2016 Two-way representations and weighted automata. Zbl 1362.68150 Lombardy, Sylvain 6 2016 Parameterized exact and approximation algorithms for maximum \(k\)-set cover and related satisfiability problems. Zbl 1400.68081 Bonnet, Édouard; Paschos, Vangelis Th.; Sikora, Florian 5 2016 A short proof that shuffle squares are 7-avoidable. Zbl 1353.68224 Guégan, Guillaume; Ochem, Pascal 4 2016 The average lower reinforcement number of a graph. Zbl 1352.05101 Turaci, Tufan; Aslan, Ersin 4 2016 Delay games with WMSO+U winning conditions. Zbl 1356.68138 Zimmermann, Martin 3 2016 Cross-bifix-free sets generation via Motzkin paths. Zbl 1371.68219 Barcucci, 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.11014 Stoll, Thomas 2 2016 Kleene closure and state complexity. Zbl 1357.68107 Palmovský, Matúš 2 2016 When input-driven pushdown automata meet reversiblity. Zbl 1362.68149 Kutrib, Martin; Malcher, Andreas; Wendlandt, Matthias 2 2016 Reduction in non-\((k+1)\)-power-free morphisms. Zbl 1362.68243 Wlazinski, Francis 1 2016 Advice complexity of disjoint path allocation. Zbl 1401.68122 Kováčová, Ivana 1 2016 The average scattering number of graphs. Zbl 1353.05073 Aslan, Ersin; Kilinç, Deniz; Yücalar, Fatih; Borandağ, Emin 1 2016 Input- or output-unary sweeping transducers are weaker than their 2-way counterparts. Zbl 1362.68140 Guillon, Bruno 1 2016 Some classes of rational functions for pictures. Zbl 1362.68152 Mráz, František; Otto, Friedrich; Průša, Daniel 1 2016 Homing vector automata. Zbl 1362.68154 Salehi, Özlem; Say, A. C. Cem; D’alessandro, Flavio 1 2016 Computing the 2-blocks of directed graphs. Zbl 1342.05055 Jaberi, Raed 9 2015 Further results on generalized conditional entropies. Zbl 1395.94219 Rastegin, Alexey E. 7 2015 Linear grammars with one-sided contexts and their automaton representation. Zbl 1328.68100 Barash, Mikhail; Okhotin, Alexander 6 2015 Neighbor isolated tenacity of graphs. Zbl 1346.68142 Aslan, Ersin 4 2015 One quantifier alternation in first-order logic with modular predicates. Zbl 1339.03014 Kufleitner, Manfred; Walter, Tobias 3 2015 Exact location of the phase transition for random \((1,2)\)-QSAT. Zbl 1327.68129 Creignou, Nadia; Daudé, Hervé; Egly, Uwe; Rossignol, Raphaël 3 2015 An upper bound on the complexity of recognizable tree languages. Zbl 1373.03066 Finkel, Olivier; Lecomte, Dominique; Simonnet, Pierre 2 2015 Certificateless ring signature based on RSA problem and DL problem. Zbl 1401.94148 Deng, Lunzhi 1 2015 Optimal strategy synthesis for request-response games. Zbl 1347.68206 Horn, Florian; Thomas, Wolfgang; Wallmeier, Nico; Zimmermann, Martin 1 2015 On language equations with concatenation and various sets of Boolean operations. Zbl 1347.68209 Okhotin, Alexander 1 2015 The finiteness problem for monoids of morphisms. Zbl 1314.20045 Honkala, Juha 1 2015 On the state complexity of semi-quantum finite automata. Zbl 1292.81027 Zheng, Shenggen; Gruska, Jozef; Qiu, Daowen 13 2014 Two-dimensional Sgraffito automata. Zbl 1328.68117 Průša, Daniel; Mráz, František; Otto, Friedrich 7 2014 A general framework for the derivation of regular expressions. Zbl 1366.68139 Caron, Pascal; Champarnaud, Jean-Marc; Mignot, Ludovic 5 2014 Reaction automata working in sequential manner. Zbl 1366.68062 Okubo, Fumiya 4 2014 Conditional Lindenmayer systems with subregular conditions: the non-extended case. Zbl 1366.68113 Dassow, Jürgen; Rudolf, Stefan 4 2014 Binary patterns in binary cube-free words: avoidability and growth. Zbl 1302.68228 Mercaş, Robert; Ochem, Pascal; Samsonov, Alexey V.; Shur, Arseny M. 4 2014 Tree algebra of sofic tree languages. Zbl 1302.68148 Aubrun, Nathalie; Béal, Marie-Pierre 4 2014 5-abelian cubes are avoidable on binary alphabets. Zbl 1302.68229 Mercaş, Robert; Saarela, Aleksi 4 2014 Connectedness of fractals associated with Arnoux-Rauzy substitutions. Zbl 1326.37007 Berthé, Valérie; Jolivet, Timo; Siegel, Anne 3 2014 Existence of an infinite ternary 64-abelian square-free word. Zbl 1297.68192 Huova, Mari 3 2014 Abelian pattern avoidance in partial words. Zbl 1297.68190 Blanchet-Sadri, F.; De Winkle, Benjamin; Simmons, Sean 3 2014 On the classes of languages accepted by limited context restarting automata. Zbl 1366.68149 Otto, Friedrich; Černo, Peter; Mráz, František 3 2014 Finite repetition threshold for large alphabets. Zbl 1302.68223 Badkobeh, Golnaz; Crochemore, Maxime; Rao, Michaël 3 2014 One-rule length-preserving rewrite systems and rational transductions. Zbl 1366.68123 Latteux, Michel; Roos, Yves 2 2014 Incremental DFA minimisation. Zbl 1366.68132 Almeida, Marco; Moreira, Nelma; Reis, Rogério 2 2014 Transducing by observing length-reducing and painter rules. Zbl 1366.68146 Hundeshagen, Norbert; Leupold, Peter 2 2014 Bouquets of circles for lamination languages and complexities. Zbl 1309.68122 Narbel, Philippe 2 2014 Integers in number systems with positive and negative quadratic Pisot base. Zbl 1385.11048 Masáková, Z.; Vávra, T. 1 2014 Systems of parallel communicating restarting automata. Zbl 1366.68153 Vollweiler, Marcel; Otto, Friedrich 1 2014 Bidirectional string assembling systems. Zbl 1366.68058 Kutrib, Martin; Wendlandt, Matthias 1 2014 Decidability of the HD0L ultimate periodicity problem. Zbl 1361.68112 Durand, Fabien 12 2013 Abelian periods, partial words, and an extension of a theorem of Fine and Wilf. Zbl 1307.68059 Blanchet-Sadri, Francine; Simmons, Sean; Tebbe, Amelia; Veprauskas, Amy 10 2013 Signed chip firing games and symmetric sandpile models on the cycles. Zbl 1266.05098 Cori, Robert; Phan, Thi Ha Duong; Tran, Thi Thu Huong 3 2013 Minimal 2-dominating sets in trees. Zbl 1282.05179 Krzywkowski, Marcin 2 2013 A note on a two dimensional knapsack problem with unloading constraints. Zbl 1311.90130 da Silveira, Jefferson Luiz Moisés; Xavier, Eduardo Candido; Miyazawa, Flávio Keidi 2 2013 Cutwidth of iterated caterpillars. Zbl 1266.05140 Lin, Lan; Lin, Yixun 2 2013 Factoring and testing primes in small space. Zbl 1315.11100 Geffert, Viliam; Pardubská, Dana 1 2013 From indexed grammars to generating functions. Zbl 1286.68331 Adams, Jared; Freden, Eric; Mishna, Marni 1 2013 Strong functors and interleaving fixpoints in game semantics. Zbl 1302.03072 Clairambault, Pierre 1 2013 A non-uniform finitary relational semantics of system \(T\). Zbl 1338.03051 Vaux, Lionel 1 2013 Probabilistic operational semantics for the lambda calculus. Zbl 1279.68183 Dal Lago, Ugo; Zorzi, Margherita 28 2012 On the decidability of semigroup freeness. Zbl 1252.20050 Cassaigne, Julien; Nicolas, François 18 2012 On Abelian repetition threshold. Zbl 1279.68240 Samsonov, Alexey V.; Shur, Arseny M. 13 2012 Affine Parikh automata. Zbl 1279.68136 Cadilhac, Michaël; Finkel, Alain; McKenzie, Pierre 11 2012 On abelian versions of critical factorization theorem. Zbl 1247.68200 Avgustinovich, Sergey; Karhumäki, Juhani; Puzynina, Svetlana 10 2012 Rational base number systems for \(p\)-adic numbers. Zbl 1338.11010 Frougny, Christiane; Klouda, Karel 8 2012 ...and 60 more Documents all cited Publications top 5 cited Publications all top 5 Cited by 683 Authors 21 Shallit, Jeffrey Outlaw 15 Pelantová, Edita 13 Otto, Friedrich 12 Komm, Dennis 12 Rampersad, Narad 11 Nagy, Benedek 10 Charlier, Emilie 10 Shur, Arseny M. 9 Blanchet-Sadri, Francine 9 Kutrib, Martin 9 Potapov, Igor 8 Böckenhauer, Hans-Joachim 8 Fernau, Henning 8 Královič, Richard 8 Mráz, František 8 Starosta, Štěpán 8 Wendlandt, Matthias 7 Dal Lago, Ugo 7 Okhotin, Alexander 7 Puzynina, Svetlana 7 Rastëgin, Alekseĭ Èduardovich 7 Salo, Ville O. 7 Yakaryılmaz, Abuzer 6 Currie, James D. 6 Georgiadis, Loukas 6 Harju, Tero 6 Honkala, Juha 6 Hromkovič, Juraj 6 Italiano, Giuseppe Francesco 6 Karhumaki, Juhani 6 Ochem, Pascal 6 Qiu, Daowen 6 Zheng, Shenggen 6 Zorzi, Margherita 5 Ancona, Davide 5 Cassaigne, Julien 5 Dolce, Francesco 5 Frid, Anna Èduardovna 5 Giannini, Paola 5 Halava, Vesa 5 Královič, Rastislav 5 Li, Lvzhou 5 Masáková, Zuzana 5 Mól, Lucas A. S. 5 Paramasivan, Meenakshi 5 Parotsidis, Nikos 5 Rigo, Michel 5 Schmid, Markus L. 5 Zucca, Elena 4 Badkobeh, Golnaz 4 Bell, Paul C. 4 Bhatia, Amandeep Singh 4 Bianchi, Maria Paola 4 Crespi Reghizzi, Stefano 4 Fici, Gabriele 4 Finkel, Olivier 4 Gruska, Jozef 4 Gutan, Marin 4 Kamali, Shahin 4 Kociumaka, Tomasz 4 Kopra, Johan 4 Larsen, Kim Skak 4 Moreira, Nelma 4 Nakanishi, Masaki 4 Niskanen, Reino 4 Quigley, James D. 4 Radoszewski, Jakub 4 Reis, Rogério 4 Renault, Marc P. 4 Rosén, Adi 4 Rosenfeld, Matthieu 4 Rytter, Wojciech 4 Saarela, Aleksi 4 Ziadi, Djelloul 3 Anselmo, Marcella 3 Aslan, Ersin 3 Avgustinovich, Sergeĭ Vladimirovich 3 Berthé, Valérie 3 Burjons, Elisabet 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 Giammarresi, Dora 3 Hirvensalo, Mika 3 Ibarra, Oscar H. 3 Jaberi, Raed 3 Köcher, Chris 3 Kufleitner, Manfred 3 Kumar, Ajay 3 Kuppusamy, Lakshmanan 3 Laura, Luigi 3 Lombardy, Sylvain 3 Lü, Xiaotao ...and 583 more Authors all top 5 Cited in 102 Journals 88 Theoretical Computer Science 37 International Journal of Foundations of Computer Science 30 RAIRO. Theoretical Informatics and Applications 26 Information and Computation 13 Logical Methods in Computer Science 12 Theory of Computing Systems 11 Discrete Applied Mathematics 10 Journal of Computer and System Sciences 10 European Journal of Combinatorics 9 Acta Informatica 8 The Electronic Journal of Combinatorics 7 Natural Computing 6 Information Processing Letters 6 MSCS. Mathematical Structures in Computer Science 6 Journal of Automata, Languages and Combinatorics 5 Journal of Combinatorial Optimization 4 Discrete Mathematics 4 International Journal of Theoretical Physics 4 Algorithmica 4 International Journal of Algebra and Computation 4 Indagationes Mathematicae. New Series 4 Cryptography and Communications 3 Journal of Combinatorial Theory. Series A 3 Semigroup Forum 3 Ergodic Theory and Dynamical Systems 3 Journal of Integer Sequences 3 Fundamenta Informaticae 3 Integers 3 Quantum Information Processing 3 Computer Science Review 2 Journal of Number Theory 2 Journal of Automated Reasoning 2 Numerical Methods for Partial Differential Equations 2 Journal of Logical and Algebraic Methods in Programming 2 Journal of Membrane Computing 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 the London Mathematical Society. Second Series 1 Journal of Mathematical Psychology 1 Kybernetika 1 Monatshefte für Mathematik 1 Osaka Journal of Mathematics 1 SIAM Journal on Computing 1 Transactions of the American Mathematical Society 1 Advances in Applied Mathematics 1 Acta Mathematica Hungarica 1 Applied Numerical Mathematics 1 Graphs and Combinatorics 1 Computers & Operations Research 1 SIAM Journal on Discrete Mathematics 1 Annals of Operations Research 1 Designs, Codes and Cryptography 1 European Journal of Operational Research 1 Linear Algebra and its Applications 1 Expositiones Mathematicae 1 Archive for Mathematical Logic 1 The Australasian Journal of Combinatorics 1 Formal Methods in System Design 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 Comptes Rendus. Mathématique. Académie des Sciences, Paris 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 Journal of Physics A: Mathematical and Theoretical 1 Vestnik Yuzhno-Ural’skogo Gosudarstvennogo Universiteta. Seriya Matematicheskoe Modelirovanie i Programmirovanie 1 Discrete Mathematics, Algorithms and Applications 1 Acta Universitatis Sapientiae. Informatica 1 \(p\)-Adic Numbers, Ultrametric Analysis, and Applications 1 Annalen der Physik 1 Annales Mathématiques du Québec 1 Modelirovanie i Analiz Informatsionnykh Sistem ...and 2 more Journals all top 5 Cited in 32 Fields 451 Computer science (68-XX) 60 Combinatorics (05-XX) 56 Mathematical logic and foundations (03-XX) 49 Number theory (11-XX) 28 Quantum theory (81-XX) 26 Dynamical systems and ergodic theory (37-XX) 26 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 19 Group theory and generalizations (20-XX) 19 Operations research, mathematical programming (90-XX) 17 Information and communication theory, circuits (94-XX) 10 Linear and multilinear algebra; matrix theory (15-XX) 5 Numerical analysis (65-XX) 4 Category theory; homological algebra (18-XX) 4 Measure and integration (28-XX) 4 Convex and discrete geometry (52-XX) 4 Statistical mechanics, structure of matter (82-XX) 4 Biology and other natural sciences (92-XX) 3 Order, lattices, ordered algebraic structures (06-XX) 3 Partial differential equations (35-XX) 2 General algebraic systems (08-XX) 2 Potential theory (31-XX) 2 Operator theory (47-XX) 2 General topology (54-XX) 2 Statistics (62-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 Difference and functional equations (39-XX) 1 Manifolds and cell complexes (57-XX) 1 Probability theory and stochastic processes (60-XX) Citations by Year