| Current teams : | ACASA ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MOCAH MoVe NPA PEQUAN PolSys QI RO SMA SYEL |
| Former team : | Phare |
| Publications MoVe | 2017 | 2018 | 2019 | 2020 | 2021 | 2022 | 2023 | Total |
|---|---|---|---|---|---|---|---|---|
| Books | 0 | 0 | 0 | 1 | 6 | 2 | 0 | 9 |
| Edited books | 3 | 3 | 3 | 0 | 0 | 0 | 0 | 9 |
| Journal articles | 8 | 5 | 5 | 7 | 6 | 6 | 0 | 37 |
| Book chapters | 1 | 0 | 2 | 0 | 0 | 1 | 0 | 4 |
| Conference papers | 22 | 21 | 18 | 13 | 5 | 6 | 2 | 87 |
| Habilitations | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 2 |
| Theses | 0 | 0 | 3 | 1 | 2 | 0 | 1 | 7 |
- A. Brygoo, T. Durand, M. Pelletier, Ch. Queinnec, M. Soria : “Programmation Récursive (en Scheme)”, (Dunod), (ISBN: 978-2-10-007479-2) [Brygoo 2004]
- M.‑P. Gervais, V. Vèque : “Nouveaux protocoles pour l'internet”, vol. 23 (5-6), Technique et science informatiques [Gervais 2004]
- F. Kordon, M. Lemoine : “Formal Methods for Embedded Distributed Systems : How to Master the Complexity ?”, (Kluwer Academic Publishing) [Kordon 2004b]