×

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). This journal is available open access as of Vol. 55 (2021).
Documents Indexed: 274 Publications (since 2010)
References Indexed: 198 Publications with 4,079 References.
all top 5

Authors

9 Otto, Friedrich
7 Kutrib, Martin
6 Holzer, Markus
6 Mráz, František
6 Ochem, Pascal
6 Rampersad, Narad
6 Shallit, Jeffrey Outlaw
5 Blanchet-Sadri, Francine
5 Dassow, Jürgen
5 Truthe, Bianca
5 Wendlandt, Matthias
4 Bruyère, Véronique
4 Currie, James D.
4 Malcher, Andreas
4 Nagy, Benedek
4 Reis, Rogério
3 Aslan, Ersin
3 Badkobeh, Golnaz
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 Mignot, Ludovic
3 Moreira, Nelma
3 Pelantová, Edita
3 Shur, Arseny M.
2 Attou, Samira
2 Barcucci, Elena
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 Kitaev, Sergey
2 Krug, Sacha
2 Kufleitner, Manfred
2 Kuske, Dietrich
2 Latteux, Michel
2 Lombardy, Sylvain
2 Marcovici, Irène
2 Masáková, Zuzana
2 Mercaş, Robert George
2 Mól, Lucas A. S.
2 Okhotin, Alexander
2 Pinzani, Renzo
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, Martin
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 Aubrun, Nathalie
1 Avesalon, Nicoleta
...and 339 more Authors

Publications by Year

Citations contained in zbMATH Open

