×

RAIRO. Theoretical Informatics and Applications

Short Title: Theor. Inform. Appl.
Parallel Title: Informatique Théorique et Applications
Publisher: EDP Sciences, Les Ulis
ISSN: 0988-3754; 1290-385X/e
Online: http://www.rairo-ita.org/index.php
http://www.numdam.org/journals/ITA
Predecessor: RAIRO. Informatique Théorique et Applications
Successor: RAIRO. Theoretical Informatics and Applications
Comments: Journal; No longer indexed
Documents Indexed: 345 Publications (1999–2009)
References Indexed: 328 Publications with 6,647 References.
all top 5

Authors

7 Carton, Olivier
6 Choffrut, Christian
6 Ésik, Zoltán
5 Harju, Tero
5 Justin, Jacques
4 de Luca, Aldo
4 Finkel, Olivier
4 Frougny, Christiane
4 Honkala, Juha
4 Karhumaki, Juhani
4 Mereghetti, Carlo
4 Palano, Beatrice
4 Pelantová, Edita
3 Balková, L’ubomíra
3 Bollig, Beate
3 Carpi, Arturo
3 Cassaigne, Julien
3 Geffert, Viliam
3 Goldwurm, Massimiliano
3 Halava, Vesa
3 Héam, Pierre-Cyrille
3 Holub, Štěpán
3 Ingólfsdóttir, Anna
3 Jirásková, Galina
3 Kärki, Tomi
3 La Torre, Salvatore
3 Labella, Anna
3 Litow, Bruce E.
3 Maňuch, Ján
3 Masáková, Zuzana
3 Mitrana, Victor
3 Napoli, Margherita
3 Otto, Friedrich
3 Restivo, Antonio
3 Seibert, Sebastian
3 Selivanov, Viktor L’vovich
3 Serna Iglesias, Maria José
3 Szepietowski, Andrzej
3 Terlutte, Alain
2 Aceto, Luca
2 Almeida, Jorge
2 Béal, Marie-Pierre
2 Berstel, Jean
2 Berthé, Valérie
2 Blanchet-Sadri, Francine
2 Böckenhauer, Hans-Joachim
2 Bozapalidis, Symeon
2 Bradfield, Julian Charles
2 Cabessa, Jérémie
2 Campadelli, Paola
2 Carrasco, Rafael C.
2 Cegielski, Patrick
2 Creignou, Nadia
2 Currie, James D.
2 Czaja, Ludwik
2 Daudé, Hervé
2 De Felice, Clelia
2 de Figueiredo, Celina M. Herrera
2 do Lago, Alair Pereira
2 Duparc, Jacques
2 Duval, Jean-Pierre
2 Fernau, Henning
2 Frid, Anna Èduardovna
2 Ghani, Neil
2 Glen, Amy
2 Grübel, Rudolf
2 Guesnet, Yannick
2 Guessarian, Irène
2 Ilie, Lucian
2 Imai, Katsunobu
2 Jurdziński, Tomasz
2 Kirsten, Daniel
2 Klein, Sulamita
2 Kuske, Dietrich
2 Lefebvre, Arnaud
2 Lombardy, Sylvain
2 Margenstern, Maurice
2 Mauri, Giancarlo
2 Mignosi, Filippo
2 Morita, Kenichi
2 Muller, Jean-Michel
2 Nguyen Huong Lam
2 Nour, Karim
2 Ochem, Pascal
2 Okhotin, Alexander
2 Parente, Mimmo
2 Pighizzini, Giovanni
2 Pin, Jean-Eric
2 Pirillo, Giuseppe
2 Popély, Norbert
2 Rampersad, Narad
2 Richomme, Gwénaël
2 Roos, Yves
2 Rothe, Jörg-Matthias
2 Salomaa, Arto Kustaa
2 Santini, Massimo
2 Shur, Arseny M.
2 Silva, Pedro V.
2 Simonnet, Pierre
2 Simplot, David
...and 379 more Authors

Publications by Year

Citations contained in zbMATH Open

