| 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 | 0 | 16 |
| Book chapters | 0 | 0 | 0 | 0 |
| Conference papers | 23 | 21 | 0 | 44 |
| Habilitations | 0 | 0 | 0 | 0 |
| Thesis | 5 | 0 | 0 | 5 |
- C. Auger, Z. Bouzid, P. Courtieu, S. Tixeuil, X. Urbain : “Certified Impossibility Results for Byzantine-Tolerant Mobile Robots”, [Auger 2013b]
- B. Bérard, L. Millet, M. Potop‑Butucaru, Y. Thierry‑Mieg, S. Tixeuil : “Formal verification of Mobile Robot Protocols”, [Bérard 2013d]
- L. Blin, Sh. Dolev, M. Gradinariu Potop‑Butucaru, S. Rovedakis : “Fast Self-Stabilizing Minimum Spanning Tree Construction Using Compact Nearest Common Ancestor Labeling Scheme”, [Blin 2013e]
- Ch. Marsden, A. Powell, E. Pavan, M. Marzouki : “D4.1 Outline Overviews of Tasks R4.1-R4.4: Regulatory and governance methodologies”, [Marsden 2013]
- A. Maurer, S. Tixeuil : “On Byzantine Broadcast in Planar Graphs”, [Maurer 2013c]
- D. Neves da Hora, M. Najafabadi, A.‑K. Pietilainen, R. Teixeira : “Predicting User Dissatisfaction with Application Performance on Home Gateways”, [Neves da Hora 2013]
- Th. Parmentelat, J. Augé, L. Baron, M. Larabi, N. Mouratidis, H. Niavis, M. Rahman, Th. Rakotoarivelo, F. Schreiner, D. Stavropoulos, Ch. Tranoris, A. Willner : “Control plane extension - Status of the SFA deployment”, [Parmentelat 2013]
- S. Sundaresan, N. Feamster, R. Teixeira, Y. Grunenberger, D. Papagiannaki, D. Levin : “Characterizing Home Network Performance Problems”, [Sundaresan 2013b]