| Current teams : | ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MOCAH MoVe NPA PEQUAN PolSys QI RO SMA SYEL |
| Publications APR | 2023 | 2024 | 2025 | Total |
|---|---|---|---|---|
| Books | 0 | 0 | 0 | 0 |
| Edited books | 0 | 0 | 0 | 0 |
| Journal articles | 10 | 5 | 0 | 15 |
| Book chapters | 0 | 0 | 0 | 0 |
| Conference papers | 7 | 10 | 0 | 17 |
| Habilitations | 1 | 0 | 0 | 1 |
| Thesis | 2 | 2 | 0 | 4 |
- S. Abbes, J. Mairesse : “Uniform and Bernoulli measures on the boundary of trace monoids”, Journal of Combinatorial Theory, Series A, vol. 135, pp. 201-236, (Elsevier) [Abbes 2015a]
- J. Bertrane, P. Cousot, R. Cousot, J. Feret, L. Mauborgne, A. Miné, X. Rival : “Static Analysis and Verification of Aerospace Software by Abstract Interpretation”, Foundations and Trends in Programming Languages, vol. 2 (2-3), pp. 71-190, (Now Publishers) [Bertrane 2015]
- O. Bodini, A. Genitrini, N. Rolin : “Pointed versus Singular Boltzmann Samplers: a Comparative Analysis”, Pure Mathematics and Applications, vol. 25 (2), pp. 115-131 [Bodini 2015c]
- M. Boroujeni, A. Basiri, S. Rahmany, A. Valibouze : “F4-invariant Algorithm for Computing SAGBI-Gröbner Bases”, Theoretical Computer Science, vol. 573, pp. 54-62, (Elsevier) [Boroujeni 2015a]
- M. Boroujeni, A. Basiri, S. Rahmany, A. Valibouze : “Solving Fuzzy Systems in Dual Form using Wu's Method”, International Journal of Fuzzy Systems, vol. 17 (3), pp. 280-291, (Taiwan Fuzzy Systems Association) [Boroujeni 2015b]
- R. Demangeon, K. Honda, R. Hu, R. Neykova, N. Yoshida : “Practical interruptible conversations: Distributed dynamic verification with multiparty session types and Python”, Formal Methods in System Design, pp. 1-29, (Springer Verlag) [Demangeon 2015a]
- L. Ducos, A. Valibouze, Ih. Yengui : “Computing syzygies over V[X_1,…,X_k], V a valuation domain”, Journal of Algebra, vol. 425, Computational Section, pp. 133–145, (Elsevier) [Ducos 2015]
- A. Genitrini, B. Gittenberger, V. Kraus, C. Mailler : “Associative and commutative tree representations for Boolean functions”, Theoretical Computer Science, vol. 570, pp. 70-101, (Elsevier) [Genitrini 2015]
- P. Guillon, Z. Izhakian, J. Mairesse, G. Merlet : “The ultimate rank of tropical matrices”, Journal of Algebra, vol. 437, pp. 222-248, (Elsevier) [Guillon 2015]
- Ch. Queinnec : “Les Tours de Hanoï : un problème classique de récursion”, Interstices, (INRIA) [Queinnec 2015]
- C. Urban, A. Miné : “Inference of ranking functions for proving temporal properties by abstract interpretation”, Computer Languages, Systems and Structures, (Elsevier) [Urban 2015]