Gruppi di ricerca attuali :	ACASA ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MLIA MOCAH MoVe NPA PEQUAN Phare PolSys QI RO SMA SYEL Whisper
Gruppi precedenti :	AnimatLab MALIRE REGAL SALSA SPI SPIRAL
Argomenti di ricerca precedenti :	ANP APA ASIM CALFOR OASIS RP SPI SRC SYSDEF

Pubblicazioni NPA	2015	2016	2017	2018	2019	2020	Total
Libri	0	0	0	0	0	0	0
Curatele di libri	3	4	2	0	2	0	11
Articoli su rivista	15	13	14	13	8	0	63
Capitoli di libri	1	1	6	0	2	0	10
Articoli su atti di conferenza	42	44	32	26	27	0	171
Abilitazioni	0	1	0	1	0	0	2
Tesi	3	6	6	3	1	0	19

LIP6

• Th. Balabonski, A. Delga, L. Rieg, S. Tixeuil, X. Urbain : “Synchronous Gathering without Multiplicity Detection: a Certified Algorithm”, Theory of Computing Systems, vol. 63 (2), pp. 200-218, (Springer Verlag) [Balabonski 2019a]
• E. Bampas, L. Blin, J. Czyzowicz, D. Ilcinkas, A. Labourel, M. Potop‑Butucaru, S. Tixeuil : “On asynchronous rendezvous in general graphs”, Theoretical Computer Science, vol. 753, pp. 80-90, (Elsevier) [Bampas 2019]
• S.‑E. Belouanas, K. Thai, P. Spathis, M. Dias de Amorim : “Mobility-assisted offloading in centrally-coordinated cellular networks”, Journal of Network and Computer Applications, vol. 128, pp. 1-10, (Elsevier) [Belouanas 2019]
• S. Bonomi, A. Del Pozzo, M. Potop‑Butucaru, S. Tixeuil : “Approximate Agreement under Mobile Byzantine Faults”, Theoretical Computer Science, vol. 758, pp. 17-29, (Elsevier) [Bonomi 2019a]
• S. Bonomi, G. Farina, S. Tixeuil : “Multi-hop Byzantine reliable broadcast with honest dealer made practical”, Journal of the Brazilian Computer Society, vol. 25 (1), (Springer Verlag) [Bonomi 2019b]
• Q. Bramas, D. Foreback, M. Nesterenko, S. Tixeuil : “Packet Efficient Implementation of the Omega Failure Detector”, Theory of Computing Systems, vol. 63 (2), pp. 237-260, (Springer Verlag) [Bramas 2019a]
• S. Devismes, A. Lamani, F. Petit, S. Tixeuil : “Optimal torus exploration by oblivious robots”, Computing, vol. 101 (9), pp. 1241-1264, (Springer Verlag) [Devismes 2019]
• A. Sangnier, N. Sznajder, M. Potop‑Butucaru, S. Tixeuil : “Parameterized verification of algorithms for oblivious robots on a ring”, Formal Methods in System Design, (Springer Verlag) [Sangnier 2019]