moteur de recherche

Marie-Pierre BÉAL

Professeur des universités

Présentation :

http://igm.univ-mlv.fr/~beal/

Localisation :

UPEM

Bâtiment UPEM Copernic 4B083 - 01 60 95 75 67

Contact :

marie-pierre.beal (at) u-pem.fr

Pôle :

MOA

Publications en revues avec comité de lecture

Publications HAL de Béal de la collection CV_LIGM

2014

ref_biblio
Marie-Pierre Béal, Dominique Perrin. A quadratic algorithm for road coloring. Discrete Applied Mathematics, Elsevier, 2014, 169 (-), pp.15-29. <10.1016/j.dam.2013.12.002>. <hal-00627821v2>
Accès au texte intégral et bibtex
https://hal-upec-upem.archives-ouvertes.fr/hal-00627821/file/roadJournalV3.pdf BibTex

2013

ref_biblio
Nathalie Aubrun, Marie-Pierre Béal. Sofic Tree-Shifts. Theory of Computing Systems, Springer Verlag, 2013, 53 (4), pp.621-644. <10.1007/s00224-013-9456-1>. <hal-00627797v2>
Accès au texte intégral et bibtex
https://hal-upec-upem.archives-ouvertes.fr/hal-00627797/file/TOCS2012.pdf BibTex

2012

ref_biblio
Nathalie Aubrun, Marie-Pierre Béal. Tree-shifts of finite type. Theoretical Computer Science, Elsevier, 2012, 459, pp.16-25. <10.1016/j.tcs.2012.07.020>. <hal-00627800>
Accès au texte intégral et bibtex
https://hal-upec-upem.archives-ouvertes.fr/hal-00627800/file/HAL.pdf BibTex

2011

ref_biblio
Marie-Pierre Béal, Maxime Crochemore, Bruce Moision, Paul Siegel. Periodic-Finite-Type Shift Spaces. IEEE Transactions on Information Theory, Institute of Electrical and Electronics Engineers, 2011, 57 (6), pp.3677-3691. <hal-00619782>
Accès au texte intégral et bibtex
https://hal-upec-upem.archives-ouvertes.fr/hal-00619782/file/Periodic-Finite-Type_Shift_Spaces.pdf BibTex
ref_biblio
Marie-Pierre Béal, Mikhail V. Berlinkov, Dominique Perrin. A quadratic upper bound on the size of a synchronizing word in one-cluster automata. International Journal of Foundations of Computer Science, World Scientific Publishing, 2011, 22 (2), pp.277-288. <10.1142/S0129054111008039>. <hal-00619778>
Accès au texte intégral et bibtex
https://hal-upec-upem.archives-ouvertes.fr/hal-00619778/file/cernyJournalFinal.pdf BibTex

2010

ref_biblio
Marie-Pierre Béal, Sylvain Lombardy, Dominique Perrin. Embeddings of local automata. Illinois Journal of Mathematics, 2010, 54 (1), pp.155-174. <hal-00619770>
Accès au texte intégral et bibtex
https://hal-upec-upem.archives-ouvertes.fr/hal-00619770/file/hal.pdf BibTex

2009

ref_biblio
Marie-Pierre Béal, Fabio Burderi, Antonio Restivo. Coding partitions of regular sets. International Journal of Algebra and Computation, World Scientific Publishing, 2009, 19 (8), pp.1011-1023. <10.1142/S0218196709005457>. <hal-00826118>
Accès au bibtex
BibTex
ref_biblio
Marie-Pierre Béal, Dominique Perrin. Completing codes in a sofic shift. Theoretical Computer Science, Elsevier, 2009, 410 (43), pp.4423-4431. <hal-00619734>
Accès au texte intégral et bibtex
https://hal-upec-upem.archives-ouvertes.fr/hal-00619734/file/hal.pdf BibTex

2008

ref_biblio
Marie-Pierre Béal, Eugen Czeizler, Jarkko Kari, Dominique Perrin. Unambiguous automata. Mathematics in Computer Science, Springer, 2008, 1 (4), pp.625-638. <hal-00619733>
Accès au bibtex
BibTex

2006

