NPA - Articoli su rivista

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	3	66
Capitoli di libri	1	1	6	0	2	0	10
Articoli su atti di conferenza	42	44	32	26	28	2	174
Abilitazioni	0	1	0	1	0	0	2
Tesi	3	6	6	3	1	1	20

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]