×

zbMATH — the first resource for mathematics

Béal, Marie-Pierre

Compute Distance To:
Author ID: beal.marie-pierre Recent zbMATH articles by "Béal, Marie-Pierre"
Published as: Béal, Marie-Pierre; Beal, Marie Pierre; Béal, M.-P.
Documents Indexed: 64 Publications since 1986, including 1 Book

Publications by Year

Citations contained in zbMATH Open

47 Publications have been cited 272 times in 188 Documents Cited by Year
Squaring transducers: An efficient procedure for deciding functionality and sequentiality. Zbl 1064.68050
Béal, Marie-Pierre; Carton, Olivier; Prieur, Christophe; Sakarovitch, Jacques
21
2003
Tree-shifts of finite type. Zbl 1279.68128
Aubrun, Nathalie; Béal, Marie-Pierre
17
2012
A quadratic upper bound on the size of a synchronizing word in one-cluster automata. Zbl 1217.68121
Béal, Marie-Pierre; Berlinkov, Mikhail V.; Perrin, Dominique
17
2011
Conjugacy and equivalence of weighted automata and functional transducers. Zbl 1185.68381
Béal, Marie-Pierre; Lombardy, Sylvain; Sakarovitch, Jacques
17
2006
Sofic tree-shifts. Zbl 1293.68195
Aubrun, Nathalie; Béal, Marie-Pierre
13
2013
Minimal forbidden words and symbolic dynamics. Zbl 1379.68213
Béal, Marie-Pierre; Mignosi, Filippo; Restivo, Antonio
12
1996
On the equivalence of \(\mathbb{Z}\)-automata. Zbl 1082.68069
Béal, Marie-Pierre; Lombardy, Sylvain; Sakarovitch, Jacques
12
2005
Forbidden words in symbolic dynamics. Zbl 0965.37014
Béal, M.-P.; Mignosi, F.; Restivo, A.; Sciortino, M.
11
2000
Computing forbidden words of regular languages. Zbl 1030.68059
Béal, Marie-Pierre; Crochemore, Maxime; Mignosi, Filippo; Restivo, Antonio; Sciortino, Marinella
11
2003
Determinization of transducers over finite and infinite words. Zbl 1061.68088
Béal, Marie-Pierre; Carton, Olivier
9
2002
On the generating sequences of regular languages on \(k\) symbols. Zbl 1325.68125
Béal, Marie-Pierre; Perrin, Dominique
8
2003
On the bound of the synchronization delay of a local automaton. Zbl 0917.68149
Béal, Marie-Pierre; Senellart, Jean
8
1998
External power of a deterministic automaton, application to the zeta-function of a sofic system. (Puissance extérieure d’un automate déterministe, application au calcul de la fonction zêta d’un système sofique.) Zbl 0843.58035
Béal, Marie-Pierre
7
1995
A quadratic algorithm for road coloring. Zbl 1288.05080
Béal, Marie-Pierre; Perrin, Dominique
6
2014
A hierarchy of shift equivalent sofic shifts. Zbl 1079.68048
Béal, Marie-Pierre; Fiorenzi, Francesca; Perrin, Dominique
6
2005
Sofic and almost of finite type tree-shifts. Zbl 1285.68078
Aubrun, Nathalie; Béal, Marie-Pierre
6
2010
Squaring transducers: An efficient procedure for deciding functionality and sequentiality of transducers. Zbl 0957.03046
Béal, Marie-Pierre; Carton, Olivier; Prieur, Christophe; Sakarovitch, Jacques
5
2000
An algorithmic view of gene teams. Zbl 1043.92006
Béal, Marie-Pierre; Bergeron, Anne; Corteel, Sylvie; Raffinot, Mathieu
5
2004
Une caractérisation des ensembles sofiques. (A characterization of sofic sets). Zbl 0605.68068
Béal, Marie-Pierre; Perrin, Dominique
5
1986
Codes circulaires, automates locaux et entropie. Zbl 0649.94018
Beal, Marie Pierre
5
1988
Unambiguous automata. Zbl 1158.68019
Béal, Marie-Pierre; Czeizler, Eugen; Kari, Jarkko; Perrin, Dominique
5
2008
The syntactic graph of a sofic shift is invariant under shift equivalence. Zbl 1098.68062
Béal, Marie-Pierre; Fiorenzi, Francesca; Perrin, Dominique
5
2006
A quadratic upper bound on the size of a synchronizing word in one-cluster automata. Zbl 1217.68122
Béal, Marie-Pierre; Perrin, Dominique
5
2009
Decidability of conjugacy of tree-shifts of finite type. Zbl 1248.68283
Aubrun, Nathalie; Béal, Marie-Pierre
5
2009
Minimal forbidden patterns of multi-dimensional shifts. Zbl 1070.37005
Béal, Marie-Pierre; Fiorenzi, Francesca; Mignosi, Filippo
4
2005
Codes and sofic constraints. Zbl 1078.68074
Béal, Marie-Pierre; Perrin, Dominique
4
2005
Tree algebra of sofic tree languages. Zbl 1302.68148
Aubrun, Nathalie; Béal, Marie-Pierre
4
2014
Variable length codes and finite automata. Zbl 1206.94105
Béal, Marie-Pierre; Berstel, Jean; Marcus, Brian H.; Perrin, Dominique; Reutenauer, Christophe; Siegel, Paul H.
4
2010
Determinization of transducers over infinite words. Zbl 0973.68113
Béal, Marie-Pierre; Carton, Olivier
3
2000
Asynchronous sliding block maps. Zbl 0967.68100
Béal, Marie-Pierre; Carton, Olivier
3
2000
Codes, unambiguous automata and sofic systems. Zbl 1160.68400
Béal, Marie-Pierre; Perrin, Dominique
3
2006
Sofic-Dyck shifts. Zbl 1425.68178
Béal, Marie-Pierre; Blockelet, Michel; Dima, Cătălin
3
2014
A weak equivalence between shifts of finite type. Zbl 1018.37007
Béal, Marie-Pierre; Perrin, Dominique
2
2002
Computing the prefix of an automaton. Zbl 0974.68105
Béal, Marie-Pierre; Carton, Olivier
2
2000
Cyclic languages and strongly cyclic languages. Zbl 1379.68212
Béal, Marie-Pierre; Carton, Olivier; Reutenauer, Christophe
2
1996
Sofic-Dyck shifts. Zbl 1331.68123
Béal, Marie-Pierre; Blockelet, Michel; Dima, Cǎtǎlin
2
2016
Toward a timed theory of channel coding. Zbl 1374.68250
Asarin, Eugene; Basset, Nicolas; Béal, Marie-Pierre; Degorre, Aldric; Perrin, Dominique
2
2012
The method of poles: A coding method for constrained channels. Zbl 0706.94007
Béal, Marie-Pierre
2
1990
Coding partitions of regular sets. Zbl 1180.68167
Béal, Marie-Pierre; Burderi, Fabio; Restivo, Antonio
2
2009
Complete codes in a sofic shift. Zbl 1137.68033
Béal, Marie-Pierre; Perrin, Dominique
2
2006
A hierarchy of irreducible sofic shifts. Zbl 1096.68078
Béal, Marie-Pierre; Fiorenzi, Francesca; Perrin, Dominique
1
2004
Synchronised automata. Zbl 1385.68019
Béal, Marie-Pierre; Perrin, Dominique
1
2016
Length distributions and regular sequences. Zbl 0992.94504
Bassino, Frédérique; Béal, Marie-Pierre; Perrin, Dominique
1
2001
Periodic-finite-type shift spaces. Zbl 1365.94371
Béal, Marie-Pierre; Crochemore, Maxime; Moision, Bruce E.; Siegel, Paul H.
1
2011
Determinization of transducers over infinite words: The general case. Zbl 1088.68083
Béal, Marie-Pierre; Carton, Olivier
1
2004
Completing codes in a sofic shift. Zbl 1194.68130
Béal, Marie-Pierre; Perrin, Dominique
1
2009
The syntactic graph of a sofic shift. Zbl 1122.68463
Béal, Marie-Pierre; Fiorenzi, Francesca; Perrin, Dominique
1
2004
Sofic-Dyck shifts. Zbl 1331.68123
Béal, Marie-Pierre; Blockelet, Michel; Dima, Cǎtǎlin
2
2016
Synchronised automata. Zbl 1385.68019
Béal, Marie-Pierre; Perrin, Dominique
1
2016
A quadratic algorithm for road coloring. Zbl 1288.05080
Béal, Marie-Pierre; Perrin, Dominique
6
2014
Tree algebra of sofic tree languages. Zbl 1302.68148
Aubrun, Nathalie; Béal, Marie-Pierre
4
2014
Sofic-Dyck shifts. Zbl 1425.68178
Béal, Marie-Pierre; Blockelet, Michel; Dima, Cătălin
3
2014
Sofic tree-shifts. Zbl 1293.68195
Aubrun, Nathalie; Béal, Marie-Pierre
13
2013
Tree-shifts of finite type. Zbl 1279.68128
Aubrun, Nathalie; Béal, Marie-Pierre
17
2012
Toward a timed theory of channel coding. Zbl 1374.68250
Asarin, Eugene; Basset, Nicolas; Béal, Marie-Pierre; Degorre, Aldric; Perrin, Dominique
2
2012
A quadratic upper bound on the size of a synchronizing word in one-cluster automata. Zbl 1217.68121
Béal, Marie-Pierre; Berlinkov, Mikhail V.; Perrin, Dominique
17
2011
Periodic-finite-type shift spaces. Zbl 1365.94371
Béal, Marie-Pierre; Crochemore, Maxime; Moision, Bruce E.; Siegel, Paul H.
1
2011
Sofic and almost of finite type tree-shifts. Zbl 1285.68078
Aubrun, Nathalie; Béal, Marie-Pierre
6
2010
Variable length codes and finite automata. Zbl 1206.94105
Béal, Marie-Pierre; Berstel, Jean; Marcus, Brian H.; Perrin, Dominique; Reutenauer, Christophe; Siegel, Paul H.
4
2010
A quadratic upper bound on the size of a synchronizing word in one-cluster automata. Zbl 1217.68122
Béal, Marie-Pierre; Perrin, Dominique
5
2009
Decidability of conjugacy of tree-shifts of finite type. Zbl 1248.68283
Aubrun, Nathalie; Béal, Marie-Pierre
5
2009
Coding partitions of regular sets. Zbl 1180.68167
Béal, Marie-Pierre; Burderi, Fabio; Restivo, Antonio
2
2009
Completing codes in a sofic shift. Zbl 1194.68130
Béal, Marie-Pierre; Perrin, Dominique
1
2009
Unambiguous automata. Zbl 1158.68019
Béal, Marie-Pierre; Czeizler, Eugen; Kari, Jarkko; Perrin, Dominique
5
2008
Conjugacy and equivalence of weighted automata and functional transducers. Zbl 1185.68381
Béal, Marie-Pierre; Lombardy, Sylvain; Sakarovitch, Jacques
17
2006
The syntactic graph of a sofic shift is invariant under shift equivalence. Zbl 1098.68062
Béal, Marie-Pierre; Fiorenzi, Francesca; Perrin, Dominique
5
2006
Codes, unambiguous automata and sofic systems. Zbl 1160.68400
Béal, Marie-Pierre; Perrin, Dominique
3
2006
Complete codes in a sofic shift. Zbl 1137.68033
Béal, Marie-Pierre; Perrin, Dominique
2
2006
On the equivalence of \(\mathbb{Z}\)-automata. Zbl 1082.68069
Béal, Marie-Pierre; Lombardy, Sylvain; Sakarovitch, Jacques
12
2005
A hierarchy of shift equivalent sofic shifts. Zbl 1079.68048
Béal, Marie-Pierre; Fiorenzi, Francesca; Perrin, Dominique
6
2005
Minimal forbidden patterns of multi-dimensional shifts. Zbl 1070.37005
Béal, Marie-Pierre; Fiorenzi, Francesca; Mignosi, Filippo
4
2005
Codes and sofic constraints. Zbl 1078.68074
Béal, Marie-Pierre; Perrin, Dominique
4
2005
An algorithmic view of gene teams. Zbl 1043.92006
Béal, Marie-Pierre; Bergeron, Anne; Corteel, Sylvie; Raffinot, Mathieu
5
2004
A hierarchy of irreducible sofic shifts. Zbl 1096.68078
Béal, Marie-Pierre; Fiorenzi, Francesca; Perrin, Dominique
1
2004
Determinization of transducers over infinite words: The general case. Zbl 1088.68083
Béal, Marie-Pierre; Carton, Olivier
1
2004
The syntactic graph of a sofic shift. Zbl 1122.68463
Béal, Marie-Pierre; Fiorenzi, Francesca; Perrin, Dominique
1
2004
Squaring transducers: An efficient procedure for deciding functionality and sequentiality. Zbl 1064.68050
Béal, Marie-Pierre; Carton, Olivier; Prieur, Christophe; Sakarovitch, Jacques
21
2003
Computing forbidden words of regular languages. Zbl 1030.68059
Béal, Marie-Pierre; Crochemore, Maxime; Mignosi, Filippo; Restivo, Antonio; Sciortino, Marinella
11
2003
On the generating sequences of regular languages on \(k\) symbols. Zbl 1325.68125
Béal, Marie-Pierre; Perrin, Dominique
8
2003
Determinization of transducers over finite and infinite words. Zbl 1061.68088
Béal, Marie-Pierre; Carton, Olivier
9
2002
A weak equivalence between shifts of finite type. Zbl 1018.37007
Béal, Marie-Pierre; Perrin, Dominique
2
2002
Length distributions and regular sequences. Zbl 0992.94504
Bassino, Frédérique; Béal, Marie-Pierre; Perrin, Dominique
1
2001
Forbidden words in symbolic dynamics. Zbl 0965.37014
Béal, M.-P.; Mignosi, F.; Restivo, A.; Sciortino, M.
11
2000
Squaring transducers: An efficient procedure for deciding functionality and sequentiality of transducers. Zbl 0957.03046
Béal, Marie-Pierre; Carton, Olivier; Prieur, Christophe; Sakarovitch, Jacques
5
2000
Determinization of transducers over infinite words. Zbl 0973.68113
Béal, Marie-Pierre; Carton, Olivier
3
2000
Asynchronous sliding block maps. Zbl 0967.68100
Béal, Marie-Pierre; Carton, Olivier
3
2000
Computing the prefix of an automaton. Zbl 0974.68105
Béal, Marie-Pierre; Carton, Olivier
2
2000
On the bound of the synchronization delay of a local automaton. Zbl 0917.68149
Béal, Marie-Pierre; Senellart, Jean
8
1998
Minimal forbidden words and symbolic dynamics. Zbl 1379.68213
Béal, Marie-Pierre; Mignosi, Filippo; Restivo, Antonio
12
1996
Cyclic languages and strongly cyclic languages. Zbl 1379.68212
Béal, Marie-Pierre; Carton, Olivier; Reutenauer, Christophe
2
1996
External power of a deterministic automaton, application to the zeta-function of a sofic system. (Puissance extérieure d’un automate déterministe, application au calcul de la fonction zêta d’un système sofique.) Zbl 0843.58035
Béal, Marie-Pierre
7
1995
The method of poles: A coding method for constrained channels. Zbl 0706.94007
Béal, Marie-Pierre
2
1990
Codes circulaires, automates locaux et entropie. Zbl 0649.94018
Beal, Marie Pierre
5
1988
Une caractérisation des ensembles sofiques. (A characterization of sofic sets). Zbl 0605.68068
Béal, Marie-Pierre; Perrin, Dominique
5
1986
all top 5