ref_biblio
Marie-Pierre Béal, Francesca Fiorenzi, Dominique Perrin. The syntactic graph of a sofic shift is invariant under shift equivalence. International Journal of Algebra and Computation, World Scientific Publishing, 2006, 16 (3), pp.443-460. <hal-00619735>
Accès au texte intégral et bibtex
https://hal-upec-upem.archives-ouvertes.fr/hal-00619735/file/hal.pdf BibTex
ref_biblio
Marie-Pierre Béal, Dominique Perrin. Codes, unambiguous automata and sofic systems. Theoretical Computer Science, Elsevier, 2006, 356 (1-2), pp.6-13. <hal-00619226>
Accès au texte intégral et bibtex
https://hal-upec-upem.archives-ouvertes.fr/hal-00619226/file/hal.pdf BibTex

2005

ref_biblio
Marie-Pierre Béal, Francesca Fiorenzi, Filippo Mignosi. Minimal forbidden patterns of multi-dimensional shifts. International Journal of Algebra and Computation, World Scientific Publishing, 2005, 15 (1), pp.73-93. <hal-00619224>
Accès au bibtex
BibTex
ref_biblio
Marie-Pierre Béal, Maxime Crochemore, Gabriele Fici. Presentations of constrained systems with unconstrained positions. IEEE Transactions on Information Theory, Institute of Electrical and Electronics Engineers, 2005, 51 (5), pp.1891-1900. <hal-00619692>
Accès au texte intégral et bibtex
https://hal-upec-upem.archives-ouvertes.fr/hal-00619692/file/hal.pdf BibTex
ref_biblio
Marie-Pierre Béal, Francesca Fiorenzi, Dominique Perrin. A hierarchy of shift equivalent sofic shifts. Theoretical Computer Science, Elsevier, 2005, 345 (2-3), pp.390-205. <hal-00619229>
Accès au bibtex
BibTex
ref_biblio
Marie-Pierre Béal, Dominique Perrin. Codes and sofic constraints. Theoretical Computer Science, Elsevier, 2005, 340 (2), pp.381-393. <hal-00619227>
Accès au texte intégral et bibtex
https://hal-upec-upem.archives-ouvertes.fr/hal-00619227/file/hal.pdf BibTex

2004

ref_biblio
Marie-Pierre Béal, Anne Bergeron, Sylvie Corteel, Mathieu Raffinot. An algorithmic view of gene teams. Theoretical Computer Science, Elsevier, 2004, 320 (2-4), pp.395-418. <hal-00619206>
Accès au texte intégral et bibtex
https://hal-upec-upem.archives-ouvertes.fr/hal-00619206/file/hal.pdf BibTex
ref_biblio
Marie-Pierre Béal, Olivier Carton. Determinization of transducers over infinite words: the general case. Theory of Computing Systems, Springer Verlag, 2004, 37 (4), pp.483-502. <hal-00162483>
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00162483/file/det2.pdf BibTex
ref_biblio
Marie-Pierre Béal, Olivier Carton. Determinization of transducers over infinite words: the general case. Theory of Computing Systems, Springer Verlag, 2004, 37 (4), pp.483-502. <hal-00619205>
Accès au texte intégral et bibtex
https://hal-upec-upem.archives-ouvertes.fr/hal-00619205/file/hal.pdf BibTex

2003

ref_biblio
Marie-Pierre Béal, Dominique Perrin. On the generating sequences of regular languages on k-symbols. J. of the Association for Computing Machinery, 2003, 50 (6), pp.955-980. <10.1145/950620.950625>. <hal-00619228>
Accès au texte intégral et bibtex
https://hal-upec-upem.archives-ouvertes.fr/hal-00619228/file/kaire.pdf BibTex
ref_biblio
Marie-Pierre Béal. Extensions of the method of poles for code construction. IEEE Transactions on Information Theory, Institute of Electrical and Electronics Engineers, 2003, 49 (6), pp.1516-1523. <hal-00619207>
Accès au texte intégral et bibtex
https://hal-upec-upem.archives-ouvertes.fr/hal-00619207/file/hal.pdf BibTex
ref_biblio
Marie-Pierre Béal, Olivier Carton, Christophe Prieur, Jacques Sakarovitch. Squaring transducers: An efficient procedure for deciding functionality and sequentiality. Theoretical Computer Science, Elsevier, 2003, 292 (1), pp.45-63. <hal-00619218>
Accès au bibtex
BibTex
ref_biblio
Marie-Pierre Béal, Maxime Crochemore, Filippo Mignosi, Antonio Restivo, Marinella Sciortino. Computing forbidden words of regular languages. Fundamenta Informaticae, Polskie Towarzystwo Matematyczne, 2003, 56 (1-2), pp.121-135. <hal-00619223>
Accès au bibtex
BibTex