165 Publications have been cited 662 times in 595 Documents Cited by Year
Probabilistic operational semantics for the lambda calculus. Zbl 1279.68183
Dal Lago, Ugo; Zorzi, Margherita
33
2012
Decision algorithms for Fibonacci-automatic words. I: Basic results. Zbl 1366.68226
Mousavi, Hamoon; Schaeffer, Luke; Shallit, Jeffrey
25
2016
Advice complexity and barely random algorithms. Zbl 1218.68090
Komm, Dennis; Královič, Richard
23
2011
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
15
2010
On Abelian repetition threshold. Zbl 1279.68240
Samsonov, Alexey V.; Shur, Arseny M.
15
2012
Decidability of the HD0L ultimate periodicity problem. Zbl 1361.68112
Durand, Fabien
14
2013
Affine Parikh automata. Zbl 1279.68136
Cadilhac, Michaël; Finkel, Alain; McKenzie, Pierre
14
2012
Recursive algorithm for parity games requires exponential time. Zbl 1232.91064
Friedmann, Oliver
13
2011
On the state complexity of semi-quantum finite automata. Zbl 1292.81027
Zheng, Shenggen; Gruska, Jozef; Qiu, Daowen
13
2014
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
11
2013
On the growth rates of complexity of threshold languages. Zbl 1184.68341
Shur, Arseny M.; Gorbunova, Irina A.
11
2010
On abelian versions of critical factorization theorem. Zbl 1247.68200
Avgustinovich, Sergey; Karhumäki, Juhani; Puzynina, Svetlana
11
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
9
2011
Computing the 2-blocks of directed graphs. Zbl 1342.05055
Jaberi, Raed
9
2015
On the number of squares in partial words. Zbl 1184.68372
Halava, Vesa; Harju, Tero; Kärki, Tomi
9
2010
Rational base number systems for \(p\)-adic numbers. Zbl 1338.11010
Frougny, Christiane; Klouda, Karel
8
2012
Two-dimensional Sgraffito automata. Zbl 1328.68117
Průša, Daniel; Mráz, František; Otto, Friedrich
8
2014
Linear automata with translucent letters and linear context-free trace languages. Zbl 1451.68157
Nagy, Benedek; Otto, Friedrich
8
2020
Superiority of one-way and realtime quantum machines. Zbl 1279.68090
Yakaryılmaz, Abuzer
8
2012
Parameterized exact and approximation algorithms for maximum \(k\)-set cover and related satisfiability problems. Zbl 1400.68081
Bonnet, Édouard; Paschos, Vangelis Th.; Sikora, Florian
8
2016
Construction of tree automata from regular expressions. Zbl 1236.68173
Kuske, Dietrich; Meinecke, Ingmar
7
2011
On describing the regular closure of the linear languages with graph-controlled insertion-deletion systems. Zbl 1400.68102
Fernau, Henning; Kuppusamy, Lakshmanan; Raman, Indhumathi
7
2018
Further results on generalized conditional entropies. Zbl 1395.94219
Rastegin, Alexey E.
7
2015
On biautomata. Zbl 1279.68238
Klíma, Ondřej; Polák, Libor
7
2012
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
A general framework for the derivation of regular expressions. Zbl 1366.68139
Caron, Pascal; Champarnaud, Jean-Marc; Mignot, Ludovic
6
2014
Generalizations of Parikh mappings. Zbl 1209.68396
Černý, Anton
6
2010
Linear grammars with one-sided contexts and their automaton representation. Zbl 1328.68100
Barash, Mikhail; Okhotin, Alexander
6
2015
Circular critical exponents for Thue-Morse factors. Zbl 1445.68185
Shallit, Jeffrey; Zarifi, Ramin
6
2019
Two-way representations and weighted automata. Zbl 1362.68150
Lombardy, Sylvain
6
2016
Cd-systems of stateless deterministic \(r(1)\)-automata governed by an external pushdown store. Zbl 1250.68172
Nagy, Benedek; Otto, Friedrich
5
2011
Extending the lambda-calculus with unbind and rebind. Zbl 1220.68045
Dezani-Ciancaglini, Mariangiola; Giannini, Paola; Zucca, Elena
5
2011
Balances and Abelian complexity of a certain class of infinite ternary words. Zbl 1211.68303
Turek, Ondřej
5
2010
Repetition thresholds for subdivided graphs and trees. Zbl 1247.68211
Ochem, Pascal; Vaslet, Elise
5
2012
The connectivity and nature diagnosability of expanded \(k\)-ary \(n\)-cubes. Zbl 1379.05056
Wang, Mujiangshan; Lin, Yuqing; Wang, Shiying
5
2017
Neighbor isolated tenacity of graphs. Zbl 1346.68142
Aslan, Ersin
5
2015
Tree algebra of sofic tree languages. Zbl 1302.68148
Aubrun, Nathalie; Béal, Marie-Pierre
5
2014
Fewest repetitions in infinite binary words. Zbl 1247.68201
Badkobeh, Golnaz; Crochemore, Maxime
5
2012
Some problems in automata theory which depend on the models of set theory. Zbl 1232.68082
Finkel, Olivier
4
2011
Idealized coinductive type systems for imperative object-oriented programs. Zbl 1220.68047
Ancona, Davide; Lagorio, Giovanni
4
2011
An introduction to quantum annealing. Zbl 1219.68105
de Falco, Diego; Tamascelli, Dario
4
2011
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
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
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
Cellular automata and powers of \(p/q\). Zbl 1432.11081
Kari, Jarkko; Kopra, Johan
4
2017
One quantifier alternation in first-order logic with modular predicates. Zbl 1339.03014
Kufleitner, Manfred; Walter, Tobias
4
2015
A CAT algorithm for the exhaustive generation of ice piles. Zbl 1339.68303
Massazza, Paolo; Radicioni, Roberto
4
2010
A short proof that shuffle squares are 7-avoidable. Zbl 1353.68224
Guégan, Guillaume; Ochem, Pascal
4
2016
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
5-abelian cubes are avoidable on binary alphabets. Zbl 1302.68229
Mercaş, Robert; Saarela, Aleksi
4
2014
The average lower reinforcement number of a graph. Zbl 1352.05101
Turaci, Tufan; Aslan, Ersin
4
2016
Total edge-vertex domination. Zbl 1444.05109
Sahin, Abdulgani; Sahin, Bünyamin
4
2020
Kleene closure and state complexity. Zbl 1357.68107
Palmovský, Matúš
4
2016
On the joint 2-adic complexity of binary multisequences. Zbl 1277.94010
Zhao, Lu; Wen, Qiaoyan
3
2012
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
Classes of two-dimensional languages and recognizability conditions. Zbl 1211.68230
Anselmo, Marcella; Madonia, Maria
3
2010
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
Radix enumeration of rational languages. Zbl 1186.68243
Angrand, Pierre-Yves; Sakarovitch, Jacques
3
2010
Incremental DFA minimisation. Zbl 1366.68132
Almeida, Marco; Moreira, Nelma; Reis, Rogério
3
2014
Bidirectional string assembling systems. Zbl 1366.68058
Kutrib, Martin; Wendlandt, Matthias
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
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
Extending regular expressions with homomorphic replacement. Zbl 1208.68134
Bordihn, Henning; Dassow, Jürgen; Holzer, Markus
3
2010
On the structure of \((-\beta )\)-integers. Zbl 1319.11006
Steiner, Wolfgang
3
2012
Expressive capacity of subregular expressions. Zbl 1475.68162
Kutrib, Martin; Wendlandt, Matthias
3
2018
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
Translation from classical two-way automata to pebble two-way automata. Zbl 1211.68232
Geffert, Viliam; Ištoňová, L’ubomíra
3
2010
The inclusion structure of partially lossy queue monoids and their trace submonoids. Zbl 1401.68080
Köcher, Chris; Kuske, Dietrich; Prianychnykova, Olena
3
2018
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
Cross-bifix-free sets generation via Motzkin paths. Zbl 1371.68219
Barcucci, Elena; Bilotta, Stefano; Pergola, Elisa; Pinzani, Renzo; Succi, Jonathan
3
2016
Finite repetition threshold for large alphabets. Zbl 1302.68223
Badkobeh, Golnaz; Crochemore, Maxime; Rao, Michaël
3
2014
On the power of two-way multihead quantum finite automata. Zbl 1418.81016
Bhatia, Amandeep Singh; Kumar, Ajay
3
2019
Digging input-driven pushdown automata. Zbl 1508.68197
Kutrib, Martin; Malcher, Andreas
3
2021
Upper bound for palindromic and factor complexity of rich words. Zbl 1508.68276
Rukavicka, Josef
3
2021
Derived sequences of complementary symmetric Rote sequences. Zbl 1434.68387
Medková, Kateřina; Pelantová, Edita; Vuillon, Laurent
3
2019
Delay games with WMSO+U winning conditions. Zbl 1356.68138
Zimmermann, Martin
3
2016
String assembling systems. Zbl 1279.68080
Kutrib, Martin; Wendlandt, Matthias
3
2012
Cutwidth of iterated caterpillars. Zbl 1266.05140
Lin, Lan; Lin, Yixun
2
2013
Easy lambda-terms are not always simple. Zbl 1253.03035
Carraro, Alberto; Salibra, Antonino
2
2012
Morphisms fixing words associated with exchange of three intervals. Zbl 1186.68342
Ambrož, Petr; Masáková, Zuzana; Pelantová, Edita
2
2010
Minimal 2-dominating sets in trees. Zbl 1282.05179
Krzywkowski, Marcin
2
2013
New applications of the wreath product of forest algebras. Zbl 1315.03065
Straubing, Howard
2
2013
One-rule length-preserving rewrite systems and rational transductions. Zbl 1366.68123
Latteux, Michel; Roos, Yves
2
2014
Transducing by observing length-reducing and painter rules. Zbl 1366.68146
Hundeshagen, Norbert; Leupold, Peter
2
2014
Unambiguous erasing morphisms in free monoids. Zbl 1203.68132
Schneider, Johannes C.
2
2010
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
From indexed grammars to generating functions. Zbl 1286.68331
Adams, Jared; Freden, Eric; Mishna, Marni
2
2013
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
Uncountable classical and quantum complexity classes. Zbl 1425.68126
Dimitrijevs, Maksims; Yakaryılmaz, Abuzer
2
2018
Properties of a ternary infinite word. Zbl 1527.11021
Currie, James; Ochem, Pascal; Rampersad, Narad; Shallit, Jeffrey
1
2023
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
Automatic sequences of rank two. Zbl 1529.68232
Bell, Jason P.; Shallit, Jeffrey
1
2022
Digging input-driven pushdown automata. Zbl 1508.68197
Kutrib, Martin; Malcher, Andreas
3
2021
Upper bound for palindromic and factor complexity of rich words. Zbl 1508.68276
Rukavicka, Josef
3
2021
On deterministic 1-limited \(5' \rightarrow 3'\) sensing Watson-Crick finite-state transducers. Zbl 1508.68201
Nagy, Benedek; Kovács, Zita
2
2021
Synchronizing series-parallel deterministic finite automata with loops and related problems. Zbl 1508.68186
Bruchertseifer, Jens; Fernau, Henning
2
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
8
2020
Total edge-vertex domination. Zbl 1444.05109
Sahin, Abdulgani; Sahin, Bünyamin
4
2020
Betweenness of partial orders. Zbl 1484.03050
Courcelle, Bruno
2
2020
Injective envelopes of transition systems and Ferrers languages. Zbl 1481.06022
Kabil, Mustapha; Pouzet, Maurice
2
2020
Avoiding conjugacy classes on the 5-letter alphabet. Zbl 1457.68226
Badkobeh, Golnaz; Ochem, Pascal
1
2020
Circular critical exponents for Thue-Morse factors. Zbl 1445.68185
Shallit, Jeffrey; Zarifi, Ramin
6
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
3
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
7
2018
Expressive capacity of subregular expressions. Zbl 1475.68162
Kutrib, Martin; Wendlandt, Matthias
3
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
Uncountable classical and quantum complexity classes. Zbl 1425.68126
Dimitrijevs, Maksims; Yakaryılmaz, Abuzer
2
2018
The complexity of concatenation on deterministic and alternating finite automata. Zbl 1486.68096
Hospodár, Michal; Jirásková, Galina
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
State hyperstructures of tree automata based on lattice-valued logic. Zbl 1400.68129
Ghorani, Maryam
2
2018
Diving into the queue. Zbl 1423.68243
Beier, Simon; Kutrib, Martin; Malcher, Andreas; Wendlandt, Matthias
1
2018
Regular and linear permutation languages. Zbl 1429.68125
Madejski, Grzegorz
1
2018
Automata with cyclic move operations for picture languages. Zbl 1423.68263
Otto, Friedrich; Mráz, František
1
2018
The connectivity and nature diagnosability of expanded \(k\)-ary \(n\)-cubes. Zbl 1379.05056
Wang, Mujiangshan; Lin, Yuqing; Wang, Shiying
5
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
Cellular automata and powers of \(p/q\). Zbl 1432.11081
Kari, Jarkko; Kopra, Johan
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
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
A uniform cube-free morphism is \(k\)-power-free for all integers \(k\geq 4\). Zbl 1453.68147
Wlazinski, Francis
1
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
Decision algorithms for Fibonacci-automatic words. I: Basic results. Zbl 1366.68226
Mousavi, Hamoon; Schaeffer, Luke; Shallit, Jeffrey
25
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
8
2016
Two-way representations and weighted automata. Zbl 1362.68150
Lombardy, Sylvain
6
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
Kleene closure and state complexity. Zbl 1357.68107
Palmovský, Matúš
4
2016
Cross-bifix-free sets generation via Motzkin paths. Zbl 1371.68219
Barcucci, Elena; Bilotta, Stefano; Pergola, Elisa; Pinzani, Renzo; Succi, Jonathan
3
2016
Delay games with WMSO+U winning conditions. Zbl 1356.68138
Zimmermann, Martin
3
2016
Reduction in non-\((k+1)\)-power-free morphisms. Zbl 1362.68243
Wlazinski, Francis
2
2016
On digital blocks of polynomial values and extractions in the Rudin-Shapiro sequence. Zbl 1419.11014
Stoll, Thomas
2
2016
When input-driven pushdown automata meet reversiblity. Zbl 1362.68149
Kutrib, Martin; Malcher, Andreas; Wendlandt, Matthias
2
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
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
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
5
2015
One quantifier alternation in first-order logic with modular predicates. Zbl 1339.03014
Kufleitner, Manfred; Walter, Tobias
4
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
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
Certificateless ring signature based on RSA problem and DL problem. Zbl 1401.94148
Deng, Lunzhi
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
8
2014
A general framework for the derivation of regular expressions. Zbl 1366.68139
Caron, Pascal; Champarnaud, Jean-Marc; Mignot, Ludovic
6
2014
Tree algebra of sofic tree languages. Zbl 1302.68148
Aubrun, Nathalie; Béal, Marie-Pierre
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
5-abelian cubes are avoidable on binary alphabets. Zbl 1302.68229
Mercaş, Robert; Saarela, Aleksi
4
2014
Incremental DFA minimisation. Zbl 1366.68132
Almeida, Marco; Moreira, Nelma; Reis, Rogério
3
2014
Bidirectional string assembling systems. Zbl 1366.68058
Kutrib, Martin; Wendlandt, Matthias
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
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
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
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
Systems of parallel communicating restarting automata. Zbl 1366.68153
Vollweiler, Marcel; Otto, Friedrich
1
2014
Integers in number systems with positive and negative quadratic Pisot base. Zbl 1385.11048
Masáková, Z.; Vávra, T.
1
2014
Decidability of the HD0L ultimate periodicity problem. Zbl 1361.68112
Durand, Fabien
14
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
11
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
Cutwidth of iterated caterpillars. Zbl 1266.05140
Lin, Lan; Lin, Yixun
2
2013
Minimal 2-dominating sets in trees. Zbl 1282.05179
Krzywkowski, Marcin
2
2013
New applications of the wreath product of forest algebras. Zbl 1315.03065
Straubing, Howard
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
From indexed grammars to generating functions. Zbl 1286.68331
Adams, Jared; Freden, Eric; Mishna, Marni
2
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
Factoring and testing primes in small space. Zbl 1315.11100
Geffert, Viliam; Pardubská, Dana
1
2013
Probabilistic operational semantics for the lambda calculus. Zbl 1279.68183
Dal Lago, Ugo; Zorzi, Margherita
33
2012
...and 65 more Documents
all top 5

