مقاله‌های دارای تعهدات انتشار عمومی - Sebastien Tixeuilبیشتر بدانید
جای دیگری دردسترس نیست: ۴
Partial gathering of mobile robots from multiplicity-allowed configurations in rings
M Shibata, S Tixeuil
International Symposium on Stabilizing, Safety, and Security of Distributed …, 2020
تعهدات: Agence Nationale de la Recherche
Reliable communication in dynamic networks with locally bounded byzantine faults
S Bonomi, G Farina, S Tixeuil
Journal of Parallel and Distributed Computing 193, 104952, 2024
تعهدات: Agence Nationale de la Recherche
Mobile robots with uncertain visibility sensors: Possibility results and lower bounds
A Heriban, S Tixeuil
Parallel Processing Letters 31 (01), 2150002, 2021
تعهدات: Agence Nationale de la Recherche
Brief Announcement: A Self-* and Persistent Hub Sampling Service
MA Legheraba, M Potop-Butucaru, S Tixeuil
International Symposium on Stabilizing, Safety, and Security of Distributed …, 2024
تعهدات: European Commission
جای دیگری دردسترس است: ۳۸
Practically stabilizing SWMR atomic memory in message-passing systems
N Alon, H Attiya, S Dolev, S Dubois, M Potop-Butucaru, S Tixeuil
Journal of Computer and System Sciences 81 (4), 692-701, 2015
تعهدات: European Commission
Ring exploration with myopic luminous robots
F Ooshita, S Tixeuil
Information and Computation 285, 104702, 2022
تعهدات: Agence Nationale de la Recherche, Japan Science and Technology Agency
Multi-hop byzantine reliable broadcast with honest dealer made practical
S Bonomi, G Farina, S Tixeuil
Journal of the Brazilian Computer Society 25 (1), 9, 2019
تعهدات: Agence Nationale de la Recherche
Using model checking to formally verify rendezvous algorithms for robots with lights in euclidean space
X Défago, A Heriban, S Tixeuil, K Wada
Robotics and Autonomous Systems 163, 104378, 2023
تعهدات: Agence Nationale de la Recherche, Japan Science and Technology Agency
Specification-based synthesis of distributed self-stabilizing protocols
F Faghih, B Bonakdarpour, S Tixeuil, S Kulkarni
Formal Techniques for Distributed Objects, Components, and Systems: 36th …, 2016
تعهدات: Natural Sciences and Engineering Research Council of Canada
An asynchronous maximum independent set algorithm by myopic luminous robots on grids
S Kamei, S Tixeuil
The Computer Journal 67 (1), 57-77, 2024
تعهدات: Agence Nationale de la Recherche, Japan Science and Technology Agency
Stand up indulgent gathering
Q Bramas, A Lamani, S Tixeuil
Theoretical Computer Science 939, 63-77, 2023
تعهدات: Agence Nationale de la Recherche
On asynchronous rendezvous in general graphs
E Bampas, L Blin, J Czyzowicz, D Ilcinkas, A Labourel, M Potop-Butucaru, ...
Theoretical Computer Science 753, 80-90, 2019
تعهدات: Agence Nationale de la Recherche
Compact self-stabilizing leader election for general networks
L Blin, S Tixeuil
Journal of Parallel and Distributed Computing 144, 278-294, 2020
تعهدات: Agence Nationale de la Recherche
Stand-up indulgent gathering on rings
Q Bramas, S Kamei, A Lamani, S Tixeuil
International Colloquium on Structural Information and Communication …, 2024
تعهدات: Agence Nationale de la Recherche
Data-driven evaluation of intrusion detectors: a methodological framework
S Ayoubi, G Blanc, H Jmila, T Silverston, S Tixeuil
International Symposium on Foundations and Practice of Security, 142-157, 2022
تعهدات: Agence Nationale de la Recherche
Stand up indulgent rendezvous
Q Bramas, A Lamani, S Tixeuil
Stabilization, Safety, and Security of Distributed Systems: 22nd …, 2020
تعهدات: Agence Nationale de la Recherche
Automated synthesis of distributed self-stabilizing protocols
F Faghih, B Bonakdarpour, S Tixeuil, S Kulkarni
Logical Methods in Computer Science 14, 2018
تعهدات: Natural Sciences and Engineering Research Council of Canada
On the encoding and solving of partial information games
Y Amoussou-Guenou, S Baarir, M Potop-Butucaru, N Sznajder, L Tible, ...
Networked Systems: 8th International Conference, NETYS 2020, Marrakech …, 2021
تعهدات: Agence Nationale de la Recherche
Automated analysis of impact of scheduling on performance of self-stabilizing protocols
S Aflaki, B Bonakdarpour, S Tixeuil
Stabilization, Safety, and Security of Distributed Systems: 17th …, 2015
تعهدات: Natural Sciences and Engineering Research Council of Canada
Fault-tolerant offline multi-agent path planning
K Okumura, S Tixeuil
Proceedings of the AAAI Conference on Artificial Intelligence 37 (10), 11647 …, 2023
تعهدات: Agence Nationale de la Recherche, Japan Science and Technology Agency
اطلاعات انتشارات و تأمین بودجه به‌طورخودکار توسط برنامه رایانه‌ای تعیین می‌شود.