2002

ref_biblio
Marie-Pierre Béal, Dominique Perrin. A weak equivalence between shifts of finite type. Advances in Applied Mathematics, Elsevier, 2002, 29 (2), pp.162-171. <hal-00619322>
Accès au texte intégral et bibtex
https://hal-upec-upem.archives-ouvertes.fr/hal-00619322/file/hal.pdf BibTex
ref_biblio
Marie-Pierre Béal, Olivier Carton. Determinization of transducers over finite and infinite words. Theoretical Computer Science, Elsevier, 2002, 289 (1), pp.225-251. <hal-00619203>
Accès au texte intégral et bibtex
https://hal-upec-upem.archives-ouvertes.fr/hal-00619203/file/hal.pdf BibTex

2000

ref_biblio
Marie-Pierre Béal, Olivier Carton. Computing the prefix of an automaton. Informatique Théorique et Applications, 2000, 34 (6), pp.503-514. <hal-00619217>
Accès au texte intégral et bibtex
https://hal-upec-upem.archives-ouvertes.fr/hal-00619217/file/hal.pdf BibTex
ref_biblio
Marie-Pierre Béal, Olivier Carton. Asynchronous sliding block maps. Informatique Théorique et Applications, 2000, 34 (2), pp.139-156. <hal-00619216>
Accès au texte intégral et bibtex
https://hal-upec-upem.archives-ouvertes.fr/hal-00619216/file/hal.pdf BibTex
ref_biblio
Marie-Pierre Béal, F. Mignosi, A. Restivo, M. Sciortino. Forbidden words in symbolic dynamics. Advances in Applied Mathematics, Elsevier, 2000, 25 (2), pp.163-193. <hal-00619230>
Accès au bibtex
BibTex
ref_biblio
Frédérique Bassino, Marie-Pierre Béal, Dominique Perrin. A finite state version of the Kraft-McMillan theorem. SIAM Journal on Computing, Society for Industrial and Applied Mathematics, 2000, 30 (4), pp.1211-1230. <hal-00619334>
Accès au texte intégral et bibtex
https://hal-upec-upem.archives-ouvertes.fr/hal-00619334/file/hal.pdf BibTex

1999

ref_biblio
Frédérique Bassino, Marie-Pierre Béal, Dominique Perrin. Enumerative sequences of leaves and nodes in rational trees. Theoretical Computer Science, Elsevier, 1999, 221 (1-2), pp.41-60. <hal-00619336>
Accès au texte intégral et bibtex
https://hal-upec-upem.archives-ouvertes.fr/hal-00619336/file/hal.pdf BibTex

1998

ref_biblio
Marie-Pierre Béal, Jean Senellart. On the bound of the synchronization delay of a local automaton. Theoretical Computer Science, Elsevier, 1998, 205 (1-2), pp.297-306. <hal-00619330>
Accès au texte intégral et bibtex
https://hal-upec-upem.archives-ouvertes.fr/hal-00619330/file/hal.pdf BibTex

1995

ref_biblio
Marie-Pierre Béal. Puissance extérieure d'un automate déterministe, application au calcul de la fonction zêta d'un système sofique. Informatique Théorique et Applications, 1995, 29 (2), pp.85-103. <hal-00619196>
Accès au bibtex
BibTex

1994

ref_biblio
Jonathan Ashley, Marie-Pierre Béal. A note on the method of poles for code construction. IEEE Transactions on Information Theory, Institute of Electrical and Electronics Engineers, 1994, 40 (2), pp.512-517. <hal-00619195>
Accès au bibtex
BibTex

1990

ref_biblio
Marie-Pierre Béal. The method of poles: a coding method for constrained channels. IEEE Transactions on Information Theory, Institute of Electrical and Electronics Engineers, 1990, 36 (4), pp.763-772. <hal-00619197>
Accès au bibtex
BibTex

1988

ref_biblio
Marie-Pierre Béal. Codes circulaires, automates locaux et entropie. Theoretical Computer Science, Elsevier, 1988, 57 (2-3), pp.283-302. <hal-00619200>
Accès au bibtex
BibTex

1986

