| Current teams : | ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MOCAH MoVe NPA PEQUAN PolSys QI RO SMA SYEL |
| Publications MoVe | 2023 | 2024 | 2025 | Total |
|---|---|---|---|---|
| Books | 0 | 0 | 0 | 0 |
| Edited books | 0 | 1 | 0 | 1 |
| Journal articles | 2 | 2 | 0 | 4 |
| Book chapters | 0 | 0 | 0 | 0 |
| Conference papers | 8 | 9 | 2 | 19 |
| Habilitations | 0 | 0 | 0 | 0 |
| Thesis | 2 | 3 | 0 | 5 |
- F. Kordon : “Ada”, [Kordon 2017]
- A. Sangnier, N. Sznajder, M. Potop‑Butucaru, S. Tixeuil : “Parameterized Verification of Algorithms for Oblivious Robots on a Ring”, [Sangnier 2017a]