×

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=121
http://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

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

Publications by Year

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 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

Citations by Year