Cited by 224 Authors

15 Béal, Marie-Pierre
11 Restivo, Antonio
10 Chang, Chih-Hung
10 Perrin, Dominique
9 Ban, Jungchao
9 Carpi, Arturo
8 Carton, Olivier
7 Crochemore, Maxime
7 D’Alessandro, Flavio
6 Berlinkov, Mikhail V.
6 Michel, Christian J.
6 Mignosi, Filippo
6 Pirillo, Giuseppe
6 Reutenauer, Christophe
5 Ésik, Zoltán
5 Fici, Gabriele
5 Filiot, Emmanuel
4 Ćirić, Miroslav D.
4 Costa, Alfredo
4 Fiorenzi, Francesca
4 Ignjatović, Jelena
4 Konstantinidis, Stavros
4 Sciortino, Marinella
4 Szykuła, Marek
3 Berthé, Valérie
3 Damljanović, Nada
3 de Luca, Aldo
3 Finkel, Olivier
3 Huang, Nai-Zhu
3 Mihov, Stoyan
3 Mohri, Mehryar
3 Raskin, Jean-François
3 Reynier, Pierre-Alain
3 Rodaro, Emanuele
3 Sakarovitch, Jacques
3 Steinberg, Benjamin
3 Šunić, Zoran
3 Trahtman, Avraham Naumovich
2 Allauzen, Cyril
2 Asarin, Eugene
2 Aubrun, Nathalie
2 Bašić, Milan
2 Basset, Nicolas
2 Berstel, Jean
2 Boimond, Jean-Louis
2 Bonchi, Filippo
2 Bruyère, Véronique
2 Brzozowski, Janusz Antoni
2 Burderi, Fabio
2 Cecchi Bernales, Paulina
2 Chairungsee, Supaporn
2 De Felice, Clelia
2 de Souza, Rodrigo
2 Dima, Cătălin
2 Don, Henk
2 Dor-On, Adam
2 Durand, Fabien
2 Gauwin, Olivier
2 Gerdjikov, Stefan
2 Giambruno, Laura
2 Hansen, Helle Hvid
2 Heller, Pavel
2 Ibarra, Oscar H.
2 Jančić, Ivana
2 Jecker, Ismaël
2 König, Barbara
2 Kuich, Werner
2 Küpper, Sebastian
2 Lahaye, Sébastien
2 Lavallée, Sylvain
2 Leroy, Julien
2 Lombardy, Sylvain
2 Mairesse, Jean
2 Mantaci, Sabrina
2 Mazzocchi, Nicolas
2 McQuillan, Ian
2 Moreira, Nelma
2 Penland, Andrew
2 Petersen, Karl E.
2 Pissis, Solon P.
2 Prieur, Christophe
2 Reis, Rogério
2 Salama, Ibrahim A.
2 Schulz, Klaus U.
2 Servais, Frédéric
2 Shallit, Jeffrey O.
2 Shin, Sujin
2 Simonsen, Jakob Grue
2 Vorel, Vojtěch
2 Wu, Yuliang
2 Xu, Zhi
2 Zantema, Hans
1 Aistleitner, Christoph
1 Amir, Amihood
1 Arulprakasam, R.
1 Bárány, Vince
1 Barth, Joseph
1 Baschenis, Félix
1 Bates, Teresa
1 Becher, Verónica
...and 124 more Authors
all top 5

