Recherche - Archive ouverte HAL Accéder directement au contenu

Filtrer vos résultats

17 résultats

On the finiteness problem for automaton (semi)groups

Ali Akhavi , Ines Klimann , Sylvain Lombardy , Jean Mairesse , Matthieu Picantin
International Journal of Algebra and Computation, 2012, 22 (06), pp.1250052.1-1250052.26. ⟨10.1142/S021819671250052X⟩
Article dans une revue hal-00695445v1

Uniform and Bernoulli measures on the boundary of trace monoids

Samy Abbes , Jean Mairesse
Journal of Combinatorial Theory, Series A, 2015, 135, pp.201-236. ⟨10.1016/j.jcta.2015.05.003⟩
Article dans une revue hal-01158021v1
Image document

Médiation en sciences du numériques : un levier pour comprendre notre quotidien ?

Sylvie Alayrangues , Gilles Dowek , Erwan Kerrien , Jean Mairesse , Thierry Viéville
Science & You, Jun 2015, Nancy, France
Communication dans un congrès hal-01211457v2
Image document

A product form and a sub-additive theorem for the general stochastic matching model

Pascal Moyal , Ana Bušić , Jean Mairesse
2017
Pré-publication, Document de travail hal-01672482v1

Uniform sampling for networks of automata

Nicolas Basset , Jean Mairesse , Michèle Soria
CONCUR 2017 28th International Conference on Concurrency Theory, Sep 2017, Berlin, Germany
Communication dans un congrès hal-01545936v1

Around probabilistic cellular automata

Jean Mairesse , Irène Marcovici
Theoretical Computer Science, 2014, 559, pp.42-72. ⟨10.1016/j.tcs.2014.09.009⟩
Article dans une revue hal-01194762v1

Stability of the stochastic matching model

Jean Mairesse , Pascal Moyal
Journal of Applied Probability, 2016, 54 (3), pp.1064-1077. ⟨10.1017/jpr.2016.65⟩
Article dans une revue hal-01483036v1
Image document

Probabilistic cellular automata, invariant measures, and perfect sampling

Ana Bušić , Jean Mairesse , Irène Marcovici
Symposium on Theoretical Aspects of Computer Science (STACS2011), Mar 2011, Dortmund, Germany. pp.296-307
Communication dans un congrès hal-00573640v1

The ultimate rank of tropical matrices

Pierre Guillon , Zur Izhakian , Jean Mairesse , Glenn Merlet
Journal of Algebra, 2015, 437, pp.222-248. ⟨10.1016/j.jalgebra.2015.02.026⟩
Article dans une revue hal-01194760v1

Synthesis and Analysis of Product-form Petri Nets

Serge Haddad , Jean Mairesse , Hoang-Thach Nguyen
Fundamenta Informaticae, 2013, 122 (1-2), pp.147-172. ⟨10.3233/FI-2013-786⟩
Article dans une revue hal-00925774v1

Probabilistic cellular automata and random fields with i.i.d. directions

Jean Mairesse , Irène Marcovici
2012
Pré-publication, Document de travail hal-00727312v1

Uniform Sampling of Subshifts of Finite Type on Grids and Trees

Jean Mairesse , Irène Marcovici
International Journal of Foundations of Computer Science, 2017, 28 (3), pp.263-287. ⟨10.1142/S0129054117500174⟩
Article dans une revue hal-01483044v1

Uniform Generation in Trace Monoids

Samy Abbes , Jean Mairesse
Mathematical Foundations of Computer Science 2015, Aug 2015, Milan, Italy. pp.63-75, ⟨10.1007/978-3-662-48057-1_5⟩
Communication dans un congrès hal-01328454v1

Deciding the sequentiality of a finitely ambiguous max-plus automaton

Ines Klimann , Sylvain Lombardy , Jean Mairesse , Christophe Prieur
7th International Conference on Developments in Language Theory (DLT 2003), Jul 2003, Szeged, Hungary, Hungary. pp.373-385
Communication dans un congrès hal-00620031v1

Density classification on infinite lattices and trees

Ana Bušić , Nazim Fatès , Jean Mairesse , Irène Marcovici
2011
Pré-publication, Document de travail hal-00643468v1

Reversibility and further properties of FCFS infinite bipartite matching

Ivo Adan , Ana Bušić , Jean Mairesse , Gideon Weiss
Mathematics of Operations Research, 2018, 43 (2), pp.347-692. ⟨10.1287/moor.2017.0874⟩
Article dans une revue hal-01273897v1

Uniform measures on braid monoids and dual braid monoids

Samy Abbes , Sébastien Gouëzel , Vincent Jugé , Jean Mairesse
Journal of Algebra, 2017, 473 (1), pp.627-666. ⟨10.1016/j.jalgebra.2016.11.015⟩
Article dans une revue hal-01344669v1