271 Publications have been cited 1,953 times in 1,683 Documents Cited by Year
Adhesive and quasiadhesive categories. Zbl 1078.18010
Lack, Stephen; Sobociński, Paweł
80
2005
A sharpening of the Parikh mapping. Zbl 1005.68092
Mateescu, Alexandru; Salomaa, Arto; Salomaa, Kai; Yu, Sheng
72
2001
Return words in Sturmian and episturmian words. Zbl 0987.68055
Justin, Jacques; Vuillon, Laurent
47
2000
Episturmian words: a survey. Zbl 1182.68155
Glen, Amy; Justin, Jacques
47
2009
A generator of morphisms for infinite words. Zbl 1110.68122
Ochem, Pascal
34
2006
On the equivalence of linear conjunctive grammars and trellis automata. Zbl 1084.68079
Okhotin, Alexander
32
2004
Many-sorted coalgebraic modal logic: A model-theoretic study. Zbl 0984.03019
Jacobs, Bart
31
2001
Measuring the problem-relevant information in input. Zbl 1176.68089
Dobrev, Stefan; Královič, Rastislav; Pardubská, Dana
30
2009
On Christoffel classes. Zbl 1085.68116
Borel, Jean-Pierre; Reutenauer, Christophe
30
2006
The \(\mu\)-calculus alternation-depth hierarchy is strict on binary trees. Zbl 0945.68118
Arnold, André
28
1999
Episturmian morphisms and a Galois theorem on continued fractions. Zbl 1126.68519
Justin, Jacques
27
2005
Unambiguous recognizable two-dimensional languages. Zbl 1112.68085
Anselmo, Marcella; Giammarresi, Dora; Madonia, Maria; Restivo, Antonio
26
2006
Division in logspace-uniform NC. Zbl 1014.68062
Chiu, Andrew; Davida, George; Litow, Bruce
26
2001
On a paper by Castelli, Mignosi, Restivo. Zbl 0987.68056
Justin, Jacques
25
2000
Finding \(H\)-partitions efficiently. Zbl 1063.05124
Dantas, Simone; de Figueiredo, Celina M. H.; Gravier, Sylvain; Klein, Sulamita
22
2005
Some results on \(\mathcal C\)-varieties. Zbl 1083.20059
Pin, Jean-Éric; Straubing, Howard
22
2005
Permissive strategies: From parity games to safety games. Zbl 1090.91514
Bernet, Julien; Janin, David; Walukiewicz, Igor
21
2002
Distance desert automata and the star height problem. Zbl 1082.20041
Kirsten, Daniel
20
2005
A Burnside approach to the termination of Mohri’s algorithm for polynomially ambiguous min-plus-automata. Zbl 1155.68042
Kirsten, Daniel
20
2008
State complexity of cyclic shift. Zbl 1144.68033
Jirásková, Galina; Okhotin, Alexander
20
2008
On synchronized sequences and their separators. Zbl 1003.68064
Carpi, Arturo; Maggi, Cristiano
19
2001
Hyper-minimizing minimized deterministic finite state automata. Zbl 1170.68023
Badr, Andrew; Geffert, Viliam; Shipman, Ian
19
2009
Wadge degrees of \(\omega\)-languages of deterministic Turing machines. Zbl 1048.03031
Selivanov, Victor
19
2003
Some decision problems on integer matrices. Zbl 1081.20066
Choffrut, Christian; Karhumäki, Juhani
18
2005
Words over an ordered alphabet and suffix permutations. Zbl 1013.68153
Duval, Jean-Pierre; Lefebvre, Arnaud
18
2002
Computing \(\varepsilon\)-free NFA from regular expressions in \(O(n\log^2 (n))\) time. Zbl 0971.68091
Hagenah, Christian; Muscholl, Anca
18
2000
Least periods of factors of infinite words. Zbl 1162.68510
Currie, James D.; Saari, Kalle
18
2009
Dejean’s conjecture holds for \({n\geq 27}\). Zbl 1192.68497
Currie, James; Rampersad, Narad
18
2009
Note on the succinctness of deterministic, nondeterministic, probabilistic and quantum finite automata. Zbl 1010.68068
Mereghetti, Carlo; Palano, Beatrice; Pighizzini, Giovanni
17
2001
Polynomials over the reals in proofs of termination: from theory to practice. Zbl 1085.68076
Lucas, Salvador
17
2005
Theories of orders on the set of words. Zbl 1098.03021
Kuske, Dietrich
17
2006
Generalizing substitution. Zbl 1042.18003
Uustalu, Tarmo
16
2003
On some problems related to palindrome closure. Zbl 1155.68061
Bucci, Michelangelo; de Luca, Aldo; De Luca, Alessandro; Zamboni, Luca Q.
15
2008
On substitution invariant Sturmian words: an application of Rauzy fractals. Zbl 1140.11014
Berthé, Valérie; Ei, Hiromi; Ito, Shunji; Rao, Hui
15
2007
Complexity of infinite words associated with beta-expansions. Zbl 1104.11013
Frougny, Christiane; Masáková, Zuzana; Pelantová, Edita
14
2004
On extremal properties of the Fibonacci word. Zbl 1155.68062
Cassaigne, Julien
14
2008
A characterization of poly-slender context-free languages. Zbl 0966.68097
Ilie, Lucian; Rozenberg, Grzegorz; Salomaa, Arto
14
2000
Traced premonoidal categories. Zbl 1110.68356
Benton, Nick; Hyland, Martin
14
2003
On a characteristic property of Arnoux-Rauzy sequences. Zbl 1060.68094
Justin, Jacques; Pirillo, Giuseppe
13
2002
Efficient validation and construction of border arrays and validation of string matching automata. Zbl 1166.68033
Duval, Jean-Pierre; Lecroq, Thierry; Lefebvre, Arnaud
13
2009
Quantum finite automata with control language. Zbl 1112.68064
Mereghetti, Carlo; Palano, Beatrice
13
2006
An exercise of Fibonacci representations. Zbl 1005.68119
Berstel, Jean
12
2001
Improved lower bounds on the approximability of the traveling salesman problem. Zbl 0971.68075
Böckenhauer, Hans-Joachim; Seibert, Sebastian
12
2000
Density of critical factorizations. Zbl 1013.68154
Harju, Tero; Nowotka, Dirk
11
2002
Sequences of low arithmetical complexity. Zbl 1110.68116
Avgustinovich, Sergey V.; Cassaigne, Julien; Frid, Anna E.
11
2006
Non-looping string rewriting. Zbl 0951.68054
Geser, Alfons; Zantema, Hans
11
1999
Rewriting on cyclic structures: Equivalence between the operational and the categorical description. Zbl 0940.18002
Corradini, Andrea; Gadducci, Fabio
11
1999
Learning deterministic regular grammars from stochastic samples in polynomial time. Zbl 0940.68071
Carrasco, Rafael C.; Oncina, Jose
10
1999
Termination checking with types. Zbl 1089.68028
Abel, Andreas
10
2004
Coproducts of ideal monads. Zbl 1072.18006
Ghani, Neil; Uustalu, Tarmo
10
2004
\(\mu\)-bicomplete categories and parity games. Zbl 1024.18001
Santocanale, Luigi
10
2002
A note on a conjecture of Duval and Sturmian words. Zbl 1013.68152
Mignosi, Filippo; Zamboni, Luca Q.
10
2002
Hierarchies and reducibilities on regular languages related to modulo counting. Zbl 1174.03016
Selivanov, Victor L.
10
2009
An algorithm for deciding if a polyomino tiles the plane. Zbl 1146.68409
Gambini, Ian; Vuillon, Laurent
10
2007
Local transition functions of quantum Turing machines. Zbl 0987.68035
Ozawa, Masanao; Nishimura, Harumichi
10
2000
Decision problems among the main subfamilies of rational relations. Zbl 1112.03008
Carton, Olivier; Choffrut, Christian; Grigorieff, Serge
10
2006
Picture codes. Zbl 1117.94015
Bozapalidis, Symeon; Grammatikopoulou, Archontia
10
2006
Complexity classes for membrane systems. Zbl 1112.68065
Porreca, Antonio E.; Mauri, Giancarlo; Zandron, Claudio
10
2006
A note on coinduction and weak bisimiliarity for while programs. Zbl 0945.68073
Rutten, J. J. M. M.
10
1999
Comparing complexity functions of a language and its extendable part. Zbl 1149.68055
Shur, Arseny M.
10
2008
Hereditary properties of words. Zbl 1132.68048
Balogh, József; Bollobás, Béla
9
2005
On the size of one-way quantum finite automata with periodic behaviors. Zbl 1013.68088
Mereghetti, Carlo; Palano, Beatrice
9
2002
Object oriented institutions to specify symbolic computation systems. Zbl 1146.68481
Domínguez, César; Lambán, Laureano; Rubio, Julio
9
2007
Call-by-value solvability. Zbl 0958.68061
Paolini, Luca; Ronchi Della Rocca, Simona
9
1999
Undecidability of infinite Post correspondence problem for instances of size 9. Zbl 1114.03035
Halava, Vesa; Harju, Tero
9
2006
Equational description of pseudovarieties of homomorphisms. Zbl 1045.20049
Kunc, Michal
9
2003
On the complexity of the hidden weighted bit function for various BDD models. Zbl 0946.68042
Bollig, Beate; Löbbing, Martin; Sauerhoff, Martin; Wegener, Ingo
9
1999
On existentially first-order definable languages and their relation to NP. Zbl 0949.03035
Borchert, Bernd; Kuske, Dietrich; Stephan, Frank
9
1999
Fixpoint alternation: Arithmetic, transition systems, and the binary tree. Zbl 0945.68126
Bradfield, J. C.
9
1999
A morphic approach to combinatorial games: the Tribonacci case. Zbl 1143.91314
Duchêne, Eric; Rigo, Michel
9
2008
Domain-free \(\lambda\mu\)-calculus. Zbl 0974.68032
Fujita, Ken-Etsu
8
2000
A lower bound for reversible automata. Zbl 0987.68043
Héam, Pierre-Cyrille
8
2000
Highly undecidable problems for infinite computations. Zbl 1171.03024
Finkel, Olivier
8
2009
Computing the Rabin index of a parity automaton. Zbl 0958.68089
Carton, Olivier; Maceiras, Ramón
8
1999
Galois lattice as a framework to specify building class hierarchies algorithms. Zbl 0976.06003
Huchard, M.; Dicky, H.; Leblanc, H.
8
2000
On-line finite automata for addition in some numeration systems. Zbl 0927.68052
Frougny, Christiane
7
1999
Cricular splicing and regularity. Zbl 1082.68048
Bonizzoni, Paola; De Felice, Clelia; Mauri, Giancarlo; Zizza, Rosalba
7
2004
Undecidability of topological and arithmetical properties of infinitary rational relations. Zbl 1112.03312
Finkel, Olivier
7
2003
Similarity relations and cover automata. Zbl 1102.68057
Champarnaud, Jean-Marc; Guingne, Franck; Hansel, Georges
7
2005
Feedback, trace and fixed-point semantics. Zbl 1050.68100
Katis, P.; Sabadini, Nicoletta; Walters, Robert F. C.
7
2002
Two-variable word equations. Zbl 0977.68070
Ilie, Lucian; Plandowski, Wojciech
7
2000
Substitutions by motives of dimension 1. (Substitutions par des motifs en dimension 1.) Zbl 1144.11020
Fogg, N. Pytheas
7
2007
Returning and non-returning parallel communicating finite automata are equivalent. Zbl 1146.68385
Choudhary, Ashish; Krithivasan, Kamala; Mitrana, Victor
7
2007
Universality of reversible hexagonal cellular automata. Zbl 0953.68099
Morita, Kenichi; Margenstern, Maurice; Imai, Katsunobu
7
1999
Iteration of rational transductions. Zbl 0962.68090
Terlutte, Alain; Simplot, David
7
2000
A note on the number of squares in a partial word with one hole. Zbl 1192.68496
Blanchet-Sadri, Francine; Mercaş, Robert
7
2009
Series which are both max-plus and min-plus rational are unambiguous. Zbl 1085.68081
Lombardy, Sylvain; Mairesse, Jean
7
2006
Hierarchies of function classes defined by the first-value operator. Zbl 1146.03032
Hemmerling, Armin
7
2008
Some algebraic properties of machine poset of infinite words. Zbl 1167.68030
Belovs, Aleksandrs
7
2008
Two sided sand piles model and unimodal sequences. Zbl 1149.68408
Phan, Thi Ha Duong
7
2008
When is the orbit algebra of a group an integral domain? Proof of a conjecture of P. J. Cameron. Zbl 1146.03015
Pouzet, Maurice
7
2008
On an algorithm to decide whether a free group is a free factor of another. Zbl 1146.20021
Silva, Pedro V.; Weil, Pascal
7
2008
On the number of dissimilar Pfaffian orientations of graphs. Zbl 1069.05066
de Carvalho, Marcelo H.; Lucchesi, Cláudio L.; Murty, U. S. R.
6
2005
On graph products of automatic monoids. Zbl 1019.20028
Veloso da Costa, A.
6
2001
A test-set for \(k\)-power-free binary morphisms. Zbl 1010.68102
Wlazinski, F.
6
2001
Forbidden factors and fragment assembly. Zbl 1005.68122
Mignosi, F.; Restivo, A.; Sciortino, M.
6
2001
A fully equational proof of Parikh’s theorem. Zbl 1024.68070
Aceto, Luca; Ésik, Zoltán; Ingólfsdóttir, Anna
6
2002
An upper bound for transforming self-verifying automata into deterministic ones. Zbl 1130.68067
Assent, Ira; Seibert, Sebastian
6
2007
A hierarchy for circular codes. Zbl 1155.68069
Pirillo, Giuseppe
6
2008
Balance properties of the fixed point of the substitution associated to quadratic simple Pisot numbers. Zbl 1146.68410
Turek, Ondřej
6
2007
Episturmian words: a survey. Zbl 1182.68155
Glen, Amy; Justin, Jacques
47
2009
Measuring the problem-relevant information in input. Zbl 1176.68089
Dobrev, Stefan; Královič, Rastislav; Pardubská, Dana
30
2009
Hyper-minimizing minimized deterministic finite state automata. Zbl 1170.68023
Badr, Andrew; Geffert, Viliam; Shipman, Ian
19
2009
Least periods of factors of infinite words. Zbl 1162.68510
Currie, James D.; Saari, Kalle
18
2009
Dejean’s conjecture holds for \({n\geq 27}\). Zbl 1192.68497
Currie, James; Rampersad, Narad
18
2009
Efficient validation and construction of border arrays and validation of string matching automata. Zbl 1166.68033
Duval, Jean-Pierre; Lecroq, Thierry; Lefebvre, Arnaud
13
2009
Hierarchies and reducibilities on regular languages related to modulo counting. Zbl 1174.03016
Selivanov, Victor L.
10
2009
Highly undecidable problems for infinite computations. Zbl 1171.03024
Finkel, Olivier
8
2009
A note on the number of squares in a partial word with one hole. Zbl 1192.68496
Blanchet-Sadri, Francine; Mercaş, Robert
7
2009
Minimal NFA and biRFSA languages. Zbl 1166.68025
Latteux, Michel; Roos, Yves; Terlutte, Alain
6
2009
Left-to-right regular languages and two-way restarting automata. Zbl 1176.68107
Otto, Friedrich
6
2009
Directive words of episturmian words: equivalences and normalization. Zbl 1166.68034
Glen, Amy; Levé, Florence; Richomme, Gwénaël
5
2009
On critical exponents in fixed points of \(k\)-uniform binary morphisms. Zbl 1170.68034
Krieger, Dalia
4
2009
Cycle and path embedding on 5-ary \(n\)-cubes. Zbl 1156.68041
Lin, Tsong-Jie; Hsieh, Sun-Yuan; Huang, Hui-Ling
3
2009
Equations on partial words. Zbl 1170.68032
Blanchet-Sadri, Francine; Blair, D. Dakota; Lewis, Rebeca V.
3
2009
On the power of randomization for job shop scheduling with \(k\)-units length tasks. Zbl 1166.68041
Mömke, Tobias
3
2009
Palindromes in infinite ternary words. Zbl 1191.68476
Balková, L’ubomíra; Pelantová, Edita; Starosta, Štěpán
3
2009
A game theoretical approach to the algebraic counterpart of the Wagner hierarchy. I. Zbl 1175.03021
Cabessa, Jérémie; Duparc, Jacques
3
2009
Labeled shortest paths in digraphs with negative and positive edge weights. Zbl 1175.68196
Bradford, Phillip G.; Thomas, David A.
3
2009
The theorem of Fine and Wilf for relational periods. Zbl 1166.68035
Halava, Vesa; Harju, Tero; Kärki, Tomi
2
2009
A note on dual approximation algorithms for class constrained bin packing problems. Zbl 1166.68368
Xavier, Eduardo C.; Miyazawa, Flàvio Keidi
2
2009
On context-free rewriting with a simple restriction and its computational completeness. Zbl 1171.68017
Masopust, Tomáš; Meduna, Alexander
2
2009
On the proper intervalization of colored caterpillar trees. Zbl 1192.68339
Àlvarez, Carme; Serna, Maria
2
2009
Palindromic complexity of infinite words associated with non-simple Parry numbers. Zbl 1156.68043
Balková, L’ubomíra; Masáková, Zuzana
1
2009
Polynomial languages with finite antidictionaries. Zbl 1166.68026
Shur, Arseny M.
1
2009
Tree automata and automata on linear orderings. Zbl 1166.68022
Bruyère, Véronique; Carton, Olivier; Sénizergues, Géraud
1
2009
A game theoretical approach to the algebraic counterpart of the Wagner hierarchy. II. Zbl 1175.03022
Cabessa, Jérémie; Duparc, Jacques
1
2009
Squares and cubes in Sturmian sequences. Zbl 1176.68150
Dubickas, Artūras
1
2009
Dynamic overloading with copy semantics in object-oriented languages: a formal account. Zbl 1175.68094
Bettini, Lorenzo; Capecchi, Sara; Venneri, Betti
1
2009
A Burnside approach to the termination of Mohri’s algorithm for polynomially ambiguous min-plus-automata. Zbl 1155.68042
Kirsten, Daniel
20
2008
State complexity of cyclic shift. Zbl 1144.68033
Jirásková, Galina; Okhotin, Alexander
20
2008
On some problems related to palindrome closure. Zbl 1155.68061
Bucci, Michelangelo; de Luca, Aldo; De Luca, Alessandro; Zamboni, Luca Q.
15
2008
On extremal properties of the Fibonacci word. Zbl 1155.68062
Cassaigne, Julien
14
2008
Comparing complexity functions of a language and its extendable part. Zbl 1149.68055
Shur, Arseny M.
10
2008
A morphic approach to combinatorial games: the Tribonacci case. Zbl 1143.91314
Duchêne, Eric; Rigo, Michel
9
2008
Hierarchies of function classes defined by the first-value operator. Zbl 1146.03032
Hemmerling, Armin
7
2008
Some algebraic properties of machine poset of infinite words. Zbl 1167.68030
Belovs, Aleksandrs
7
2008
Two sided sand piles model and unimodal sequences. Zbl 1149.68408
Phan, Thi Ha Duong
7
2008
When is the orbit algebra of a group an integral domain? Proof of a conjecture of P. J. Cameron. Zbl 1146.03015
Pouzet, Maurice
7
2008
On an algorithm to decide whether a free group is a free factor of another. Zbl 1146.20021
Silva, Pedro V.; Weil, Pascal
7
2008
A hierarchy for circular codes. Zbl 1155.68069
Pirillo, Giuseppe
6
2008
Drunken man infinite words complexity. Zbl 1188.68217
Le Gonidec, Marion
5
2008
Weakly maximal decidable structures. Zbl 1149.03015
Bès, Alexis; Cégielski, Patrick
5
2008
Efficiency of automata in semi-commutation verification techniques. Zbl 1144.68039
Cécé, Gérard; Héam, Pierre-Cyrille; Mainier, Yann
4
2008
Dejean’s conjecture and letter frequency. Zbl 1147.68612
Chalopin, Jérémie; Ochem, Pascal
3
2008
An intrinsically non minimal-time Minsky-like 6-states solution to the firing squad synchronization problem. Zbl 1148.68410
Yunès, Jean-Baptiste
3
2008
A complete characterization of primitive recursive intensional behaviours. Zbl 1148.68388
Valarcher, P.
3
2008
D0L sequence equivalence is in P for fixed alphabets. Zbl 1144.68037
Ruohonen, Keijo
3
2008
A hierarchy of automatic \(\omega\)-words having a decidable MSO theory. Zbl 1152.03030
Bárány, Vince
2
2008
An automata-theoretic approach to the study of the intersection of two submonoids of a free monoid. Zbl 1149.68058
Giambruno, Laura; Restivo, Antonio
2
2008
Compatibility relations on codes and free monoids. Zbl 1149.68069
Kärki, Tomi
2
2008
On varieties of literally idempotent languages. Zbl 1151.68032
Klíma, Ondřej; Polák, Libor
2
2008
Traces of term-automatic graphs. Zbl 1149.68395
Meyer, Antoine
2
2008
Tree inclusion problems. Zbl 1149.68040
Cégielski, Patrick; Guessarian, Irène; Matiyasevich, Yuri
2
2008
About the domino problem in the hyperbolic plane from an algorithmic point of view. Zbl 1237.52016
Margenstern, Maurice
2
2008
Arithmetization of the field of reals with exponentiation – extended abstract. Zbl 1144.03027
Boughattas, Sedki; Ressayre, Jean-Pierre
2
2008
Computing the \(j\)th solution of a first-order query. Zbl 1149.68028
Bagan, Guillaume; Durand, Arnaud; Grandjean, Eitenne; Olive, Frédéric
2
2008
On the continuity set of an omega rational function. Zbl 1149.03028
Carton, Olivier; Finkel, Olivier; Simonnet, Pierre
2
2008
A note on univoque self-Sturmian numbers. Zbl 1197.11029
Allouche, Jean-Paul
1
2008
Census algorithms for Chinese remainder pseudorank. Zbl 1141.11324
Laing, David; Litow, Bruce
1
2008
Deciding whether a relation defined in Presburger logic can be defined in weaker logics. Zbl 1158.03007
Choffrut, Christian
1
2008
On substitution invariant Sturmian words: an application of Rauzy fractals. Zbl 1140.11014
Berthé, Valérie; Ei, Hiromi; Ito, Shunji; Rao, Hui
15
2007
An algorithm for deciding if a polyomino tiles the plane. Zbl 1146.68409
Gambini, Ian; Vuillon, Laurent
10
2007
Object oriented institutions to specify symbolic computation systems. Zbl 1146.68481
Domínguez, César; Lambán, Laureano; Rubio, Julio
9
2007
Substitutions by motives of dimension 1. (Substitutions par des motifs en dimension 1.) Zbl 1144.11020
Fogg, N. Pytheas
7
2007
Returning and non-returning parallel communicating finite automata are equivalent. Zbl 1146.68385
Choudhary, Ashish; Krithivasan, Kamala; Mitrana, Victor
7
2007
An upper bound for transforming self-verifying automata into deterministic ones. Zbl 1130.68067
Assent, Ira; Seibert, Sebastian
6
2007
Balance properties of the fixed point of the substitution associated to quadratic simple Pisot numbers. Zbl 1146.68410
Turek, Ondřej
6
2007
Recursive coalgebras of finitary functors. Zbl 1147.18001
Adámek, Jiří; Lücke, Dominik; Milius, Stefan
6
2007
A graph approach to computing nondeterminacy in substitutional dynamical systems. Zbl 1165.37006
Carlsen, Toke M.; Eilers, Søren
5
2007
Combinatorial and arithmetical properties of infinite words associated with non-simple quadratic Parry numbers. Zbl 1144.11009
Balková, Lubomíra; Pelantová, Edita; Turek, Ondřej
5
2007
Decidability of code properties. Zbl 1203.68084
Fernau, Henning; Reinhardt, Klaus; Staiger, Ludwig
4
2007
Formally certified floating-point filters for homogeneous geometric predicates. Zbl 1133.65010
Melquiond, Guillaume; Pion, Sylvain
4
2007
Three notes on the complexity of model checking fixpoint logic with Chop. Zbl 1133.68046
Lange, Martin
3
2007
Defect theorem in the plane. Zbl 1144.68048
Moczurad, Włodzimierz
3
2007
Uniformly bounded duplication codes. Zbl 1144.68047
Leupold, Peter; Mitrana, Victor
2
2007
Combinatorics of recurrent words of complexity \(n+2\). (Combinatoire de mots récurrents de complexité \(n+2\).) Zbl 1149.11013
Kaboré, Idrissa; Tapsoba, Théodore
2
2007
Automata, Borel functions and real numbers in Pisot base. Zbl 1156.03036
Cagnard, Benoit; Simonnet, Pierre
1
2007
Real and complex pseudozero sets for polynomials with applications. Zbl 1163.65023
Graillat, Stef; Langlois, Philippe
1
2007
Correct rounding of algebraic functions. Zbl 1181.65034
Brisebarre, Nicolas; Muller, Jean-Michel
1
2007
Fast and correctly rounded logarithms in double-precision. Zbl 1132.65302
de Dinechin, Florent; Lauter, Christoph; Muller, Jean-Michel
1
2007
Multiple-precision correctly rounded Newton-Cotes quadrature. Zbl 1136.65032
Fousse, Laurent
1
2007
Deciding inclusion of set constants over infinite non-strict data structures. Zbl 1146.68353
Schmidt-Schauss, Manfred; Sabel, David; Schütz, Marko
1
2007
Learning tree languages from text. Zbl 1144.68031
Fernau, Henning
1
2007
A generator of morphisms for infinite words. Zbl 1110.68122
Ochem, Pascal
34
2006
On Christoffel classes. Zbl 1085.68116
Borel, Jean-Pierre; Reutenauer, Christophe
30
2006
Unambiguous recognizable two-dimensional languages. Zbl 1112.68085
Anselmo, Marcella; Giammarresi, Dora; Madonia, Maria; Restivo, Antonio
26
2006
Theories of orders on the set of words. Zbl 1098.03021
Kuske, Dietrich
17
2006
Quantum finite automata with control language. Zbl 1112.68064
Mereghetti, Carlo; Palano, Beatrice
13
2006
Sequences of low arithmetical complexity. Zbl 1110.68116
Avgustinovich, Sergey V.; Cassaigne, Julien; Frid, Anna E.
11
2006
Decision problems among the main subfamilies of rational relations. Zbl 1112.03008
Carton, Olivier; Choffrut, Christian; Grigorieff, Serge
10
2006
Picture codes. Zbl 1117.94015
Bozapalidis, Symeon; Grammatikopoulou, Archontia
10
2006
Complexity classes for membrane systems. Zbl 1112.68065
Porreca, Antonio E.; Mauri, Giancarlo; Zandron, Claudio
10
2006
Undecidability of infinite Post correspondence problem for instances of size 9. Zbl 1114.03035
Halava, Vesa; Harju, Tero
9
2006
Series which are both max-plus and min-plus rational are unambiguous. Zbl 1085.68081
Lombardy, Sylvain; Mairesse, Jean
7
2006
Squares and overlaps in the Thue-Morse sequence and some variants. Zbl 1110.68117
Brown, Shandy; Rampersad, Narad; Shallit, Jeffrey; Vasiga, Troy
6
2006
Graph fibrations, graph isomorphism, and PageRank. Zbl 1112.68002
Boldi, Paolo; Lonati, Violetta; Santini, Massimo; Vigna, Sebastiano
5
2006
A little more about morphic Sturmian words. Zbl 1110.68118
Fagnot, Isabelle
4
2006
Packing of \((0,1)\)-matrices. Zbl 1110.68049
Vialette, Stéphane
4
2006
On a complete set of operations for factorizing codes. Zbl 1091.94017
De Felice, Clelia
4
2006
...and 171 more Documents
all top 5

