现有科研组 : | ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MOCAH MoVe NPA PEQUAN PolSys QI RO SMA SYEL |
以前科研组 : | ACASA |
刊物 APR | 2023 | 2024 | Total |
---|---|---|---|
书籍 | 0 | 0 | 0 |
参考书目 | 0 | 0 | 0 |
刊物文章 | 10 | 0 | 10 |
书籍章节 | 0 | 0 | 0 |
会议文章 | 7 | 3 | 10 |
特许任教资格 | 1 | 0 | 1 |
博士论文 | 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]