Gruppi di ricerca attuali : | ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MOCAH MoVe NPA PEQUAN PolSys QI RO SMA SYEL |
Gruppo precedente : | ACASA |
Pubblicazioni APR | 2023 | 2024 | Total |
---|---|---|---|
Libri | 0 | 0 | 0 |
Curatele di libri | 0 | 0 | 0 |
Articoli su rivista | 10 | 0 | 10 |
Capitoli di libri | 0 | 0 | 0 |
Articoli su atti di conferenza | 7 | 2 | 9 |
Abilitazioni | 1 | 0 | 1 |
Tesi | 2 | 0 | 2 |
- 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]