Cited by 761 Authors

26 Shallit, Jeffrey Outlaw
16 Pelantová, Edita
14 Otto, Friedrich
14 Rampersad, Narad
13 Kutrib, Martin
13 Nagy, Benedek
12 Komm, Dennis
12 Shur, Arseny M.
11 Wendlandt, Matthias
10 Charlier, Emilie
9 Blanchet-Sadri, Francine
9 Fernau, Henning
9 Potapov, Igor
9 Starosta, Štěpán
8 Böckenhauer, Hans-Joachim
8 Currie, James D.
8 Dal Lago, Ugo
8 Královič, Richard
8 Mráz, František
8 Puzynina, Svetlana
7 Ochem, Pascal
7 Okhotin, Alexander
7 Rastëgin, Alekseĭ Èduardovich
7 Salo, Ville O.
7 Yakaryılmaz, Abuzer
6 Georgiadis, Loukas
6 Harju, Tero
6 Honkala, Juha
6 Hromkovič, Juraj
6 Italiano, Giuseppe Francesco
6 Karhumaki, Juhani
6 Kociumaka, Tomasz
6 Mól, Lucas A. S.
6 Qiu, Daowen
6 Radoszewski, Jakub
6 Rytter, Wojciech
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 Malcher, Andreas
5 Masáková, Zuzana
5 Paramasivan, Meenakshi
5 Parotsidis, Nikos
5 Rigo, Michel
5 Schmid, Markus L.
5 Waleń, Tomasz
5 Ziadi, Djelloul
5 Zucca, Elena
4 Aslan, Ersin
4 Badkobeh, Golnaz
4 Bell, Paul C.
4 Bhatia, Amandeep Singh
4 Bianchi, Maria Paola
4 Crespi Reghizzi, Stefano
4 Crochemore, Maxime
4 Dvořáková, L’ubomíra
4 Fici, Gabriele
4 Finkel, Olivier
4 Gruska, Jozef
4 Gutan, Marin
4 Jirásková, Galina
4 Kamali, Shahin
4 Kopra, Johan
4 Kuppusamy, Lakshmanan
4 Larsen, Kim Skak
4 Medková, Kateřina
4 Mignot, Ludovic
4 Moreira, Nelma
4 Nakanishi, Masaki
4 Niskanen, Reino
4 Quigley, James D.
4 Raman, Indhumathi
4 Reis, Rogério
4 Renault, Marc P.
4 Rosén, Adi
4 Rosenfeld, Matthieu
4 Saarela, Aleksi
3 Anselmo, Marcella
3 Atanasiu, Adrian
3 Attou, Samira
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 Crubillé, Raphaëlle
3 Dando, Louis-Marie
3 Dassow, Jürgen
3 Dondi, Riccardo
3 Esbelin, Henri-Alex
...and 661 more Authors
all top 5

