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: 243 Publications (since 2010) References Indexed: 167 Publications with 3,440 References. all top 5 Latest Issues 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 5 Blanchet-Sadri, Francine 5 Holzer, Markus 5 Mráz, František 5 Ochem, Pascal 5 Wendlandt, Matthias 4 Bruyère, Véronique 4 Dassow, Jürgen 4 Nagy, Benedek 4 Rampersad, Narad 4 Reis, Rogério 4 Truthe, Bianca 3 Aslan, Ersin 3 Badkobeh, Golnaz 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 Shallit, Jeffrey O. 3 Shur, Arseny M. 2 Bianchi, Maria Paola 2 Böckenhauer, Hans-Joachim 2 Bordihn, Henning 2 Borel, Jean-Pierre 2 Charlier, Emilie 2 Crochemore, Maxime 2 Currie, James D. 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 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 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 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 1 Beier, Simon 1 Ben Rajeb, Narjes 1 Bernhard, Raphael 1 Berrima, Mouhebeddine ...and 299 more Authors all top 5 Fields 220 Computer science (68-XX) 33 Combinatorics (05-XX) 25 Mathematical logic and foundations (03-XX) 16 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 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 8 Dynamical systems and ergodic theory (37-XX) 8 Operations research, mathematical programming (90-XX) 4 Probability theory and stochastic processes (60-XX) 4 Quantum theory (81-XX) 3 Order, lattices, ordered algebraic structures (06-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 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 133 Publications have been cited 424 times in 390 Documents Cited by ▼ Year ▼ Advice complexity and barely random algorithms. Zbl 1218.68090Komm, Dennis; Královič, Richard 21 2011 Probabilistic operational semantics for the lambda calculus. Zbl 1279.68183Dal Lago, Ugo; Zorzi, Margherita 20 2012 On the decidability of semigroup freeness. Zbl 1252.20050Cassaigne, Julien; Nicolas, François 15 2012 Decision algorithms for Fibonacci-automatic words. I: Basic results. Zbl 1366.68226Mousavi, Hamoon; Schaeffer, Luke; Shallit, Jeffrey 11 2016 Sturmian jungle (or garden?) On multiliteral alphabets. Zbl 1211.68295Balková, L’ubomíra; Pelantová, Edita; Starosta, Štěpán 11 2010 Decidability of the HD0L ultimate periodicity problem. Zbl 1361.68112Durand, Fabien 10 2013 On the state complexity of semi-quantum finite automata. Zbl 1292.81027Zheng, Shenggen; Gruska, Jozef; Qiu, Daowen 10 2014 On the growth rates of complexity of threshold languages. Zbl 1184.68341Shur, Arseny M.; Gorbunova, Irina A. 9 2010 Computing the 2-blocks of directed graphs. Zbl 1342.05055Jaberi, Raed 9 2015 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 On Abelian repetition threshold. Zbl 1279.68240Samsonov, Alexey V.; Shur, Arseny M. 8 2012 Recursive algorithm for parity games requires exponential time. Zbl 1232.91064Friedmann, Oliver 8 2011 On the number of squares in partial words. Zbl 1184.68372Halava, Vesa; Harju, Tero; Kärki, Tomi 7 2010 On abelian versions of critical factorization theorem. Zbl 1247.68200Avgustinovich, Sergey; Karhumäki, Juhani; Puzynina, Svetlana 7 2012 Affine Parikh automata. Zbl 1279.68136Cadilhac, Michaël; Finkel, Alain; McKenzie, Pierre 7 2012 Superiority of one-way and realtime quantum machines. Zbl 1279.68090Yakaryılmaz, Abuzer 6 2012 Balances and Abelian complexity of a certain class of infinite ternary words. Zbl 1211.68303Turek, Ondřej 5 2010 Generalizations of Parikh mappings. Zbl 1209.68396Černý, Anton 5 2010 Repetition thresholds for subdivided graphs and trees. Zbl 1247.68211Ochem, Pascal; Vaslet, Elise 5 2012 Two-dimensional Sgraffito automata. Zbl 1328.68117Průša, Daniel; Mráz, František; Otto, Friedrich 5 2014 Strategies to scan pictures with automata based on Wang tiles. Zbl 1219.68100Lonati, Violetta; Pradella, Matteo 5 2011 Construction of tree automata from regular expressions. Zbl 1236.68173Kuske, Dietrich; Meinecke, Ingmar 5 2011 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 4 2017 Tree algebra of sofic tree languages. Zbl 1302.68148Aubrun, Nathalie; Béal, Marie-Pierre 4 2014 Circular critical exponents for Thue-Morse factors. Zbl 1445.68185Shallit, Jeffrey; Zarifi, Ramin 4 2019 Fewest repetitions in infinite binary words. Zbl 1247.68201Badkobeh, Golnaz; Crochemore, Maxime 4 2012 Rational base number systems for \(p\)-adic numbers. Zbl 1338.11010Frougny, Christiane; Klouda, Karel 4 2012 Linear grammars with one-sided contexts and their automaton representation. Zbl 1328.68100Barash, Mikhail; Okhotin, Alexander 4 2015 Further results on generalized conditional entropies. Zbl 1395.94219Rastegin, Alexey E. 4 2015 Delay games with WMSO+U winning conditions. Zbl 1356.68138Zimmermann, Martin 4 2016 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 Idealized coinductive type systems for imperative object-oriented programs. Zbl 1220.68047Ancona, Davide; Lagorio, Giovanni 4 2011 Extending the lambda-calculus with unbind and rebind. Zbl 1220.68045Dezani-Ciancaglini, Mariangiola; Giannini, Paola; Zucca, Elena 4 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 4 2011 Neighbor isolated tenacity of graphs. Zbl 1346.68142Aslan, Ersin 3 2015 Binary patterns in binary cube-free words: avoidability and growth. Zbl 1302.68228Mercaş, Robert; Ochem, Pascal; Samsonov, Alexey V.; Shur, Arseny M. 3 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 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 Extending regular expressions with homomorphic replacement. Zbl 1208.68134Bordihn, Henning; Dassow, Jürgen; Holzer, Markus 3 2010 Undecidability of infinite Post correspondence problem for instances of size 8. Zbl 1257.03069Dong, Jing; Liu, Qinghui 3 2012 Multi-dimensional sets recognizable in all abstract numeration systems. Zbl 1254.68132Charlier, Émilie; Lacroix, Anne; Rampersad, Narad 3 2012 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 A CAT algorithm for the exhaustive generation of ice piles. Zbl 1339.68303Massazza, Paolo; Radicioni, Roberto 3 2010 On biautomata. Zbl 1279.68238Klíma, Ondřej; Polák, Libor 3 2012 Classes of two-dimensional languages and recognizability conditions. Zbl 1211.68230Anselmo, Marcella; Madonia, Maria 3 2010 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 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 Conditional Lindenmayer systems with subregular conditions: the non-extended case. Zbl 1366.68113Dassow, Jürgen; Rudolf, Stefan 3 2014 The inclusion structure of partially lossy queue monoids and their trace submonoids. Zbl 1401.68080Köcher, Chris; Kuske, Dietrich; Prianychnykova, Olena 2 2018 Non-primitive words of the form \(pq^m\). Zbl 1393.68140Echi, Othman 2 2017 A short proof that shuffle squares are 7-avoidable. Zbl 1353.68224Guégan, Guillaume; Ochem, Pascal 2 2016 On the power of two-way multihead quantum finite automata. Zbl 1418.81016Bhatia, Amandeep Singh; Kumar, Ajay 2 2019 Morphisms fixing words associated with exchange of three intervals. Zbl 1186.68342Ambrož, Petr; Masáková, Zuzana; Pelantová, Edita 2 2010 Unambiguous erasing morphisms in free monoids. Zbl 1203.68132Schneider, Johannes C. 2 2010 On the joint 2-adic complexity of binary multisequences. Zbl 1277.94010Zhao, Lu; Wen, Qiaoyan 2 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 An upper bound on the complexity of recognizable tree languages. Zbl 1373.03066Finkel, Olivier; Lecomte, Dominique; Simonnet, Pierre 2 2015 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 When input-driven pushdown automata meet reversiblity. Zbl 1362.68149Kutrib, Martin; Malcher, Andreas; Wendlandt, Matthias 2 2016 Minimal 2-dominating sets in trees. Zbl 1282.05179Krzywkowski, Marcin 2 2013 Cd-systems of stateless deterministic \(r(1)\)-automata governed by an external pushdown store. Zbl 1250.68172Nagy, Benedek; Otto, Friedrich 2 2011 Signed chip firing games and symmetric sandpile models on the cycles. Zbl 1266.05098Cori, Robert; Phan, Thi Ha Duong; Tran, Thi Thu Huong 2 2013 Cutwidth of iterated caterpillars. Zbl 1266.05140Lin, Lan; Lin, Yixun 2 2013 Normal forms for unary probabilistic automata. Zbl 1279.68132Bianchi, Maria Paola; Pighizzini, Giovanni 2 2012 Total edge-vertex domination. Zbl 1444.05109Sahin, Abdulgani; Sahin, Bünyamin 2 2020 Linear automata with translucent letters and linear context-free trace languages. Zbl 1451.68157Nagy, Benedek; Otto, Friedrich 2 2020 Translation from classical two-way automata to pebble two-way automata. Zbl 1211.68232Geffert, Viliam; Ištoňová, L’ubomíra 2 2010 An introduction to quantum annealing. Zbl 1219.68105de Falco, Diego; Tamascelli, Dario 2 2011 On the parameterized complexity of approximate counting. Zbl 1234.68121Montoya, J. Andrés 2 2011 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 Derived sequences of complementary symmetric Rote sequences. Zbl 1434.68387Medková, Kateřina; Pelantová, Edita; Vuillon, Laurent 2 2019 On describing the regular closure of the linear languages with graph-controlled insertion-deletion systems. Zbl 1400.68102Fernau, Henning; Kuppusamy, Lakshmanan; Raman, Indhumathi 1 2018 State hyperstructures of tree automata based on lattice-valued logic. Zbl 1400.68129Ghorani, Maryam 1 2018 A better bound of randomized algorithms for the multislope ski-rental problem. Zbl 1383.68102Hu, Maolin; Xu, Weijun 1 2017 Bipartite binomial heaps. Zbl 1390.68209Elmasry, Amr; Jensen, Claus; Katajainen, Jyrki 1 2017 Interval exchanges, admissibility and branching Rauzy induction. Zbl 1393.37050Dolce, Francesco; Perrin, Dominique 1 2017 Rational series with high image complexity. Zbl 1371.68152Honkala, Juha 1 2017 Certificateless ring signature based on RSA problem and DL problem. Zbl 1401.94148Deng, Lunzhi 1 2015 Reduction in non-\((k+1)\)-power-free morphisms. Zbl 1362.68243Wlazinski, Francis 1 2016 Cross-bifix-free sets generation via Motzkin paths. Zbl 1371.68219Barcucci, Elena; Bilotta, Stefano; Pergola, Elisa; Pinzani, Renzo; Succi, Jonathan 1 2016 On digital blocks of polynomial values and extractions in the Rudin-Shapiro sequence. Zbl 1419.11014Stoll, Thomas 1 2016 Bouquets of circles for lamination languages and complexities. Zbl 1309.68122Narbel, Philippe 1 2014 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 07082325Hospodár, Michal; Jirásková, Galina 1 2018 Synchronizing series-parallel deterministic finite automata with loops and related problems. Zbl 07455935Bruchertseifer, Jens; Fernau, Henning 1 2021 Total edge-vertex domination. Zbl 1444.05109Sahin, Abdulgani; Sahin, Bünyamin 2 2020 Linear automata with translucent letters and linear context-free trace languages. Zbl 1451.68157Nagy, Benedek; Otto, Friedrich 2 2020 Circular critical exponents for Thue-Morse factors. Zbl 1445.68185Shallit, Jeffrey; Zarifi, Ramin 4 2019 On the power of two-way multihead quantum finite automata. Zbl 1418.81016Bhatia, Amandeep Singh; Kumar, Ajay 2 2019 Derived sequences of complementary symmetric Rote sequences. Zbl 1434.68387Medková, Kateřina; Pelantová, Edita; Vuillon, Laurent 2 2019 The inclusion structure of partially lossy queue monoids and their trace submonoids. Zbl 1401.68080Köcher, Chris; Kuske, Dietrich; Prianychnykova, Olena 2 2018 On describing the regular closure of the linear languages with graph-controlled insertion-deletion systems. Zbl 1400.68102Fernau, Henning; Kuppusamy, Lakshmanan; Raman, Indhumathi 1 2018 State hyperstructures of tree automata based on lattice-valued logic. Zbl 1400.68129Ghorani, Maryam 1 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 07082325Hospodár, Michal; Jirásková, Galina 1 2018 Expressive capacity of subregular expressions. Zbl 1475.68162Kutrib, Martin; Wendlandt, Matthias 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 4 2017 Non-primitive words of the form \(pq^m\). Zbl 1393.68140Echi, Othman 2 2017 A better bound of randomized algorithms for the multislope ski-rental problem. Zbl 1383.68102Hu, Maolin; Xu, Weijun 1 2017 Bipartite binomial heaps. Zbl 1390.68209Elmasry, Amr; Jensen, Claus; Katajainen, Jyrki 1 2017 Interval exchanges, admissibility and branching Rauzy induction. Zbl 1393.37050Dolce, Francesco; Perrin, Dominique 1 2017 Rational series with high image complexity. Zbl 1371.68152Honkala, Juha 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 Decision algorithms for Fibonacci-automatic words. I: Basic results. Zbl 1366.68226Mousavi, Hamoon; Schaeffer, Luke; Shallit, Jeffrey 11 2016 Delay games with WMSO+U winning conditions. Zbl 1356.68138Zimmermann, Martin 4 2016 Two-way representations and weighted automata. Zbl 1362.68150Lombardy, Sylvain 4 2016 A short proof that shuffle squares are 7-avoidable. Zbl 1353.68224Guégan, Guillaume; Ochem, Pascal 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 When input-driven pushdown automata meet reversiblity. Zbl 1362.68149Kutrib, Martin; Malcher, Andreas; Wendlandt, Matthias 2 2016 Reduction in non-\((k+1)\)-power-free morphisms. Zbl 1362.68243Wlazinski, Francis 1 2016 Cross-bifix-free sets generation via Motzkin paths. Zbl 1371.68219Barcucci, Elena; Bilotta, Stefano; Pergola, Elisa; Pinzani, Renzo; Succi, Jonathan 1 2016 On digital blocks of polynomial values and extractions in the Rudin-Shapiro sequence. Zbl 1419.11014Stoll, Thomas 1 2016 Kleene closure and state complexity. Zbl 1357.68107Palmovský, Matúš 1 2016 The average scattering number of graphs. Zbl 1353.05073Aslan, 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.68140Guillon, Bruno 1 2016 Some classes of rational functions for pictures. Zbl 1362.68152Mráz, František; Otto, Friedrich; Průša, Daniel 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 4 2015 Further results on generalized conditional entropies. Zbl 1395.94219Rastegin, Alexey E. 4 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 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 language equations with concatenation and various sets of Boolean operations. Zbl 1347.68209Okhotin, Alexander 1 2015 On the state complexity of semi-quantum finite automata. Zbl 1292.81027Zheng, Shenggen; Gruska, Jozef; Qiu, Daowen 10 2014 Two-dimensional Sgraffito automata. Zbl 1328.68117Průša, Daniel; Mráz, František; Otto, Friedrich 5 2014 A general framework for the derivation of regular expressions. Zbl 1366.68139Caron, Pascal; Champarnaud, Jean-Marc; Mignot, Ludovic 5 2014 Tree algebra of sofic tree languages. Zbl 1302.68148Aubrun, Nathalie; Béal, Marie-Pierre 4 2014 Binary patterns in binary cube-free words: avoidability and growth. Zbl 1302.68228Mercaş, Robert; Ochem, Pascal; Samsonov, Alexey V.; Shur, Arseny M. 3 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 Conditional Lindenmayer systems with subregular conditions: the non-extended case. Zbl 1366.68113Dassow, Jürgen; Rudolf, Stefan 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 Decidability of the HD0L ultimate periodicity problem. Zbl 1361.68112Durand, Fabien 10 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 Minimal 2-dominating sets in trees. Zbl 1282.05179Krzywkowski, Marcin 2 2013 Signed chip firing games and symmetric sandpile models on the cycles. Zbl 1266.05098Cori, Robert; Phan, Thi Ha Duong; Tran, Thi Thu Huong 2 2013 Cutwidth of iterated caterpillars. Zbl 1266.05140Lin, Lan; Lin, Yixun 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 1 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 20 2012 On the decidability of semigroup freeness. Zbl 1252.20050Cassaigne, Julien; Nicolas, François 15 2012 On Abelian repetition threshold. Zbl 1279.68240Samsonov, Alexey V.; Shur, Arseny M. 8 2012 On abelian versions of critical factorization theorem. Zbl 1247.68200Avgustinovich, Sergey; Karhumäki, Juhani; Puzynina, Svetlana 7 2012 Affine Parikh automata. Zbl 1279.68136Cadilhac, Michaël; Finkel, Alain; McKenzie, Pierre 7 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 Fewest repetitions in infinite binary words. Zbl 1247.68201Badkobeh, Golnaz; Crochemore, Maxime 4 2012 Rational base number systems for \(p\)-adic numbers. Zbl 1338.11010Frougny, Christiane; Klouda, Karel 4 2012 Undecidability of infinite Post correspondence problem for instances of size 8. Zbl 1257.03069Dong, Jing; Liu, Qinghui 3 2012 Multi-dimensional sets recognizable in all abstract numeration systems. Zbl 1254.68132Charlier, Émilie; Lacroix, Anne; Rampersad, Narad 3 2012 On biautomata. Zbl 1279.68238Klíma, Ondřej; Polák, Libor 3 2012 On the joint 2-adic complexity of binary multisequences. Zbl 1277.94010Zhao, Lu; Wen, Qiaoyan 2 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 Normal forms for unary probabilistic automata. Zbl 1279.68132Bianchi, Maria Paola; Pighizzini, Giovanni 2 2012 Equivalences and congruences on infinite Conway games. Zbl 1279.68187Honsell, Furio; Lenisa, Marina; Redamalla, Rekha 1 2012 Easy lambda-terms are not always simple. Zbl 1253.03035Carraro, Alberto; Salibra, Antonino 1 2012 On the size of transducers for bidirectional decoding of prefix codes. Zbl 1278.94038Giambruno, Laura; Mantaci, Sabrina 1 2012 On the product of balanced sequences. Zbl 1247.68213Restivo, Antonio; Rosone, Giovanna 1 2012 Regularity of languages defined by formal series with isolated cut point. Zbl 1279.68131Bertoni, Alberto; Bianchi, Maria Paola; D’Alessandro, Flavio 1 2012 Advice complexity and barely random algorithms. Zbl 1218.68090Komm, Dennis; Královič, Richard 21 2011 Recursive algorithm for parity games requires exponential time. Zbl 1232.91064Friedmann, Oliver 8 2011 Strategies to scan pictures with automata based on Wang tiles. Zbl 1219.68100Lonati, Violetta; Pradella, Matteo 5 2011 Construction of tree automata from regular expressions. Zbl 1236.68173Kuske, Dietrich; Meinecke, Ingmar 5 2011 Some problems in automata theory which depend on the models of set theory. Zbl 1232.68082Finkel, Olivier 4 2011 ...and 33 more Documents all cited Publications top 5 cited Publications all top 5 Cited by 519 Authors 13 Pelantová, Edita 11 Komm, Dennis 10 Charlier, Emilie 9 Otto, Friedrich 9 Shallit, Jeffrey O. 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 Potapov, Igor 7 Shur, Arseny M. 6 Georgiadis, Loukas 6 Honkala, Juha 6 Hromkovič, Juraj 6 Italiano, Giuseppe Francesco 6 Mráz, František 6 Zorzi, Margherita 5 Ancona, Davide 5 Currie, James D. 5 Giannini, Paola 5 Karhumaki, Juhani 5 Li, Lvzhou 5 Masáková, Zuzana 5 Mól, Lucas A. S. 5 Nagy, Benedek 5 Ochem, Pascal 5 Okhotin, Alexander 5 Parotsidis, Nikos 5 Puzynina, Svetlana 5 Qiu, Daowen 5 Salo, Ville O. 5 Zucca, Elena 4 Badkobeh, Golnaz 4 Bianchi, Maria Paola 4 Cassaigne, Julien 4 Crespi Reghizzi, Stefano 4 Gutan, Marin 4 Harju, Tero 4 Kociumaka, Tomasz 4 Královič, Rastislav 4 Larsen, Kim Skak 4 Massazza, Paolo 4 Radoszewski, Jakub 4 Rastëgin, Alekseĭ Èduardovich 4 Rigo, Michel 4 Rosenfeld, Matthieu 4 Rytter, Wojciech 4 Schmid, Markus L. 4 Yakaryılmaz, Abuzer 4 Zheng, Shenggen 4 Ziadi, Djelloul 3 Berthé, Valérie 3 Bhatia, Amandeep Singh 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 Dolce, Francesco 3 Esbelin, Henri-Alex 3 Fernau, Henning 3 Finkel, Olivier 3 Frid, Anna Èduardovna 3 Gruska, Jozef 3 Halava, Vesa 3 Jaberi, Raed 3 Kamali, Shahin 3 Kutrib, Martin 3 Laura, Luigi 3 Lombardy, Sylvain 3 Lü, Xiaotao 3 Massuir, Adeline 3 Medková, Kateřina 3 Mignot, Ludovic 3 Niskanen, Reino 3 Okubo, Fumiya 3 Palano, Beatrice 3 Paolini, Luca 3 Průša, Daniel 3 Quigley, James D. 3 Renault, Marc P. 3 Rosén, Adi 3 Saarela, Aleksi 3 Saari, Kalle 3 San Pietro, Pierluigi L. 3 Waleń, Tomasz 3 Wang, Shiying 3 Wendlandt, Matthias 3 Yokomori, Takashi 3 Zamboni, Luca Quardo 3 Zimmermann, Martín G. 2 Adamson, Duncan 2 Ambrož, Petr 2 Anselmo, Marcella 2 Aschieri, Federico ...and 419 more Authors all top 5 Cited in 78 Journals 75 Theoretical Computer Science 28 International Journal of Foundations of Computer Science 24 RAIRO. Theoretical Informatics and Applications 21 Information and Computation 12 Theory of Computing Systems 10 European Journal of Combinatorics 9 Discrete Applied Mathematics 9 Journal of Computer and System Sciences 9 Logical Methods in Computer Science 8 Acta Informatica 7 The Electronic Journal of Combinatorics 6 Information Processing Letters 5 MSCS. Mathematical Structures in Computer Science 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 Algorithmica 3 Fundamenta Informaticae 2 Ergodic Theory and Dynamical Systems 2 Journal of Automated Reasoning 2 Journal of Automata, Languages and Combinatorics 2 Journal of Combinatorial Optimization 2 Journal of Integer Sequences 2 Integers 2 Cryptography and Communications 2 Computer Science Review 1 American Mathematical Monthly 1 Artificial Intelligence 1 Nonlinearity 1 Mathematics of Computation 1 The Annals of Probability 1 Applied Mathematics and Computation 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 Annals of Operations Research 1 Designs, Codes and Cryptography 1 Linear Algebra and its Applications 1 Expositiones Mathematicae 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 Dynamics in Nature and Society 1 Natural Computing 1 Quantum Information Processing 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 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 DML. Discrete Mathematics Letters 1 Journal of Membrane Computing all top 5 Cited in 30 Fields 324 Computer science (68-XX) 51 Combinatorics (05-XX) 45 Mathematical logic and foundations (03-XX) 29 Number theory (11-XX) 20 Quantum theory (81-XX) 19 Dynamical systems and ergodic theory (37-XX) 19 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 16 Group theory and generalizations (20-XX) 14 Information and communication theory, circuits (94-XX) 13 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 Category theory; homological algebra (18-XX) 3 Numerical analysis (65-XX) 2 Order, lattices, ordered algebraic structures (06-XX) 2 General algebraic systems (08-XX) 2 Statistics (62-XX) 2 Statistical mechanics, structure of matter (82-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 Potential theory (31-XX) 1 Difference and functional equations (39-XX) 1 Operator theory (47-XX) 1 General topology (54-XX) 1 Manifolds and cell complexes (57-XX) 1 Probability theory and stochastic processes (60-XX) 1 Biology and other natural sciences (92-XX) Citations by Year