Cited in 60 Serials

51 Theoretical Computer Science
14 Information and Computation
12 International Journal of Foundations of Computer Science
6 Journal of Computer and System Sciences
6 RAIRO. Theoretical Informatics and Applications
4 Acta Informatica
4 International Journal of Algebra and Computation
3 Advances in Applied Mathematics
3 Ergodic Theory and Dynamical Systems
3 Theory of Computing Systems
3 Logical Methods in Computer Science
3 RAIRO. Theoretical Informatics and Applications
2 Discrete Applied Mathematics
2 Information Processing Letters
2 Journal of Mathematical Physics
2 Fuzzy Sets and Systems
2 Information Sciences
2 Journal of Algebra
2 Journal of Combinatorial Theory. Series A
2 Transactions of the American Mathematical Society
2 Discrete Event Dynamic Systems
2 Journal of Theoretical Biology
1 Discrete Mathematics
1 Israel Journal of Mathematics
1 Journal of Statistical Physics
1 Nonlinearity
1 Algebra Universalis
1 Journal of Differential Equations
1 Journal of Functional Analysis
1 Journal of Pure and Applied Algebra
1 Monatshefte für Mathematik
1 Notre Dame Journal of Formal Logic
1 Topology and its Applications
1 Journal of Theoretical Probability
1 SIAM Journal on Discrete Mathematics
1 Proceedings of the Royal Society of Edinburgh. Section A. Mathematics
1 RAIRO. Informatique Théorique et Applications
1 Indagationes Mathematicae. New Series
1 International Journal of Bifurcation and Chaos in Applied Sciences and Engineering
1 Cybernetics and Systems Analysis
1 Journal of Algebraic Combinatorics
1 Discrete and Continuous Dynamical Systems
1 Taiwanese Journal of Mathematics
1 Soft Computing
1 Algebras and Representation Theory
1 The Journal of Logic and Algebraic Programming
1 Journal of the Australian Mathematical Society
1 Comptes Rendus. Mathématique. Académie des Sciences, Paris
1 Computational Biology and Chemistry
1 Journal of Discrete Algorithms
1 Journal of Statistical Mechanics: Theory and Experiment
1 Journal of Noncommutative Geometry
1 Algorithms
1 International Journal of Combinatorics
1 Applied General Topology
1 Iranian Journal of Mathematical Sciences and Informatics
1 Computer Science Review
1 ISRN Biomathematics
1 Journal of Algebra, Combinatorics, Discrete Structures and Applications
1 Prikladnaya Diskretnaya Matematika

Citations by Year