( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Parameterized verification of algorithms for oblivious robots on a ring.

, , , и . Formal Methods Syst. Des., 56 (1): 55-89 (2020)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Sébastien Tixeuil

Sébastien Beyou

Sébastien Lallé

Sébastien Carcanague

Sébastien Choplin

 

Другие публикации лиц с тем же именем

Autonomous Identification of IoT Device Types based on a Supervised Classification., , и . ICC, стр. 1-6. IEEE, (2020)Network-Protocol-Based IoT Device Identification., , и . FMEC, стр. 204-209. IEEE, (2019)Parameterized verification of algorithms for oblivious robots on a ring., , , и . Formal Methods Syst. Des., 56 (1): 55-89 (2020)Distributed Online Data Aggregation in Dynamic Graphs., , и . NETYS, том 11704 из Lecture Notes in Computer Science, стр. 365-380. Springer, (2019)Multi-hop Byzantine Reliable Broadcast Made Practical., , и . LADC, стр. 155-160. IEEE, (2018)Gathering on Rings for Myopic Asynchronous Robots With Lights., , , , и . OPODIS, том 153 из LIPIcs, стр. 27:1-27:17. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2019)Meeting Times of Non-atomic Random Walks., , , и . SSS, том 14310 из Lecture Notes in Computer Science, стр. 297-311. Springer, (2023)On Dynamics of Basic Network Creation Games with Non-Uniform Communication Interest., , , , и . CANDARW, стр. 86-92. IEEE, (2023)Uniform Bipartition in the Population Protocol Model with Arbitrary Communication Graphs., , , и . OPODIS, том 184 из LIPIcs, стр. 33:1-33:16. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)Evaluating Complex MAC Protocols for Sensor Networks with APMC., , , , и . AVoCS, том 185 из Electronic Notes in Theoretical Computer Science, стр. 33-46. Elsevier, (2006)