×

zbMATH — the first resource for mathematics

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: Indexed cover-to-cover; Published electronic only as of: Vol. 54 (2020)
Documents Indexed: 225 Publications (since 2010)
References Indexed: 150 Publications with 3,069 References.
all top 5

Authors

7 Otto, Friedrich
5 Blanchet-Sadri, Francine
5 Kutrib, Martin
5 Ochem, Pascal
5 Wendlandt, Matthias
4 Bruyère, Véronique
4 Holzer, Markus
4 Mráz, František
4 Reis, Rogério
3 Aslan, Ersin
3 Badkobeh, Golnaz
3 D’Alessandro, Flavio
3 Dassow, Jürgen
3 Honkala, Juha
3 Lin, Lan
3 Liu, Yanpei
3 Moreira, Nelma
3 Nagy, Benedek
3 Pelantová, Edita
3 Rampersad, Narad
3 Shur, Arseny M.
3 Truthe, Bianca
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 Echi, Othman
2 Finkel, Olivier
2 Frid, Anna Èduardovna
2 Geffert, Viliam
2 Karhumaki, Juhani
2 Krug, Sacha
2 Kufleitner, Manfred
2 Kuske, Dietrich
2 Lombardy, Sylvain
2 Malcher, Andreas
2 Masáková, Zuzana
2 Mercaş, Robert George
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 Shallit, Jeffrey O.
2 Simmons, Sean
2 Steinová, Monika
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 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 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
1 Berthé, Valérie
1 Bertoni, Alberto
1 Bhatia, Amandeep Singh
1 Bilotta, Stefano
1 Bioglio, Livio
1 Boccardo, Davidson R.
1 Boccuto, Antonio
1 Bonnet, Edouard
...and 276 more Authors

Publications by Year

Citations contained in zbMATH Open