ref_biblio
Marie-Pierre Béal, Dominique Perrin. Une caractérisation des ensembles sofiques. C. R. Acad. Sci. Paris Sér. I Math., 1986, 303 (6), pp.255-257. <hal-00619328>
Accès au bibtex
BibTex

Publications en conférences avec actes

2012

ref_biblio
Marie-Pierre Béal, Jean-Marc Champarnaud, Jean-Philippe Dubernard, Hadrien Jeanne, Sylvain Lombardy. Decidability of Geometricity of Regular Languages. Hsu-Chun Yen and Oscar H. Ibarra. 16th International Conference, DLT 2012, 2012, Taipei, Taiwan. Springer, 7410, pp.62-72, 2012, <10.1007/978-3-642-31653-1_7>. <hal-00737688>
Accès au bibtex
ref_biblio
Eugene Asarin, Nicolas Basset, Marie-Pierre Béal, Aldric Degorre, Dominique Perrin. Toward a timed theory of channel coding. FORMATS, 2012, United Kingdom. pp.27-42, 2012, <10.1007/978-3-642-33365-1_4>. <hal-00793143>
Accès au bibtex

2010

ref_biblio
Nathalie Aubrun, Marie-Pierre Béal. Sofic and Almost of Finite Type Tree-Shifts. Mayr E.W. and Ablayev Farid. 5th International Computer Science Symposium in Russia (CSR'10), 2010, Russia. Springer-Verlag, pp.12-24, 2010, Lecture Notes in Computer Science. <hal-00620400>
Accès au bibtex

2009

ref_biblio
Marie-Pierre Béal, Dominique Perrin. A quadratic upper bound on the size of a synchronizing word in one-cluster automata. 13th International Conference on Developments in Language Theory (DLT 2009), Jun 2009, Stuttgart, Germany. Lecture Notes in Computer Science, 5583, pp.81-90, 2009, Developments in Language Theory 13th International Conference, DLT 2009, Stuttgart, Germany, June 30-July 3, 2009. Proceedings. <10.1007/978-3-642-02737-6_6>. <hal-00620310>
Accès au bibtex
ref_biblio
Nathalie Aubrun, Marie-Pierre Béal. Decidability of conjugacy of tree shifts of finite type. 36th International Colloquium on Automata, Languages and Programming (ICALP'09), Jul 2009, United States. Springer-Verlag, 5555, pp.132-143, 2009, Lecture Notes in Computer Science. <hal-00620305>
Accès au bibtex

2008

ref_biblio
Marie-Pierre Béal, Maxime Crochemore. Minimizing incomplete automata. Finite-State Methods and Natural Language Processing (FSMNLP'08), 2008, United States. pp.9-16, 2008, Joint Research Centre. <hal-00620274>
Accès au bibtex
ref_biblio
Marie-Pierre Béal, Sylvain Lombardy, Dominique Perrin. Embeddings of local automata. IEEE International Symposium on Information Theory (ISIT'08), Jul 2008, United States. pp.2351-2355, 2008. <hal-00620271>
Accès au bibtex

2007

ref_biblio
Marie-Pierre Béal, Maxime Crochemore. Minimizing local automata. Caire G. and Fossorier M. IEEE International Symposium on Information Theory (ISIT'07), 2007, France. IEEE Catalog, pp.1376-1380, 2007. <hal-00620130>
Accès au bibtex
ref_biblio
Marie-Pierre Béal, Fabio Burderi, Antonio Restivo. Coding partition: regularity, maximality and global ambiguity. Harju Tero and Karhumäki Juhani and Lepistö Arto. International Conference on Developments in Language Theory (DLT'07), 2007, Finland. Springer, 4588, pp.48-59, 2007, Lecture Notes in Computer Science. <hal-00620140>
Accès au bibtex

2006

ref_biblio
Marie-Pierre Béal, Sylvain Lombardy, Jacques Sakarovitch. Conjugacy and Equivalence of Weighted Automata and Functional Transducers. Grigoriev Dima and Harrison John and Hirsch Edward A. 1st International Computer Science Symposium in Russia (CSR 2006), Jun 2006, St. Petersburg, Russia. Springer-Verlag, 3967, pp.58-69, 2006, LNCS. <hal-00619855>
Accès au bibtex

2005

ref_biblio
Marie-Pierre Béal. Codes in symbolic systems. Developments in Language Theory, 11th International Conference, DLT 2005, 2005, France. <hal-00620450>
Accès au bibtex
ref_biblio
Marie-Pierre Béal, Sylvain Lombardy, Jacques Sakarovitch. On the equivalence of Z-automata. L Caires, G Italiano, L Monteiro, C Palamidessi, M Yung. 2005, Springer-Verlag, pp.397-409, 2005, LNCS 3580. <10.1007/11523468_33>. <hal-00017406>
Accès au bibtex

2004

ref_biblio
Marie-Pierre Béal, Francesca Fiorenzi, Dominique Perrin. The syntactic graph of a sofic shift. Diekert Volker and Habib Michel. 21st International Symposium on Theoretical Aspects of Computer Science (STACS 2004), Mar 2004, Montpellier, France. Springer-Verlag, 2296, pp.282-293, 2004, LNCS. <hal-00619853>
Accès au bibtex
ref_biblio
Marie-Pierre Béal, Francesca Fiorenzi, Dominique Perrin. A hierarchy of irreducible sofic shifts. 29th International Symposium on Mathematical Foundations of Computer Science 2004, 2004, Czech Republic. Springer-Verlag, 3153, pp.611-622, 2004, LNCS. <hal-00619854>
Accès au bibtex

2002

ref_biblio
Marie-Pierre Béal, Dominique Perrin. Complete codes in a sofic shift. Alt H. and Ferreira A. 19th International Symposium on Theoretical Aspects of Computer Science (STACS 2002), 2002, France. Springer-Verlag, 2285, pp.547-558, 2002, LNCS. <hal-00619856>
Accès au bibtex

2001

ref_biblio
Frédérique Bassino, Marie-Pierre Béal, Dominique Perrin. Length distributions and regular sequences. Rosenthal Joachim and Marcus Brian. Codes, systems, and graphical models (Minneapolis, MN, 1999), 2001, United States. Springer-Verlag, 123, pp.415-437, 2001, IMA Volumes in Mathematics and its Applications. <hal-00619863>
Accès au bibtex

2000

ref_biblio
Marie-Pierre Béal, Olivier Carton. Determinization of transducers over infinite words. Montanari U. 27thInternational Colloquium on Automata, Languages and Programming (ICALP 2000), 2000, Switzerland. Springer-Verlag, 1853, pp.561-570, 2000, LNCS. <hal-00619850>
Accès au bibtex
ref_biblio
Marie-Pierre Béal, Olivier Carton, Christophe Prieur, Jacques Sakarovitch. Squaring transducers: An efficient procedure for deciding functionality and sequentiality. Gonnet G. and Panario D. and Viola A. 4th Latin American Theoretical INformatics (LATIN'2000), Apr 2000, Punta del Este, Uruguay, Uruguay. Springer-Verlag, 1776, pp.407-416, 2000, LNCS. <hal-00619851>
Accès au bibtex

1998

ref_biblio
Frédérique Bassino, Marie-Pierre Béal, Dominique Perrin. Super-state automata and rational trees. Lucchesi C.L. and Moura A.V. 3rd Latin American Theoretical INformatics (LATIN'98), Apr 1998, Campinas, Brazil. Springer-Verlag, 1380, pp.42-52, 1998, LNCS. <hal-00619862>
Accès au bibtex

1997

ref_biblio
Frédérique Bassino, Marie-Pierre Béal, Dominique Perrin. Enumerative sequences of leaves in rational trees. International Colloquium on Automata, Languages and Programming (ICALP 1997), 1997, Italy. Springer-Verlag, 1256, pp.76-86, 1997, LNCS. <hal-00619864>
Accès au bibtex

1996

ref_biblio
Marie-Pierre Béal, Olivier Carton, Christophe Reutenauer. Cyclic languages and strongly cyclic languages. International Symposium on Theoretical Aspects of Computer Science (STACS 96), 1996, Grenoble, France. Springer-Verlag, 1046, pp.49-59, 1996, LNCS. <hal-00619852>
Accès au bibtex
ref_biblio
Marie-Pierre Béal, Filippo Mignosi, Antonio Restivo. Minimal forbidden words and symbolic dynamics. 13th International Symposium on Theoretical Aspects of Computer Science (STACS 96), 1996, France. Springer-Verlag, 1046, pp.555-566, 1996, LNCS. <hal-00619860>
Accès au bibtex