| Подразделения : | 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 | 4 | 16 |
| Статьи | 0 | 0 | 0 |
| Статьи конференций | 23 | 16 | 39 |
| Хабилитации | 0 | 0 | 0 |
| Thesis | 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]