APR - Jornais

Publicações APR	2021	2022	2023	2024	2025	Total
Livros	1	0	0	0	0	1
Livros Editados	0	0	0	0	0	0
Jornais	5	6	10	5	2	28
Capítulos de livros	2	0	0	0	0	2
Artigos de Conferencia	12	11	7	10	5	45
Habilitações (Livre Docência)	1	0	1	0	0	2
Teses	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]