APR - Artículos de revistas

Publicaciones APR	2021	2022	2023	2024	2025	Total
Libros	1	0	0	0	0	1
Libros editados	0	0	0	0	0	0
Artículos de revistas	5	6	10	5	2	28
Capítulos de libros	2	0	0	0	0	2
Documentos de conferencias	12	11	7	10	5	45
Habilitaciones	1	0	1	0	0	2
Tesis	3	3	2	2	1	11

S. Abbes, S. Gouëzel, V. Jugé, J. Mairesse : “Uniform measures on braid monoids and dual braid monoids”, Journal of Algebra, vol. 473 (1), pp. 627-666, (Elsevier) [Abbes 2017]
O. Bodini, A. Genitrini, N. Rolin : “Extended boxed product and application to synchronized trees”, Electronic Notes in Discrete Mathematics, vol. 59, pp. 189-202, (Elsevier) [Bodini 2017a]
R. Demangeon, L. Bocchi, N. Yoshida, T.‑Ch. Chen, K. Honda : “Monitoring networks through multiparty session types”, Theoretical Computer Science, vol. 669, pp. 33-58, (Elsevier) [Demangeon 2017]
J. Mairesse, I. Marcovici : “Uniform Sampling of Subshifts of Finite Type on Grids and Trees”, International Journal of Foundations of Computer Science, vol. 28 (3), pp. 263-287, (World Scientific Publishing) [Mairesse 2017]
A. Miné : “Tutorial on Static Inference of Numeric Invariants by Abstract Interpretation”, Foundations and Trends in Programming Languages, vol. 4 (3-4), pp. 120-372, (Now Publishers) [Miné 2017b]