Cited by 1,802 Authors

32 Okhotin, Alexander
32 Shallit, Jeffrey Outlaw
24 de Luca, Aldo
24 Selivanov, Viktor L’vovich
24 Zamboni, Luca Quardo
21 Ochem, Pascal
19 Cassaigne, Julien
19 Teh, Wen Chean
18 Palano, Beatrice
17 De Felice, Clelia
17 Kutrib, Martin
17 Madonia, Maria
17 Mereghetti, Carlo
17 Pelantová, Edita
17 Rampersad, Narad
17 Restivo, Antonio
16 Anselmo, Marcella
16 Finkel, Olivier
16 Gadducci, Fabio
16 Reutenauer, Christophe
16 Shur, Arseny M.
15 Harju, Tero
15 Holzer, Markus
15 Perrin, Dominique
15 Richomme, Gwénaël
15 Salomaa, Arto Kustaa
14 Blanchet-Sadri, Francine
14 De Luca, Alessandro
14 Rigo, Michel
14 Sciortino, Marinella
14 Subramanian, Kumbakonam Govindarajan
13 Corradini, Andrea
13 Lucas, Salvador
12 Berthé, Valérie
12 Giammarresi, Dora
12 Karhumaki, Juhani
12 Potapov, Igor
11 Carpi, Arturo
11 Glen, Amy
11 Milius, Stefan
11 Pirillo, Giuseppe
10 Atanasiu, Adrian
10 Bollig, Beate
10 Jeż, Artur
10 Komm, Dennis
10 König, Barbara
10 Královič, Richard
10 Skrzypczak, Michał
9 Baldan, Paolo
9 Behr, Nicolas
9 Bonchi, Filippo
9 Bucci, Michelangelo
9 Carton, Olivier
9 Currie, James D.
9 D’Alessandro, Flavio
9 Dolce, Francesco
9 Ehrig, Hartmut
9 Fici, Gabriele
9 Mahalingam, Kalpana
9 Malcher, Andreas
9 Paulusma, Daniël
9 Pin, Jean-Eric
9 Rytter, Wojciech
9 Sobociński, Paweł
9 Yu, Sheng
8 Bera, Somnath
8 Böckenhauer, Hans-Joachim
8 Frid, Anna Èduardovna
8 Holub, Štěpán
8 Honkala, Juha
8 Maletti, Andreas
8 Michel, Christian J.
8 Nowotka, Dirk
8 Otto, Friedrich
8 Poovanandran, Ghajendran
8 Salomaa, Kai T.
8 Silva, Pedro V.
7 Adámek, Jiří
7 Berstel, Jean
7 Boyar, Joan F.
7 Choffrut, Christian
7 Dantas, Simone
7 de Figueiredo, Celina M. Herrera
7 Favrholdt, Lene Monrad
7 Gawrychowski, Paweł
7 Goncharov, Sergeĭ Savost’yanovich
7 Heindel, Tobias
7 Inenaga, Shunsuke
7 Justin, Jacques
7 Klasing, Ralf
7 Kosiol, Jens
7 Kuske, Dietrich
7 Labbé, Sébastien
7 Leroy, Julien
7 Masáková, Zuzana
7 Mignosi, Filippo
7 Pattinson, Dirk
7 Qiu, Daowen
7 Rosenfeld, Matthieu
7 Schröder, Lutz
...and 1,702 more Authors
all top 5

