الوحدات الحالية : | ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MOCAH MoVe NPA PEQUAN PolSys QI RO SMA SYEL |
الفـرق السـابـقــة : | ACASA |
إصدارات NPA | 2023 | 2024 | Total |
---|---|---|---|
كتـب | 0 | 0 | 0 |
إصدار كـتب | 0 | 0 | 0 |
مـنشـورات في مـجلات | 12 | 1 | 13 |
فصـول في كـتب | 0 | 0 | 0 |
منشورات | 23 | 2 | 25 |
تراخيص | 0 | 0 | 0 |
مـذكرات | 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]