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

2016

ref_biblio
Marie-Pierre Béal, Michel Blockelet, Catalin Dima. Sofic-Dyck shifts. Theoretical Computer Science, Elsevier, 2016, 609, pp.226 - 244. ⟨10.1016/j.tcs.2015.09.027⟩. ⟨hal-01801266⟩
Accès au texte intégral et bibtex
https://hal-upec-upem.archives-ouvertes.fr/hal-01801266/file/soficDyckFinal.pdf BibTex
ref_biblio
Marie-Pierre Béal, Pavel Heller. Shifts of k-nested sequences . Theoretical Computer Science, Elsevier, 2016, 658, pp.18-26. ⟨hal-01790002⟩
Accès au texte intégral et bibtex
https://hal-upec-upem.archives-ouvertes.fr/hal-01790002/file/knested.pdf BibTex

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
ref_biblio
Nathalie Aubrun, Marie-Pierre Béal. Tree algebra of sofic tree languages. RAIRO - Theoretical Informatics and Applications (RAIRO: ITA), EDP Sciences, 2014, 48 (4), pp.431-451. ⟨hal-01789916⟩
Accès au texte intégral et bibtex
https://hal-upec-upem.archives-ouvertes.fr/hal-01789916/file/AubrunBeal_JM12.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, 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
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

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, 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
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

2005

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
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

2004

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
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

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, 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
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. 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

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

2017

ref_biblio
Marie-Pierre Béal, Pavel Heller. Generalized Dyck Shifts . CSR 2017 , 2017, Kazan, Russia. pp.99-111. ⟨hal-01790046⟩
Accès au bibtex

2014

ref_biblio
Marie-Pierre Béal, Michel Blockelet, Catalin Dima. Zeta functions of finite-type-Dyck shifts are N-algebraic. 2014 Information Theory and Applications Workshop, ITA 2014, San Diego, CA, USA, February 9-14, 2014, 2014, Unknown, Unknown Region. pp.1--8, ⟨10.1109/ITA.2014.6804286⟩. ⟨hal-01699936⟩
Accès au bibtex
ref_biblio
Marie-Pierre Béal, Michel Blockelet, Catalin Dima. Sofic-Dyck Shifts. Mathematical Foundations of Computer Science 2014 - 39th International Symposium, MFCS 2014, Budapest, Hungary, August 25-29, 2014. Proceedings, Part I, 2014, Budapest, Hungary. pp.63--74, ⟨10.1007/978-3-662-44522-8_6⟩. ⟨hal-01699932⟩
Accès au bibtex

2012

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, ⟨10.1007/978-3-642-33365-1_4⟩. ⟨hal-00793143⟩
Accès au bibtex
ref_biblio
Marie-Pierre Béal, Jean-Marc Champarnaud, Jean-Philippe Dubernard, Hadrien Jeanne, Sylvain Lombardy. Decidability of Geometricity of Regular Languages. 16th International Conference, DLT 2012, 2012, Taipei, Taiwan. pp.62-72, ⟨10.1007/978-3-642-31653-1_7⟩. ⟨hal-00737688⟩
Accès au bibtex

2010

ref_biblio
Nathalie Aubrun, Marie-Pierre Béal. Sofic and Almost of Finite Type Tree-Shifts. 5th International Computer Science Symposium in Russia (CSR'10), 2010, Russia. pp.12-24. ⟨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. pp.81-90, ⟨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. pp.132-143. ⟨hal-00620305⟩
Accès au bibtex

2008

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. ⟨hal-00620271⟩
Accès au bibtex
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. ⟨hal-00620274⟩
Accès au bibtex

2007

ref_biblio
Marie-Pierre Béal, Fabio Burderi, Antonio Restivo. Coding partition: regularity, maximality and global ambiguity. International Conference on Developments in Language Theory (DLT'07), 2007, Finland. pp.48-59. ⟨hal-00620140⟩
Accès au bibtex
ref_biblio
Marie-Pierre Béal, Maxime Crochemore. Minimizing local automata. IEEE International Symposium on Information Theory (ISIT'07), 2007, France. pp.1376-1380. ⟨hal-00620130⟩
Accès au bibtex

2006

ref_biblio
Marie-Pierre Béal, Sylvain Lombardy, Jacques Sakarovitch. Conjugacy and Equivalence of Weighted Automata and Functional Transducers. 1st International Computer Science Symposium in Russia (CSR 2006), Jun 2006, St. Petersburg, Russia. pp.58-69. ⟨hal-00619855⟩
Accès au bibtex

2005

ref_biblio
Marie-Pierre Béal, Sylvain Lombardy, Jacques Sakarovitch. On the equivalence of Z-automata. 2005, pp.397-409, ⟨10.1007/11523468_33⟩. ⟨hal-00017406⟩
Accès au bibtex
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

2004

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. pp.611-622. ⟨hal-00619854⟩
Accès au bibtex
ref_biblio
Marie-Pierre Béal, Francesca Fiorenzi, Dominique Perrin. The syntactic graph of a sofic shift. 21st International Symposium on Theoretical Aspects of Computer Science (STACS 2004), Mar 2004, Montpellier, France. pp.282-293. ⟨hal-00619853⟩
Accès au bibtex

2002

ref_biblio
Marie-Pierre Béal, Dominique Perrin. Complete codes in a sofic shift. 19th International Symposium on Theoretical Aspects of Computer Science (STACS 2002), 2002, France. pp.547-558. ⟨hal-00619856⟩
Accès au bibtex

2001

ref_biblio
Frédérique Bassino, Marie-Pierre Béal, Dominique Perrin. Length distributions and regular sequences. Codes, systems, and graphical models (Minneapolis, MN, 1999), 2001, United States. pp.415-437. ⟨hal-00619863⟩
Accès au bibtex

2000

ref_biblio
Marie-Pierre Béal, Olivier Carton. Determinization of transducers over infinite words. 27thInternational Colloquium on Automata, Languages and Programming (ICALP 2000), 2000, Switzerland. pp.561-570. ⟨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. 4th Latin American Theoretical INformatics (LATIN'2000), Apr 2000, Punta del Este, Uruguay, Uruguay. pp.407-416. ⟨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. 3rd Latin American Theoretical INformatics (LATIN'98), Apr 1998, Campinas, Brazil. pp.42-52. ⟨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. pp.76-86. ⟨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. pp.49-59. ⟨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. pp.555-566. ⟨hal-00619860⟩
Accès au bibtex