Cited in 110 Journals

90 Theoretical Computer Science
37 International Journal of Foundations of Computer Science
31 RAIRO. Theoretical Informatics and Applications
27 Information and Computation
14 Logical Methods in Computer Science
12 Theory of Computing Systems
11 Discrete Applied Mathematics
11 Journal of Computer and System Sciences
10 European Journal of Combinatorics
9 Acta Informatica
9 The Electronic Journal of Combinatorics
7 Natural Computing
6 Information Processing Letters
6 Mathematical Structures in Computer Science
6 Journal of Automata, Languages and Combinatorics
5 Journal of Combinatorial Theory. Series A
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 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 Designs, Codes and Cryptography
2 Discrete Mathematics and Theoretical Computer Science. DMTCS
2 Discrete Mathematics, Algorithms and Applications
2 Journal of Logical and Algebraic Methods in Programming
2 Journal of Membrane Computing
1 American Mathematical Monthly
1 Artificial Intelligence
1 Mathematical Methods in the Applied Sciences
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 Information Sciences
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 Proceedings of the American Mathematical Society
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 Order
1 Graphs and Combinatorics
1 Computers & Operations Research
1 SIAM Journal on Discrete Mathematics
1 Annals of Operations Research
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 Dynamics in Nature and Society
1 Comptes Rendus. Mathématique. Académie des Sciences, Paris
1 Journal of Applied Mathematics and Computing
1 Algebra and Discrete Mathematics
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 Journal of Statistical Mechanics: Theory and Experiment
1 Chebyshevskiĭ Sbornik
1 Online Journal of Analytic Combinatorics
...and 10 more Journals

Citations by Year