Cited in 195 Journals

332 Theoretical Computer Science
99 International Journal of Foundations of Computer Science
69 Information and Computation
67 RAIRO. Theoretical Informatics and Applications
37 Discrete Applied Mathematics
37 RAIRO. Theoretical Informatics and Applications
34 Information Processing Letters
34 Journal of Computer and System Sciences
32 Theory of Computing Systems
26 MSCS. Mathematical Structures in Computer Science
24 European Journal of Combinatorics
24 Logical Methods in Computer Science
19 International Journal of Algebra and Computation
19 The Electronic Journal of Combinatorics
16 Acta Informatica
15 Annals of Pure and Applied Logic
11 Discrete Mathematics
11 Journal of Combinatorial Theory. Series A
10 Algorithmica
10 Journal of Logical and Algebraic Methods in Programming
9 Advances in Applied Mathematics
9 Journal of Discrete Algorithms
8 The Journal of Logic and Algebraic Programming
7 Journal of Automated Reasoning
7 Journal of Functional Programming
6 Discrete Event Dynamic Systems
6 Computational Complexity
6 Applied Categorical Structures
6 Journal of Automata, Languages and Combinatorics
6 Integers
5 Journal of Number Theory
5 Journal of Pure and Applied Algebra
5 The Journal of Symbolic Logic
5 Semigroup Forum
5 Transactions of the American Mathematical Society
5 Archive for Mathematical Logic
5 International Journal of Bifurcation and Chaos in Applied Sciences and Engineering
5 Annals of Mathematics and Artificial Intelligence
5 Discrete Mathematics and Theoretical Computer Science. DMTCS
5 Fundamenta Informaticae
5 Natural Computing
4 Journal of Algebra
4 Monatshefte für Mathematik
4 International Journal of Computer Mathematics
4 Applicable Algebra in Engineering, Communication and Computing
4 Journal of Combinatorial Optimization
3 Mathematics of Computation
3 Algebra and Logic
3 Annales de l’Institut Fourier
3 Information Sciences
3 Proceedings of the American Mathematical Society
3 SIAM Journal on Computing
3 Siberian Mathematical Journal
3 Ergodic Theory and Dynamical Systems
3 Order
3 Journal of Symbolic Computation
3 Computers & Operations Research
3 Formal Aspects of Computing
3 Machine Learning
3 Expositiones Mathematicae
3 Cybernetics and Systems Analysis
3 Combinatorics, Probability and Computing
3 Journal of Mathematical Sciences (New York)
3 Computer Science Review
3 Journal of Membrane Computing
2 Bulletin of the Australian Mathematical Society
2 Mathematical Notes
2 Chaos, Solitons and Fractals
2 Advances in Mathematics
2 Automatica
2 Canadian Journal of Mathematics
2 Journal of Combinatorial Theory. Series B
2 Journal of Computational and Applied Mathematics
2 Discrete & Computational Geometry
2 The Annals of Applied Probability
2 Pattern Recognition
2 Indagationes Mathematicae. New Series
2 The Australasian Journal of Combinatorics
2 Journal of Applied Non-Classical Logics
2 Theory and Applications of Categories
2 Doklady Mathematics
2 Journal of Integer Sequences
2 Higher-Order and Symbolic Computation
2 Communications in Nonlinear Science and Numerical Simulation
2 Journal of the Australian Mathematical Society
2 Bulletin of the Malaysian Mathematical Sciences Society. Second Series
2 Quantum Information Processing
2 Journal of Algebra and its Applications
2 Chebyshevskiĭ Sbornik
2 Discrete Mathematics, Algorithms and Applications
2 Journal of Theoretical Biology
2 Computability
2 Journal of Mathematics
2 Journal of Discrete Mathematics
1 Artificial Intelligence
1 Communications in Algebra
1 Computers & Mathematics with Applications
1 Communications in Mathematical Physics
1 International Journal of Control
1 International Journal of General Systems
...and 95 more Journals
all top 5

