Livres
Éditions de livres
Articles de revues
Chapitres de livres
Conférences
Autres Publications
Habilitations
Thèses
Équipes actuelles : ACASA ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MLIA MOCAH MoVe NPA PEQUAN Phare PolSys QI RO SMA SYEL Whisper
Anciennes équipes : AnimatLab MALIRE REGAL SALSA SPI SPIRAL
Anciens thèmes : ANP APA ASIM CALFOR OASIS RP SPI SRC SYSDEF
Publications NPA201420152016201720182019Total
Livres0000000
Éditions de livres0342009
Articles de revues1015131410365
Chapitres de livres0115029
Conférences36414430233177
Habilitations0010102
Thèses73663025
LIP6
  • 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 2019]
  • 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]
 Mentions légales
Carte du site |