Équipes actuelles : | ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MOCAH MoVe NPA PEQUAN PolSys QI RO SMA SYEL |
Ancienne équipe : | ACASA |
Publications NPA | 2023 | 2024 | Total |
---|---|---|---|
Livres | 0 | 0 | 0 |
Éditions de livres | 0 | 0 | 0 |
Articles de revues | 11 | 1 | 12 |
Chapitres de livres | 0 | 0 | 0 |
Conférences | 23 | 2 | 25 |
Habilitations | 0 | 0 | 0 |
Thèses | 5 | 0 | 5 |
- Y. Amoussou‑Guenou, A. Del Pozzo, M. Potop‑Butucaru, S. Tucci‑Piergiovanni : “Correctness and Fairness of Tendermint-core Blockchains”, 1-29 pages [Amoussou-Guenou 2018b]
- Y. Amoussou‑Guenou, S. Baarir, M. Potop‑Butucaru, N. Sznajder, L. Tible, S. Tixeuil : “On the encoding and solving partial information games”, [Amoussou-Guenou 2018d]
- Th. Balabonski, P. Courtieu, R. Pelle, L. Rieg, S. Tixeuil, X. Urbain : “Continuous vs. Discrete Asynchronous Moves: a Certified Approach for Mobile Robots”, 1-12 pages [Balabonski 2018b]
- S. Bonomi, G. Farina, S. Tixeuil : “Reliable Broadcast in Dynamic Networks with Locally Bounded Byzantine Failures”, [Bonomi 2018d]
- D. Foreback, M. Nesterenko, S. Tixeuil : “Churn Possibilities and Impossibilities”, [Foreback 2018]