124 Publications have been cited 356 times in 331 Documents Cited by Year
Advice complexity and barely random algorithms. Zbl 1218.68090
Komm, Dennis; Královič, Richard
21
2011
Probabilistic operational semantics for the lambda calculus. Zbl 1279.68183
Dal Lago, Ugo; Zorzi, Margherita
17
2012
On the decidability of semigroup freeness. Zbl 1252.20050
Cassaigne, Julien; Nicolas, François
14
2012
On the state complexity of semi-quantum finite automata. Zbl 1292.81027
Zheng, Shenggen; Gruska, Jozef; Qiu, Daowen
10
2014
Decision algorithms for Fibonacci-automatic words. I: Basic results. Zbl 1366.68226
Mousavi, Hamoon; Schaeffer, Luke; Shallit, Jeffrey
9
2016
On the growth rates of complexity of threshold languages. Zbl 1184.68341
Shur, Arseny M.; Gorbunova, Irina A.
8
2010
Sturmian jungle (or garden?) On multiliteral alphabets. Zbl 1211.68295
Balková, L’ubomíra; Pelantová, Edita; Starosta, Štěpán
8
2010
Decidability of the HD0L ultimate periodicity problem. Zbl 1361.68112
Durand, Fabien
8
2013
On Abelian repetition threshold. Zbl 1279.68240
Samsonov, Alexey V.; Shur, Arseny M.
7
2012
Computing the 2-blocks of directed graphs. Zbl 1342.05055
Jaberi, Raed
7
2015
On the number of squares in partial words. Zbl 1184.68372
Halava, Vesa; Harju, Tero; Kärki, Tomi
6
2010
On abelian versions of critical factorization theorem. Zbl 1247.68200
Avgustinovich, Sergey; Karhumäki, Juhani; Puzynina, Svetlana
6
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
6
2013
Generalizations of Parikh mappings. Zbl 1209.68396
Černý, Anton
5
2010
Balances and Abelian complexity of a certain class of infinite ternary words. Zbl 1211.68303
Turek, Ondřej
5
2010
Affine Parikh automata. Zbl 1279.68136
Cadilhac, Michaël; Finkel, Alain; McKenzie, Pierre
5
2012
Superiority of one-way and realtime quantum machines. Zbl 1279.68090
Yakaryılmaz, Abuzer
5
2012
The connectivity and nature diagnosability of expanded \(k\)-ary \(n\)-cubes. Zbl 1379.05056
Wang, Mujiangshan; Lin, Yuqing; Wang, Shiying
4
2017
Two-way representations and weighted automata. Zbl 1362.68150
Lombardy, Sylvain
4
2016
A general framework for the derivation of regular expressions. Zbl 1366.68139
Caron, Pascal; Champarnaud, Jean-Marc; Mignot, Ludovic
4
2014
Tree algebra of sofic tree languages. Zbl 1302.68148
Aubrun, Nathalie; Béal, Marie-Pierre
4
2014
Further results on generalized conditional entropies. Zbl 1395.94219
Rastegin, Alexey E.
4
2015
Two-dimensional Sgraffito automata. Zbl 1328.68117
Průša, Daniel; Mráz, František; Otto, Friedrich
4
2014
Idealized coinductive type systems for imperative object-oriented programs. Zbl 1220.68047
Ancona, Davide; Lagorio, Giovanni
4
2011
Extending the lambda-calculus with unbind and rebind. Zbl 1220.68045
Dezani-Ciancaglini, Mariangiola; Giannini, Paola; Zucca, Elena
4
2011
Strategies to scan pictures with automata based on Wang tiles. Zbl 1219.68100
Lonati, Violetta; Pradella, Matteo
4
2011
Construction of tree automata from regular expressions. Zbl 1236.68173
Kuske, Dietrich; Meinecke, Ingmar
4
2011
Extending regular expressions with homomorphic replacement. Zbl 1208.68134
Bordihn, Henning; Dassow, Jürgen; Holzer, Markus
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
Reaction automata working in sequential manner. Zbl 1366.68062
Okubo, Fumiya
3
2014
Conditional Lindenmayer systems with subregular conditions: the non-extended case. Zbl 1366.68113
Dassow, Jürgen; Rudolf, Stefan
3
2014
5-abelian cubes are avoidable on binary alphabets. Zbl 1302.68229
Mercaş, Robert; Saarela, Aleksi
3
2014
A CAT algorithm for the exhaustive generation of ice piles. Zbl 1339.68303
Massazza, Paolo; Radicioni, Roberto
3
2010
Neighbor isolated tenacity of graphs. Zbl 1346.68142
Aslan, Ersin
3
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
Delay games with WMSO+U winning conditions. Zbl 1356.68138
Zimmermann, Martin
3
2016
Infinite words containing squares at every position. Zbl 1184.68370
Currie, James; Rampersad, Narad
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
Circular critical exponents for Thue-Morse factors. Zbl 1445.68185
Shallit, Jeffrey; Zarifi, Ramin
3
2019
Fewest repetitions in infinite binary words. Zbl 1247.68201
Badkobeh, Golnaz; Crochemore, Maxime
3
2012
Rational base number systems for \(p\)-adic numbers. Zbl 1338.11010
Frougny, Christiane; Klouda, Karel
3
2012
On biautomata. Zbl 1279.68238
Klíma, Ondřej; Polák, Libor
3
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
3
2011
Some problems in automata theory which depend on the models of set theory. Zbl 1232.68082
Finkel, Olivier
3
2011
Recursive algorithm for parity games requires exponential time. Zbl 1232.91064
Friedmann, Oliver
3
2011
Linear grammars with one-sided contexts and their automaton representation. Zbl 1328.68100
Barash, Mikhail; Okhotin, Alexander
3
2015
Unambiguous erasing morphisms in free monoids. Zbl 1203.68132
Schneider, Johannes C.
2
2010
When input-driven pushdown automata meet reversiblity. Zbl 1362.68149
Kutrib, Martin; Malcher, Andreas; Wendlandt, Matthias
2
2016
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
On the classes of languages accepted by limited context restarting automata. Zbl 1366.68149
Otto, Friedrich; Černo, Peter; Mráz, František
2
2014
Binary patterns in binary cube-free words: avoidability and growth. Zbl 1302.68228
Mercaş, Robert; Ochem, Pascal; Samsonov, Alexey V.; Shur, Arseny M.
2
2014
Finite repetition threshold for large alphabets. Zbl 1302.68223
Badkobeh, Golnaz; Crochemore, Maxime; Rao, Michaël
2
2014
A short proof that shuffle squares are 7-avoidable. Zbl 1353.68224
Guégan, Guillaume; Ochem, Pascal
2
2016
The average lower reinforcement number of a graph. Zbl 1352.05101
Turaci, Tufan; Aslan, Ersin
2
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
2
2016
Morphisms fixing words associated with exchange of three intervals. Zbl 1186.68342
Ambrož, Petr; Masáková, Zuzana; Pelantová, Edita
2
2010
Binary words avoiding the pattern AABBCABBA. Zbl 1184.68377
Ochem, Pascal
2
2010
Classes of two-dimensional languages and recognizability conditions. Zbl 1211.68230
Anselmo, Marcella; Madonia, Maria
2
2010
Translation from classical two-way automata to pebble two-way automata. Zbl 1211.68232
Geffert, Viliam; Ištoňová, L’ubomíra
2
2010
An introduction to quantum annealing. Zbl 1219.68105
de Falco, Diego; Tamascelli, Dario
2
2011
On the joint 2-adic complexity of binary multisequences. Zbl 1277.94010
Zhao, Lu; Wen, Qiaoyan
2
2012
Undecidability of infinite Post correspondence problem for instances of size 8. Zbl 1257.03069
Dong, Jing; Liu, Qinghui
2
2012
Multi-dimensional sets recognizable in all abstract numeration systems. Zbl 1254.68132
Charlier, Émilie; Lacroix, Anne; Rampersad, Narad
2
2012
Three complexity functions. Zbl 1271.37012
Ferenczi, Sébastien; Hubert, Pascal
2
2012
On automatic infinite permutations. Zbl 1247.05007
Frid, Anna; Zamboni, Luca
2
2012
Repetition thresholds for subdivided graphs and trees. Zbl 1247.68211
Ochem, Pascal; Vaslet, Elise
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
Normal forms for unary probabilistic automata. Zbl 1279.68132
Bianchi, Maria Paola; Pighizzini, Giovanni
2
2012
Cd-systems of stateless deterministic \(r(1)\)-automata governed by an external pushdown store. Zbl 1250.68172
Nagy, Benedek; Otto, Friedrich
2
2011
Signed chip firing games and symmetric sandpile models on the cycles. Zbl 1266.05098
Cori, Robert; Phan, Thi Ha Duong; Tran, Thi Thu Huong
2
2013
On the syntactic complexity of tree series. Zbl 1208.68135
Bozapalidis, Symeon; Kalampakas, Antonios
1
2010
A better bound of randomized algorithms for the multislope ski-rental problem. Zbl 1383.68102
Hu, Maolin; Xu, Weijun
1
2017
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
Corrigendum to our paper: how expressions can code for automata. Zbl 1216.68148
Lombardy, Sylvain; Sakarovitch, Jacques
1
2010
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
Bouquets of circles for lamination languages and complexities. Zbl 1309.68122
Narbel, Philippe
1
2014
Certificateless ring signature based on RSA problem and DL problem. Zbl 1401.94148
Deng, Lunzhi
1
2015
Reduction in non-\((k+1)\)-power-free morphisms. Zbl 1362.68243
Wlazinski, Francis
1
2016
Cross-bifix-free sets generation via Motzkin paths. Zbl 1371.68219
Barcucci, 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.11014
Stoll, Thomas
1
2016
The finiteness problem for monoids of morphisms. Zbl 1314.20045
Honkala, Juha
1
2015
Kleene closure and state complexity. Zbl 1357.68107
Palmovský, Matúš
1
2016
The average scattering number of graphs. Zbl 1353.05073
Aslan, Ersin; Kilinç, Deniz; Yücalar, Fatih; Borandağ, Emin
1
2016
Radix enumeration of rational languages. Zbl 1186.68243
Angrand, Pierre-Yves; Sakarovitch, Jacques
1
2010
How to build billiard words using decimations. Zbl 1184.68369
Borel, Jean-Pierre
1
2010
Standard factors of Sturmian words. Zbl 1184.68378
Richomme, Gwénaël; Saari, Kalle; Zamboni, Luca Q.
1
2010
The code problem for directed figures. Zbl 1211.68299
Kolarz, Michał
1
2010
Enumerated type semantics for the calculus of looping sequences. Zbl 1214.92028
Bioglio, Livio
1
2011
The compositional construction of Markov processes. II. Zbl 1216.18005
de Francesco Albasini, L.; Sabadini, N.; Walters, R. F. C.
1
2011
On the parameterized complexity of approximate counting. Zbl 1234.68121
Montoya, J. Andrés
1
2011
Unique decipherability in the additive monoid of sets of numbers. Zbl 1218.68108
Saarela, Aleksi
1
2011
Diving into the queue. Zbl 1423.68243
Beier, Simon; Kutrib, Martin; Malcher, Andreas; Wendlandt, Matthias
1
2018
Linear automata with translucent letters and linear context-free trace languages. Zbl 1451.68157
Nagy, Benedek; Otto, Friedrich
1
2020
Circular critical exponents for Thue-Morse factors. Zbl 1445.68185
Shallit, Jeffrey; Zarifi, Ramin
3
2019
On the power of two-way multihead quantum finite automata. Zbl 1418.81016
Bhatia, Amandeep Singh; Kumar, Ajay
1
2019
Derived sequences of complementary symmetric Rote sequences. Zbl 1434.68387
Medková, Kateřina; Pelantová, Edita; Vuillon, Laurent
1
2019
Diving into the queue. Zbl 1423.68243
Beier, Simon; Kutrib, Martin; Malcher, Andreas; Wendlandt, Matthias
1
2018
Uncountable classical and quantum complexity classes. Zbl 1425.68126
Dimitrijevs, Maksims; Yakaryılmaz, Abuzer
1
2018
The complexity of concatenation on deterministic and alternating finite automata. Zbl 07082325
Hospodár, Michal; Jirásková, Galina
1
2018
Expressive capacity of subregular expressions. Zbl 07082328
Kutrib, Martin; Wendlandt, Matthias
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
4
2017
A better bound of randomized algorithms for the multislope ski-rental problem. Zbl 1383.68102
Hu, Maolin; Xu, Weijun
1
2017
Interval exchanges, admissibility and branching Rauzy induction. Zbl 1393.37050
Dolce, Francesco; Perrin, Dominique
1
2017
Non-primitive words of the form \(pq^m\). Zbl 1393.68140
Echi, Othman
1
2017
On avoidability of formulas with reversal. Zbl 1390.68512
Currie, James D.; Mol, Lucas; Rampersad, Narad
1
2017
Cellular automata and powers of \(p/q\). Zbl 1432.11081
Kari, Jarkko; Kopra, Johan
1
2017
Decision algorithms for Fibonacci-automatic words. I: Basic results. Zbl 1366.68226
Mousavi, Hamoon; Schaeffer, Luke; Shallit, Jeffrey
9
2016
Two-way representations and weighted automata. Zbl 1362.68150
Lombardy, Sylvain
4
2016
Delay games with WMSO+U winning conditions. Zbl 1356.68138
Zimmermann, Martin
3
2016
When input-driven pushdown automata meet reversiblity. Zbl 1362.68149
Kutrib, Martin; Malcher, Andreas; Wendlandt, Matthias
2
2016
A short proof that shuffle squares are 7-avoidable. Zbl 1353.68224
Guégan, Guillaume; Ochem, Pascal
2
2016
The average lower reinforcement number of a graph. Zbl 1352.05101
Turaci, Tufan; Aslan, Ersin
2
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
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
Reduction in non-\((k+1)\)-power-free morphisms. Zbl 1362.68243
Wlazinski, Francis
1
2016
Cross-bifix-free sets generation via Motzkin paths. Zbl 1371.68219
Barcucci, 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.11014
Stoll, Thomas
1
2016
Kleene closure and state complexity. Zbl 1357.68107
Palmovský, Matúš
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
7
2015
Further results on generalized conditional entropies. Zbl 1395.94219
Rastegin, Alexey E.
4
2015
Neighbor isolated tenacity of graphs. Zbl 1346.68142
Aslan, Ersin
3
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
Linear grammars with one-sided contexts and their automaton representation. Zbl 1328.68100
Barash, Mikhail; Okhotin, Alexander
3
2015
Certificateless ring signature based on RSA problem and DL problem. Zbl 1401.94148
Deng, Lunzhi
1
2015
The finiteness problem for monoids of morphisms. Zbl 1314.20045
Honkala, Juha
1
2015
An upper bound on the complexity of recognizable tree languages. Zbl 1373.03066
Finkel, Olivier; Lecomte, Dominique; Simonnet, Pierre
1
2015
On the state complexity of semi-quantum finite automata. Zbl 1292.81027
Zheng, Shenggen; Gruska, Jozef; Qiu, Daowen
10
2014
A general framework for the derivation of regular expressions. Zbl 1366.68139
Caron, Pascal; Champarnaud, Jean-Marc; Mignot, Ludovic
4
2014
Tree algebra of sofic tree languages. Zbl 1302.68148
Aubrun, Nathalie; Béal, Marie-Pierre
4
2014
Two-dimensional Sgraffito automata. Zbl 1328.68117
Průša, Daniel; Mráz, František; Otto, Friedrich
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
Reaction automata working in sequential manner. Zbl 1366.68062
Okubo, Fumiya
3
2014
Conditional Lindenmayer systems with subregular conditions: the non-extended case. Zbl 1366.68113
Dassow, Jürgen; Rudolf, Stefan
3
2014
5-abelian cubes are avoidable on binary alphabets. Zbl 1302.68229
Mercaş, Robert; Saarela, Aleksi
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
On the classes of languages accepted by limited context restarting automata. Zbl 1366.68149
Otto, Friedrich; Černo, Peter; Mráz, František
2
2014
Binary patterns in binary cube-free words: avoidability and growth. Zbl 1302.68228
Mercaş, Robert; Ochem, Pascal; Samsonov, Alexey V.; Shur, Arseny M.
2
2014
Finite repetition threshold for large alphabets. Zbl 1302.68223
Badkobeh, Golnaz; Crochemore, Maxime; Rao, Michaël
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
Bouquets of circles for lamination languages and complexities. Zbl 1309.68122
Narbel, Philippe
1
2014
Decidability of the HD0L ultimate periodicity problem. Zbl 1361.68112
Durand, Fabien
8
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
6
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
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
Minimal 2-dominating sets in trees. Zbl 1282.05179
Krzywkowski, Marcin
1
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
1
2013
Cutwidth of iterated caterpillars. Zbl 1266.05140
Lin, Lan; Lin, Yixun
1
2013
Probabilistic operational semantics for the lambda calculus. Zbl 1279.68183
Dal Lago, Ugo; Zorzi, Margherita
17
2012
On the decidability of semigroup freeness. Zbl 1252.20050
Cassaigne, Julien; Nicolas, François
14
2012
On Abelian repetition threshold. Zbl 1279.68240
Samsonov, Alexey V.; Shur, Arseny M.
7
2012
On abelian versions of critical factorization theorem. Zbl 1247.68200
Avgustinovich, Sergey; Karhumäki, Juhani; Puzynina, Svetlana
6
2012
Affine Parikh automata. Zbl 1279.68136
Cadilhac, Michaël; Finkel, Alain; McKenzie, Pierre
5
2012
Superiority of one-way and realtime quantum machines. Zbl 1279.68090
Yakaryılmaz, Abuzer
5
2012
Fewest repetitions in infinite binary words. Zbl 1247.68201
Badkobeh, Golnaz; Crochemore, Maxime
3
2012
Rational base number systems for \(p\)-adic numbers. Zbl 1338.11010
Frougny, Christiane; Klouda, Karel
3
2012
On biautomata. Zbl 1279.68238
Klíma, Ondřej; Polák, Libor
3
2012
On the joint 2-adic complexity of binary multisequences. Zbl 1277.94010
Zhao, Lu; Wen, Qiaoyan
2
2012
Undecidability of infinite Post correspondence problem for instances of size 8. Zbl 1257.03069
Dong, Jing; Liu, Qinghui
2
2012
Multi-dimensional sets recognizable in all abstract numeration systems. Zbl 1254.68132
Charlier, Émilie; Lacroix, Anne; Rampersad, Narad
2
2012
Three complexity functions. Zbl 1271.37012
Ferenczi, Sébastien; Hubert, Pascal
2
2012
On automatic infinite permutations. Zbl 1247.05007
Frid, Anna; Zamboni, Luca
2
2012
Repetition thresholds for subdivided graphs and trees. Zbl 1247.68211
Ochem, Pascal; Vaslet, Elise
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
Normal forms for unary probabilistic automata. Zbl 1279.68132
Bianchi, Maria Paola; Pighizzini, Giovanni
2
2012
Equivalences and congruences on infinite Conway games. Zbl 1279.68187
Honsell, Furio; Lenisa, Marina; Redamalla, Rekha
1
2012
Easy lambda-terms are not always simple. Zbl 1253.03035
Carraro, Alberto; Salibra, Antonino
1
2012
On the size of transducers for bidirectional decoding of prefix codes. Zbl 1278.94038
Giambruno, Laura; Mantaci, Sabrina
1
2012
On the product of balanced sequences. Zbl 1247.68213
Restivo, Antonio; Rosone, Giovanna
1
2012
Regularity of languages defined by formal series with isolated cut point. Zbl 1279.68131
Bertoni, Alberto; Bianchi, Maria Paola; D’Alessandro, Flavio
1
2012
Advice complexity and barely random algorithms. Zbl 1218.68090
Komm, Dennis; Královič, Richard
21
2011
Idealized coinductive type systems for imperative object-oriented programs. Zbl 1220.68047
Ancona, Davide; Lagorio, Giovanni
4
2011
Extending the lambda-calculus with unbind and rebind. Zbl 1220.68045
Dezani-Ciancaglini, Mariangiola; Giannini, Paola; Zucca, Elena
4
2011
Strategies to scan pictures with automata based on Wang tiles. Zbl 1219.68100
Lonati, Violetta; Pradella, Matteo
4
2011
Construction of tree automata from regular expressions. Zbl 1236.68173
Kuske, Dietrich; Meinecke, Ingmar
4
2011
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
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
3
2011
Some problems in automata theory which depend on the models of set theory. Zbl 1232.68082
Finkel, Olivier
3
2011
Recursive algorithm for parity games requires exponential time. Zbl 1232.91064
Friedmann, Oliver
3
2011
An introduction to quantum annealing. Zbl 1219.68105
de Falco, Diego; Tamascelli, Dario
2
2011
Cd-systems of stateless deterministic \(r(1)\)-automata governed by an external pushdown store. Zbl 1250.68172
Nagy, Benedek; Otto, Friedrich
2
2011
Enumerated type semantics for the calculus of looping sequences. Zbl 1214.92028
Bioglio, Livio
1
2011
...and 24 more Documents
all top 5

