Current teams : | ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MOCAH MoVe NPA PEQUAN PolSys QI RO SMA SYEL |
Publications NPA | 2023 | 2024 | 2025 | Total |
---|---|---|---|---|
Books | 0 | 0 | 0 | 0 |
Edited books | 0 | 0 | 0 | 0 |
Journal articles | 12 | 4 | 1 | 17 |
Book chapters | 0 | 0 | 0 | 0 |
Conference papers | 23 | 23 | 2 | 48 |
Habilitations | 0 | 0 | 0 | 0 |
Thesis | 5 | 0 | 0 | 5 |
- X. Défago, M. Potop‑Butucaru, S. Tixeuil : “Fault-Tolerant Mobile Robots”, chapter in Distributed Computing by Mobile Entities, vol. 11340, Lecture Notes in Computer Science, pp. 234-251, (Springer) [Défago 2019b]
- M. Potop‑Butucaru, N. Sznajder, S. Tixeuil, X. Urbain : “Formal Methods for Mobile Robots”, chapter in Distributed Computing by Mobile Entities,Current Research in Moving and Computing n°11340, Theoretical Computer Science and General Issues, pp. 278-313, (Springer International Publishing), (ISBN: 978-3-030-11071-0) [Potop-Butucaru 2019]