Cited in 41 Fields

1,422 Computer science (68-XX)
255 Mathematical logic and foundations (03-XX)
170 Combinatorics (05-XX)
97 Category theory; homological algebra (18-XX)
95 Number theory (11-XX)
78 Group theory and generalizations (20-XX)
62 Dynamical systems and ergodic theory (37-XX)
45 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
42 Information and communication theory, circuits (94-XX)
37 Order, lattices, ordered algebraic structures (06-XX)
35 Quantum theory (81-XX)
32 Operations research, mathematical programming (90-XX)
21 Linear and multilinear algebra; matrix theory (15-XX)
15 Convex and discrete geometry (52-XX)
14 Biology and other natural sciences (92-XX)
14 Systems theory; control (93-XX)
13 General algebraic systems (08-XX)
12 Probability theory and stochastic processes (60-XX)
12 Numerical analysis (65-XX)
10 General topology (54-XX)
9 History and biography (01-XX)
9 Functional analysis (46-XX)
8 Measure and integration (28-XX)
6 Field theory and polynomials (12-XX)
6 Commutative algebra (13-XX)
6 Operator theory (47-XX)
6 Manifolds and cell complexes (57-XX)
5 Nonassociative rings and algebras (17-XX)
4 General and overarching topics; collections (00-XX)
4 Associative rings and algebras (16-XX)
4 Topological groups, Lie groups (22-XX)
4 Algebraic topology (55-XX)
3 Algebraic geometry (14-XX)
3 \(K\)-theory (19-XX)
3 Statistical mechanics, structure of matter (82-XX)
2 Real functions (26-XX)
2 Difference and functional equations (39-XX)
2 Statistics (62-XX)
1 Functions of a complex variable (30-XX)
1 Partial differential equations (35-XX)
1 Differential geometry (53-XX)

Citations by Year