Cited by 456 Authors

11 Komm, Dennis
11 Pelantová, Edita
8 Böckenhauer, Hans-Joachim
8 Otto, Friedrich
8 Shallit, Jeffrey O.
8 Starosta, Štěpán
7 Charlier, Emilie
7 Královič, Richard
7 Rampersad, Narad
6 Dal Lago, Ugo
6 Hromkovič, Juraj
6 Mráz, František
6 Shur, Arseny M.
5 Ancona, Davide
5 Blanchet-Sadri, Francine
5 Currie, James D.
5 Georgiadis, Loukas
5 Giannini, Paola
5 Honkala, Juha
5 Italiano, Giuseppe Francesco
5 Karhumaki, Juhani
5 Li, Lvzhou
5 Masáková, Zuzana
5 Parotsidis, Nikos
5 Potapov, Igor
5 Puzynina, Svetlana
5 Qiu, Daowen
5 Zorzi, Margherita
5 Zucca, Elena
4 Badkobeh, Golnaz
4 Bianchi, Maria Paola
4 Cassaigne, Julien
4 Gutan, Marin
4 Královič, Rastislav
4 Larsen, Kim Skak
4 Massazza, Paolo
4 Mól, Lucas A. S.
4 Nagy, Benedek
4 Ochem, Pascal
4 Okhotin, Alexander
4 Rastëgin, Alekseĭ Èduardovich
4 Salo, Ville O.
4 Schmid, Markus L.
4 Zheng, Shenggen
3 Berthé, Valérie
3 Bhatia, Amandeep Singh
3 Castiglione, Giusi
3 Černý, Anton
3 Choffrut, Christian
3 Cleophas, Loek Gerard
3 Crespi Reghizzi, Stefano
3 Crochemore, Maxime
3 Dando, Louis-Marie
3 Dassow, Jürgen
3 Esbelin, Henri-Alex
3 Finkel, Olivier
3 Gruska, Jozef
3 Harju, Tero
3 Kamali, Shahin
3 Kociumaka, Tomasz
3 Kutrib, Martin
3 Lombardy, Sylvain
3 Medková, Kateřina
3 Okubo, Fumiya
3 Palano, Beatrice
3 Průša, Daniel
3 Quigley, James D.
3 Radoszewski, Jakub
3 Renault, Marc P.
3 Rigo, Michel
3 Rosén, Adi
3 Rytter, Wojciech
3 Saarela, Aleksi
3 Saari, Kalle
3 San Pietro, Pierluigi L.
3 Wang, Shiying
3 Wendlandt, Matthias
3 Yakaryılmaz, Abuzer
3 Yokomori, Takashi
3 Zamboni, Luca Quardo
3 Ziadi, Djelloul
2 Ambrož, Petr
2 Anselmo, Marcella
2 Aschieri, Federico
2 Aslan, Ersin
2 Avgustinovich, Sergeĭ Vladimirovich
2 Balková, L’ubomíra
2 Barash, Mikhail
2 Bell, Paul C.
2 Beyersdorff, Olaf
2 Björklund, Johanna
2 Blinkhorn, Joshua
2 Boyar, Joan F.
2 Broda, Sabine
2 Burjons, Elisabet
2 Chen, Jin
2 Cherroun, Hadda
2 Christ, Marie G.
2 Crubillé, Raphaëlle
2 Dezani-Ciancaglini, Mariangiola
...and 356 more Authors
all top 5

Cited in 74 Journals

73 Theoretical Computer Science
28 International Journal of Foundations of Computer Science
20 Information and Computation
18 RAIRO. Theoretical Informatics and Applications
10 Theory of Computing Systems
9 Journal of Computer and System Sciences
9 European Journal of Combinatorics
8 Discrete Applied Mathematics
7 Acta Informatica
5 Information Processing Letters
5 MSCS. Mathematical Structures in Computer Science
5 Logical Methods in Computer Science
4 Indagationes Mathematicae. New Series
4 The Electronic Journal of Combinatorics
3 International Journal of Theoretical Physics
3 Semigroup Forum
3 Algorithmica
2 Discrete Mathematics
2 Journal of Combinatorial Theory. Series A
2 Ergodic Theory and Dynamical Systems
2 Journal of Automated Reasoning
2 International Journal of Algebra and Computation
2 Journal of Integer Sequences
2 Integers
2 Cryptography and Communications
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 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 Journal of Automata, Languages and Combinatorics
1 Vietnam Journal of Mathematics
1 Open Systems & Information Dynamics
1 Journal of Combinatorial Optimization
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 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 Computer Science Review
1 Journal of Membrane Computing

Citations by Year